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  n $T ] HOL-Unix:threads=2elapsed=6.945cpu=10.784gc=0.676factor=1.557zXZִF!  ]ŗXf1-q恈>HAHIq"”a;E HvGl "9%i-3SYe]kDrV&\jw;.2eq"L)QK`Q] æ{h_ےxhpNJ[jl辳dвU'<|tU:߹0zh5}h=BZB8g7zb /.d8Hٵ, &sRBG`Km gYZ7zXZִF! d]ŗXiɟ1Ivx*`(rHQ ɅeXa?IiO~Uv=: VǗ+ϱaxK!9Z&T4ߔ!uzޘ NgYZ7zXZִF! .C]ŗXi%;@t1ɵ3Oa_uHA `}KZ¬≠iNf% kUZ$ݺ䭠p%캕uCV$C\jj.WDlT'd%:*v~-Y:Jdy2 }0ف*62xqPyf '_HLR,PpBD,'L5BBktRkD" adLص2 7>Vߏ$rz$pܧ AU #ib#@XclI/"H7B~:UIwAKS|Nl '3kl2S gB}$ͤU-}yLU^AsM\K*̝ eP \I@@W[(-Ch3d5%zGbqP* qݲX:yV6h'-Ø׃RT 0%v}LQ}%\O ҅Ev 3NNYgc:&@PAVmWȚ^UK]{Q\23;7mnj çz8֎;? 5QV X8LvS-68vQq#ǚD1}Cc/&"(ooiDAVm&pk<[fs:cw '$o_B jT80Lgmu*ޮ&Ix:\8Mf {DӁ,^'-K( Bm+4a*KhUǟQ?Վ:dk?pAAÎ~peL|sMonqxꐦg[]t3cgYZ701287ebcc8a72c84c7b275079fcb101ed582f8498dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d acd1b5a40151b067766d2c39214b0e7386d62cea   HOL-Unix