SQLite format 3@ .  YYQ77Atableisabelle_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, "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 bb 4l m/ MiniML:threads=2elapsed=11.393cpu=17.648gc=0.512factor=1.557zXZִF! :3]ŗXf1-/6vR[ mŒ#)/Z9j`UHpE)o{WaX2]&&{ˮoA7 o}" o#dP"^AʤF⺕Ū4NPMf5;^o#3{^eȉk󶭕f멖u'.J6HʓTX(m?߲x֟L Gx1o<8h0oKa0F݋ŃbK 韜oi9#kYp+%g{2qw8Ƞ86Ksj+;П%P.E; -$-2tg*287 # J\1 "fI׆fOӊk(EcrewaW#}X\qZ5p:w['l\ĂgL9da{g,շw镶n`Blms濇c.\"%GuH?$gqUN]d)2n8bO4{x|.|cgN;^'nxƍL=QL 3ۏQM͘z`N}Y~à2Aq7)bf(JgoGtswi{~<܎jT|7 60bWwZe`|;IJ-hRw{o] mU5w|Bݦx" MhئJh|$ds(Zo-_VArHAЎ_Y#wbRt+sQ.ʠհp!2],"#懲},UŪg-LVѬ_C;ipf;o/iR2,/6yf&~Hs;tc.ixA4}/)vħw"ݧlԑр~<|iy. }ܕ{cEMtX/ygMNxî(t/'p,`y&MүZ3a'n"EdmbBkhw( ![fIQzelԇd>pfl/kX+Blg[!Nr^;mw)ؚ.yS (' \ӣi%Wm4 wOW?UqIʾ$IԾ霥 |հ__/4ʋʛo%r?o+JY~:;r^wnG: 'ئ auzq41R#T&٭oMljκ$@-m PѲdhqfBz O64|,u hkWխ>Gn8,Po)뗌 RVR\ ven/5f$ڰKNN.)0rgpp`ZE4`"qTzbN.J4P<) hj-eDބ\w΅QCSNuO6q n4#-~U2BTL!,S q1W AE]qek@2d+ߞ4~Pԓ }6oc©}L2Dz!0Z乎ݣj݋f~ I)8WL 05)fƒP4r~ry_h\p%zzߝM+dɋ}WTd45sdROFF$=Ƥ N,MQ/᡻߷0|hH8Z)\7:e]Xjmiao,V1MSx*t_)nz_QPk]~,2 -?;lLd(9X(h. "=Q̀ "aw1#p--~ϙgYZ1856039393c833331a63c06a22cd63386dc43afd 2966703151fa939b415652f68e324f575557fede 5ddd88c0b302c9863bd20c73fd1a0a8c15dd3e3d 62c3b3e1142af452f60b859b3cce934c6b76f32b 6ede36b043e0116e99f50e18e2ee24c7a66b06d6 9727fb980bfd781671f1e21217327461b29c9c26 defc942b0aaab881d2c132747e38e140d9852c9a eae754a10a58624abffa70fb29e1e142f00b1ad9 f4cf19222283aedb83233c990c85eeb4dc2b38a09711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9   MiniML