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  5 T,  Lower_Semicontinuous:threads=2elapsed=8.359cpu=14.600gc=0.312factor=1.757zXZִF! cT]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&W,.$yLZ"k8Ag=3[A#gگ_ƋaSL^fu+Ky'Z 3pꆲ|Ʈ,Vu1ڼ/?cҠA#kDð<&:nk/(B\ʷrmi2) Շpo(^Ń >:,ruE ރ\mI;kG)-o-ia9Y2V}{ ߣic ў 45ppA=Y@sUFҷο"1$T4BruXD7Nf~k7m  -m^Q;s#AWZ8۽ù,ni}0~ހWlx2KeiּK58gic $J}wYjꇵ>0^e;J6H9 X&7S\)L|I :SJ~[kUމK{Lp[Xvec7(#5L"\Ga{:ЈSimaUnR2xviډߡ_4M3sSVZڜ٣Tp?'V/ =O.վFD12+[ % d{u1@s&t]ffyz3]Mw$Ep7[m6.bf^s=EE"+I1zjr:2F)RK=ծ8J67Mw :#EEw".ŞYtMqC,IƹTTY}4%%nzGK։5.Nyެ2PIM ٗH˪wo Uߊ-A5/.|t"x!,zwLJ*1i>O16i/$wg56xU  gYZ7zXZִF! 19]ŗXi%:\Iw~.ڪPCv$DžB ,Z3&^N*~w#5 %ƐGE9LdbͰRj>  jv뾉#qg*n~E߽k+3m4(x/Ezu9(e%^o\*ܡތ:t\x(@tioBK9)L$-Lr'V}BI)Ƙ0 mzQ޺8s0Gc,;,è8Wmi٢TCDDUMaBz>2H`xe)ȧ~Y+^ae la K2'(銍PIϰBN30 0̈[uyI mⷫ