SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Z d< m/ MiniML:threads=2elapsed=11.494cpu=17.516gc=0.488factor=1.527zXZִF! 8]ŗXf1-/6vR[ mŒ#)/Z9j`UHpE)o{We{y~`4JDcV=·> ncȘ+&N@eʚF). ȡz("7iWlFa|0QwWZw\4b2&}dܑo19ЃlX7.KbQ4-ϻ,%c!6WZBRV[;Pv|عQQrk#ԅB.9'oE ʫs' ׉ūֿ1XoT~Ua/'n=y>"A:Dڢ^BPN!'4넁"mg!8ܐhh"[m8Ȓj4S3 y*r$wZX_[ëP=;7ٜN̈́0^%cׇ \4P[IWiVcCNʠO-]ͅ|O_A[8NzE MK9%SiD\&wq+~VUp vMΎE f4sAꇸx#\a tD;|"    MiniMLyݩl1NؚNA痿nʊp]Y>vzry_F%@# ôۧtO &Q\TSMr58#. B&!""6c_PP#6sc!9֛՛DWgu-i֗ZlYp=MzһLkKjibC, ~Tf ,=싪s#񗭹IiRwX<?GW 8>x:hJJ\@Q&{BF2l2/0w&Ucϊc$Y7o Fo2 w(r*twH:ȮO|a{sr4Řߤgг5E;78B hȞ7%-|3-Z+%4O%jrQT\@ '*)Չ9 ^k՟JUF@ºF0)ז(^nCD6i1N q^ǖgYZ7zXZִF! ?:]ŗXi%SK>vE#ENथhWl1jzNz`nm".F †Fb#U%!SNC&9X𣝝 g1d7r`:ڹ%A^o;=["`3N6vոYzZj ,^ɀ^ڼ>2J_WL^]" $fI0XP(\XXǜkaAqg4=* 7L96jv2/2B#6 vg%2]&,Jpt$b[{H. i7= UQb,e%=AY2%do^Q Px ;7kT60.B "6lg'4~zI Odzg2.ͪC<`/VovNSOXҌq>,Ԋw=!(&Kֺh"?Q ט "<ה6 mG-fg_D^Sy c?t!|:gcGA.M_ݡQֶ"StD2>z$\Jߡ(9$Q!\>%No囀 Nk aiL_, :PR(MAY}]G8:$U/NO9k ;",,(7WZѽOaQWkw"ea"_^K+uSgXM](R] C8_>Q _49_~kU#rhi׸O³' #A՞OOdI|_[xVZi'0C_d~<3gYZ1856039393c833331a63c06a22cd63386dc43afd 2966703151fa939b415652f68e324f575557fede 5ddd88c0b302c9863bd20c73fd1a0a8c15dd3e3d 62c3b3e1142af452f60b859b3cce934c6b76f32b 6ede36b043e0116e99f50e18e2ee24c7a66b06d6 9727fb980bfd781671f1e21217327461b29c9c26 defc942b0aaab881d2c132747e38e140d9852c9a eae754a10a58624abffa70fb29e1e142f00b1ad9 f4cf19222283aedb83233c990c85eeb4dc2b38a080f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4