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 l' l| ] ConcurrentIMP:threads=2elapsed=22.084cpu=37.632gc=2.088factor=1.707zXZִF! A]ŗXf1-/6vRZy-`}$=O]a0_(0hzV_lR\rAbG,J*pLȖd/ MLi+F6jv-d%;.y;v@wBI&r4a)6΋6ZRKv"C rDrID6Ῐ;b Z0ͿfU4c*׵yRNoh G|9pImkDd@~"Hj^Cf~+:*+V!9q.p#hk~s`78M]pٝpym AsvZΔ`a0r aۧh5K{2pYt|EF;] c'UC޺-NDz{߸" ѯSi_Hm=S%Z5V5O%BgYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?wP̱;<˘>My׌Py'smo}S@A={ HVq{|PUv )sJ,FS0.w7mVQkOO \@9ЎVT)|ШUv0gYZ7zXZִF! uz7]ŗXi%93Xu?`ܮo\.tOQ?& AB 18@"o!Sv;zʱ|e,8O=>)awbIf)/S:M0q5G 1f9[4GvRah䲈RA]RE~lC ]Gݦ&b+]gu3"6T2=щ=p+=[_ {ljksJb R,tX)Ђdw%1]+lSwk%@^~Z(Pks9lBm{dF-Va[힩/w/,UdpكDE QQ],y+J⻈}Ώ菷ArE@}20a,\ghʿ^\ w#vHo W˜N8/P͏o ݃(&rZ#׬{"{FVA/=Oc7B~4Er/I}i{})lF GK$d?:A9yڹj筣nߍڴ%GRY4B]~Ϲ @|x-en+~?BсX-x6 S}8x,~ƛy'. ڕPW\ưKX8ՉğVk͓-ߨaw>&1 *@c (,,䀥ܝQqrn(N, c0j>>I>**t E^oQYZt [ }p߈u/\ y~JZ g8(tG{CiQ@ʋEX-4_Dv%$)@բ^~(fb,xjZCMI2EFpsgP献 dSS&Pfl3aS9TqA:ᬤR* 9ڢ\+Ӏo0h#@&b{{}#ZHzTdG|I#ofs+h 'l0n #+"#Be4s†p\W1鱏|0&SZGl/xdqp2 mcp0?6zYV$||!q{h/L;Lt6!^KAuH%&ohCaF1ٻ"W<#ʬ= >zu"$~Zq?!N{4M_]"U=B@ $Zi$zdΫIUa\Xl 3hA,#