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 00M) $t w Binomial-Heaps:threads=2elapsed=19.801cpu=34.892gc=2.928factor=1.767zXZִF! .]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dpFyrm M8,҉`_L%!|6ѡұD)ն~h8pm;#{ɍM#I뷮#$5 c9EC~1 s[&d%#1 Zreg^<"$UGf?KJWx+u^CPS+Ȃw$BwnnK*.DNJ$ Ĥ@J⃓U?Ύ|=NlvjFE>?HN䓤 żkθo^AaT w\IEb( AGP ,lhjyꮥNuW޼A&L/-?T/0y@ş|%"KRj4FEésʆ/ǷC9%<g'3tB2Ca):yK>J&eRml"^0)!ty=yhU Xq[j'6{<}Q4e?DWd*Ī\Dwu!; x $JCtL<<) <q6AxgYZ7zXZִF! e.]ŗXi%6xoS8A6ʠOx%o M< u1|p7-rUlf|%ZYRsG?mc;|{)1c ͊` %M7v9(.=U6q@DB4^X3] K EzBNû68'o -7#W>Y܋ C9WJ2 L:vZN:%9WL{yhL:0@f%ʎeȁ( :>s{Y/)Xfӌ;fu{kHO;o^;ƞTbک(u!At97ۈdQ+cE%C \*D'E^1nЅ78vZm X5!:^F,$ɶ+V|!K&AO|?o\=.O9 sw0$oV CڋPE{rΈӅLƖmԨH#jIXVld%rZ-D]o%HpFڑ@!DkX]gV="CHV2/^k^P"ꂶ=/yWkArKn*2TbBKk5?_Y.M>3 j64T'y*aPkY#2FPc;!a $+h£}E:A/wy_ BtNK8xOTZt8vЉΐ^+2L^>R~5;۸*oYX0)}/jwɔ8>xj^rSc;tS#O*뉫c\ÄNoO C?JͿiTrBX3m9!nBw&a\dp6Dl{8vȊ"ҵ"ATdY7.)$Y