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 --,) Oqyz'->٧zPN8hxTfX"! 3Èq4Otd+!H,K<& b ]+VifbØz>B łro2vjU"6nj2طحI:a\.}ەɈ ΔCؑ)1ݫ~ 5ti]n`| ) Kleene_Algebray}G8(bB jýW6S:{[\v L ;D4)Ve7S`_1p{Pq-fX"жN ,]-B;(g&Puxx 3z.l/#Ḱ%iɿ>ws*b6#} Bt ,SX|y0&Ja =}j)$-}+t-Qk AvSv#^A5^w&şg.S,- $q"2,g=kv[Nr ;If._qj$:;[/oCN;4HD G]A>*PpV[u\_[h@)ӟ 1Rޏ 8i.s6^/΁oNQFZ.J)AY`j[<J u##52Pn!x37,'TǠ=P^~F,0*:O Ἦ& z} ~ژpYK L.hU%lEh!$eױ,H[R)|-X`ElOe} le51B iq(:6AL ѣެшu&*t%}C*M| X 0Dzsm*ìrDx#6`N>veytjR7ۜ , -^>{Gndt?-0-ΜggVn, UE@/G[j0 /.~d+#D?Ԛɫ[m_(LZ^zTr9æ벖[GBDP,aKlX/ؙ{AEQ{V8~i) tN]6~o`X 7j][/vTu7~}tW`)T/؄.X:e/cfr3uGfZgo1 /?sSϔP~"6`Cp7wߞ~@"#R 8uR'IvYʩu3?.pIꞽE*EI\&!p֢,~ywJ)Q|Fg8(G|_͕ngǝPVDPi64;[}ʪQF_Z;P&U))C Qߘ$(1*stUiPȯm'Ǫdɀ5 O`bCLpFi7\v09^AZT i_ퟴ޽Mӻ]"Q)PVZca¦*pjVI}Od.o ҌNJ'(|JH&_-i/Cn} dvYL8d?8Nwc 6UPLlˉ r^t/cXZEű`-g؈xRn2}$E{*ш38[l3ǣx/9iDMX^0޵7mEiMlz}KXx]d'_!{qI #ƶ۳o'۪̔G3,w3 gyG䎨LϜLZa!]@q 9'~ 0ô+++ew}5@-QW:X,$]3STpAiGTZPai~~B/\ږ$upʌض`\g'K;)vʢGX4S$WfO@@\uUil?%5]~D= do8s1q7&,S[C:4&|GǗyPɌҺ]%ulؑ꿽\&JT2#uk(XHn)cj%9VP b+rۻYw0;Gt3a"m+[}W]jh ƲHXwq7J"%aCႡuԄѣc[RDXmzo;8αO燋q]6u^eY`\cņsFUW$`E'XGDiwYk#>M\I3# ' ު^(Kܢ3˺z"ztk2_n鐛}^VQք;D[>^0-zxc 5xY^?9~esGqo1&/ ې L?7i3i+0:JMIu.Z'S*7e\,](^'/l#1:jZ$z7 8/e3"[L­ٵoP+'tb{ί-HG ,+0ёag&$צ,n|\ pUF)1#5 繅 EґkQzGŶ8p% qxmNCÙ]֪7hԋ4:u ݷ)D'iNДM3$ g'0o :`IXD0 j: ~k~ O }&o/~ҧWo65oڼ }[,mdnd-2 ȟVD?d!yfBmn6zHn>; HpXctHxz!ɠ# &}3I4'~uNu橎J$e ˃N53Aa k^m-;n8~f;YczB'BP@u/Ā) cb֓A;a˱!̢tL/yA#ReuH* \<#\AӶZ> IKdh}c?+Eq QN[zgKm1"h#›h {_%⑇g<񿭪ocx54ŗ?/ߧd)a[Z3g\v3VZHA!&ː]&ZDv@ǰ!ٔjg+PdW(2FQ&NݛE=ewo[)Uѝ>Q$w֤J"Ӷ ]^>ܮuqYuԁ߃,uԌY*|^no ;`-h,yKC93mP3.ou6%lhuɉSCU4m!qCv:FܖNM- Nj+}U #= 0QdJ'8nk]+\Mh oX <^^v ]"_PŕVFGX*kb{]k>M>f!|)Qv ڃ!LN,77=˭=6Sj.$6ThNTC•#Oq3Z29}|QEf*J>[;`zggV F8 b?fMc`pm@L8w\$NSc5soLp<t ͠1#Bhf̗^&e|Ϳgu8;ظ!ӌvFQ#Q:RІT"<_D6=y5lo^w0>Uуz(kҀ/ِ2"BxZۿ{[mi1hD`Q.AͤS%("a'EAՌ4v ٪%gTZ}S Ld0)a=eIsyq^ +'s0]ۖ&BDZ?Pï2'%cpHs|3WL!\(8"1~O۩͟M|&gsГZAEɦf-VD $q!5 k4lګg :ثrP^b%D0337d21&X,SPD^uUWd6ƗxU:wt&3?-;17q@=&䶏͍ٓd':J@VU1H:QG6JR)aNYx%'[ZuAb5{Rd2I&$\RX7qDA#)pvVڦ^'ۍ4W!TUɈE |B|dtaf~qAcZ-$ֆH"s{F`yCWi_Wd>Ae,4Td/L^ԙA7rf}Hc^b4\JګMU6g/x6bmPBSy ?m{:Q ]3!Cwrת/ZRTSaK^."Yk dOr&!K_q4fN%+!Ү4FҭnqS`!9cHrv_W!ANxhF6jh5t]%z܋K$=Q :ӫ5{v[>>M ]?Kt R}7=S^"qHe~&6TU37@J]w\)}ý<,MtϘhD~q;߇G "y::V2˗j3u*_>%"BDe#{zq̬O5Tqmt0+Y|{Yc=(hkIS( DTSjO&2erDZOYco ׋ /qn j`EWyuA-LF+&gSx(NLwTꓑZޑ@E1OzeGEO;9JI !t[Q g.zFNA'G5T$ p99r|c(`sm,)v.OFϤAQN!O&_́Q,.wD:4ᗀ !1p*[N*re]{G]c? XdHRؾ1_.xʸ5-J y>HTl2]̥%Y?S5o@WZ!-Sz5 Tq[ X SGOH2HՅS@ڕ qm 4yd:m&sL4[]0h+ΝFxCތ>/r*}^#^Z=S[Ho%{.tۮ<8*RAl/hnNiu@%v5o}~ |d:(0ax|fDZW]1<8m.%bvغ :?gzL⢬goEsqPZ1$PZX MZD:5<ha"d7+i&PO\52sCcdĴfZUxDG(&aP{bt)dC ̖ yXU,"lwH38Vj#Ɨ >*G~5~Z6|X|hi9( x)GgĔӴ 03q0~۷mag?VU8- Eys]14B>=RКQ&Z-FIڏvx, R|?#6x0[%@Ăn!1I5aS ,y#. đ! Em~(BZ".%E񄸬'*¢7孤6J*UW>^ ƆnegYZ0fa087ce214c5e05cd7f5a4a0e7fe2367a406222 3b58d39d4a543179e542eaf16ad3e167c64ac5ab 3f2e524db02d38ddaa7716509b9b60091324e69b 3f4d3110988b4016ade5621622b4f454b6e45976 6336c14be5559c86dbb6ee2dcee1c82c9e10d1bf 65102202305cb25ffc3eed9deee8f87d1e70978d 66f83d671014d369c83f6acd3bd48708ec20f2de 68d6a2f833ce7c69e1c463c4b64747340f37398f 77e07cf9939e92a3b870a41858e48a1dd11f67b4 8fa267177ee89a0390ee736df2332b137b347402 a74c0ce085be073068ff778380acaf69d62d799d acaf4e3eda1cf3a06e9db623f8d290143d038cca ada87a3c192f25c0f3378430405307d589ab2919 b2f38bc333d08f737b915aa71148f5315e7527c2 b870fde2f090094400684f09c8f670bd3ee0584f d5700083070016081d8bcf0efb4a4d3e5ee5825b da90d2248626bcab0abb5398afbd17e2a4c62a61 ed3bd98045c61bccb9e7ac4e721b5bc90163ebde8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 e1bb3d5daa38a8639b3a69887a2c14585546e449bd24ed35c2b800fc3aaa047d57c6ff89d04705ca