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 s' ll4 ] HOL-Cardinals:threads=6elapsed=6.533cpu=34.388gc=1.392factor=5.267zXZִF! t/]ŗXf1-q恈<-¡$johkX2I)']8PIyI 8mmsG[`FyW/9Fx@j-VbV*|_';0+4P: b#R(I1?b!`.BdAҾ*0&ۉ_ J>{bBxiSHH,*Pf} 4us>b˾2xZG_S<5 _,pbAr; /ۭe !=T 'OSDMxp)X9>ȒG02zo'fSSC~Diѫ#^骙; ۱jYͨ|" <e^jj/e $ÔñgYZ7zXZִF! ;-]ŗXiɟ1?ߟt;9BP2CZz眭5 z @m!4cSH0, F=y]4QAs? o mh`^!C~57ͣחFWPR umX~;_,4o=M ߜtz'KSPǔC̟4a$W 1Y#҉"y"Å(=W8Ҫ5G̃!caf~n`10lcr'R*ܟ$ap(ZX˸Kl LgVKuπ[hֱgYZ7zXZִF! T]ŗXi%;3G80D߇Zۘo vOxXY=#B1ʚ37.fڡ6cgr|+# )Z#g_ҏK`߄Vp "$r@DYeo$Ĭ>͙ )f:/ޔ֔rc$ Hr5kpq+^aE8d"ѫ 0v#|pԸ)8;h*8&@Qvf̏ohԽE<3݈=Ɗ`/$ј| ژYl&E\|_Q@78="I]圸1&DE**n3iQNK{a$:]! [>)rֈ++An_}Z/AP), DwO^L(P9qU~TK)7.A󡔰`c ^~ƸTM~RJ,65{u7zʜ+Q@A>Es6meWbZLdYqH\r;a:\'&T)TK[j3 nP,[fZla%2$%U$!<6Կ;Q$+i|4zӓ(&>Hq<Ӷʨolt"w;G]Apf #9qH