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 <5b5N#{ ^ ޮۊ`7<ɜ5:9 @AI"aσcVǗR*;FG"G-#ɴC(0z2 CPբ'}Z-j: `^(ͮL5v ` }8Az:ꇜ&> !^b)5?PP@'Gf%t `p%*ю0#ݩ^=?-WxhEԔy]F\d 5 Berlekamp_Zassenhaus#6Cn'yW*fRZc,k4P=V3@%1&3+=Rܯ lcg {Ф{k^փSDz,Ȉ;&װu\ĦLX;zmbeB(VCVٕ'PH/^P;_<9ąLF5ύvUn3h::?3V>C^ҞaZ@ά@9=גUS+*ra)L_YT m9zh(pW<˧(|8́cOnP_UMSNo 8/Io-_3NmYdX'}84 F9Ke !9WWȘ6{h/,Py:w(= $Gb9c-;kճS0oV#~q*'!tv6xN#_J4_g^c03'췿H,ƉIv̲+9kZP'p2E[:%I*/SC Վ2^IFw<+Ig?NL_TZkf:P <8~tCm/c/`΁uDG,OȬcC7-Bx0 FE2e5g~W?:%PGAkv*ˈrd}$͈KۓGJ8U2D_ē}L-ҳSwlcpPWj+Ux:NZ0$6ZЁ\(Ȏ5|B4 1(S2C&vCF-?(=%a1c,BUPf˒4ïT2hQx?#pxdxuΚk.eG!%he hluY3& Z-,rrBJ.Uy |4QzSq*l^&7M6k2Tu@/x }; g簊NTўq92ʅwWMeHəL{nCf|慸r87v pHCp6)jDPFIr>̉W:0&2#|P!)9a<"gh?]X@ 85l1{g?o-ԊX >B".Qƃ P/ }ԝd׏@,@w=bH.H_r~=u~۪ gpSׄ>Zu>`i/ZAY_f笋տ8ZHw9My8 (k};5vUEK{jF|ND Gъa$5٬Z;":}6yB/z{M*A ᛃ^(Pg޶B,79ͫG?qpNYTR"buݖTO%8_8;@ADpuUHP.]xĺiL P}3\g) `W6UpњMG<>Rf3vzǵN)5Q,kFDl,y a:ٝMgmi\a|ƿtj*uno'7kLrfrWVE]9n-}/o%jӃ XQ@>r-jŨͩE[§H@_*/ Nj`WUt+`Rɀ{.ْ?\o0sr5<;mjHKV`-6wqל> ?e=ssCXMl{Ac!݀130)}jlqLZXQ.qI3zEK m@-< u D_ޝ񆖮׺ ܾ;wiCY~3O,O2e>'hOL^Ywq0Ԟc16?wշ= Re(gNs?놳Q<>B0 B~zfB1\G2)6^c_D<.O{o?Ӊ*j%mxd 61P LC%~ZTB7y۱{BRB‡Â0jq|pe٢{SzY9ϻ@X3-Wh[^g[/p;e~6Rp\aq{7Nm`nZvA8 de`VApD=a Ni2OpyC+YLrx.Q1tA.Uj߱_4 /xXM q!1)'s74 9(×$IP}#S ̘YQJ"&mEEKGPP1B/]vGncbd(ZYj$Z[Gh7rugMM|gq,;PZ#fQyC!UB[<ǻ`j!EĆ$9gV&-#ql]=C++F{Yjd.KqFY9$i0ʸIZDhaз%|/ v}' KM)V WgxӞ1B%JܥPjAB$y)h7fx\0ӀY77Q5X(ŋE[{oH%C^ 4X։>`Ѩ.NpgfUG/UoYe Nu?܎VFK VI)T;A lG7( x EC9;܀P)Ê!8ۛpRt;"3aD:l(m: )F(& ? |!^ڷsBnJ-2H{fu':d8g٥H$g6gto_{,JDMyy+Ru$6LfH098BoH(h\:R>r@_BߠJ&`%Dp{U^\89Aig=ɷ,1?:|T\"G3%/F] BjA]Dl 9ʹG-0Hܦl⿿`05pqPEn0Hi֒)| .QPa:|ŋZ&\T:0Lun׌rb;:Rmf4<8/"2mQOXvЫp#OGcJSy8DF{V}Nd-rmڧXP.س %bEZ6lK.@qYBE2tZ1{{*L6Z#Z]1̹kmՈ .6F30[UH- USZET0RBiL:Lvq"im' 61l3rPwLB;BJBWI8G[7\ ᦜ|kzh;Z>{y8ǽx>Pnm c4t,Fvu2:,gJm|D-J< DJ=jpPh{鎏ϳΠL_lJ?JcX,[, D~!.m#"yulj9W6 Ι`cu6$f9* *<,;I4[%Y}x^vGM ߾AJqw9=/Grs:Sd61󐨀m|YFư*L s4.ˉ*x%ɰ1q{*ALW&JHg'B@&ɇ%4[L6,!Z-`x<0;tXrOp6hZ`WÎ{fIQ6q[ɖZ09q#yLHIAzVxJYĴ7t^EWr's^VҊ)gH+>'7R}J/eːޫtIheRo{rx4lQFvO\l,T*)\zuPg_ I.8Fo|e:qU8Dlc%ZZx;ڟ@j 'IgۻGlEJ F,rdJ\Բ{__ZU-V"I0%7i˩ǧv>͏I 5ϴ/- *viS6[:e sϘfj;;cFhnY&lY]OL|-,㝡?\.E3T&\tȷ,_VBmXc?GVIVEb4FQ.;  ddzB%$;O8ZJ+t^z`Xv6ܴ.hKQ‘HM= 5LuVWvJMAdc㐔V8f@qP1^SwzTmJi륾דּ&'x!\}B5?3 ]k`FhzY^a1]'Su)'-B3G+q&o7>:|a.3_xaAC-0+kfv}"Q[ /Ӟ7rD1{ܕ%%+ aƽ0/ N$sXˮSw"9(7Zt"!pٔUqq3iTu4"IMgn3%<'#I|sT9m -2f @*<`BDQ8+3ܶIw}ӉC $=02 8g;2?X?le&;?d21 a]IwL[l8T@Ng'+֍aCạ!n|ea]PR4 EXz}(6c%(թ܄tCkP !J@ӖJTBnڬ |k^8cw}JrKSJc[QelH*+8B2WҖj:fy|t]^p ^zQP\P^R(A̻TBy=+90c@xV{38ۏ=YV P.,u,aEVo\G.+Qq40hQe쌏l06$Jb}`.it*vLh(;`&`,UB@Ub vNoA3 72[If&p߳5 .?̝0i[HDb#5bWZƘT x9M-:64ɂP-W\Hhƀ rFoTTѮ4rM)3)lڵn3^ޟ{p/c{*Ա.,kc?%Z^`iJ 96So@eoV [z]4qsh]^fIFR `iٴ\h 'ӚBْ;!Q5 0.Z X̌NRMIIpkOV sE9I+ejpSΆeQCë<2zQ[ƷA6U}Q ! ͺ[qV7`M[oF>*'Fi>.RkO?n*ǡ\ G67L~oqϴ sGώyM.p[b1mC7C3$UI{AGT8Q(>bxnDi<8Ucf ?tuht֟,. ׸& 8T>Gmj~nO,jiE]ք9|f@b:+EW3|9 є~ܢݍ7=V՘c4C gךK5v htz*?FMAJrdk ,5Pө;@= !J B};wGj4GuvX$xJ7 F/(Ǵf`P^92&i\)j1MϊĴwʄ6$(a/3˓s Z͆lx){߶BVpC1;0٨ Π2nWԘ1 j+0gk2/Q Bӆp𝋌_cݹk8X:1-CM{%C*#eEM/_4 . )׏yx!P_޿`)U86CH~. # 6҄ zܷ V1* ̵7da*5{4֣jҜ&_0 (j0}JD])n%jk/pBLt6[B {rNWZRxj7N2r0Uf,Rt3`Y:RGX/2-nLvsoŔˋAjpXi71e$ 9b_TQ\HaT㑹Up"%$h[n<蚩J7DVc؏ jʇތPu}ږ wsĒGfGWVt9p}!P\* 5{lj`cdIH!dz4"[D(1O>!}[:zly\9*@#Vvnģ B,ML]*J6;XGZ ︞<"d4=cyzB f;`É>M2G W4*K*՟?; CJNpxN T+Ձ Łv;w<$G-p?RK<}G&T@Vq-j..n=(A@^kmsz0sRŔc0njdžxyΧ2􀅟]ʜ 'FY{eJI>Dr@RCk؁ &HU ʮ\q;ܯ,^ ZdǠ'+լ& >aKFlq ,JN1Zcn*EKn`@psZ 0BҘ p OoC[tZbUo:W-ԑw:S>UFyQʆSl3a]HG(#\YG﹧S]^5sr:?ǑXj󚲈 v vE:9{U6ea,Oq{N qbӨwX"S1}B]~,I[N. CMx!Im-+":ωG42͚t5>luh^;Hu7\!Ȝ4e{1{-Km8bhH؄F?,Rxe85\*!J%(LN )J[vb1k9#Ֆi/Lb{݀U )(VhV>9(MٜS}?S Zr_GiyTp IcFQ+"ZTFQ)b/jVّwX wCPWk.e'-#@/S\^k,a>v%Nvۑk.cאj3U.xWT{}aghJǖG81M8ɮqXΔuגsOzx YZA"+*c&5<? 7 2U؞_TÆRYekd)8L{aA3%GۇX;l~mɽlc5P#^f2xXI"8\Vd<|2EITf. dk B5]@-IW :RD} tJ 7t?YX&gt^"eM}إ:H^DG~0#d]MLdrov 2OưY5irVA͂rVg1n͌B T0p L7{zWkvpcjy6zL.dw\{f_]4qcͲu5(OdXI&͋Bs1/H2PM?"OVZg}˟y0L6^bHvVR8I0^աjWoX3'Ds |}Bj`lR8@vR9BCڣ+~8cZԜuBp-ϤypugHǏR`yR!o%w0h`a#sM)?a25n0$W7U(J6ЂG7sYxafZG fpXVqb#ȼ5Ì5I9}E<?h`)jG%cvzvqb8 :a@2FNh<)][B{xEτu*/d.t8[. s1:@V ke_f#cZ*/5WO ﱪ}qCÈ lVbr/M4X qnsw?aaXt&w3^U|,uO t`0rE/k,g@7rU7͍^| 1la AQZXࣽ ۑcfHj.^VmX+h]C4: g)#PFEP'oQI3=kO)Z&詅w6gk w )vN~"* YI01r.}Q$@P:"T ۶)L:Sl:^%E f>3H@ȋl5Q` q@q(7lc^+byLpqQx"=ȉ˛ޑ: UQ8_ztAuj/}Ы0M+V_yZ༓v|ZUPE2ɍ)Z.0R.72FRSi@~@WsC8=:yӠmAfU2вiеV(S}EDUG$ }j+61{@ @Jxe$9@XzLؐ(oxeuk˰6#>jE!m={jV;i@^$7N%JE pLU{:,?Oɽ渟*. *x%x6ߊSVm힧\Di@Z|cA i[jI6&/ 8uK{gF3ٯGk /!jum){̓X:.[v]w8l^Ϛy?=]?%?r-?f1? B.@lH6cf2 HsGJE!-*ǐ HAJ_ёkїhEOZU=DJ9e@b1[,F<,bW^#n_"Nt+b@*A]`'}?wcq}W"70=ׂtf}Lv@˿ 6,&|fK*^M햃겑NPg]lWkʭWP>%EEa v4y*Q@[cK靔{taiB.=͎=YAWoyX#ZiwEo&Kҽs NLs:* H:VW{ f TEoDJJ`)azKO1Û([x_^}*%,>m;tuiX&[RlB-hYBbh₦ynD>ħUS_ ϢdU:7g*~|9gl__bӒzыlqeÆ.;~*x xmmm;yy#6'l%Sj9Ykp8tp/i5Wo&>G)@xsC8RQXsMa[*kAܟ|ϮѾ %yWyr2iOagpLTE&bV)6:xW/#gŬ͝f]voÏR𡵫612oݫEerU =k܆`?LBd;e_f @2$G95ͦsB2Z7c\䷶xb6YƇ4$ZPQE*!WSMЊ`Ӄ8#c]lKl ~3gYZ7zXZִF! cs]ŗXi%ΊlI׃]S7?pa22" 蕹<KTuDo\έk?g@GomƒHq~@Z8/ן[}Uߍ{Ikg|1:Gn8+2JwGnZX8yF+"fV*0-ƒ{ęu\X4c< \qK[LYB:+I9C~OG5;ezu!̹`-U'5@}"7I*P_쉢jR@Ֆm5* ɠ.ɻ¥ ӡ'Nqi⿉b;sa:rtb{bZ$y< rД.Y x~v фf$9SudDׂʘi^rϾ5= ^SR4GD } s%YۿOYaZ7m5be/LMɲN4#dK2&^6>K\[8ѽ{溇MH'B!(i^8~y=H?I Aal^4}^ gy+) &mudzeuOƯwg϶2Qg"jE"5\cZ9^H`<#{CxsXI؏B /C5ʁZrmkT%b Ա7|B~S~==F9j~#vBI5lZ(,C`}ҟ̔ל` g]!Qd`mG/kfqK.i[UP W,Jy<1iC+\yy`žı C)EoE]Z\~yQd, &&ۛ)?<9)M@& kL؇y5cO؉behhƑ IDo5­}G(%pyR,{sngb)3h(^~=`}Ak!IN(B@n }6ǐt0[QjhR_`{#G $(b( w}b֊+6'ӘYOo#aW.8ga'~ȣ=OyB[.Nw/hR! H3vM U #~*.@B?3c&SCOSEyk(>@c #IhugkjTz~.˞8ezV=p|Hr5bOj(_x\l/nYyWk7CIQ{mEu*I-5W;*9^]=ۛ"oby^dQU60cvzM)lX.e6kyw%S5Ϊ}Q/i`?IkY %-=LGklI=,BWʴhpi4Qx}Ski|L&8xr'NЦ]?؀E9F|M  6 Fdl2PWbԮw!Ơ ʩ %>(a*'vU 7$D̋{;^I l} ;3PNT'z!}̈TSH8@ˆ,v/ӬLWpiht%ȩޝc?4 7d6RMu ^쿄Swƪv:a/rC0d9[Pq|.Cƅ&>+߀֩Cۏݪ:erM/^_ KF4+edT,iTTeWEG:j+bWWkLY)nB5zH(&ª7$b>MZcZ۾lģ@|Y>XPpU2|u"u!~;Np~1#Jz(4DʈOHh8٫:븲6jCk5l6$.)x-S'9ۥWa)08SFF'q8|K=Kp7Ib̟>TG(ތ2b[i/A4CO_Q4H;lW{s2 M(Zѝ΁UK?9i7 Z4atM-/jԔ:~uxQK *Q4_ܫLċɾH~Ts5h8`ì[_ZtT`ζ{8g*.1FL7eY 1Ũfm#ȍ:gX׃^[F󕄬Y'&t^ EN h!Cm m<#^GI{#}vIs<t.ْj#-EXS q*8uZ5/>tkD^&T1~1=yc*h-4 ,/s%p H}{zԉ@IV; \1Ӓ@0r⤃Ź^'QHs' T1hH' !1V>Fa [P!3жIuR' -}x ]C9ԃpw>ZZ1"֔OF J ."p2R>i/ |9x'o\VH&njAza=ĉƳHy|>,^ ċ@7\1G _Pa.1kLg"w1i2]/g j@,- tYduxkm&pªxT%Bae`W8對_t{L'a2f(FFơw T 2c+emzYsN&{]~@Ĩ1 5S}g\۔!7g,Dc֨_dKQ.88€U(N\4`N*3Oڿe2C}'|aRs3CadISe9^AwKiGzB[S,cy_vm|w @|7s2N"lHeO S]z.7ě5S|˂="י [O 4e7#XE硄fa >8̓kՉK<x1hy >\:L-PYQ`i@k7mAR҃KMcWzWQe&2_MpQmb{W_ ,G>~ 2f(dAӸ֋%dfR|?6"iU^:@\OrϮ_ B@GCb.<< EcoIpkέHg#ɦ̟7c2޽j.g)qm"0ͬ6,'k5<O' .޹jF&7 r(Z2ykiL\}N^nbGdvԘܞ)6.[zYZqnK#.BF^ɓwB7GIx'bѠP3<5ۚE} Cl^j].&pJ7#m(\UTW"8~ 0˾kkծ𾵥Q]Kh|Zp=[Qkpf9 3өJ}xxMd!Q< '{U)jfЯjIki H?oEq(>^!H3WK'V|oLfHW!ÚMg%hժWp,MW_#1jD3ad`vfȆt<>r6U*NbNSW1uC)( /7gX?k"sRh{Ze1m1*PuL4uޟ <6F}NZf15~UfR WGSXNv S}2_ܠ;Y!^4Ids}d#X,:$%ɭ]yСd,W`8!]l9Zh;SB^L(M غDƽ;zM-1+arW_t59z\alnV7j?[ONmOu%QS&u3r_?S JP݁EI/Jex@ U 9H{gâ-L%cT%Ezta|}בb0 TUs+WL g񕋾r_:h^ew@#ט.*>L9pipR#'|)awhQ<_6W2C:FJӕml $O`"ZGpᆶ+󃨵p,Qa3`yKmAxB2/28^h}vpwwҷ 4 ڻtM5 ]ޛ`-Ɋ/o.3}n;%:gq$/ Ő\R7ynk` \xL,_ąẌ<6L}T'vS2 D^mM d-E %TA8 sZikM= 2|^F\˙-G=͇`z_i@C,w  /i ]҄~x9!WCnÞQ{{'  vpfB L=D>o\rV baHRU:&5pΠ+!`38 #!Qy /l/=n]*tlm-bRpgPaůt ې~8޲FVAtS0%rpUR1t_@gP>ozė`k=$H³R15ڶń=EFw1@\^t@*}ðrq.z PY^|Q`'p}>WHj7BxkiO6Y(5hX$%5ph&?ڱ‘ h(Xy 8sӷ}蹆-x%ܓ^b]L6&*6 U<H=TvxHEpI72mc Am~gF>Y o~3j*2vXI;aop[њ8r{hzDߣMb4MIԽL5ՆjNL