SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 6 6 G4t ]/]HOLCF:threads=6elapsed=12.281cpu=35.084gc=1.848factor=2.867zXZ ִF ! 1] ŗXf1-q恈͐7ӺVw;GOy:Cir8% NV c:iN1IqS5tR+ *#0 Wt KOXmx}=:jSOЈl8q=~ďqv`)h(?E\wsVr)na.w`܅;$eOoS|]f|`IU4}(6jIן̘RAūSf=F<E$gEr[,&iڳkP+B\կ|AܥzR3w2LAjyđjGzsT=Go]+RL~ikoA [wPgYbHpBgg)4pJBm̙' t\whI'PaoM3?GvZ>ॠ.J?@xٌܹVh(^ydΊF0̮-j"&}g-><`e U;=0lw 'xnk$ĩ"^.HVq?4}fEWxT۫#Q7%=o q|-` > (g YZ7zXZ ִF ! Q] ŗXiɟ>Ӈɇ9S2]zj?Q2B+*̯}Hic8!>@7%bE@4בta9E Yq([jh^c[iruZTM527҂TyNXŗ<ɧ 9+EԊs# 4͛n($BX%u:Q}0|W- QY)XZ҂Mx`!'t.Ӿ&WoX?ζ\"7? ®\{OËabQ=7,OEX2ch=dr`ewoai^rDox2EXQ z:|![%ģA>I>bՙ"|~ŤU
k|?;rC`_ٸ
mPdgq\$g
>"M@ w2j .g YZ7zXZ ִF ! ;4] ŗXi%;kFB[fߙw%1'$KY~ā熰/tx8viGߝþ|4Xߌ1[b%3'(^;tC}l;XeAM+P VF qVH9Ub eœo>dhj?}
/