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 vv? 4dD ]/ Lowe_Ontological_Argument:threads=4elapsed=12.341cpu=15.476gc=0.232factor=1.257zXZִF! ]ŗXiɟH)0%o9UFqma-I3VypDAeO`a>fBssfд3jiCn.f#NҧAm?F#f5 Bs $2DDfIQ6Q8$Y:<'#ҝ Pۣ ,H]Ɲ={Q7x2{OArkSM52o5!Z[VπaCs܏dR e_upml6j-6w.UsTwJ)/\4aㆾ>"3Yx3Mn*VNlp!Z(ͦBHlq[lM$\8d,4}v*rWN/mEȧD5î0[ICqIEU %\u$h4\JeḞ;rJ.M#?Ll@ T8'D?oHT}WcFq>ニރek"# FCrHh'[ p5X3@g?<{ d@(mX*Rr>y OY.ǘ2|'g|m<\ИƴѤM^{&? (AnOCj]zEY| xԂk a;01ەSt&3/M$$⫝̸)O~`9@6úziߎn7X0tIj>p޴c>YB{hӑ YLSMzH`XDPԔvG # ٭pd%k+SsZDV$j3Gmi-n1ذ_ zMK6.uzb/eӔ+M1 ? Lowe_Ontological_Argument  q8{ܔ}wZΖ;g% mg6 N\۫L̓2dr>N=`4Ihڪuw<7!؜`z ` 0%p ؑ6m%jT0jCƶ=6G֭XvJ}HF9Z' ɓ`K3ǟ ^=Տ”Y[~W <` ~OGhR"܃spCHl nx|C`X.+ ea sqHr@pll3QBWmbO,KX:2DAp\k҈s͕4pFICv GnXlrrZl4Fgz]JO5cۉ!E!B|9k4,ՙTSam80w@Г9bfA|M>POM$ҬLJ9~um7DYHg|~&D g7?LQ:**a7NKQ= ƃ*:7mW_wm&QV P_?½5NJ/t擑3&=xR u)`I:u6u"YF=]hvwڹ9i fFӸP K>SKQH6n\~eJ=pAD@ "H/`"ZjA/L+Y F"tv?/2T$ٌ v1s]nb'δL02:ް\ә\@)^pϽJc ?=8^acΥ f8"~3C .p:x x41LL'IUFħt?i3Nۊq [0 !\@/09Lmۤa!hEgE L(xs#1ntGl V?(r Pgˮ).&[6$4gmG*v z034Oa+wU$Dent|&'Z,=d)KA|b'><F>{obIC2p!cbPL![rQ} %޹xE lpNʍ!P猇1joH2j_ZգBh9* aG M.F,<PS0dKb_‗Gt p{D~ZILtB\?pSm~F95Eqli\J;Ӊ5Z|'y6775] \wgYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{~MeZ,| (Z'r?o "*$DOGW:߅u|GrBb,q86H @+U{c4pp?ӹxkh{gYZ7zXZִF! X]ŗXi%L!l+T_>a;#4 d5lI% 4EI0]UD͝**WnRo-БS=4e ,fwaXYW?`*1Cupc6-B]T/́`2t5d%ܖy/%:l$,QGhǮ0E$ppdq@=i?8ҸAƏ(2x֐N!7ठW؍͈DTXgaEp"dp ],F)YZpm .Eҧa'՚XB')pլ ,'8>r"sU8*nAt Nr {#ׇj!ɣ(QgyJvI<r2?]v]2hU')v9eOl+̅jN=K&B eh(#/~;JZ$q|ii(YY 8h zOZ imab$2탻<:fvx;?؉ 91Ō3T[Oӽ>>Aϋ [k+$[h^܀ZޕY~@WG&6FzM%Otn E^씃! 1ḻm5o|U=b]k:]z4D.~Xv-c% =I'ڶ0aŠFPYۧҏBe¯:&?iњJRBH'cYʙhR8 :P&XmQlBwȀEE!cG5q5<1z͡im)V5*_Kܼ/ܖuG~3^&y05S⒣DBhcF_6b2T%-yzDݝoh;(X򀴠6ܫ{ih$-BF!Y(=ڶNgWlS82L}ڃij3{fX,d~jv~ Qqx. #@`9>W:SR':~lL|h(iMx5եOrZYSh( \UK|UB%T#ЍSC,uuh`o@@13-_ՉUIx;"RqWvN:탁*k ϟ5ƭB@%[FNLĕ4˜"*&F0}/0a\)j ұeΰPgYZc215ded673d067069f192c343356a8b86e46f3138215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61