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 " Ll< ] ZF-UNITY:threads=6elapsed=5.257cpu=25.680gc=0.852factor=4.897zXZִF!  ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb3{KӍlD4^TU4Xٺv.!fuJ{lWL/8Ll0{D!KY-tCX|ѭ\Rw10wVg@~;TVbj}7?ȻFWބ #6r?d*nYU%*jk:BqMl+ e-Q2_%”G :}czk6* rbVgYZ7zXZִF! ]ŗXi%;3aN!k_~tv귍a0ʻ>$pBΞtR+\zxSmiS4 Hܩ2@T>GxBXI1̰];!M}X˶zEH^<Д,'YiN^OMR$Ȉh~GRPq4) hba=צI&_Z.J\ l5uBO*P,Qz2={&A|g=鈾S[&7nT2̘+dp1}jeUТ#s9FGSĶz\r C$E[IDZ>J\1E5xwY9fY фm֒sA$7em4rDGWp56Ze4KlVQ`+q(d.TZn&NWZ%mm1X<*^1+x&R|1\N)ki~*27w܁Zn ?V,nedSKu(v:ma"v'3^!QhwC&rXȉk,d&GbL~Ev| .N5?g6 w:(ooKL:?iAePX (8 M}N4lıgYZ557982b0d06883e5fde081e7b7c96d6abc5e003460153fda7f67c400babeac5ff8410bde1cb89937 4959cf0a2c692ef33ab8705734d5f20ce7ab1f51 1995751adab36fa7d10a73e372bac1c18b62b255   ZF-UNITY