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 ??>?tDdL ]/ Lowe_Ontological_Argument:threads=4elapsed=11.440cpu=14.976gc=0.1887zXZִF! z]ŗXiɟ3hFzI,jA(B.#4ߕ?PEJH"ȭp8 o8=b+q8"֓hW9^o$ C:/* _ E2\`ϣXH/5V|,ŧ'KcӬӂqGik`;7AsTKan&b24"4#\ȍX&4H1:ǘ.W1)^CKI> S?"ظeL8oXz|l\m1WS|%aW<ȉ]JB+ld4]myO} T ExcnWˊʒPOGBEIyH) +qul[" OJc.dX,м^>uO*m:@=@2>TF%ÀT_0]TI>QvQЊT-q̣M )UzDqd!LsyG1Ti)79J$y;S/Y~MϡΏAw|r*yY_5oQ;џkAb|PLؽ0j`؊qqЩ,`z"D˿%1m[cIDZWЭwOjA/b:Ţ5]c=0ZS"zyK7zgr@rVʤxo蒘 x2yіau$"zȡқ%dctc^BXEr.fYz[*߽N$}lZOqϿ|;4 7;0uKabi%*" M7F ֦)jk G,LWIt!mLJ*YuBX>9>UvS6Z2{`+#nd\ ?ݐuџHr`<,'5s]A-MՋhvG"uIBm5&1{Gyył\&(ܓ,wS<~*}RH o%o#O۹>b|TRȟ*@ߪj !7=3U럣^~Hv%/OKu(U(bmƉx aǘ[ G[^|5wyK$?Ϛo aB7Qayd(Ve-%5D1g?T $ ml7I/`]Lfc7\ -UpO+0ނ_[L6iH a z05s2 0֖;~&畦JOkR?286!=P[ eg+-t]E'=s(So6g6K˴#MF~Am fa\,ܺ DEV&,ۅ 1\^feS3*vgD3Jx#9'kO:2B׈ᲬN{/)󸱩gR+[W:X?[e.+O7ţɾiZVǂeV)D5pB2qм| 6$n Y~,vXݮp*L 1M.jˑrʂ wb}X}? [[Zar(R j%"R~wEWxUafjܬX;%uV^K]^V1)q'@$[$ =aX$h 8Ғz=PVwq!b-kA?F0&/_fƝŲ wxBv+T}f7l?d7^G$pָ6u0uNmg/[UN z&iPj!&>5;sMc9AS`}=9H_gX3퀆%5:/n Rp0M#H÷GI֚HH18 \)Ga8}l;T<:Fj9*$bcs) xz[( 8IӺ KrD1|xÌn(;      C< ~ ^?s%Lowe_Ontological_ArgumentLowe_Ontological_Argument.LoweOntologicalArgument_1document.tex^?s%Lowe_Ontological_ArgumentLowe_Ontological_Argument.LoweOntologicalArgument_5document.tex^?s%Lowe_Ontological_ArgumentLowe_Ontological_Argument.LoweOntologicalArgument_6document.tex^?s%Lowe_Ontological_ArgumentLowe_Ontological_Argument.LoweOntologicalArgument_4document.tex^?s%Lowe_Ontological_ArgumentLowe_Ontological_Argument.LoweOntologicalArgument_7document.texH?G%Lowe_Ontological_ArgumentLowe_Ontological_Argument.QMLdocument.tex^?s%Lowe_Ontological_ArgumentLowe_Ontological_Argument.LoweOntologicalArgument_2document.tex]?s% Lowe_Ontological_ArgumentLowe_Ontological_Argument.LoweOntologicalArgument_3document.tex `?s% Lowe_Ontological_ArgumentLowe_Ontological_Argument.LoweOntologicalArgument_3document.tex7zXZִF! >]A-MՋhvG"uIBm5&1{Gyył\&(ܓ,wS<~*}RH o%o#O۹>b|TRȟ*@ߪj !7=3U럣^~Hv%/OKu(U(bmƉx aǘ[ G[^|5wyK$?Ϛo aB7Qayd(Ve-%5D1g?T $ ml7I/`]Lfc7\ -UpO+0ނ_[L6iH a z05s2 0֖;~&畦JOkR?286!=P[ eg+-t]E'=s(So6g6K˴#MF~Am fa\,ܺ DEV&,ۅ 1\^feS3*vgD3Jx#9'kO:2B׈ᲬN{/)󸱩gR+[W:X?[e.+O7ţɾiZVǂeV)D5pB2qм| 6$n Y~,vXݮp*L 1M.jˑrʂ wb}X}? [[Zar(R j%"R~wEWxUafjܬX;%uV^K]^V1)q'@$[$ =aX$h 8Ғz=PVwq!b-kA?F0&/_fƝŲ wxBv+T}f7l?d7^G$pָ6u0uNmg/[UN z&iPj!&>5;sMc9AS`}=9H_gX3퀆%5:/n Rp0M#H÷GI֚HH18 \)Ga8}l;T<:Fj9*$bcs) xz[( 8IӺ KrD1|xÌn(;USRC?vY gYZ 55H?s% \Lowe_Ontological_ArgumentLowe_Ontological_Argument.LoweOntologicalArgument_2document.tex7zXZִF! %](]A-MՋhvG"uIBm5&1{Gyył\&(ܓ,wS<~?*}RH o׶'(sKtcT ~f)/3 IHm V~ w>mmj=R\&2nKH/EG 'CJ@sE7Z ٚd+OiGp%oO,/d䩮_U $ՑW1O}̢T ui4Ynl#{kZH/nM"T9CRΒj⬦SǷ!5OA_v-$#D*H p'{2?Yp+[\i0DO~&#bu7>Qs}u4G"XJQ5. < DqдojO _;袿P]Q_ a ա&qmc1*~nǙC\ފI *-ŴWϳ!Q#62XrTdHe4EB5*14!RG];eOHw6DX(Rn!,YFvEn~ʎ2)\|Y>B*ߘ&e>+b^>) MUppn!- ?^'|q+B#Kv[r nXP/Cds˞5]e<Ɩy92Q1ME| Hԏsd<}ۭq!(<&~DXdnR{BbR0ɱ/^r"X 'h)1,N窮-]7G<@Cϋ4cOKmؼGLSµB`7rwH%rNi:eMC=Ulz YŘTnU -No:(MA*J`@E0+dStUYYG\s_ɆLaӒ:$V*+B`VN0S6>6%B_}}{ Kw\\AFPY+<{*@5UudDLv}6-R'İ۽H"$\JAJgYZ B?G% |Lowe_Ontological_ArgumentLowe_Ontological_Argument.QMLdocument.tex7zXZִF! n ]A-MՋhvG"uIBm5M";;]aԍ7{$dR6x&(QiR˔)I܅ɅD]KEG~yKM_t2 -_reqR(, l0 ZhLZ ؿ_'M6Xrsf*aRl YJF%ںs#W1plT39!pbSh $}Ն*t=]0;wSyÌ<f} 7n&QyU*Ia-I|+%_%ϔ&8!&ʌ! 5իJLZ&^n.ڗIr]\皦V6'ɍ։<@+ N؈+'|]!Uu L5bX ,7I3=x;?t "_sB(VPZfJBIYtQtq4];K21[5a(r<6XB%OaE")/(?3dKdyPQ_֥zA,XC1.0yfv2qϩEX0fsvWJ?BGDޣJEk> 9ir@k)x⵵;$/,jWgm< f]= ꃑ۾~)2)G.M6;"--: }[Oa;iµd+^ޤ<g3>`EF單Α*dRaaiGF/nS+J{t?|#@%`;)uV4"pJM_lo7VTh &h=j{PWHj}+?gb?B4nJXU`[\L7t;Yv荋WÈ a|_?J nVO-f&>@p9 VОsn=>qVMC);FEc{y7Hk 5PLL]j=QʻJ⹠>2Ōdӻ+,eg: T_X,4!tx*ʫkba{!Y@pj=ՑL߈I7tPc4vXOP[FS*[In'z{0dtKrS]D],bFjpfHsüJצ|̄rX/_1Ǘ:}yՠs͊'_d\Ny ˴`6 } `o5kghpZ+.T`nЙ8)iG:e9)ecƺ^;¹tK?8Gz'};DGZæswj[ٷ+{>p٢k6[% fspdvՕiЯbHDۢ#1zo5^ t^ۥByY#""X=i+<5W7xЯr&嗘=% _`JWƚiDRX ͍-d%B 4_Pz 1yX5uZEEe$&;gҡRm1Յy+{4Ԝ!'PCgbsS gs!n(݂5`YVb,wsG$0}+C` +W&69[%jS5#L &0.7rTlkbt-&Ȏc'WDzCQqN(;3CόЫWpr]r>Z8l褔E&@n^BJ' װ܅揻"~qlE:"Neh}ʮ/IFjέVU>| ڃᩀW5&tC20AEr^r ief/Yiڔ|(઼rs\H[Koฮw!R|ַOXJY1kP.H6 UfkKT'+8"+=х7igKqs-(¨`L JG %F%ipO>k]S?mN" tl6ɬ$[& !ER GV**u⯫w"QEQa?x{/Vl&@hjA8GE2_^'aKJGM9ީɜdG\hga㯚NT =îAEkJf .W$E_BPW}/TMT ?X/|_9)Ijbf|7?!Z-P0Vo# nVo}Jm6$&´~ָggsSS-#;h7ajh##o*3G!0:7`vKbeirHmrclRKl!gi'rk{.UUzenbwىNzG}?_VZm2|ݦ ?ܝuxS8ݥ_ ~T7b}_<^}Σ+F9|ÁS0q@~-tv .fy:D46Fg/y"}pGȆ,Baұt6*krKLN |k1A<&ēπ$=QqImтe&qOÿK={IB*{镎cQTʕO8uI'AqSwVt}8?/u.}[CO}Ǜ[iQ~_s4項P(^f1NR֘wQwH%hW;-|\BDt Ҭ2Q(PvIqR\koN#rOps#5ˤ\Phߒ;6zn`f~2,^ ʿm|=1ݬ>g}-D:ع:<|l˷%8quAرg'Eσap{G)zgYZ T?s% tLowe_Ontological_ArgumentLowe_Ontological_Argument.LoweOntologicalArgument_4document.tex7zXZִF! M]A-MՋhvG"uIBm5&1{Gyył\&(ܓ,wS<~*}RH oNeV/(#+B y/2עH&M'XFGNV9)ܻ>?toSZ(|yC>vQ,'!%7א'zh/> 謈YmcQ{81_WQ &iDm 3}螬r"a0W\ s-[> V Z[r*!q&L(MYpZAhAšFjV w bo M+6K.(20An0e>@:y O<ϔ&XX}`ʝx+ZA ~~le>hr3ďGiz6U,򜔀J&lJL6O e$UveR[#_Tq|dk`̵xBf E6} r̞J'~˟!׼j ێx [:^9HD ޿V׊F #~Jc))ཧb*E~ }2j;_i=kb814U+ŒJ8!GmH-+Ga=K#ܖ֮OZr4~8M#$#|,5z D|rg1.!<ܱJ(&|$lJ~ؓq9"zmk J`6z!$)14t͜ R\(n+TA5b7i"S@R˅8Pokr:q{p<6v5("L=fuPIF/ަUT1;MWä8Y>5pƽ=wZi2>CwO03# -yVp_|2~3p7*}RH ocrV6FufjGU=,:%߷M)%گ|O ъ"VjBQtgfO=s4ޱ+bMVw0rťvQ_ `"dMVV28nø 'rYO#38pˎv9M4udjS}{D׿z3 gWIk dicrPWݙ6>y߂-KCW|9A}w8XOy vr}ŵE-Vn0=NخFϢ2|-a]`( י+5 xV%%0$FN.+ ([& `*9I_ H\>oPͷ3[5 WD_ge(C%L軥DECпhs DGAL,hdjD3*f.n~BD-7HbR1PXbVC>B ;+3oЎ.+@$,#q6_-7W }0% `[Ml0R7ť׆Zʕf̈O2rk@OeZ*0 ϧ31MѩÿYnL: v0ZWE A9sjCm[ʳq /WZ Ѣ"5BǢ+vVB.(hRBa-Mֈ|K[zr mi;КBtnDdO ֖hv"v9p[EXM4Q(b{oC5jhG :51R'71lߒ `)/>|:[?Ȯ(;/,;ӚHF*o`}̙&jWh?#bDp[Κ@vamT4P< ڰ2M!e1&VP~"QyK@Kki{ZVաIfOH༑ #%T 0`A{gYZ !!\?s% Lowe_Ontological_ArgumentLowe_Ontological_Argument.LoweOntologicalArgument_6document.tex7zXZִF! .W :]A-MՋhvG"uIBm5&1{Gyył\&(ܓ,wS<~f*}RH opo 4=O(>arSYNZVm=F^f4!C+uۿGh8,ТFC'zYץ:7V17DLN˜g "@U= yBQzh1+j(+Ӭ$qH Md%Ǜz.J3\fYs*~~MlzOvZU6I/t\ ؐm餻H-cv _* )j]c,f&lSS9<;ӹs9U1G3bmo^Gu9=1 'N`tw#nΖ~zl̐lJ\q:g,zSr,gVmCz wrQj:D-=Ivj$ d$ɇלtzr MiAN8b/r5 tjx"8̈́ߺ)yk+a} ? g]Eqvf.AC^P &=tqgt(xҒʼn22 xwɾt]ar"f#yc(q!Q O*kR-h"JK7gBE}mPTÀ[YđaqWNU7q6,[5U<禎H+54¨W6IT1CHtiġE β-m^Le."#YlOlH m6W-(۔~cgl@E/B,q(% R[jc&-.\k(YdV5$"Y,ʒ`ߑI/_VG,WꥦIe|XoM>䩩"̛*z v_N7lyXM)7Ur>#̲oømu:\air>Ϻ5u/o Tsp+R{kxx<[b=[KKc3CXtV@r~7rzY;߇34hjQ7e=}!pGpJْ _̖8 ]AbbXHr5[P=`i4NϚ'#uTNV~ש-bM 0v+iW3]QLB~$ }2U?Y&B7N/fqhq+!Jh-H=Y.IZh -JmsB<@ g\'3~-wWMFBl?p?0e;E apwȋ 4xܹ2sIGfG%l7,`nN253J]TN y*nëk'ၤ<};j޲i]f: ^v=dR䉏ۼ|b>dF维}\h66Դ<Ȝ{W!XW::FA^\_I89wmܻK';HEN ( R쐓 *N"*?ciŪsrZ1Oxl ®b㦗n8Xߡ~\؋@|2:դN>TN ]@m60=8Q`hk|X*=\4xMMQpaf2&h.Zkә(m~q~xekY04pw+: MoQ~|tMwY`C7eN=j.~"[@C\@sDz&(*ĶڃGQKP)Bí| х%sI#.*?'pJLʽ^_4׻D AqД=w5X@]3PI%fT~C{eVanτ4Z w8RֽȃhX*uECʓ-ٝe|%Ic7f Klxm!\X \qjEUI|gذP> &||U0*tvXpo#9k"$v]L3 ɾMI_Tc$ 0lFhe@Jc摚y뽕M>D9! ʢr`݃w6pj/~G9p<+>c흋`_RQ. ~P$y:S!tAI;TI􏦍0[elnF}K5g^*Jse>:7& j+saguYB\;Иi. 8Hjר|cr 0l),/XCNDOZYNkӃ=CO%f-}*wFO9?Dcng0eГ%Ll#bAZp/ѝ'{x&ek FvU] q~!eȇ ֹFHH_GV;BwN1 D1S&V& }g~󲓓tPi% ^.I|*$mbtcЃ`<~<8.;'Qs T*';&?zO؞Ek?%5VDfB.',?W A*d茬";eZ9i,*H4`Gӫ7u~R#kQ8?#v<@fyBYJ yDc \Tʇ|5ͱi=P90:{} 亾U~ v{W%_02/5vm bPq̾üE|V_/Hȑk6?B"!o`.ަ!NaޙoL+ῇ~A>Zb O垝ӈJG$2PAEa5w3u'Fq8'uSHU<.A /Ħ>+,}wqC-_#sewt`D[gYZ}OF>~Ь.:8zȯa7Q DzJ'X#/U,Zt 9KWl-(%KV!u@ޙݲ׶&H,A|VJzYm9w^fx]ٝMfo]_|%09`Iu2M]Q'RF&taZ,:4J81&[8f!_aX|y:yږ-+ƨk9=w;`GmirGf57#pF?vhw_.!{;-#9)U5n|LOk8(_(Gw!h5:m f{[٥О<ftͫې{VޗȎh4Nnzpm ɕyvA O0껹fsؤhTDbl< mآy,(e#ڲ)qt7(AuHHa1QlTIF)|ԯ'O|ҟZ39%58/eq۹qd $2̢%wjt+Yޖi~:: \enCM )2xKe##B{}K,źϴ² >f+ o!Sˉ`rg ^BGVU֐+uMC7ݺGԩ3bPG-^už oq!=cW~y)=][5SH5SRy?|ˆD@ 6";mON#PlO\6hAp6/xeDhEOF7[sMY ΀>tk@ҸC5,|.dIw0)jJыƕn2Zbm&RX|Ӡ۾Xq5@hN_p#[U:quE3red|y*b;|\QvjDŽ[G:53IĽf!AۦA2|696Ɯ\P|'{D17_Z|\x=AE9yF3c+1<*Qy85&SN*wICn} VT*9}Ot LTKN_6.b(r@rE7?Yi (D}sw1`Mx]Oݩ 0Vξ0d 'UKvep|e'GMJ58mXK74 r6 1ƒ51Mm89 L1DgwvIp ?U#]U6v@Yy_aDےן0眃~:k{LYg#(MЈ~%HG}ucSo7iH3C z&Tn16w_eH2W:=%~m%E=TF|ƔrJ| oZ;y#>$^'OLz9۬jW^~`y4(h>^U`씟"df9"i [5y%)Y#iED5 N8CD%~(D<爸 Jɶ[B85h&5-1 /FԖ^Ke.-FJSsqnc$X2yDBrANv\*NYhl%UO(\mkM'ԥvNOP>% Lp}, 9c lN6(w0G,GSzv c%lQ g5nQ=}ںS8O#jg,(]pq"J$vA9Y٬%Pܡ*Xsr7X/gr^y0_x>iQ mԀ K@y=502*h0#D '!HG'ikBΡЙm< &ZuՓo0+fhi^aZ!}C/A)L)(<6.)A16f[PWh `lКQz,N=U6qqi QoF4*Y.ʴuc`LF 7&h3==XãO>, r sLno4mUo`BPג9~A M9̩F;`ܱ2iJ AK>z6IySeg^Jyvey4Spwjh`Ymv62eؼDa*mL$Zpw_@nʦ -j[/鮪ќ^_ѭcd0:~ժG##duV4RdpP/4m'YZ,eΑ z7D7QK Ȓ(K$U^2 0,Щ\Nvϓ~!i+Ȏk%9u(o>y;'>"5%h bkz¢u+f~d2$m1Xίd=T轮$?¥X yU5][`pu.5O.xز@r>=Nf @Y~igy'n9Y)"[n|A{6/mFZ!"[|䪃".q,o6cY~,b{pubżEM}.|.u,/[[q5Cռ~Է qҌf 9=x!lJQh(}T|Qb)s˃|T6E'#ۋSt54ٶ"2px2W|jJlt"+۰f^su|O!]y.ϡxh(nzLLx+OlyqmQd\h ˩wټ2ȉRFP4휕T%YidqhoiS(i#P}xK#,T0auXj?-ncڿcRst7ӛ!'ꤰpg&#F]ϳ-D+\}qna[cƁВTA65o\+ƾ,rt\X ܰhȟ~u+d`å}5|_ڲ*K927@Jtܫ܇ YO+͙͡nTw``4 ۧߤ6_7y}:[\BICi9[\B kfɡ77YjșDz?[=x-vZ !Òk-V<[BAH{:Ҙ(@|/y.HȈ$R0F+乻J(]&({k#s5Kas Dĩ1x^hov໴ގD73yVD%/(.[ԜXNIKJ(!LN g B%r!