SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 EE8%rLDt ]/ Latin_Square:threads=4elapsed=4.600cpu=17.236gc=0.2127zXZִF! `]ŗXiɟ7KIxjbk- 2#ؘV!?"Lt}s\0~`3I3du)Gc2%SुsmNaxLL J? DPm=D㈳j-Z L:$qBCe2v}% W0V~rF]$JBjnov*HǂEW?V %3H,*#n_~À4gL4m)5o˳Dm|ox [T_  3:]9=`ϽYd}?Ur:%gYZ7zXZִF! Z]ŗXiɟPaOõEWDwS 8Uy6!w(l7-h%{l8`Jo=q+#&$ [SwKAvgYZ7zXZִF! ,t]ŗXi%BzTPB-|&!{x]l5!)kqYiW=\j;Gfö؁<{nٙ@C/['3yUw\^K}Pc1rdzpմM9_<{\4؜hX*4LuH"ϥǫaH킻VuR+y_yjmn]&DKP[ +̅އJ48aOaHH)q /\&Jܳ ȹ_95-,ΐS7qQxoJ6'7& ;,gA=;$m7#+*0x{~]|4 x(m*8A3=|l\7Е+f.M\ HYܽH ,pn{Onoj8z}#yֆ]ŻK΋ڇLesD:D8-",uml\4G`݂b[y6͸$FuHiۭF{{K=e,֋'DOIq*nw(CiN9\3Y!3Fq٭ǨX[ Wh>Q&y)z&mfdtfGu*7KA-VXohH߆JׇO\e6 .NX"/mA#sB::]˒ލP?]IZ:WDįڳe8V"d|[:P,"=FOpՑĩWgP ,M_?V+7|әc n)h]a"]x~L8GIQ /ߊK~kfRެ-apiҜH>ilvS,S(ɟ&y > |y>kQ-wGee:f/2z݄5>UOyR[V8ԝfmmFݭKU1Ca Yd#87@N7x[=\d0Y[הw Y] lgYZc92260ea708bc8931aa346ff36c83823c2b0933a96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 % Latin_Square 1%/% Latin_SquareMarriage.Marriagedocument.tex7zXZִF! 3=]A-MՋhvG"uIBm52a6:H}ު,|`?}v0==.ZO6rX۾)F\|iQxg и)c")3͍;ơPZ߂V#|T.hsh,CBئA}*3|{b+j)(֞ ȩ`Y/7QȂ6 V0$wϷ3 z 7Χ?5*X[fpC+Se/W+6%}q4 Vgl6A{Ti?ah$I=cO۲Ass@\^ hzy .p| o6(CJ-ćH㞲!Z,aO\/'QlP"ː&; ri!3v/_T &0`k&hS_TZҳ78 d6yn0S1Izq)1mɺ3S;ϕ{տMz,"ӗ_Dk% 0/d!ehukMWvزh`lֽxv]j7}ռb+΋3 3rN)0B3 c1sJ AR[3ҍ)H hִ>^!+_Kr~jUtq+"LmwPS潠mwPN3`c-C&=VYMP Ƞ`h=DWdLE~W@4/^a=Wg]/m ΰ=ܡ"oFrFAϧ͈ڐ#[K~dLŇ^B[Jg}f#?#qBw@MaL~')L'z c ºxY":]I̍&U0WsFw(Aw}:d5jAoZH=^;+hKi;Lo3RD48@n%nC'@:ܫ+N.AJ--6i[~Suox|xY& r*{K{dGZ<oBC6a[%@K/ =oY؊oL 0U  0i= B-a"dyxi9l=’]”Kॢzhd2iJd+|;Zr$Y.6zT!3lT;]4A~gs7.pU\Է沞t^e uA {ۚ"=o!v`QDU cEyi}B?383 ';&wN6, YMΜ0{ x vWv/F\=y @;aBC.ķSX|ҥD'*De^ Եd;Eԏ:b%UӨ;cޗrX_^ћy죲xsDu^!?;$QhJV 'G˲o[i@ZZxWb1#hRɑWX&ĩgOo1YS!{VOG4]?nNrSֱb#1Y=JRm /x0 l%UiD[ ~i͟SarJȅkXĊiIȐ@d<8ʱt%;A6Yo?wYyCטN')+>d&ɡW>fԓ&@AzI=U$bt J-ٕ" jcQڪ 4q`+LԆpBQV3JA]?7I)w6{[g&6Bo^AC(}\ [O [9DtU={U:%eC:硶2Ɯbc2jڃFWVG:ƹ$w^A` FI$L 'GU'w+%a*"H% ;߯28l ḿ#f&a"`zwAA{@ }#rid6Zx(UQԬ(y̢l 9_b8:hm E{+6p|egc`!Od%0TȜ?WrƶU#©?i_KzMbD Nv[墭2ʝ}s[@]/S@<=>`?Dop߰+LS9Zө/dH)i&dj׫*S >;BS p݆vnɼq)4~A-UB{7 \z2cf e |4Ţm@JHޥ|(!īRB;+,ːRͿJ]5@t?Y$8}դgiVjXm]^;|ˊrBBpןW[<M\p фb3MשP.ß{-+Ws% M\ncȾ ~gCOR"Fiuģ6uJxbr-IWZƽ"$ gϚ3ܫ6 7%~u`8%xUVN0I,sq nw  Ce|fF*5L#d1׿Gf.ՈlTL\2%@ܖ^˧/F^\"NUIG`{eN2NM6?RIH 4jb_s6:Y:%ɘL&6< V) z g\dbW/!޿&ɬY2@Fsڈ$;fn;۟)Ɠ}TT{iǚ>̙Z 142=Jf q%#Skݻ*S1&>woAeQj=-դ8MY Lc;2ծfA] J#p\2C,xQ ` vg<H 0Iϝievq/Xѭ U@GVF8 Bw;7D=E@)+iڥN4+&= Ms bhd^NxULK\i0`gk3( Z_-:&LMMWy6E}+ 7SP8U]6Gڹy( QMB4"*4Rm4<<w,*%UZW"4O~QŐ*jbz\r_R s _e/̒uq4$7Ӷ°@C">, rDgRgJ_XV1mO0jnZD3П\^/ kxI6ק1j5:tj6I}7]}F׍ٵ!:d\TOME &L$e{ |UMC=1OVeGxT  LT+ir+>:WXl[s3-ƲM*slxjh%|-PQ;4s3&z{8'NV4AUM]~Ons *霉%J9zDbU3B{ qz?O0Kw+V[P ʯ.nm0WqJEC-gofъg ޞ>{x.mGwk?ںIiXs(.O5yP8ro򺦫=f9ٗ[|V:k(4nDVOy׆~N<%-0mI8A v&yNA2#T! EH*j}Bj|0\#^/MyLo%EW8 IE/om_\)^^([Gq~hf `x3{ZI< 8Oq^%H%wT נ.t/8,VHJ8RO!-Y(F5K#/&`BO6w)VZ2w,FDZG4V:#QLq,Add8f5T$$VJwHFt"ӈ ſx|OGr,5~M>ۂ&b˻Q}9TkAH mc[Tx>ZΰZ9 ?߭hcט*pfRȌf&1Nu)J6RPC2HIg.e4Nw!lTż脢M|YO3qCpɰ†AodycLFӔLpP\ Y9*NZ:62-U|I2UFW"]׋XI/c-r2F0z8ĥM06aH5SepPEfU}*΃HC$/k'0ԛW gYZiYK@7Vp&mׯi %m["vk]KՋ ]Dot;J 'CQ2բ'*k4KC-4Rg0LS4 ɯ'Rb<.5h3U-2F펿 JvPkvPbm|Ewkt XcLsl1V+A&Wc(]ds΄Ü^6§s׃!`m>H\)B;;vJ+HbSym綈v;P抿OzK$ Y,iuCMN9]ǘ4?1т:nߞ_g8_E5%R_5j<>GA Ìw;ZIM"M!̧"|.=D'Wx`ʬ2WVpi#BPY]y-m0mNd$#oT"\Qd f-aͭig Jp}as{Er˥p)v(f7Sr&w*z`$5wK rB`=e2F:D+G 𯎑2O:ldBKwKSAd zfgTh@M\BlmgEC WҀ[)<u)˾._PA5, C ohjTAoøuc.5|Sj 4" JLϰ64׋>a؋i}{=E\OKN$:*v}2[ <*c0`m=cn\*!A tYj(OByS?0vܪ!~ЛΟ#J3b+8lZ4CQTNW f_F}}Max~GZ0JϿē2?JAJd] I5mgA`fZ(`鿲kE[RYMfZ.ř!W K,fKH͕tUh;-nU"`G$1>IUSޟ58)Id0OP&P߫5%Pe nll,9(%1WR[FȞP8)?qPa [B{{9ogKdr.jf09~>o֟5aE@3}O ?" dͣ^DnA@mAJ37 j tO`w"x9Aɉe6Agi#dҋ|NLUꭋV;n8鐧,`HV$dVu ғ a{zR]{*+wM :0JhGE UfkI<:+i,2YwbX`E 0vnMhIݶ.byU6;~oE2άܒYۀ })}ɇ܄mZL~^^D_1.zHbXctba?|%hŖ뽀&%o6 9i̚CUfZ,eTA7 N !1z6}yR2^[4۝2o sMвU/ZS)/@PBRzCsѰ4*AݩَCQL.{|&NuJrul{|5rf N_"jVMGc#.q@=y9FRiԜ:UVaG2) ܳϰU.ߥTDX؄""@g蹨:Ne$h%SvY !,/U-nusvx-JhVS1EDg@ZBt9qT("NymXIUJHgg8An0QU"͝ƕv ?kߛ{5XG:n-IVJ+;˜]$RÚѭdiהVK@ |q#ӌNфpkT$ky&wFDVguRo6 kMƇDҫIT*.\^tK>m|dWoK'DUʅWNW{SO 3^0]*lСw#ˑ)|E dwĶT8L. ?@խTw1JKB}>؏2wfIk@kU"cD669Ɏ5/lS@)v"TK MHb(+KJWnkMPRajvrY#6酋ry:vIi MCNqNYWb FZh͔1o"Y21^p 8d<| xQ)X1<QƇTJvzS#:Wp}E7bΏl|/w Ccb1PSI "¢Hr9+9oe-K'Ӄ˓N$ͣF~AZmDy^q^ !NE.YdFQ%~sWe_1]i.w}3!oi(Sξ"1d&`vϟϝz<~d=FqZgRV,Dks..~݇pH lFe;F3i%0[5P/MvZ;qasnuW Pmgƻt/2}2鐐+_gr71A*MҾp49N_ޘzƒ`` mG]F'" k\4lC3|DZ epU|QHY~<:{# a^.k- kJ 1}%um$6#<:jk m4 #M?fVXݓm]& SE*nkG&Y"8>g0F';qDOm-Q_>$ԛo%C 첟 6 |BD䄥H17~m\Kt㪷sDqt$=v7O4/ӧ/R7kHC}=أUJA|tSNRN;._~`=ѸZ/ eXù/+b_h__%HVB<8H(c7K׊oF[(cxukw3 RKE7*Tav+~vAjֱu3VAcKQQ +7uA!\^I00 Jl&$48B̊-uLϕa)_}?D 6vſ-@PCjAi(E-vp%$gQgK =84{,D[# F+x*L^oXC$U"PZ-$f#&:vg`ALp Y Ş>>׺WڼOH$OAep۞)bH`n9IO5 .=xĨam2F6 Qt&Yx'uK:Q /nvQYrΠ4?]T ˵+֙N~u&Y?JɎ8|pˁ{?<܄=5w;@zYN2!45' 375-$㿪{U!VmvKCS 0lֿdݗa׬ 6W1Qo4R=G'PRW,Kq~󤬎Q?]셑]3?+ P֪3,5JSVZ-`t⒪fC+:X&O _4 V9?I6Gc3w  #H~0;EWgbO2pF߯|6!niŃ,Ի_]O=i9$(X%?,'\rk'+`PUc<#:T3ƣdlԳg+;ĮOo 3Aib2pIxΛ@by(\rw1("ɇtb-ʇE2Д%FdixP=)()8K 8Rk'46MXey eL]T6No_TϓUpfO[kJ'|nj䨬qzckbdF?eZGܟJdaG`~D1iziqm+p'o~fOq ]+lR0Xԋ2x s=j`^̕nve&՚>sTtː:X$O b1DC%8P=߼nR w%VZKĮ #Tr-RVٽ[6fLfI)b>C)nB_z T)ỳ;XE4Ƣc(|_n Z.;PN_2C I$hOj-msOIgӻAѮT}C `됓ғwKիgw:kZ)Zjj1}=/ջ.8郵[*cն-fg3oR3t9˄?ԙ8)>߼ം pgT!X]ȱr|8=p7xU؂lZQv3~Dt8@NB12\!cMpPSbPML`[͍"NW)y 7%K50p0mpn?9Ok@\bvݴ*@$"+Ǐ\i_͓<=wVߗR>>F5Bpk9X[[0=m;wc)?>a`ҖyT#&i[ C=SrTXxc5{ ;޸dibN#jx7W.+Fd)s#gxY؅s׃ MCnF MTAcU2B־[E1!.yɦz-BqA,K0N?+Q}EȋMQ)VCxr'ꨔA2yhֹ21?p¾ܱ1slTVm^=~=+s3WAx 0\>`TDp9I`~fVom_m mrlϸ;w~6h͉9.cs=\yD%EWXMubb9{qT\Qh~A6MZL)D*CG'X }:m@Rf+CawzЭo./.IZ-Bo@3ד0Y=|$][EH-k$ss(]\55HD~LսpdȴA>,!~|y+`Tȇ@eT#&$_eL9Cȿ3 pyA>o@I _g1tFRIwz7WqzNYA/sNa:Qr9lab; t+*0&dɵBa61O?Pߞ q8NqP+2Sm`%쬼dj~k5AyE3[vK38F;JNv3<-ok Y-m*~/TФu.ޚecB#X:r!l,mL-y0Ő\ bӁ?QH2SuD"F ѩ. zY(%E&O?))1&z*rjʱhW 22gYZ DD1%/% Latin_SquareMarriage.Marriagedocument.tex7zXZִF! 3=]A-MՋhvG"uIBm52a6:H}ު,|`?}v0==.ZO6rX۾)F\|iQxg и)c")3͍;ơPZ߂V#|T.hsh,CBئA}*3|{b+j)(֞ ȩ`Y/7QȂ6 V0$wϷ3 z 7Χ?5*X[fpC+Se/W+6%}q4 Vgl6A{Ti?ah$I=cO۲Ass@\^ hzy .p| o6(CJ-ćH㞲!Z,aO\/'QlP"ː&; ri!3v/_T &0`k&hS_TZҳ78 d6yn0S1Izq)1mɺ3S;ϕ{տMz,"ӗ_Dk% 0/d!ehukMWvزh`lֽxv]j7}ռb+΋3 3rN)0B3 c1sJ AR[3ҍ)H hִ>^!+_Kr~jUtq+"LmwPS潠mwPN3`c-C&=VYMP Ƞ`h=DWdLE~W@4/^a=Wg]/m ΰ=ܡ"oFrFAϧ͈ڐ#[K~dLŇ^B[Jg}f#?#qBw@MaɍºGi, ~V[6ySiMSITx;G #zb/ h.z(-jLFǨ/M<07|$#3mMLJvo;4H^gKprȹIz.0 &z>"o#  4%)uGIl`xf\Kc=)]lDvax$A;::9 f{ UqgǹH#B]`e,9bg;`(JC} k\5/@Da4ůu%3@C[r"8 %-1dkUoVG:X_ )SP մb: ,P4K(Bb( Ea *%rdz,Ruaps֪" WairC[<Ӈi ڎ#{ȓD(4?b*/X"&d+b/ڳB=(/ L*f];b`OSA^Yee[BR{ElIل0jTF&pu>$/*T_UM~ 7]&Ӽ1VnvQl?}"Tv]6ay *OU]3/K(dAIkF[HZ?c.a^/&t}VcXUO,d&|ni!q՝xRl CtFV $:~^o#&eD۱$:EͭdTQ HG`hZowef$d~ \×y1Mp`cn5L =Z!+2|"0u6 l$F)z