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 RR+% D %S Posix-Lexing:threads=2elapsed=14.377cpu=26.760gc=1.356factor=1.867zXZִF! t]ŗXf1-/6vR[2u)qS?'CΠPhuK!ͶuZa_f 2`4vEpՉO{$jFٞ8L- w)^xc]9eQ S>AܾrVaHʈK~7 tuwhY+,GRBmC2$"3Sd1:Ꮳ^zp} [,}Z˾Jg ىٻm+_d8y͆Ȳ$ B\~:xFz>CYߌwuhs/Z5%uk힫 X#b !`*+^ +HvL3)=.W|2 -gYZ7zXZִF! K]ŗXi%qT2]i ( ;SW[p`fKJs>>T[q٥2=cCs'~L蟼v"ܐKH_I*R_?]1E+,5zH5VeklRQ"y۵#3(֌8W g#̭˂䬖mFZfS= Q~/HAIM2I0û=P\a\0Cg5$: MtJbZ.9ͮN* [ƨQEJ*μ o~FGgCX#.;Ĥ6~Db28p')B-X$Zmqȁ" 47PD5b{'kPٹYef}7^:SWuX9i8+jSIs4ƍC3>/lA#0ԧEs8^1"KAOK]ܲPP*&Ѱ"4SrO-}o=j#Ƭ~f`5pܴ`PH6I.Jcz!d2}RNc—9+{d8omNE00?diǀ1n_:د74 ׽DUY=dT.TjpmXV "0\grBku1*zP,E$bqZ|,iL^-6*!fb;TQ=rQ_3-ZsoлSj'{yU$ţNYKު[Qua@`\1m< ~=EbrL;aCIckd]gfK>DiE *#HefINh:!/]ɤ5>ɹ;s]i,POǸ8-/W!-reb}~#P,h8sV`iC;DNcw-V[ PÀgYZ155e566ffe279a8228ba65d38dbe9f08ac4811dd 53a44ac630dd30bd987648a68f2c704fd95ec4ba 70b6156516dedf8c4b101f9047d7e1717eb03406 f4cce8ef5dffddbb021b83d6b068aeb73038c0fd f767bbdb8c9f31d324c4ae5b483b56c867852e40c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e e2613de39097e1a4b4281049a783f6f42f22f6e5 % Posix-Lexing