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 f?t,LL ]/ Lowe_Ontological_Argument:threads=4elapsed=12.540cpu=15.312gc=0.2527zXZִF! Z]ŗXiɟH)0%oŘ)q-x`gFYq\D O/ D`L xnCfMZ 06BlEÊg @1Dq `R ~ F;xe(N֮ik;ZHU#W'0j폁:h#Xo|Žp_ ^I>W$uظ-GH}҈~^Τik"'LOi4ٷ#ӻiLW03]?,+ͷA6N(gHӒ>8HE۠ZpjS&[%_B!3O-DC >MUcؒLF({݊ U}Hw/B,ٶ3~\hEA=mҢӶZŷd"`Gih "2|8.)T4xSPmՇB#-dBnpvczРțbE2Aq9( B㳹X_dt(wd-kU!1S(q|zmR.=Ef;NzGhvw_XECsQȿx ]"ft;p gHxF\Xӣ=kq16v4:Ét l$c$N4YŞ]1]<}saIaa=s~x(VUq`Uٚ,8aufbt;B];Q"^-f!:,mSZ^ \y8C˚lڂ$Ƙ(xh/R4 &#e2Y2B7ອIGCȪ %HOCJ7팣'r OҖUT'ZcܟL: 6Q֝֡2+>>EE[KWTs<`MHR OU8&7:sr9s ? Lowe_Ontological_Argument  LߣW8ѩY!}ueX.ۧ軶aQNhnQ{,ǭTtW;jmYȁ"=(HVR 1yijߺpLGUҿ&IWdoF?OC Rm%SJ ASiuo_R3j0-d2ڴ*b\W ⧰dC2P#kA,7pHfĢCcEjjjwsT}K"E[tWF)rCfO ̢xm8p6P{ߺ|mjU\,Z+jֻymXAHݯ ؊8pva~d~ e8IӤG&[rO׺::xuu9F1Z&ByҐ}䦈 3!ٴv[k٭@-X~n@:|9r} *xX$Ⱥ/).b)YZq-{D|< ,4|KUL&:iήoQsmv)m B%MyHm+'*Y驣/'$Kf3LN(;䜩='"xv\iTENM=䓲|5eT)s $6pAI XƩ3,nh(Ů&*g`:jRh+09]޾VLP Hq )PJ5?~_Oؘ ۈ!Wfc H~#i8pҨg񑈸HZg$T< aM}^ŶvF?UyS^E¤ϮBh7aIz8ǭ;+>r,5HJY6{u1F*o}rDf>Ʃ4pctO/,j~tDY5_`F_4]tH1s6K"<#}%P#Kg愈koc3); _X&o)Pm;^ ܣ{s~(v$h$ 5OW'3'u$–qx:9T!ބF9J$}YeFٱ3nDIsl,>Ak(u nvƬ5]tXs: +&|&ərrˊ3u$Ԝ: 9Pzv|-!nQ}wACVq)'ߝL!la.|]/VJYS^]wJl=uԓb59v{?*mAut?cޱHԠ۳0uyqDW_%D+PCI5 C'Y& 0@YH )FK0Y4ݴoVXth?KiAm)( H֟٩3Ra#F8԰%X*s3ea8D%e/>MK,!Hٷ9q!MVjMz ߳0= Fvɧȩt+ `Mؓq>vȸ 54)ڛ)Oט vd4 VjYIDjntDKSaYߑH#%;ڀ\âs˱ ᆉK)P^KۛgIKx"u\`u~iߝRFhmڀ𶙁\n)+w$ M0W I {I48c ttB?;}oرIGKw47A-i3nzȜU=Ԇ{0"f3a_jZeWZW;px>RRD'Ji.buNLr-\78ט싣ld>zPXy*gp\J4ww,*3+ΪO/>9q6C>yFf=w|Sm}{,Cэ^m$* hU!ЇsLu6Y!,[V󶝛Ζ̉!2]ڿDA!&G5 E3a\޴U]~vÁ]OwLh=,uY)%!.~u2}~rjĿ'WQdN֕=׸DmvG}:•.fFJ})* `V2ށȧWIK>l3P=Is9f"$]oIV}a;dtr0jCSYeDB6"c#b:JHu?o.,b> |0ml\[\+o(D6)t(/ꯍ9|rg^pBȦ׭H,ؼbtE(.e[X+|5caxE˯Dq/S:b#rq vaFшU޹ q-V$!aݯiP'cՒ{Min(g޿>$TN~XXU>TpT\U;w w>gd ԙh?Xy8b%' !`t,D8+'T)> ܸcwE Þwߟ拋ݩЅKs3>{d?AH 6&PhR 2" ƚg̱gYZa15101de8057fca7e9d584a1c7273eecc0684ec89aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535