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 l, ] ZF-UNITY:threads=6elapsed=5.133cpu=25.416gc=0.816factor=4.957zXZִF! /]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄď- >J )bRTy7g˒c^kU[lذ YCA 0C<6Z1j5j**^h ʃu$< &A!Zk޲uNzC柌i g2s­5biZGU& Cg;,U䡑gsrSԎ5 pu܇5X)B7|M{݊u."si;A6+2Jwdƚ[&qY%>놲_bm}'o޸UNçgYZ7zXZִF! 8 ]ŗXi%6Ʀ&|e8P7햆GRd/ЉPo.)bd<[/6 x>g 'а8: ?& ˓m߼6cPg)R1 7Ȣxn0W?/ZU,hB:͸.)@d7T@?GqS2 IFOa{sԔk*5] X"!Wi4n )1%mֈ]T9̸(-k!a\lؐjǦ|p*{Iw(3؎͢lگ dX04\btdW!6N7,:nYrL^sЖNsAOE|LFG%q.)0,^˘'L}o%`xdbHj|M ;?}V\8{ٽmQC^uZIaXRwQ@03$>|C|~-. 1]Yʄ͜ DpBq[P.PhqlRf-AVg)S1!N^P'8(~p. ftoiW4;<^8/)Sxp OUq6G@s-0fI "ŝ;\td/IQ?XbTL1aio_;apR9EB:hwXȭǫDUE|PNQļm&JInr9Xrty2q Pt+47uCHEX8e1Ն8c8gYZ2a2f37c1e86f5e81fa8a6c3347de95f261961247181aae7d465d5494ebe895832d6bd3b131b73565 48ae4c1cb779484ec6c4da97a594173fce222d99 8a7d7e600940a39c8a09f76c18af87199939abd5   ZF-UNITY