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   p' |zg 9&OWm}nϜ$E |'Hń>n$2J.Ͽm] @CQBQI+g0b.R)0V 7"  gcܴ>!ρ{D :b2t`E j?] 9WfUoC[]k:r+N;j{nxxwOikxGHtL%(x}?81~50?=n1{V&M_=Gޅ .~&}B4~[˨n ^ѱiCwzb`5'a|GeN7sDTfN߉'7+Y˲gYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 z ̪7zX]iy@~U&YYq`MxccP; = Q i*Xmq[XpJ55ez$[dIJ=ce\ s1¹6"b?kp?8L2RֿѪmL(=Rt?.į;CbHu"3ٿ]-3QSU ive2,{87KLluӘ( #@u'J K''Ru>[t,;ߖ>gLT4oD7건sn=kx’9-sMB5*K̫(eh%̰^Q09Pg`gb3]J"S"ϩnr['JVt9#5z[DFrn>.iz9OKoT+ZRT.E)&|>XjBz:" MRƙj9dv'H6)OmA1tHQJ K`ŃKMCrP9^I{'I牞UxP^E$E!kI{$M0gK4.P8RT%56tCG)f\{d]Ea[? V˅8~v:8 x5X(gn' Y*53rl5Z Ԧeи]kSj+5Ml賭Ο9}l0 m9dNf9E&+tԉz0Ws(Vǘr̚oޙG`lږm FvE+ LOwNx o#B ~ЇPC\Ѽv| [M{T8(gܺA Z.'>^hzSf I7>ox(r**hO) FaW #Sur+Ul4#9~ 牷`㝪JҌ8Yj۫sj  ';+;̍郣uhv C2gSY`oG*ž|PJ6bsz箷"Xow, ڶxݴ͂[Q*өҤ+DIۚV!c󄡨k;NGW#bZEe;?BT:bt WYd%_4IIwϲ׶Gˏ'(u|lHB"ǔ,:0`~Q(?'IuM9j5hҦ\6HM/{ꀷ5\ႍ+7N; &yҫHHSxc緐TUN3 |3{ÉnA'> _R{{Xj9J& `÷b}19/Z ItVg.}&NPd,™P3a7=){E{a1!":*P;