API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Apr 24th, 2018
43
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 26.49 KB | None | 0 0
raw download clone embed print report
  1. URL: http://localhost:8080/graphs/tgview.html?type=archivegraph&graphdata=MitM/smglom&highlight=null
  2.  
  3. Downloading graph...
  4. globalFuncs.js:96:2
  5. Logging system initialised at Tue Apr 24 2018 10:46:46 GMT+0200 (CEST)
  6. common.js:206:17
  7. Adding used but not defined nodes...
  8. globalFuncs.js:96:2
  9. Border-Node: Logic (http://mathhub.info/MitM/Foundation?Logic)
  10. theoryGraph.js:776:5
  11. Border-Node: NatLiterals (http://mathhub.info/MitM/Foundation?NatLiterals)
  12. theoryGraph.js:776:5
  13. Border-Node: IntLiterals (http://mathhub.info/MitM/Foundation?IntLiterals)
  14. theoryGraph.js:776:5
  15. Border-Node: Strings (http://mathhub.info/MitM/Foundation?Strings)
  16. theoryGraph.js:776:5
  17. Border-Node: NaturalDeduction (http://mathhub.info/MitM/Foundation?NaturalDeduction)
  18. theoryGraph.js:776:5
  19. Border-Node: Productspace (http://mathhub.info/MitM/smglom/algebra?Productspace)
  20. theoryGraph.js:776:5
  21. Border-Node: DescriptionOperator (http://mathhub.info/MitM/Foundation?DescriptionOperator)
  22. theoryGraph.js:776:5
  23. Border-Node: RealLiterals (http://mathhub.info/MitM/Foundation?RealLiterals)
  24. theoryGraph.js:776:5
  25. Border-Node: Lists (http://mathhub.info/MitM/Foundation?Lists)
  26. theoryGraph.js:776:5
  27. Constructing graph...
  28. globalFuncs.js:96:2
  29. Rendering graph...
  30. globalFuncs.js:96:2
  31. fixedPositions: false
  32. theoryGraph.js:1121:3
  33. Mapping Edges to Nodes...
  34. globalFuncs.js:96:2
  35. Identify Subgraphs...
  36. globalFuncs.js:96:2
  37. Beautify Layout: Iteration 0 of 2000...
  38. globalFuncs.js:96:2
  39. Beautify Layout: Iteration 50 of 2000...
  40. globalFuncs.js:96:2
  41. Beautify Layout: Iteration 100 of 2000...
  42. globalFuncs.js:96:2
  43. Beautify Layout: Iteration 150 of 2000...
  44. globalFuncs.js:96:2
  45. Beautify Layout: Iteration 200 of 2000...
  46. globalFuncs.js:96:2
  47. Beautify Layout: Iteration 250 of 2000...
  48. globalFuncs.js:96:2
  49. Beautify Layout: Iteration 300 of 2000...
  50. globalFuncs.js:96:2
  51. Beautify Layout: Iteration 350 of 2000...
  52. globalFuncs.js:96:2
  53. Beautify Layout: Iteration 400 of 2000...
  54. globalFuncs.js:96:2
  55. Beautify Layout: Iteration 450 of 2000...
  56. globalFuncs.js:96:2
  57. Beautify Layout: Iteration 500 of 2000...
  58. globalFuncs.js:96:2
  59. Beautify Layout: Iteration 550 of 2000...
  60. globalFuncs.js:96:2
  61. Beautify Layout: Iteration 600 of 2000...
  62. globalFuncs.js:96:2
  63. Beautify Layout: Iteration 650 of 2000...
  64. globalFuncs.js:96:2
  65. Beautify Layout: Iteration 700 of 2000...
  66. globalFuncs.js:96:2
  67. Beautify Layout: Iteration 750 of 2000...
  68. globalFuncs.js:96:2
  69. Beautify Layout: Iteration 800 of 2000...
  70. globalFuncs.js:96:2
  71. Beautify Layout: Iteration 850 of 2000...
  72. globalFuncs.js:96:2
  73. Beautify Layout: Iteration 900 of 2000...
  74. globalFuncs.js:96:2
  75. Beautify Layout: Iteration 950 of 2000...
  76. globalFuncs.js:96:2
  77. Beautify Layout: Iteration 1000 of 2000...
  78. globalFuncs.js:96:2
  79. Beautify Layout: Iteration 1050 of 2000...
  80. globalFuncs.js:96:2
  81. Beautify Layout: Iteration 1100 of 2000...
  82. globalFuncs.js:96:2
  83. Beautify Layout: Iteration 1150 of 2000...
  84. globalFuncs.js:96:2
  85. Beautify Layout: Iteration 1200 of 2000...
  86. globalFuncs.js:96:2
  87. Beautify Layout: Iteration 1250 of 2000...
  88. globalFuncs.js:96:2
  89. Beautify Layout: Iteration 1300 of 2000...
  90. globalFuncs.js:96:2
  91. Beautify Layout: Iteration 1350 of 2000...
  92. globalFuncs.js:96:2
  93. Beautify Layout: Iteration 1400 of 2000...
  94. globalFuncs.js:96:2
  95. Beautify Layout: Iteration 1450 of 2000...
  96. globalFuncs.js:96:2
  97. Beautify Layout: Iteration 1500 of 2000...
  98. globalFuncs.js:96:2
  99. Beautify Layout: Iteration 1550 of 2000...
  100. globalFuncs.js:96:2
  101. Beautify Layout: Iteration 1600 of 2000...
  102. globalFuncs.js:96:2
  103. Beautify Layout: Iteration 1650 of 2000...
  104. globalFuncs.js:96:2
  105. Beautify Layout: Iteration 1700 of 2000...
  106. globalFuncs.js:96:2
  107. Beautify Layout: Iteration 1750 of 2000...
  108. globalFuncs.js:96:2
  109. Beautify Layout: Iteration 1800 of 2000...
  110. globalFuncs.js:96:2
  111. Beautify Layout: Iteration 1850 of 2000...
  112. globalFuncs.js:96:2
  113. Beautify Layout: Iteration 1900 of 2000...
  114. globalFuncs.js:96:2
  115. Beautify Layout: Iteration 1950 of 2000...
  116. globalFuncs.js:96:2
  117. Beautify Layout: Iteration 2000 of 2000...
  118. globalFuncs.js:96:2
  119. Beautify Layout: Iteration 2050 of 2000...
  120. globalFuncs.js:96:2
  121. Beautify Layout: Iteration 2100 of 2000...
  122. globalFuncs.js:96:2
  123. Beautify Layout: Iteration 2150 of 2000...
  124. globalFuncs.js:96:2
  125. Beautify Layout: Iteration 2200 of 2000...
  126. globalFuncs.js:96:2
  127. Beautify Layout: Iteration 2250 of 2000...
  128. globalFuncs.js:96:2
  129. Beautify Layout: Iteration 2300 of 2000...
  130. globalFuncs.js:96:2
  131. Beautify Layout: Iteration 2350 of 2000...
  132. globalFuncs.js:96:2
  133. Beautify Layout: Iteration 2400 of 2000...
  134. globalFuncs.js:96:2
  135. Beautify Layout: Iteration 2450 of 2000...
  136. globalFuncs.js:96:2
  137. Beautify Layout: Iteration 2500 of 2000...
  138. globalFuncs.js:96:2
  139. Beautify Layout: Iteration 2550 of 2000...
  140. globalFuncs.js:96:2
  141. Beautify Layout: Iteration 2600 of 2000...
  142. globalFuncs.js:96:2
  143. Beautify Layout: Iteration 2650 of 2000...
  144. globalFuncs.js:96:2
  145. Beautify Layout: Iteration 2700 of 2000...
  146. globalFuncs.js:96:2
  147. Beautify Layout: Iteration 2750 of 2000...
  148. globalFuncs.js:96:2
  149. Beautify Layout: Iteration 2800 of 2000...
  150. globalFuncs.js:96:2
  151. Beautify Layout: Iteration 2850 of 2000...
  152. globalFuncs.js:96:2
  153. Beautify Layout: Iteration 2900 of 2000...
  154. globalFuncs.js:96:2
  155. Beautify Layout: Iteration 2950 of 2000...
  156. globalFuncs.js:96:2
  157. Beautify Layout: Iteration 3000 of 2000...
  158. globalFuncs.js:96:2
  159. Beautify Layout: Iteration 3050 of 2000...
  160. globalFuncs.js:96:2
  161. Beautify Layout: Iteration 3100 of 2000...
  162. globalFuncs.js:96:2
  163. Beautify Layout: Iteration 3150 of 2000...
  164. globalFuncs.js:96:2
  165. Beautify Layout: Iteration 3200 of 2000...
  166. globalFuncs.js:96:2
  167. Beautify Layout: Iteration 3250 of 2000...
  168. globalFuncs.js:96:2
  169. Beautify Layout: Iteration 3300 of 2000...
  170. globalFuncs.js:96:2
  171. Beautify Layout: Iteration 3350 of 2000...
  172. globalFuncs.js:96:2
  173. Beautify Layout: Iteration 3400 of 2000...
  174. globalFuncs.js:96:2
  175. Beautify Layout: Iteration 3450 of 2000...
  176. globalFuncs.js:96:2
  177. Beautify Layout: Iteration 3500 of 2000...
  178. globalFuncs.js:96:2
  179. Beautify Layout: Iteration 3550 of 2000...
  180. globalFuncs.js:96:2
  181. Beautify Layout: Iteration 3600 of 2000...
  182. globalFuncs.js:96:2
  183. Beautify Layout: Iteration 3650 of 2000...
  184. globalFuncs.js:96:2
  185. Beautify Layout: Iteration 3700 of 2000...
  186. globalFuncs.js:96:2
  187. Beautify Layout: Iteration 3750 of 2000...
  188. globalFuncs.js:96:2
  189. Beautify Layout: Iteration 3800 of 2000...
  190. globalFuncs.js:96:2
  191. Beautify Layout: Iteration 3850 of 2000...
  192. globalFuncs.js:96:2
  193. Beautify Layout: Iteration 3900 of 2000...
  194. globalFuncs.js:96:2
  195. Beautify Layout: Iteration 3950 of 2000...
  196. globalFuncs.js:96:2
  197. Beautify Layout: Iteration 4000 of 2000...
  198. globalFuncs.js:96:2
  199. Beautify Layout: Iteration 4050 of 2000...
  200. globalFuncs.js:96:2
  201. Beautify Layout: Iteration 4100 of 2000...
  202. globalFuncs.js:96:2
  203. Beautify Layout: Iteration 4150 of 2000...
  204. globalFuncs.js:96:2
  205. Beautify Layout: Iteration 4200 of 2000...
  206. globalFuncs.js:96:2
  207. Beautify Layout: Iteration 4250 of 2000...
  208. globalFuncs.js:96:2
  209. Beautify Layout: Iteration 4300 of 2000...
  210. globalFuncs.js:96:2
  211. Beautify Layout: Iteration 4350 of 2000...
  212. globalFuncs.js:96:2
  213. Beautify Layout: Iteration 4400 of 2000...
  214. globalFuncs.js:96:2
  215. Beautify Layout: Iteration 4450 of 2000...
  216. globalFuncs.js:96:2
  217. Beautify Layout: Iteration 4500 of 2000...
  218. globalFuncs.js:96:2
  219. Beautify Layout: Iteration 4550 of 2000...
  220. globalFuncs.js:96:2
  221. Beautify Layout: Iteration 4600 of 2000...
  222. globalFuncs.js:96:2
  223. Beautify Layout: Iteration 4650 of 2000...
  224. globalFuncs.js:96:2
  225. Beautify Layout: Iteration 4700 of 2000...
  226. globalFuncs.js:96:2
  227. Beautify Layout: Iteration 4750 of 2000...
  228. globalFuncs.js:96:2
  229. Beautify Layout: Iteration 4800 of 2000...
  230. globalFuncs.js:96:2
  231. Beautify Layout: Iteration 4850 of 2000...
  232. globalFuncs.js:96:2
  233. Beautify Layout: Iteration 4900 of 2000...
  234. globalFuncs.js:96:2
  235. Beautify Layout: Iteration 4950 of 2000...
  236. globalFuncs.js:96:2
  237. Beautify Layout: Iteration 5000 of 2000...
  238. globalFuncs.js:96:2
  239. Beautify Layout: Iteration 5050 of 2000...
  240. globalFuncs.js:96:2
  241. Beautify Layout: Iteration 5100 of 2000...
  242. globalFuncs.js:96:2
  243. Beautify Layout: Iteration 5150 of 2000...
  244. globalFuncs.js:96:2
  245. Beautify Layout: Iteration 5200 of 2000...
  246. globalFuncs.js:96:2
  247. Beautify Layout: Iteration 5250 of 2000...
  248. globalFuncs.js:96:2
  249. Beautify Layout: Iteration 5300 of 2000...
  250. globalFuncs.js:96:2
  251. Beautify Layout: Iteration 5350 of 2000...
  252. globalFuncs.js:96:2
  253. Beautify Layout: Iteration 5400 of 2000...
  254. globalFuncs.js:96:2
  255. Beautify Layout: Iteration 5450 of 2000...
  256. globalFuncs.js:96:2
  257. Beautify Layout: Iteration 5500 of 2000...
  258. globalFuncs.js:96:2
  259. Beautify Layout: Iteration 5550 of 2000...
  260. globalFuncs.js:96:2
  261. Beautify Layout: Iteration 5600 of 2000...
  262. globalFuncs.js:96:2
  263. Beautify Layout: Iteration 5650 of 2000...
  264. globalFuncs.js:96:2
  265. Beautify Layout: Iteration 5700 of 2000...
  266. globalFuncs.js:96:2
  267. Beautify Layout: Iteration 5750 of 2000...
  268. globalFuncs.js:96:2
  269. Beautify Layout: Iteration 5800 of 2000...
  270. globalFuncs.js:96:2
  271. Beautify Layout: Iteration 5850 of 2000...
  272. globalFuncs.js:96:2
  273. Beautify Layout: Iteration 5900 of 2000...
  274. globalFuncs.js:96:2
  275. Beautify Layout: Iteration 5950 of 2000...
  276. globalFuncs.js:96:2
  277. Beautify Layout: Iteration 6000 of 2000...
  278. globalFuncs.js:96:2
  279. Beautify Layout: Iteration 6050 of 2000...
  280. globalFuncs.js:96:2
  281. Beautify Layout: Iteration 6100 of 2000...
  282. globalFuncs.js:96:2
  283. Beautify Layout: Iteration 6150 of 2000...
  284. globalFuncs.js:96:2
  285. Beautify Layout: Iteration 6200 of 2000...
  286. globalFuncs.js:96:2
  287. Beautify Layout: Iteration 6250 of 2000...
  288. globalFuncs.js:96:2
  289. Beautify Layout: Iteration 6300 of 2000...
  290. globalFuncs.js:96:2
  291. Beautify Layout: Iteration 6350 of 2000...
  292. globalFuncs.js:96:2
  293. Beautify Layout: Iteration 6400 of 2000...
  294. globalFuncs.js:96:2
  295. Beautify Layout: Iteration 6450 of 2000...
  296. globalFuncs.js:96:2
  297. Beautify Layout: Iteration 6500 of 2000...
  298. globalFuncs.js:96:2
  299. Beautify Layout: Iteration 6550 of 2000...
  300. globalFuncs.js:96:2
  301. Beautify Layout: Iteration 6600 of 2000...
  302. globalFuncs.js:96:2
  303. Beautify Layout: Iteration 6650 of 2000...
  304. globalFuncs.js:96:2
  305. Beautify Layout: Iteration 6700 of 2000...
  306. globalFuncs.js:96:2
  307. Beautify Layout: Iteration 6750 of 2000...
  308. globalFuncs.js:96:2
  309. Beautify Layout: Iteration 6800 of 2000...
  310. globalFuncs.js:96:2
  311. Beautify Layout: Iteration 6850 of 2000...
  312. globalFuncs.js:96:2
  313. Beautify Layout: Iteration 6900 of 2000...
  314. globalFuncs.js:96:2
  315. Beautify Layout: Iteration 6950 of 2000...
  316. globalFuncs.js:96:2
  317. Beautify Layout: Iteration 7000 of 2000...
  318. globalFuncs.js:96:2
  319. Beautify Layout: Iteration 7050 of 2000...
  320. globalFuncs.js:96:2
  321. Beautify Layout: Iteration 7100 of 2000...
  322. globalFuncs.js:96:2
  323. Beautify Layout: Iteration 7150 of 2000...
  324. globalFuncs.js:96:2
  325. Beautify Layout: Iteration 7200 of 2000...
  326. globalFuncs.js:96:2
  327. Beautify Layout: Iteration 7250 of 2000...
  328. globalFuncs.js:96:2
  329. Beautify Layout: Iteration 7300 of 2000...
  330. globalFuncs.js:96:2
  331. Beautify Layout: Iteration 7350 of 2000...
  332. globalFuncs.js:96:2
  333. Beautify Layout: Iteration 7400 of 2000...
  334. globalFuncs.js:96:2
  335. Beautify Layout: Iteration 7450 of 2000...
  336. globalFuncs.js:96:2
  337. Beautify Layout: Iteration 7500 of 2000...
  338. globalFuncs.js:96:2
  339. Beautify Layout: Iteration 7550 of 2000...
  340. globalFuncs.js:96:2
  341. Beautify Layout: Iteration 7600 of 2000...
  342. globalFuncs.js:96:2
  343. Beautify Layout: Iteration 7650 of 2000...
  344. globalFuncs.js:96:2
  345. Beautify Layout: Iteration 7700 of 2000...
  346. globalFuncs.js:96:2
  347. Beautify Layout: Iteration 7750 of 2000...
  348. globalFuncs.js:96:2
  349. Beautify Layout: Iteration 7800 of 2000...
  350. globalFuncs.js:96:2
  351. Beautify Layout: Iteration 7850 of 2000...
  352. globalFuncs.js:96:2
  353. Beautify Layout: Iteration 7900 of 2000...
  354. globalFuncs.js:96:2
  355. Beautify Layout: Iteration 7950 of 2000...
  356. globalFuncs.js:96:2
  357. Beautify Layout: Iteration 8000 of 2000...
  358. globalFuncs.js:96:2
  359. Beautify Layout: Iteration 8050 of 2000...
  360. globalFuncs.js:96:2
  361. Beautify Layout: Iteration 8100 of 2000...
  362. globalFuncs.js:96:2
  363. Beautify Layout: Iteration 8150 of 2000...
  364. globalFuncs.js:96:2
  365. Beautify Layout: Iteration 8200 of 2000...
  366. globalFuncs.js:96:2
  367. Beautify Layout: Iteration 8250 of 2000...
  368. globalFuncs.js:96:2
  369. Beautify Layout: Iteration 8300 of 2000...
  370. globalFuncs.js:96:2
  371. Beautify Layout: Iteration 8350 of 2000...
  372. globalFuncs.js:96:2
  373. Beautify Layout: Iteration 8400 of 2000...
  374. globalFuncs.js:96:2
  375. Beautify Layout: Iteration 8450 of 2000...
  376. globalFuncs.js:96:2
  377. Beautify Layout: Iteration 8500 of 2000...
  378. globalFuncs.js:96:2
  379. Beautify Layout: Iteration 8550 of 2000...
  380. globalFuncs.js:96:2
  381. Beautify Layout: Iteration 8600 of 2000...
  382. globalFuncs.js:96:2
  383. Beautify Layout: Iteration 8650 of 2000...
  384. globalFuncs.js:96:2
  385. Beautify Layout: Iteration 8700 of 2000...
  386. globalFuncs.js:96:2
  387. Beautify Layout: Iteration 8750 of 2000...
  388. globalFuncs.js:96:2
  389. Beautify Layout: Iteration 8800 of 2000...
  390. globalFuncs.js:96:2
  391. Beautify Layout: Iteration 8850 of 2000...
  392. globalFuncs.js:96:2
  393. Beautify Layout: Iteration 8900 of 2000...
  394. globalFuncs.js:96:2
  395. Beautify Layout: Iteration 8950 of 2000...
  396. globalFuncs.js:96:2
  397. Beautify Layout: Iteration 9000 of 2000...
  398. globalFuncs.js:96:2
  399. Beautify Layout: Iteration 9050 of 2000...
  400. globalFuncs.js:96:2
  401. Beautify Layout: Iteration 9100 of 2000...
  402. globalFuncs.js:96:2
  403. Beautify Layout: Iteration 9150 of 2000...
  404. globalFuncs.js:96:2
  405. Beautify Layout: Iteration 9200 of 2000...
  406. globalFuncs.js:96:2
  407. Beautify Layout: Iteration 9250 of 2000...
  408. globalFuncs.js:96:2
  409. Beautify Layout: Iteration 9300 of 2000...
  410. globalFuncs.js:96:2
  411. Beautify Layout: Iteration 9350 of 2000...
  412. globalFuncs.js:96:2
  413. Beautify Layout: Iteration 9400 of 2000...
  414. globalFuncs.js:96:2
  415. Beautify Layout: Iteration 9450 of 2000...
  416. globalFuncs.js:96:2
  417. Beautify Layout: Iteration 9500 of 2000...
  418. globalFuncs.js:96:2
  419. Beautify Layout: Iteration 9550 of 2000...
  420. globalFuncs.js:96:2
  421. Beautify Layout: Iteration 9600 of 2000...
  422. globalFuncs.js:96:2
  423. Beautify Layout: Iteration 9650 of 2000...
  424. globalFuncs.js:96:2
  425. Beautify Layout: Iteration 9700 of 2000...
  426. globalFuncs.js:96:2
  427. Beautify Layout: Iteration 9750 of 2000...
  428. globalFuncs.js:96:2
  429. Beautify Layout: Iteration 9800 of 2000...
  430. globalFuncs.js:96:2
  431. Beautify Layout: Iteration 9850 of 2000...
  432. globalFuncs.js:96:2
  433. Beautify Layout: Iteration 9900 of 2000...
  434. globalFuncs.js:96:2
  435. Beautify Layout: Iteration 9950 of 2000...
  436. globalFuncs.js:96:2
  437. Beautify Layout: Iteration 10000 of 2000...
  438. globalFuncs.js:96:2
  439. Beautify Layout: Iteration 10050 of 2000...
  440. globalFuncs.js:96:2
  441. Beautify Layout: Iteration 10100 of 2000...
  442. globalFuncs.js:96:2
  443. Beautify Layout: Iteration 10150 of 2000...
  444. globalFuncs.js:96:2
  445. Beautify Layout: Iteration 10200 of 2000...
  446. globalFuncs.js:96:2
  447. Beautify Layout: Iteration 10250 of 2000...
  448. globalFuncs.js:96:2
  449. Beautify Layout: Iteration 10300 of 2000...
  450. globalFuncs.js:96:2
  451. Beautify Layout: Iteration 10350 of 2000...
  452. globalFuncs.js:96:2
  453. Beautify Layout: Iteration 10400 of 2000...
  454. globalFuncs.js:96:2
  455. Beautify Layout: Iteration 10450 of 2000...
  456. globalFuncs.js:96:2
  457. Beautify Layout: Iteration 10500 of 2000...
  458. globalFuncs.js:96:2
  459. Beautify Layout: Iteration 10550 of 2000...
  460. globalFuncs.js:96:2
  461. Beautify Layout: Iteration 10600 of 2000...
  462. globalFuncs.js:96:2
  463. Beautify Layout: Iteration 10650 of 2000...
  464. globalFuncs.js:96:2
  465. Beautify Layout: Iteration 10700 of 2000...
  466. globalFuncs.js:96:2
  467. Beautify Layout: Iteration 10750 of 2000...
  468. globalFuncs.js:96:2
  469. Beautify Layout: Iteration 10800 of 2000...
  470. globalFuncs.js:96:2
  471. Beautify Layout: Iteration 10850 of 2000...
  472. globalFuncs.js:96:2
  473. Beautify Layout: Iteration 10900 of 2000...
  474. globalFuncs.js:96:2
  475. Beautify Layout: Iteration 10950 of 2000...
  476. globalFuncs.js:96:2
  477. Beautify Layout: Iteration 11000 of 2000...
  478. globalFuncs.js:96:2
  479. Beautify Layout: Iteration 11050 of 2000...
  480. globalFuncs.js:96:2
  481. Beautify Layout: Iteration 11100 of 2000...
  482. globalFuncs.js:96:2
  483. Beautify Layout: Iteration 11150 of 2000...
  484. globalFuncs.js:96:2
  485. Beautify Layout: Iteration 11200 of 2000...
  486. globalFuncs.js:96:2
  487. Beautify Layout: Iteration 11250 of 2000...
  488. globalFuncs.js:96:2
  489. Beautify Layout: Iteration 11300 of 2000...
  490. globalFuncs.js:96:2
  491. Beautify Layout: Iteration 11350 of 2000...
  492. globalFuncs.js:96:2
  493. Beautify Layout: Iteration 11400 of 2000...
  494. globalFuncs.js:96:2
  495. Beautify Layout: Iteration 11450 of 2000...
  496. globalFuncs.js:96:2
  497. Beautify Layout: Iteration 11500 of 2000...
  498. globalFuncs.js:96:2
  499. Beautify Layout: Iteration 11550 of 2000...
  500. globalFuncs.js:96:2
  501. Beautify Layout: Iteration 11600 of 2000...
  502. globalFuncs.js:96:2
  503. Beautify Layout: Iteration 11650 of 2000...
  504. globalFuncs.js:96:2
  505. Beautify Layout: Iteration 11700 of 2000...
  506. globalFuncs.js:96:2
  507. Beautify Layout: Iteration 11750 of 2000...
  508. globalFuncs.js:96:2
  509. Beautify Layout: Iteration 11800 of 2000...
  510. globalFuncs.js:96:2
  511. Beautify Layout: Iteration 11850 of 2000...
  512. globalFuncs.js:96:2
  513. Beautify Layout: Iteration 11900 of 2000...
  514. globalFuncs.js:96:2
  515. Beautify Layout: Iteration 11950 of 2000...
  516. globalFuncs.js:96:2
  517. Beautify Layout: Iteration 12000 of 2000...
  518. globalFuncs.js:96:2
  519. Beautify Layout: Iteration 12050 of 2000...
  520. globalFuncs.js:96:2
  521. Beautify Layout: Iteration 12100 of 2000...
  522. globalFuncs.js:96:2
  523. Beautify Layout: Iteration 12150 of 2000...
  524. globalFuncs.js:96:2
  525. Beautify Layout: Iteration 12200 of 2000...
  526. globalFuncs.js:96:2
  527. Beautify Layout: Iteration 12250 of 2000...
  528. globalFuncs.js:96:2
  529. Beautify Layout: Iteration 12300 of 2000...
  530. globalFuncs.js:96:2
  531. Beautify Layout: Iteration 12350 of 2000...
  532. globalFuncs.js:96:2
  533. Beautify Layout: Iteration 12400 of 2000...
  534. globalFuncs.js:96:2
  535. Beautify Layout: Iteration 12450 of 2000...
  536. globalFuncs.js:96:2
  537. Beautify Layout: Iteration 12500 of 2000...
  538. globalFuncs.js:96:2
  539. Beautify Layout: Iteration 12550 of 2000...
  540. globalFuncs.js:96:2
  541. Beautify Layout: Iteration 12600 of 2000...
  542. globalFuncs.js:96:2
  543. Beautify Layout: Iteration 12650 of 2000...
  544. globalFuncs.js:96:2
  545. Beautify Layout: Iteration 12700 of 2000...
  546. globalFuncs.js:96:2
  547. Beautify Layout: Iteration 12750 of 2000...
  548. globalFuncs.js:96:2
  549. Beautify Layout: Iteration 12800 of 2000...
  550. globalFuncs.js:96:2
  551. Beautify Layout: Iteration 12850 of 2000...
  552. globalFuncs.js:96:2
  553. Beautify Layout: Iteration 12900 of 2000...
  554. globalFuncs.js:96:2
  555. Beautify Layout: Iteration 12950 of 2000...
  556. globalFuncs.js:96:2
  557. Beautify Layout: Iteration 13000 of 2000...
  558. globalFuncs.js:96:2
  559. Beautify Layout: Iteration 13050 of 2000...
  560. globalFuncs.js:96:2
  561. Beautify Layout: Iteration 13100 of 2000...
  562. globalFuncs.js:96:2
  563. Beautify Layout: Iteration 13150 of 2000...
  564. globalFuncs.js:96:2
  565. Beautify Layout: Iteration 13200 of 2000...
  566. globalFuncs.js:96:2
  567. Beautify Layout: Iteration 13250 of 2000...
  568. globalFuncs.js:96:2
  569. Beautify Layout: Iteration 13300 of 2000...
  570. globalFuncs.js:96:2
  571. Beautify Layout: Iteration 13350 of 2000...
  572. globalFuncs.js:96:2
  573. Beautify Layout: Iteration 13400 of 2000...
  574. globalFuncs.js:96:2
  575. Beautify Layout: Iteration 13450 of 2000...
  576. globalFuncs.js:96:2
  577. Beautify Layout: Iteration 13500 of 2000...
  578. globalFuncs.js:96:2
  579. Beautify Layout: Iteration 13550 of 2000...
  580. globalFuncs.js:96:2
  581. Beautify Layout: Iteration 13600 of 2000...
  582. globalFuncs.js:96:2
  583. Beautify Layout: Iteration 13650 of 2000...
  584. globalFuncs.js:96:2
  585. Beautify Layout: Iteration 13700 of 2000...
  586. globalFuncs.js:96:2
  587. Beautify Layout: Iteration 13750 of 2000...
  588. globalFuncs.js:96:2
  589. Beautify Layout: Iteration 13800 of 2000...
  590. globalFuncs.js:96:2
  591. Beautify Layout: Iteration 13850 of 2000...
  592. globalFuncs.js:96:2
  593. Beautify Layout: Iteration 13900 of 2000...
  594. globalFuncs.js:96:2
  595. Beautify Layout: Iteration 13950 of 2000...
  596. globalFuncs.js:96:2
  597. Beautify Layout: Iteration 14000 of 2000...
  598. globalFuncs.js:96:2
  599. Beautify Layout: Iteration 14050 of 2000...
  600. globalFuncs.js:96:2
  601. Beautify Layout: Iteration 14100 of 2000...
  602. globalFuncs.js:96:2
  603. Beautify Layout: Iteration 14150 of 2000...
  604. globalFuncs.js:96:2
  605. Beautify Layout: Iteration 14200 of 2000...
  606. globalFuncs.js:96:2
  607. Beautify Layout: Iteration 14250 of 2000...
  608. globalFuncs.js:96:2
  609. Beautify Layout: Iteration 14300 of 2000...
  610. globalFuncs.js:96:2
  611. Beautify Layout: Iteration 14350 of 2000...
  612. globalFuncs.js:96:2
  613. Beautify Layout: Iteration 14400 of 2000...
  614. globalFuncs.js:96:2
  615. Beautify Layout: Iteration 14450 of 2000...
  616. globalFuncs.js:96:2
  617. Beautify Layout: Iteration 14500 of 2000...
  618. globalFuncs.js:96:2
  619. Beautify Layout: Iteration 14550 of 2000...
  620. globalFuncs.js:96:2
  621. Beautify Layout: Iteration 14600 of 2000...
  622. globalFuncs.js:96:2
  623. Beautify Layout: Iteration 14650 of 2000...
  624. globalFuncs.js:96:2
  625. Beautify Layout: Iteration 14700 of 2000...
  626. globalFuncs.js:96:2
  627. Beautify Layout: Iteration 14750 of 2000...
  628. globalFuncs.js:96:2
  629. Beautify Layout: Iteration 14800 of 2000...
  630. globalFuncs.js:96:2
  631. Beautify Layout: Iteration 14850 of 2000...
  632. globalFuncs.js:96:2
  633. Beautify Layout: Iteration 14900 of 2000...
  634. globalFuncs.js:96:2
  635. Beautify Layout: Iteration 14950 of 2000...
  636. globalFuncs.js:96:2
  637. Beautify Layout: Iteration 15000 of 2000...
  638. globalFuncs.js:96:2
  639. Beautify Layout: Iteration 15050 of 2000...
  640. globalFuncs.js:96:2
  641. Beautify Layout: Iteration 15100 of 2000...
  642. globalFuncs.js:96:2
  643. Beautify Layout: Iteration 15150 of 2000...
  644. globalFuncs.js:96:2
  645. Beautify Layout: Iteration 15200 of 2000...
  646. globalFuncs.js:96:2
  647. Beautify Layout: Iteration 15250 of 2000...
  648. globalFuncs.js:96:2
  649. Beautify Layout: Iteration 15300 of 2000...
  650. globalFuncs.js:96:2
  651. Beautify Layout: Iteration 15350 of 2000...
  652. globalFuncs.js:96:2
  653. Beautify Layout: Iteration 15400 of 2000...
  654. globalFuncs.js:96:2
  655. Beautify Layout: Iteration 15450 of 2000...
  656. globalFuncs.js:96:2
  657. Beautify Layout: Iteration 15500 of 2000...
  658. globalFuncs.js:96:2
  659. Beautify Layout: Iteration 15550 of 2000...
  660. globalFuncs.js:96:2
  661. Beautify Layout: Iteration 15600 of 2000...
  662. globalFuncs.js:96:2
  663. Beautify Layout: Iteration 15650 of 2000...
  664. globalFuncs.js:96:2
  665. Beautify Layout: Iteration 15700 of 2000...
  666. globalFuncs.js:96:2
  667. Beautify Layout: Iteration 15750 of 2000...
  668. globalFuncs.js:96:2
  669. Beautify Layout: Iteration 15800 of 2000...
  670. globalFuncs.js:96:2
  671. Beautify Layout: Iteration 15850 of 2000...
  672. globalFuncs.js:96:2
  673. Beautify Layout: Iteration 15900 of 2000...
  674. globalFuncs.js:96:2
  675. Beautify Layout: Iteration 15950 of 2000...
  676. globalFuncs.js:96:2
  677. Level[6; real:7]: 160 960
  678. Optimizer.js:505:4
  679. Level[7; real:8]: 160 1120
  680. Optimizer.js:505:4
  681. Level[10; real:11]: 160 1600
  682. Optimizer.js:505:4
  683. Level[7; real:8]: 320 1120
  684. Optimizer.js:505:4
  685. Level[10; real:11]: 320 1600
  686. Optimizer.js:505:4
  687. Level[10; real:11]: 480 1600
  688. Optimizer.js:505:4
  689. Level[6; real:7]: 320 960
  690. Optimizer.js:505:4
  691. Level[7; real:8]: 480 1120
  692. Optimizer.js:505:4
  693. Level[7; real:8]: 640 1120
  694. Optimizer.js:505:4
  695. Level[10; real:11]: 640 1600
  696. Optimizer.js:505:4
  697. Level[10; real:11]: 800 1600
  698. Optimizer.js:505:4
  699. Level[7; real:8]: 800 1120
  700. Optimizer.js:505:4
  701. Level[10; real:11]: 960 1600
  702. Optimizer.js:505:4
  703. Level[6; real:7]: 480 960
  704. Optimizer.js:505:4
  705. Level[7; real:8]: 960 1120
  706. Optimizer.js:505:4
  707. Level[7; real:8]: 1120 1120
  708. Optimizer.js:505:4
  709. Level[5; real:6]: 160 800
  710. Optimizer.js:505:4
  711. Level[6; real:7]: 640 960
  712. Optimizer.js:505:4
  713. Level[10; real:11]: 1120 1600
  714. Optimizer.js:505:4
  715. Level[5; real:6]: 320 800
  716. Optimizer.js:505:4
  717. Level[10; real:11]: 1280 1600
  718. Optimizer.js:505:4
  719. Level[7; real:8]: 1280 1120
  720. Optimizer.js:505:4
  721. Level[7; real:8]: 1440 1120
  722. Optimizer.js:505:4
  723. Level[6; real:7]: 800 960
  724. Optimizer.js:505:4
  725. Level[7; real:8]: 1600 1120
  726. Optimizer.js:505:4
  727. Level[7; real:8]: 1760 1120
  728. Optimizer.js:505:4
  729. Level[6; real:7]: 960 960
  730. Optimizer.js:505:4
  731. Level[6; real:7]: 1120 960
  732. Optimizer.js:505:4
  733. Level[5; real:6]: 480 800
  734. Optimizer.js:505:4
  735. Level[6; real:7]: 1280 960
  736. Optimizer.js:505:4
  737. Level[10; real:11]: 1440 1600
  738. Optimizer.js:505:4
  739. Level[6; real:7]: 1440 960
  740. Optimizer.js:505:4
  741. Level[5; real:6]: 640 800
  742. Optimizer.js:505:4
  743. Level[6; real:7]: 1600 960
  744. Optimizer.js:505:4
  745. Level[10; real:11]: 1600 1600
  746. Optimizer.js:505:4
  747. Level[3; real:4]: 160 480
  748. Optimizer.js:505:4
  749. Level[10; real:11]: 1760 1600
  750. Optimizer.js:505:4
  751. Level[10; real:11]: 1920 1600
  752. Optimizer.js:505:4
  753. Level[5; real:6]: 800 800
  754. Optimizer.js:505:4
  755. Level[5; real:6]: 960 800
  756. Optimizer.js:505:4
  757. Level[5; real:6]: 1120 800
  758. Optimizer.js:505:4
  759. Level[2; real:3]: 160 320
  760. Optimizer.js:505:4
  761. Level[10; real:11]: 2080 1600
  762. Optimizer.js:505:4
  763. Level[10; real:11]: 2240 1600
  764. Optimizer.js:505:4
  765. Level[5; real:6]: 1280 800
  766. Optimizer.js:505:4
  767. Level[5; real:6]: 1440 800
  768. Optimizer.js:505:4
  769. Level[1; real:2]: 160 160
  770. Optimizer.js:505:4
  771. Level[4; real:5]: 160 640
  772. Optimizer.js:505:4
  773. Level[3; real:4]: 320 480
  774. Optimizer.js:505:4
  775. Level[4; real:5]: 320 640
  776. Optimizer.js:505:4
  777. Level[5; real:6]: 1600 800
  778. Optimizer.js:505:4
  779. Level[10; real:11]: 2400 1600
  780. Optimizer.js:505:4
  781. Level[4; real:5]: 480 640
  782. Optimizer.js:505:4
  783. Level[3; real:4]: 480 480
  784. Optimizer.js:505:4
  785. Level[6; real:7]: 1760 960
  786. Optimizer.js:505:4
  787. Level[2; real:3]: 320 320
  788. Optimizer.js:505:4
  789. Level[10; real:11]: 2560 1600
  790. Optimizer.js:505:4
  791. Level[4; real:5]: 640 640
  792. Optimizer.js:505:4
  793. Level[4; real:5]: 800 640
  794. Optimizer.js:505:4
  795. Level[0; real:1]: 160 0
  796. Optimizer.js:505:4
  797. Level[9; real:10]: 160 1440
  798. Optimizer.js:505:4
  799. Level[9; real:10]: 320 1440
  800. Optimizer.js:505:4
  801. Level[8; real:9]: 160 1280
  802. Optimizer.js:505:4
  803. Level[7; real:8]: 1920 1120
  804. Optimizer.js:505:4
  805. Level[8; real:9]: 320 1280
  806. Optimizer.js:505:4
  807. Level[6; real:7]: 1920 960
  808. Optimizer.js:505:4
  809. Level[8; real:9]: 480 1280
  810. Optimizer.js:505:4
  811. Level[5; real:6]: 1760 800
  812. Optimizer.js:505:4
  813. Beautify Layout: Iteration 0 of 2000...
  814. globalFuncs.js:96:2
  815. Beautify Layout: Iteration 100 of 2000...
  816. globalFuncs.js:96:2
  817. Beautify Layout: Iteration 200 of 2000...
  818. globalFuncs.js:96:2
  819. Beautify Layout: Iteration 300 of 2000...
  820. globalFuncs.js:96:2
  821. Beautify Layout: Iteration 400 of 2000...
  822. globalFuncs.js:96:2
  823. Beautify Layout: Iteration 500 of 2000...
  824. globalFuncs.js:96:2
  825. Beautify Layout: Iteration 600 of 2000...
  826. globalFuncs.js:96:2
  827. Beautify Layout: Iteration 700 of 2000...
  828. globalFuncs.js:96:2
  829. Beautify Layout: Iteration 800 of 2000...
  830. globalFuncs.js:96:2
  831. Beautify Layout: Iteration 900 of 2000...
  832. globalFuncs.js:96:2
  833. Beautify Layout: Iteration 1000 of 2000...
  834. globalFuncs.js:96:2
  835. Beautify Layout: Iteration 1100 of 2000...
  836. globalFuncs.js:96:2
  837. Beautify Layout: Iteration 1200 of 2000...
  838. globalFuncs.js:96:2
  839. Beautify Layout: Iteration 1300 of 2000...
  840. globalFuncs.js:96:2
  841. Beautify Layout: Iteration 1400 of 2000...
  842. globalFuncs.js:96:2
  843. Beautify Layout: Iteration 1500 of 2000...
  844. globalFuncs.js:96:2
  845. Beautify Layout: Iteration 1600 of 2000...
  846. globalFuncs.js:96:2
  847. Beautify Layout: Iteration 1700 of 2000...
  848. globalFuncs.js:96:2
  849. Beautify Layout: Iteration 1800 of 2000...
  850. globalFuncs.js:96:2
  851. Beautify Layout: Iteration 1900 of 2000...
  852. globalFuncs.js:96:2
  853. Beautify Layout: Iteration 0 of 5...
  854. globalFuncs.js:96:2
  855. <font color="green">Received 68 nodes</font>
  856. globalFuncs.js:96:2
  857. Execute onConstructionDone
  858. theoryGraph.js:1201:5
  859. ^null$
  860. theoryGraph.js:563:4
  861. Generate EdgesNodesDiv
  862. globalFuncs.js:44:2
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!