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 x% \4 +/ Completeness:threads=2elapsed=17.254cpu=30.580gc=1.568factor=1.777zXZִF! e]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I%g9IE}ScG u%]oGHRgb :O<5>8 fEtąk*Vc*{/*?TzebĂ)eåtN2$G nβOS@(,/9Rڶ|?gIr7 R({sxkrVѩINʘ 4SQ*G[Kt#ӫS/<:5N=+s-;Gh]c[8˼|$U[3z$e7%k?.ga(a,{q?ĒlOCODQ9(AEUGL; 2=| f 4U}Ӈq^iUh ;|(o=P'-O.eT0ɮ1r?PKyP|"j2D>aO8,˄d5Out @0\z0|9x^_Q$b//I E$x@-=4Նf-L5v8_?ۉbFiZho'%z;gT4e9B9CK`Fx|72m@R"dhiE^lt3w Px ",]**Cdy1Ц@Qaz_Տg:MT8ک.7 }Ƭ|= ya6C8iAKU:b;"ܞYߡ컳]#} !f'"l?E 'LDbGΉ3ٝ_wBx䬤C8AtVU3Z 37 BۭuL$SU0Ԙ+Qf*[j>>{\q53vsMThx _}}M4"Oo&ء{&dG; G]49T ղRJzYep_vli?*6|/Vc y1ؘ_B=.ow,d>*K7}ƙ sr7<cK' ;znPEZM6ok Ic +_Px?i4y޻F=]Ž{ؖKg`~c}9tp!.+_hQcaw e_o SAv?:,1]7JP#.Z/nƥpڸ#ۨEQ@PSvI *`IZXt;ܫЛB HgYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 1c40359cd3b1449d103902d7eeff39fcf5ac75fd 20ebb6cbda9a73b97a6b9f2d7e86df788d36e65d 2fc210dd9eface8d51c47887cee7811a1051117b 48df2e34c52cfbdd85c8fc777543850c662b389a 6ca5888c24e8690d8c520b193151133dfd55ccd5 76257fdf757bceeb5f7da0284ca9e0422058891a 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 82fce86746f9061205d625fb926c1da3b71e3bc1 97020981c6aabcd5f9a12344194388cc00a68b45 a120cde963232dcdf0fdaa95e25874c8f0d33d44 a6d881014016ac510413e96c94577bf126ea335f afdbc1703bcd7f3f333c2e1178fb64486e56a6cc b9c5555005d2457d66592f71382507c4831b3f89 e46110e63087064fd6f9b57da83636706a45edc7735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa % Completeness