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 v- \l ]/ ZF-Constructible:threads=2elapsed=15.119cpu=28.648gc=5.316factor=1.897zXZִF! ]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ό &C=ȹMU% X^^񕩑׌#٭!0'|`w-[<-oVg}'|9~guv'ãD3gAKr ߅:pE#NY_K|ۗ&lN'L= |*A'2c}Vĭ-t7+Eѭߢ Q W-I6!QC9c)&@5U6_2~{2~YL LIUb^d`o0atSρXP =#oGEV.3 |PnOHevЖnW6(9f.;mh M/& q$5|m}tuCE%B}|at;? Q>(a rfnBE-g5ww V+\Բt) \B˅eRJ~)Ikm;}uX-`Y1*q#5p܊֖tO5~\AjxNǜ^/@[z5~ '>Lrx H=$}50:#@t8k<^Z°D &V/H"673b[k37>Qu YVN4A+*/OqghD${.3_`(Oh +d\̀?:_=Xka.Ѹeqc^ZQ3٭ RΊ'|^CG_(`H3yȽ`~"ӽݗ]"55EꕕHUZME^4]08#Zq:)~AVrNp}p''U#A}5c0N8@_|} Wh,ΟkT>9+mCM> JsFacVvqaKɃb[H)藓#=,>=b=B X>/N:jЎF$"ˣf4Ċ5h~+/\P-F|95IpIǂ'V1&h$!n.{u_뚾w!*qg%|?ZJEVUbӦP@ Z)p$k >8xEէJn&x!Z{^Y iآ5f≎ol0=܍ħ`9H:]FV tэw6 "?pX >ing)xN3 m(t0&5IS84o[8!)}Y0Yu8I(