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 *) t I/]Stone_Algebras:threads=2elapsed=69.503cpu=109.584gc=3.448factor=1.587zXZִF! B]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTŭdڧ49RT5zr vM> _'E< wnHdEr ~ Q%=((C՗r+̔ HîNjpN|؎8 mFt*I/t]s$BmJϠH$We$;1޻LLz8jQ&[8GsN",.Ē7KR;K5 Cj ~|C%jj.K 4fqO,Ow\g1Dx,aZ0霠B7jQmJ®nyRxyF!ۊOA#Dͬ͋8T$Е"rCmYPo}~9Bʰa5G9qXvW6,Ek9ुAI^GyA~g~_O  BOp(*+锺yckxs*eކ;Ϸ;XSlQJ$Vz4 y ikl=QaIAL ϔN:?̧MʼnUzOi 9`r^lƑGJvU@y\PL8R9z$1R @zOgWEl+L(ʧ˭573v./Lq7QZO@Gz0dc)k8ɘ$KϬ$W7(g.ޞN,xáRyGzI?MeNM TPS=޼^=\1PL6.̘\'1{lO~O"**,zݼeGZ0^-!%䭾eNp0/&C=B2]d[LѾ?i1gK-!n|nv_#51Dq]HߛH]:58)Z\N}MX[9\lmo$ k35{mɬUO0ڽ;ag He[кz57\ eRC!{GH:,;[?H3[ZA| :9qiaqaK-' .4=eiJ ԭC\)?c٪H$1+-FBi4;ʭ@τ|?(<k%^.`ʴͫtzL 4Kc=%:(gaX$d)d1Ie`,c3-8ot7u3 6!69?#ٹ_rInYUWO]F7E[ KZͪi+F#]gz;8(uA8 d3H($YHӮd5ϮǺ/?t㯁ҫ~ [vo\f  XTpU~ŵیL;F^ ϕ;Rɼ)ƏҹڪMr\(t!몁%rxKnq^t{GJ M 7I® &xeg e` 98uR R ^fHbVrmo];2b⧦|ng6Z~hui(%V M(L``CUepћ4[%9?8 cRX.Ġfm; <뙞軻G⥿ä6fyYI{fYIu(qpV}hlg>ͤB4|~6ßp2RZ?=v:YRpw/m0>[gTy@CJ4aB7hHMB&:H[A<JRM7,zs/p(#d{Z1TPئ]{'S\`p#{K4 NmJxmHZ<ǁĶIJAe*_HòE lLzyEO}<_w0|"?|pBޚ-3O{ 5O=ƘʼZ3ͨ,ydjU|c`]jV!,IYeƱVQg)gnkh3ŞYͩ^g7ۿ<" U"$k@}\(^Ub u{p媄?7>ھ0Z8YjטlexTOߔ'T;fy ޓQq tMe~=TcyŲnkqb1PaU/YϼỲXhTڐ:WsgZ6yWeAFSm+?56JJB+M+&ɺudv660!bC~Elv俄^xqK=v$i-ASݔ!-V+ qgX.PEbQMг[)[m$Zֆd,Vk9-̄gJ8Io6fߡ {ꅩ g~Ǵ-A*?<^%=Cu)]=EߊKByrSD%`T+Ѻ% Wߺ"U못{BU_u D:($ {,ySyJ_V˃Jo?6<4?wwճ,cZUfCh gCR7̻v:lҋ'd夰ȭR+M}OJ;| n(a5XYX<w1Asp>-]GYA=ގHVqAN'T5/O?lZha ʎ .L̢m,'7~ϓ<&g\W aox~oIȖZyWN$ ul+tA%JIyП\&d#ISPLo%ϺLJqׇp*4Spv,d,EAO?hbJhkMՠ{BayWz4Tr3YtHL'\={SjV!j" 0[[ MO*T^ b[)a4*Ppļ 8P|R6͒0FTJEz^YzvZ݃M9za\g~ Z~E}1< PgfLK5T9 5Zbs&FoSb>l.GqbQi |^_e>v[NO#J9\ Ĉw^iǵD * M˷>YQdS-|/5^gWaȓuDd~6qLfqe~sG{דUVֲi&>_G x-\~RQb'+2$TF*+wQ Ÿm=20g +0v)s*%H8F4@&s2mKæ Ű;"DuS0(#Iuy`ԟgF\5z;<_T DuY4_9l[{җfRo^M 5Z*ٳ8x.ZR^b\\ᨇ{pm^PC[EwC.nfN}UlU*pV{u{2P33iM'%6[İb<rHQP֒5~M]Re6lr$W)=iU{4,,TǑ }֦}- vDhGk!|6X}iGDbYD%n8U[ @Gw/"0E7ŀ~[(er妽'Ydgz\M-cY-3BR= GCӱH/ܚ7۷ݒ 'F!d"3/vhiٶ8)+:ADj}@P} b058r#wz[}$Ѣ=٨7-8C_RnA^]ıcE'V%Šsfv=C=2aA݈3sbsZ"j/WAQ4%?Q x?4)z8k0Ԩ7 L~ݖ\,!5cAk|)֚=%*:2Q*SO$y=WfRqC)$ iumYٌ_& D_YmDZ c1?w&B1 Vl qxTJ2 @:b(V홸>/xgYZ1468e48b8cd656ee8a0f15090fb881e3932ef610 1fb517ab73a2b41846b9077256f60bd3a5cd2930 2401bbe8b9942d12551f3d6ccf8eec9cd61898ca 919b5021253870e67893f6f78d6df8a22a86e487 b3748c77858bb11c1b118c4a004bba7261bf4ac0 c3a04239d8a181cfae561485bff71442fb40d565 ce9d247713168595ec46d4a55e36828823fdc26cf0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f9824b1c280b514849efeaf89f24b90b476cba34ee9