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 ??' $  Myhill-Nerode:threads=2elapsed=40.898cpu=57.012gc=2.340factor=1.397zXZִF! Z]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+ï߈T 4+te jzJ'!A-{`t9+WA^ lF54g2tGS%k&ZvF`L^c|m]/I>RR!^l.}4&TQfߪULZfV8rPsp2}Yi%'bq_e%iPXhjq4žQd5xg9"bh?Ch1GbzQ1}h,J$|]ˆò)3Cb.Kf#nt]:zGa$b@ɱt᤽6#/ZSOTS_ Fü8 Udb=(jF5kVF}Ԯ)<te݆T-.FMR u(}ӑJ_XB9m|jR!,Z۫"g*$I,  ' Myhill-Nerodev0Wv M"pj6l&q1WbS?A= /c#-P@][7mf{؎rω\m Yo- oy X>xoBqS30[VW`o}𵯸]KS\)rB[L{Âw}qu3|p':/=0@)"%y!㽑q-T.m CI|mNyw}j wRGJƳ6|NYT5LP9JpIůkfۙd'82ei7^jD: {;~xdYkDyBӌ2TM 4?ORH ?lEo=^RsYRRh[Dh&~h%_|IA+IT lYQuj烿>= ucO*Y֬M<\,:ڂ#ڙ| ]"= b 3uB M2z],﷡iY9!@O;nTܯ^G[G)Rxppvlxj$BmKaH}h7rխj4h-p;4Y8#7h} N\ƅ" âmv64z'3ӇBg\&A$~KM8nv5s|S_sv:6cD) \:L"z:rפ]y04d޴4砩w.gl  >mTVg Qa'² S |oVt,/Rpi1Ef'^_mC?f W5,T:r%%9Hd>c1H^O5]0%$$ TEѫNKVV,P3Х>Kjc\˔M+K3kA\ܗM⢽5B617zp۪RtA#Me&$H!o F!mh~Ay*=h a ō]4L:R]LX߁a9[P_{qۛT T@ڳ5se3n3 zЍIIp\`E>%%-g[X9z,`dWYأ8f;5 *}{y.A2/äyIUP*sO'%%$ 36t`cI.b++X*˖a:"[=2/s^x))z$U -RXkXk*^Q\n \vr<fiaA_ T5=l\<+)?];El~ ~:|P _PQjghb(쳛u4?A "Q=_Af!H~soFMPp CdxҲq{MUޕc: X:\Gb^O&E +[|"IۛfRbzS!$`Vxe?*fdwMNphOڐ(wʬzt!D`MUcK.n(?{j|+UDb<@ǀ KN{J4L'~-2 Hzp.:.(f=dE㌍=s8i_TZ!#OLuzqOC3W+pVjQ-lB(qmb^ތC},f-x vh{pMCt d@p)|%qDMq1TQYhWiYwY!I2XuCvҒzLQU^r=m>Poᘁw;mSNOFNKTJ@2hUϞ8 Y`5Nc V=*BÂj5.)t] >xn-?Q9 A_7K*~oulü*Qp(r_u Kbq*DcwA%AQg\d.-& @G<ĥbB`Ʀ8Ip(ur/a+5Ophah c*;$q5p2Ԡϥy}^H=Hxp>HVÃY' e! o []۸7<[R c"^?=Iǒ0ATLFꁥaMԿ`^7 $advNoo2:yb|lҍJah֤rRPyB!JǧNլc:0qLA3:sZ Xo _L'=s϶xGFK'FƬpe Ia`wk~T&>i^>7CRs8;=I`/ up0u^4Tg{I]UK|GN|7/gqk_%Bȧi ^ܳe ۠L?LgYZ7zXZִF! ̀ K]ŗXi%HWz-VQs7=%WDQij"eKF%%|pZD zh]Lw&?OwOi#զGn< h)_8/7fG, ^SK{ gbTyO 8GH +Ԑc$R5モq&mЫ=;2װ*$,P7VA5qɶ,A╫t|ckPr&XKLtNn;l7?_=on18|P91L8?ɇb4{2cNWҔQWz$+|ϿEUTz}"jA0m)ަV^M2I4C`KSi3J^ Ӣty*@-_gSΗ M봽mpͰ4 sRWH[!k%[ Dy ۄezjnfVᓄwqԞͬ+/RcTFU1 Q`N E̳UAЃލ꼨 % $l#֫V-"P NguB0!QrԊð Mm(1֪}GAk~ؒil +ԛ`0eErlR}\@op9ohyud 䕐Fq`MubQ,hpz qK]0,v Gd$ YEdD"Iȴ˹ 0`~ ;.<_;Q֘;1wQV(dOav?PH-s:ƞH+1W$JNd$ܖ 7B qp2VW{dDUXFU }5-'= z)7Yv( LЋބ Yɓ8@P57~ʏKZHƒqKl de֎r1bf_KF>L@SjkXم{)-p<` (R8>yͺ.%{~&$(0Þ*"ğLeR97Q|T+JnT&i8; Hp=Б#zNk">V/lG\q$]kT,I9C<ԕ nBtp/` %3ҪT @VD66"vJ_Ad_jԉkcG̓MV#Üެn bg9\zWqc h8 pR}*`y{;ȡ%J~-." pfLv^d1.uпE1s|Tac~&:5@+McMDj@kcC |N~z2Y;YZ4Fо󺊔 JOZ SfQ,o\\U秹{'kQ\NW¤ 6SR4֒߰! >E̝y8U4k/[K O-ܢmEԤ v9-Nm۽Vsuϔ) JO/7ď|t\\C6i:UDk[IIϫDh:>^gYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 1d6dc1579605996cd7794b7159da262073c570cd 2232b04a67667704ae029600345555d924889ea2 2bc8cc6e9be5cf95945e579ba08ea994323a0ec4 3032be206441c7a0278a78e61d3c80965912ef97 372a2fdbd210f4bf1ca19bc25f552d04d6366c5c 489cc83115622e6abec1120f6a9cb06376b51e20 52b0aace9d7980c050fa4e0a384a785c607e5f31 5554507406f2219d3e72529ae9e58f6caa1f2e86 71a02cf1a88b6183f35a2a220c2b22294341faf7 74a314581c98361286a17f50616f0524af2b7c10 7bde2941709b90ac9aa476f401da3017d4a53594 81de4762b4e143259c5d9fb6b097811906b676c1 851ad684207c6c6f68ee9f2b6b0683326d8eb4c2 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea a1430c36debb751f52100e7681c0c22e8d86dd30 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b9f45f1359f659122b1c5dc28e3affcd3f2783da bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25 d0ec1450cfb711e77e017a32b4233b76b39def0f daa711f4eb8fcacc54c6ae5cd0eb081cfa8b0f97 e48d98122032c816a7fd9319f8832fd816eea811 ee8fc5f74186449772f156f8912c9a4cb4ae56e9 fac8ec90e4f007b9008fdb809babfbfb06349f8d8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a