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 >>? mӜ- T̀?~b-/ 57{u)Ok5a ounvM\y~0[4;n&@! yPCV=3P5weD?Rf"x:QI$yg2~fܼ7@X)J# ,1%HewZT@#XLC ʒVW)-5}SGd*!5E%E G]d;+5J0DL{@O#] |Q`)3΋gȅstKwS< 6'+&D1?^Mp6Ku[6I{6yR`u:2I3푞-!B2e 4 `IZ0ZcWA2n=.-Ss5ċj^6f̏:+\KGT `/T^j,xMV~gS9gYZ7zXZִF! a]ŗXiɟ>Ӈɇ9S2]ʅ?% jLOY}-L&Q_Z;q?&9UC&}L׈> oH#H}[m`ev꒟x%mMͨPVڣe+>P8 +TEsuLo&Q`1' yu )hH8ܲ ?XM(t9U^:%/jH4bknW- GMU^N' FK]r1`Vܺ${(mɞoF J.Tko,]uRFӆk{|uJ#j>’1K;~8"j<*)E]{aV7P^[RpU7GXͤ.íF$<Ài}@>K/Y?k)Hn; B9Jj{a]ϖL`WOn#5pF-#6LΜd_Oj[(h+ynG厷P2dj$S"ɥk6)MVgYZ7zXZִF! 8 ]ŗXi%9(IoʜMݙ=͍wX~NSMhpGπy7,?p{ #e156K[8'ڇEK׍U]{Ǵ6A¥o Dzko*f٪o>=Y[e`hq4 b?vNby91"U3J X UlU JQ@y׊ BEv~!Uk3To} Hy4Ez3{T!Vɑ~םb[4EjdLNƈɅ,3x۵tJKsGfВFU)5=5R>*@/N[^t.M_%EcI-+I\Lͅ/܀c;>l !S/cr%!܈xUZ[WMrÒM7[<|(BƸg+ygT?vZ$9 zEvP@ 0fٷJ.xťnmOB^SMJkNp"&c+ciN+Eds8kAbFK\w^L]t.xF>Df,6OM0msCCܡ)[Z{SNX 5Wy|@#l U> @9{hMkm\lC"VuEeSۮ#%~m>  _4߱^xH6JJ1uqGl"6noO73Z6bمgb~T vf֩gaFDÒYibSJsP5R틒ig=Q>ࢽ+!FD5WGi wty~nqPygYZ742bc589526c30ccc77b9576d1476a77d121c59d247ee34b70883a3fa10ad7a52a304d82cf858666 79d8a2ee73caa6ff9cf2e41500504f89e401487afa853f7706f09342bed2b9e12513c9323ed38bdc  HOLCF