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  Cp| ]/ Marriage:threads=4elapsed=1.444cpu=4.688gc=0.0687zXZִF! 1]ŗXiɟ  Qyc}sCC4p:깋Rs{7H*0%:ͶxC!'f 2|#4ǾA?I_P9zM-%]Gwr"r^Z$OeҀw6wwgYZ7zXZִF! E:]ŗXiɟPaOõEWDwS}߯ϐ 0p&-Ko>VF\S}YZ7zXZִF! ]ŗXi%D4=YpXk2xȐga@P*sQiC~%Qf"Vђ ) IdA~Jh5X8(HϠ$4v +Ajtu6"}>̖"Š: MكkTDnܢ/cm^')}ř\u}xeʼ\y:U4ÓW@D2Ƃ^~te\(1ʗbl~Z]+)Һ@t4wMJZa]Zw&P E]R.EexToRt}<8RcO- 38%zzM-) .Jau{~#k8̊Jl ˜r'E6be.)d/s3bz7g@w &nʓ &?&ZOArLhyA ̔x8^ŴW<89ev\r)j]+. F^G>aWȼRNLWA?&<0QzJ?B_[;< #˾^hovm]j.w%g`Ry„P-nteׯ }5_='a[9@ThXv@JҶ:2.,4=rhE[`Nٜ;^V1+ pgYZ99698fd723df731c1cfb178667bb30673b75051cc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6   Marriage HH-/% MarriageMarriage.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 gYZ