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  E E8 ] ZF-UNITY:threads=6elapsed=5.138cpu=25.184gc=0.832factor=4.907zXZִF! >]ŗXf1-WHIk0p䋎dh֨/+a"Pc`蛷351)klșt]gXߖhUS9#|Ob¢W {(R4BZMvw!}9vq8K? 7J 8O+]Dوnx/N X.x0x2zuƿۥ6lccgVLLn J~n;L7/Ӯ&_wU^/H3ϘP|(yqAᤪ;$Rz42[)H\"/io{̎=(yʝIvQ.v0 %ٟ9F=,LfD[`ڊeꀧ4#X[ #Z.ꏪT3OІ~$ѯZrf y@!p21뼤(8LԸxfՠVo WZ$ş q;Y{6!/QGJ\ZZ/Td}GyĞʭWV6U漘bh -gYZ7zXZִF! B]ŗXi%6P1TOKs-_085 k?\Ue?xsrng8d7O nf@)6"uG',_R+M`wK# ߎmU܇u d|2 E:ɻ';6L2ҙEjsĹV\DXI[`p 4>o:nFӍf{Jl݃ m4wNg#"r2ihYu\@P'c}!#t\K4K1m;7 7uYُVdM@Ձ;gІd V:NIg[xе7CERe-vrcU!>SQ8uFW$mԳۿ% ɳ?~l>&^,f~NH)ce5ƷNm0{Et_7f@ϥuY)>D'x[݅2ObN@\i:AyɍA&Z O.Hȗ[` 'uXh34.LwezCMuTmⓤ41]Av ><;#^%-{C0$wG vwNN)8 "0YmNGFN}}^ʆ8hgYZf99c2f09fea2346da56d547bd2e5e398ac6052b2b32ac976cdb9d7611cecd21164b5d37d166a70f2 1ed13f42eadfe50473d4cae12c3a69ddd7a54e77 f678fa73ead33dd357f39f4b7378932ece6efb36   ZF-UNITY