SQLite format 3@ .  YYQ77Atableisabelle_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, "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 ~/ 4 SI SDS_Impossibility:threads=2elapsed=57.819cpu=81.944gc=2.128factor=1.427zXZִF! E]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,@1E}]Fӵ`H;E(_,G#U Ol_jIr9N"kzR|0EuH3zI1V> 39 /\8ҿk84A:WZZmON[#v+lb$ӫ~;38ۡCC e1~8` $@o7Y7\˖2ixo2g t+, p1wu5a-~X67xeqA7]W / SDS_ImpossibilitypӇjy_W ed,%K/ >?9/sBQU( l E'}f&Ąְө+a`ؽϏw\ge *p!yF,`;y;¨94?S}0g=gu}'w糚dkJD+f=UL"s-lL $0Q ,]H?H,ƸT-􌩬VlDpl8`2f^};eِ\< ݆L<Ԍ5jRT\"ۓ$Fh5&JߔHb4%GfklgSƎp$xYxtuJဒ1p{.ٶT?pû;̨I&U8jpд@ ³VH}cEaGZBL]J1s/B 0a3qFúiE| 3[qӖ 7ٺHBAZ+`#P1f3љ|K0p/Xo v`.\c\401'u;G *GH:r' xk#[A_*qbr?ZN#AC~붽Aѕ*%Ut"㤅,8hqR5Z 7۶ `ZN4m#r %W8FD7J ̓9/rv<5風'mZ@_B#39Ϧa5$ui d+1jC|w|TcMICKwL. Q+mcyLw"8>up/c`xp Uyq_w5~<dW:eBUX  S%,)LhA%'*u?mW>ʪ$λ!OΆM[3E$N^"f4{ /0Z^O{Նi-5zs)pyVɴi90aOYo©Di=$Y/[2wb6) "@|Z;w:51QI_f{iC}`wAS|fܘ^3̪ SmU9Vbq# DORCؑf`/J,5^j3L \9#pUQE,: $NK <S|M@Bl$$-ybPD5s^TW6O=W?N)E4m;,DK8A{]BJA׎)$ WG$2Njׄh885 ȖuШ[COnw:n!X51L<+:%1# &8y;n5S=KABЇyCupZ!~:p A]Vi"J*WSN Cڼhq|ޖisUVOXS&>X}!ۼdJfٲ,`SA׺_,71lɳc0 OD^茋[/4=V$Yq^ 'ɽ`,+fR.!\nD0xK20&t{iW%4m<"g޳c Q(a;r{^$D|_I3z(1kJuEoZ!-`@7CHb~< jNG-䶭n0{-a yZ){@.@ۧzkspeJ 7l1~ޔt{& E+[I!THw,h)ȵ3ަ3!䢅 D=5#޷8ߞp/ V, WhVvV.+!corQ7v1A'mts m녵c/!nU%[9bxSIc`r5]T"36QʆNAUd=>?.3a)N8YB̚5/]3 (? 9HvPYݛ.1e9SqLl"i6`!5