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 $ / Transitive-Closure-II:threads=2elapsed=13.412cpu=22.712gc=0.872factor=1.697zXZִF! :kL]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHly{3 JR̎Y 7 Transitive-Closure-II̷G'="×]]l^'f ZX⑙ ?DPe@n{BHUHK\=*}o:l;ő\ O'AhyFá) 0!Ɩ>9׬9ɚ =vp_d'BB?@a+öb_F\"LLwWUUCUרy#!z';+V4KrqWe9QQdHTUʲ""^gJ+ ,Q["HPZp*jAz@Bїu\d"sQcoYXxEKڕ}g@GhNh-?,2;ar""ȗqG}[\ /w<+;Hm06oo5Hgx8U3d rIuwtfJv E>_ 7ZPc:tdt OsR+ɅwnAlȸkL |vUvx]B)p1FKƯ{ #Q۬bD:s9gdՎ5c!ǼRoyӸB;h '}׆ށWyE"W#nIVsEtaJ;+]8󨽪Q\eej쇮prVw\3BY DyHSZ9B2HU_>';i&oV>׿Cu`) 1Ze;\dsu };e|).~|<9hh +M?^FoxK.\`llT.d|mm {cH%W;mA~/DNXǶfh7i8/{ =#e<}z8M"-,}+B0Z !f[wz橈1 T {8NϒVl-S^xBg1sTFcGEZ~~6Tplӄ` lޥ-d)bw̔^FqEQI;՞x;(y⼐a"Ɓü4aC\*0Ӊnϙ3k;<\c۠ ;6^Kl#dbҾe9u_a|2nklx/^ n, tkgYZ7zXZִF! FI{]ŗXi%DQ- ,Z5ຬ.ZiԅzcpC㡫ɟ9ȎI6k5p-iAs(Evq&T DGi$,6I @;}fsOkDv|[!O IM:/VЀ$MX8ځ'u.QVrKtռ'4e#, q m ''0͸ȁYZc={44Mܸ($_ Y\AT_WVPu !@ѰvR!;Hkg Xc"̸{irQDcU6z\5;: f$: #Wl~* nXZ2 4LJ6$D_^(MWܫS淦f(F ;,Te ggPl5#nu gR1]Zl/'"ʑzOazA mQq֟e??eh]8?gtO֬).ӈumz9of_Y>3'A튮aH{0֥%˜Hh+En}'2 טsȄbѿsOZXA>=q\WrKnhx̏[($_n*:w_h[puUI+g!>׵B9.><Q?k$Poߴog|}-uNj! _O{av$%LuT᪐{& ?.핪R^\tp!F*܃^ԡ[ڻc9 Q>/ iRab72QfBGixǻlt0|$0zBRk ʌM&gYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 15e3687955745d143d84e0b661213649ef7f89f5 19e2cf0910b7071efb7af8472164cf296f5e5ce5 52b0aace9d7980c050fa4e0a384a785c607e5f31 81de4762b4e143259c5d9fb6b097811906b676c1 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b3ea658d95c733cf18f45296a0c53b2b9aa81b62 cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25 ec92008245efcc8529cac7bd0a7e407a8d923d73 eced3752da9d0706834ff9435cecf72ddc7e57d67df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56