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 <% D w/ VolpanoSmith:threads=2elapsed=8.852cpu=15.372gc=0.552factor=1.747zXZִF! $]ŗXf1-/6vR[iB9Gf}P9O`3;%{Is`9"PJhquДghb}T>Gv6]?|2fEf9ѩkY%D홲켜8h%OB HvC)6 + NZ <|~nEۉXM,8 % VolpanoSmith~5|MUv  {$GC5X`UJ#Cj?!4.·c3Kc\+#q]YpoI;#6{V:[S~FsCD}+0FD[=sF Gx m*MD ܦ.lhɿٞ5NKB]dRe!1uޕ. t)4V6؇@&jskB:Y?XIlNZ淵vF!],} >J!T mjqc5o h u4^5J&59M']%RW]oJ/#տۭU٘?1Dc~^Pf^$#`Q⎉K-doh麧t4|#>Y~_|뫘1܌UC*Kx;猁ъe8ʁ_3+X !9غӑAt*WmJ3ت(VRA2: l"8Z8LRi;C?u LѬz>BZO`)pN;"9|yJJz(;w;%)]XSI;xgYZ7zXZִF! 5]ŗXi%Vi75k\ƪ@d m_labMJ*ؑS?-a GJېiFFZ@UH$OJ1O/:GLpi4m[LxvW{.k`ek%_fVN;(~ G)/rɿot }Ƞڒ$N]|g5G#Nu?3jL7j}Q9 +*bY]GGEv%ĝ}?HG2٠RQ)Ӕ$@5RT_Z He؉@fNKiiMP3 >loCChxp˟2V|.IgZWGj_rnaUYlb :<ߵvx"_%[8/dY;꟟BEβ8?7'e}Bhok\4X»6[$tG\=woF"gh*`#a#:%s\$h0"_ ЎDjd