SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ##N%  %S Posix-Lexing:threads=2elapsed=15.602cpu=29.020gc=1.664factor=1.867zXZִF! ]ŗXf1-/6vR[2u)qS?'CΠPhuK!ͶuZa_f 2`4xٛX橋J,O7L&B5[œ(oiQX>X>ӐPk u8ʘs-)IL N v1D su6uUM<&U=EL;)eD7#:M!sg&`a: % Posix-LexingJ*\kx5:_\߮] ^D5oktsSm 0*s^/o@c_<\?d bi0~bt,@?ԫm}>#0_g/mm RKgvZ x~vrA Uݯuvמp.zVO.Z"lؚ֙DKMܘ%*x{׿^ٱߜ%7NcۨgYZ7zXZִF! O]ŗXi%DQ M]ԔinߢEP3bP I!Uj cPcQ\f[fCl@ ¥*bڏ\O*)(U/(Dd؍%'C/C۰wmZAPH5J#i׻eka>:<a0 @ƜfbZv fXQU;Uχz5d0%"t]|nгBB? {ӂXE\' JzК[}CkJP\*iKv;]Aw1C.ϼ7ֶgߣ(C`5qv6{10gA1(W)ѕh`cy/JH-ᣃYMcP&}4Rb؁8/Ņќ˱Yd?Gr;SwKQjieHX]CDYU qtOkIJ h'p*-EWHr5Hkb&_=L-՟hENvQ;6 O_-jٹ-2 w(zcNwLXqz7"aI{WPKzw^}fȸk  +:>˺F{mBB3?lZ}xPW80+Ox0J1jeVAD?}P35&or%dmIH_蚿H4Xւ>Z;j@Gb?K 2V)t'<66*ë+t^~q{Aig^veEJ ޳%A|Y7ҰH/u=+} m0(TnvQ߁do,>R'(.f]);pSL<"˦U7FB={V}Y ߦ5g.c N⿩vWVE>Q&ژKAt^\ȇ x`ǁMw!'zqGdC'ΰ)`m Њ-Z8 k ~DSl]hkt]"HVYy¢Ml=B0k_˃5kPN!\U?ҙe36 ߟwgYZ155e566ffe279a8228ba65d38dbe9f08ac4811dd 53a44ac630dd30bd987648a68f2c704fd95ec4ba 70b6156516dedf8c4b101f9047d7e1717eb03406 f4cce8ef5dffddbb021b83d6b068aeb73038c0fd f767bbdb8c9f31d324c4ae5b483b56c867852e407df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f db9951efbd204a39cd1d43d344af0806e469bf8c