SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 W% 44 ]]Regular-Sets:threads=2elapsed=46.666cpu=77.680gc=3.180factor=1.667zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj',˚0S]ʄrh#h3]Nc! 0d3K. "@v39 ˷f X0h;$2\F( ;g ~ik^ך>-am߉ΑEl@g-6me>R&Lo_"2+| zz2[t1T??wtH2'՛F̡8>{g=鑒Qjy~{Uv΍TcTNVki`VϏ~ȷ % Regular-Sets0Hd5kY=ȥ uq{>woT2 Fxvi]>yX.`e ^_<zǟhU#ؗhK Z9&֕0y΅ݰ)ڠϽ>5TZGץ ;b8NnW)>:: kF>+]4{6 'REs`6P>\W8Uͱqx B7t:{w!\}m $Zp ,twme5Ljr>byH1P薾^UeA>\PdXBK,k$CV_璤 80mT45oCڻ6qD΍:-F^;-0)@!9k jZYTʖ\",a>"k*%<1@Q޳8r:ɢ4?h7(P]Qj K>]WC9Do7⺤׺2:02zvEߖ"c ǭAO1KrB=)dʸ7GK7u&#Ւ+14. cZcyg40Ks oKJ) ֠Z٘uU%0e82Gj`;foُ#.$M~蘉(>b@Y'<E1G13BQro :>0$ LB5ʷlR̥- ر>;>B^PqKM&"Ć#7UHL(~B pڸ*ϤQ`AM|a)b;$E紽۱8VAlyjK[뗑D;T^ckS`V-p٬SH`C{-3utW 6OBi?+EZrw,1ukXU+Nx .eH[ KM9 PݲV˛tP,jc.1`.H"8NТMbeԔ8t07E-"8KP_S׿hG\_%R{W0:&,^}uhsiCG,ׇ(`z4<b^N^U#Jvd;F1hnEEV=s2r.c|3JОGPB-&o]-TӜ']Wjm_9h]4Յ{q7+?煀 狈bNnrE/0vΧd+1-%X'0J[\}^8af@πټ]A0w.TvƖ[fY*1'f:S{Cr(nPĕ[y%`_S#Oˊ0cJG7ajDmUIL\v{{ eӧwU&$R@ˊ Yi$v OР~"]_OH/s#+^W3^NeȌQ#iq4Tf1FWta^h7ya1 ݅ŃǕXf5Kr0J'ܚ #Åh'moHo  ?8rDX;ǡ&礩gs~M_z '/=rq[ϯ*[xLZXm ]4 x{O*{Mjv`_hQޗGz(ٛ娓G0['4TѽbSr c|EHpx*񬣕l*3[}- t)bx3mt? ^^)GJYff(y=TgYZ3298d5e5cbeba99cf89a89b58cc49020f5ee93ca02339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 e18eab774fca0e276fd5ccc2347f5041793d975bdfd6bdbc52624705a57beed209cb16117aef6b36