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 2271 |t ?/ HereditarilyFinite:threads=2elapsed=15.271cpu=27.240gc=0.856factor=1.787zXZִF! t?]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|w 1 HereditarilyFiniteK]az"kyw6`-Eрo^P{Ѭ=.``"i<&F;';U*k~V~svՁq6gw#uGJ nRh#uV w_"Mv<3Sk(gҁTH*#ǦC%g\-$?7G1Z9apQD9gm}4{i9h'+W@k7Sje3]]nGi [vwL<sxc"ٌrqJ80=WTCG:܇߲ r'LO^ xϾаh?a+ [P}&a;&F62:y9o*vu_jJ+bP xj=`I,F*?' w`1-9ols5 ˆe/Rȕ_LRsNA\TY5>7E`-WW;E,xA_+BXi` H&hmss~Iw>Zq3V͙Bm'ȩw Ɵ~L:4]^TXu#XY2#ID Մgd |QFȂfaNs?nQ;u@Fżj{_~'7.:dndo&0j4Zg-ܐg(TpL;<6A u].p=-i1X&6pR3P~bnD=Ya7(^8ōPBgOC & G{d`CeqG;ސЍ?ņijXw;k=.FgI݈tPLzQLbxMp/C +dA각j*:B ̞|/r}9C3n>LZ2/2E%y[P)k:j7*–^lGTbqa=ƻ1 u27SoBXΥ i`߬/XԴ_$4bĎX@U 22Ú w&+Ig/5ϳNŊ kxoIc ڰ%DӝqJ0kFǾ_"'_u0iA2Iޛf"i|.dj{3K4pLxb_dS&Ǒ|HJgb.k D!]Wzg+;j8Qߜb%8uѺrVL, #c6/p! xȍ /'6Rk"YO!ѯ=ES#UOU<t0N1DŒRz3\ mL4zsu1R["_xO9Ʊ$cNJh֔ƉUͨ>Nʚ?P|P ^##;jRRTB. Lb\M:MzK X\>!-q/MӸ< 7܌*3 o(Y{䂯8n7߲l׺NάĹ_'׏2L eBO;DIth79f;Ծ^ ,C.9>xvE!0Emf?7:L*U<"Θ5u#-DPo+`='>υ9qV~R%!Oi58NJ;CI,\l/J7 6'Zۻt?|]zD+.`dow 9}yFZ5͠ j.#I/\g=>sie \A`a 6*HX N08361"q?46 qVO>h J6 Ūy K:2 ޕ-K 8#ruZ9zՐm ѲWLM;J23'RΑ.&]JE on\|qb n;7.'Fwت*zLw +7j$vYq[OL>]WXcGĜ "4,£647ۍBnK*-_ QTdA'߃P$c '=)ؗQ]Vc 4S#k?0T (|w+^D:v@Kc7S 7M0EԂ4~8ԑ 0