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 { L m/ MiniML:threads=2elapsed=11.210cpu=17.580gc=0.576factor=1.577zXZִF! 9]ŗXf1-/6vR[ mŒ#)/Z9j`UHpE)o{S_0U&k /Ip(NE }Y;Ma3e $~9H !7 Ujr:>AAM) 8tW WS"O  P)<+E<] TE/}JjF\cq3*(5մSN;w5婛"zB2jsvwYʘncдL+~9|&9sϡ. k [Ѷ9~% quRU Y2Jyd(\cm yI87\3swz1`on] NTdp2M>O1 Sm4*JJaśXu(*K\'>M^E-ΞM{gtČ[lVѷyBS6}9#)S-7w|58Q#Q /E( Mm069!R_ #r[EZ xZ?a$m-I3h<4`i27 c1v]VOo k>t~ ·Kj sqZu*@}-Ğ5eaܜ*t<2t9*<q%&k}SEt Yo {m&I|[ާ&xM}b 5c`:U1+E) E~IFzoڏ.CPyC ؾWe`;K X L$5}b:r5CD '{>vhJ!"9rCEsu`b. ѭ^~#,c0E䊂̓h?fYGtbD G4ƦSpWQS߃/! dgnvQ~֍CtJiLfN#,XOEVRgX0?s$7 DF=4 {y'B{=y6?ks{3f%bHgldbՈ Ds"ҷ?@e{fYLܱ5wx@a9KV7ˉaϫ; S^OݿVH&mF\?<48 Ǚt;rt%2Kؐ aO_[/?-h?I iAHɤwam'?RKG{A\u3r0_ܷ $k)._OGBGpHl{KkqN0d zs +I`T0bfSuff{ H~ؽYyH U׾|p *fBӌH6t&5ht^2ٵive6}y-K\TrTḎFil1h?#?;̓Pǻ­0!kʹJڊv4 J=߳xa䊢 cOzss EJh_{1'8#^\F y()YlFT{* =-cA1 A6$i@I]mA˔mq31Y` 6WPQ q1ik oD!I*zi+Pu4D_9Q/;~nV>^W=׺|XH]FG, qmb'M&qDξ?JƠO%g۵Np> =axT8c_t-A9hTeiӚ':PyRαgYZ1856039393c833331a63c06a22cd63386dc43afd 2966703151fa939b415652f68e324f575557fede 5ddd88c0b302c9863bd20c73fd1a0a8c15dd3e3d 62c3b3e1142af452f60b859b3cce934c6b76f32b 6ede36b043e0116e99f50e18e2ee24c7a66b06d6 9727fb980bfd781671f1e21217327461b29c9c26 defc942b0aaab881d2c132747e38e140d9852c9a eae754a10a58624abffa70fb29e1e142f00b1ad9 f4cf19222283aedb83233c990c85eeb4dc2b38a0572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb   MiniML