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 Z tl ] ZF-UNITY:threads=6elapsed=5.116cpu=25.052gc=0.820factor=4.907zXZִF! 4]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđ_QA}Qֆ:i=cPCΒԭtjF`wW|3>"c F>B+t?uf^:D$NϤ `Z|R>bPqoF!HQIrFod~=mx3h۠@ `L X'FR>5몝[щ"'3xx!"~q_Ba4_Z?_7'S!כ_LevZkDgYZ7zXZִF! ho]ŗXiɟ9 i:4V;}A<<ګMP7jlt2&4J `,Zioɹ9 ]ؔ?rvx/G1aXfC5#ӑ6gU$9¾B{W>f[.C8Ͳs7q^hS x* ]߷` ! PUZ pude@ j;/|D:oPqN/|wCƍ߾`a-PwjSĶeoe˒i7j?Xz:u Gɩ9Meo;c0<)-07@vT7xȝl0 rbVgYZ7zXZִF! ]ŗXi%6Ʊt,/ʀv$5慑*JYvj]Z@., Bk8YПFOޯu;5JTn(Aj1QV7KfM C:Cf_z*'"]me5=ņK^=>=_Α/'&M2hD+J͚GS5@Ɗŋix\"„|F@# Hi΄)/ˮ`;L,j0t0-cRWQ0bŝM9OpF2 LŠ"F3%\E$$|l DP kV.ΐ/%zRt<: }WVu\H]knk>X3PJXݷQ|2V*6#"LHM%Go*?1憻y.Čw=Rb߅6l7djؙG^23@9 BPçAq`]x*.I_!F>ʻHR&l6} gA6~D?"CUxo##MD'4zJz KI3kO_nq3VXU W~/CFwWVH۷ڨ.t#zMXɵ & B7;Csyó𥿻7=qeW;f*1>M5eVn. ]T.5}!n38gYZdf651f4c2eac1759e884b7c1fbc2afef8cc340c248f87baeea618bf8b318f4114ee7c34a4c78daa4 69a1189471a5633768e44a274cbac9f8eb0480cc 5618f570170cc55f2217faa13b5767cdd49046d3   ZF-UNITY