SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info _7 tt / Transitive-Closure-II:threads=2elapsed=13.987cpu=23.124gc=0.884factor=1.657zXZִF! =Tq]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++db[$F L?5 7 Transitive-Closure-II0핖+pyCWm1TwfH1D#͸Jͼ9auW%:YsYG82!CNW e+eě%$ [J5⸌ϨDyX7MSN9P\;O 7t&d0 j <~)9`28A2s89,zn>,whhl_x>K,SU4B XR-"p`V6i ~4->@Ԭ/Pң y] D"nv1L#eGҠ0?{كbJHޖ;?"^FEi,ʤHn[̒ ] 8c A7HhG?xPG艄>u;KFklzcӽ(Q`ҭ"wPN|$,runb絨چ;Ċ.=KoeH_~j01# iKTa'DA85-vH/e.v(Hz)bb}qYQ.|Y| PT-Pa*Yf4P#koA e:b߁|AbexFT7 2r&8/~^Ï" ́eV#ܹ5]v1t[S NS7@4iy,j'~ 7A쎿D.i1j: MB$_sjIz@#FJ/mJ 65iya](VəOo"B ӇϜf'7P]$c5e(ax2P~#C4/9hգ\[1Il<2]GHAcw˖;]Jqϋ7[ 3wv##W+.u&+H 揢Ֆ[ef}[p` mˀ?{ G/ym^:o}KMͱvׅd4C% ڵ#LK=OL3q2zƜ_W=/_-÷dIYh‚U-Qjϸ8]ݳfhv& ՇkUh,-θ~Y 2Z݊S5 dUv->&iqSMgIƔ+|NZj"ۘ@ kF2^f5` FcZU@y3u?oZZxQ|f)ʼn#CMos gp-]v^oɑ`Kհm}Ra _P0VRmWYAnC3vʵ>y2} `$Qֿ ^; !$Fg |v]nV1QlD ‘OZ2OyY']y)=QĽ.fv郦W?/!xt$Ek}U"H|fo\ٽ Wm.bU_:=d h; ce6}(E}KT)ЊD4HJUZOsO>eo|3Å=902#`´BsnQ/ie%݌oYK0مR[߃ȝ=k'Eul(Q mW=K5zY>oLRaЛ4U !R[bBT6^U NgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 15e3687955745d143d84e0b661213649ef7f89f5 19e2cf0910b7071efb7af8472164cf296f5e5ce5 52b0aace9d7980c050fa4e0a384a785c607e5f31 81de4762b4e143259c5d9fb6b097811906b676c1 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea 9e28e11077bea674bfe6e77946d452d3f3c83bc7 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b3ea658d95c733cf18f45296a0c53b2b9aa81b62 cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25 ec92008245efcc8529cac7bd0a7e407a8d923d73c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3