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   V/ l SI SDS_Impossibility:threads=2elapsed=56.950cpu=79.956gc=2.152factor=1.407zXZִF! > ]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,?JZu-P1!ڱۂp;Kf3~,?f]xўmUm!(ǝr-PZP^>ŖJ@aCT-,ZY;'|~ZqL9N3Yԭ x0+>W&T sA(zQ{xMQ]͗q$uɩ)Alr~3j0K3ݹA'Dα*>egWϔ:D96:]kJzXȴHNB1NgI8).^PT^)1B!=N/t?W `Cmh΁M=λD KE?GޑVkFe6Usȸ ܎]YY*Y@TCiSw #/V@QpK iĴG%?/wY*c I7(IҞQy@|[G},EO[+ , / SDS_Impossibility -f2j](=+::Sɬ6UR۫mK> ?HYݴoS;lRktq5_~8 [5sd7"x iT=CO|J%2!! VHn,{jf tWXU;_4X&ņO :&z<+:`0uD;[.v*gNѸNl.ا5:v >1cȅE6\ t*i}HBЋRl#Ǎk`ۀM7\lōeOTO6>xtI-Ε^V.J#%`eFU'~<3M|[N(y ׁYvޒO֠o86:$]*XWOdӃ:>b5\WUJW W: @VHb<.|²>&s'3'fIz0z6":w4Jm& }B~jZLZwA Bl$=RJS1 B |رgYZ7zXZִF! ! ]ŗXi%sm*Z gLfIX)%,+9Pˋgyû{ib@ToS(*lyFca[DE49ʿMz@v[{R\DK@z1IeC|# y< >NXz݋V,8u&U@e˂+1k"$R1^2%#h_YGNU|\(4Smݍ%^{V0x+SQ HХ_+ h* L:)Bc3 m2U9L u_!WaKR%R,q9mu+!%cMщC:+;5H=C5 <U}ט=^,f Rtg.{˴-sEYIܤysST|&tĥZK97P12ͶCнVV&2H2WэuWHAőƋmV`OM U2zHVPF끗;{kCh47h~&9IܦET~[Lz=B057C GMu{D)!u2%ƞkpV^\}ǂВ=4g,ETu6kr)0?_[}{1O鉃6 tg/e(~AsT fj5].oP,5zMu.. v>kȴbtG,jeWۿ\G>.ъÎ[PuQM2*E )x?FTz%&'i1{̛ dZ=g4ŧH(7UN%[)[' ?i>+/-_gt'7=ېɰh"/ ~9[m9˰tpG:obTiLSKqP^ZƄ@n~M\ur[/|g~;ȯG 6vRYU/XQuoa&f@0˯q5o@58U[/qN8xCke%+]]p9mQ?zjٮ0C)t"C-y |X{7;CxgcքG4B^®++יNVY{>;DB UFss7ƚ|G.ϐfa-xIޑ~Y0"SڻDr(ۜ|2˂ }X ]s3!"iI0B׶% ]̥25-,m.N`T,@=SQ! u߹l*qy߾ 6{(~]uh(r;5?t#żwvJXd^%'1ck) -3JC  M1;WXzfbU_n1R8Cy=5 {: 'OrȀ:<Ey 3D a쏵ӛcpDz瓦5TSR:UQq,G3 5|a'W8 9:Fv*uq=f8s>~ͺLV9Wಸ3kJ&j12~y?}2Pe] MmN!p\w^ao (pM|Xv-:˻O `j eH3gYZ0e948a16b23c90c8091b5459cac6f6b4a988ceab 162a03f9ba77a8b985c0c58729bedfc2c7715939 33673101c5c4aadab9fb20f44ea09474df805e21 b4ad9a5d7e49db3dc82222e04a6462d5145d5afa9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 4392414ee18e21cdf5931c628c2aae793eba06bd 0f920945119846c2bc31e47e56420208d47fb2a6 5931a3e8ff3351f7b7f1c58f66fe20dd096b27ab