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   Y)t ]S Sort_Encodings:threads=2elapsed=62.893cpu=118.288gc=8.136factor=1.887zXZִF! HC]ŗXf1-/6vR[]+rPH[yk)163{+x VYRc'q|CACE$R3 Zf"jaV6t|>6aΒT~1z a=tcFx7T~MGRa" a8φ|Ȯ{[SGSm6_ 솱("[vN`7< <o4 Fgkݚ*>SQIWm/ bMLLľg0ѕV&S%uw9Ty΄g.# Q{:0մɭ)WY,{Ull.ngۣ4^ϋ1I9FksnLek,U[G/)$Ucؒ R?<FگJYsS잎BK7|FE?s< 2lf97ƫ[6I}ƯqtZJp5r@ɉƩkfVeRTEMCULi(U *\,O,1E-P W}ژ2EGaJ;B/ŝ&pX ߓyACݽ ǨqD`U^ gt?H_,U:RD@xYuO?͆e|y{Q8:x.=>sBJ='#&nG/icǜׯǏ, %{׳;(L- w,66{t DnJVNPXft[0k)eqL7Dv|{I {zoYdX(ID[2mGHU aϑclrFr Qppt*'Hlz}4fͼomtϯ]Z㫝s=jkv!ՆA$\ljm'>DŽe#wTĉă>Ũ![B?+8гlpw*~8_NK5 vyh(@r2͜evm&X>l'?#Ox2L#'7nAze9㜇O:+IoO4O<xg{W^lr^h7{urSw"RytJuuM!ިǏ7=I ]MN)A"@ Aa[õ44b aG@lSYpƂfk;bHDPH8Lіns!R$˓M@lY- yGaeO ɎO>p8;͍񮻐BØq9F8fG{hV/UB_Ƙ`*<< [̬j"3\"O_WSo~3|骈yjOr u#ǸoKNr|#4rJJQjTtNpW 'ۻh in2qX_^]=p{A ^BKL}]nJx:3U#bsޢ]Y9c{QeUi*}j16Glm=q\] 4xoa, (uM S<'YP(${:1!Y̚9jQ~?w2d;} .s Dke/;ko nKu.w ])XQgWyyS;8@m.Ft\߰gk[np~6DѣyRP0ӽ*2WSP16q^̜s0neb5 0gdݩ,]I :](l.-jP|ĆM1I+8uKG8ntxshnBg} Bm t<9Ve۵ݿ<84X r" [ (<d^I7`Dqn5҇Ѕd#}8ΩQeId-t.0P.iƀ4$3Sڦ6XpEZ2?\LG/=EDW O djNJBr>!!9`=96#7`yؐ%oh(5'3[^a@{Ⱦ*_+jK!7;37ewMPsR8rasU) (+G5H j9?x,aEfsrlC}]Ft1EAESsvi)R)0,DqIË