SQLite format 3@ .0:  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 w? 4\< ]/ Lowe_Ontological_Argument:threads=4elapsed=12.129cpu=15.476gc=0.216factor=1.287zXZִF! ]ŗXf[&!8X$|$xNi$vݒO VT7ue[W5q&bCDZ4䟞˪5[X$BhJhaY\T%d"m\4I )xA+s~P{V&-6䑴 gΨf U굖 ܃̧)(2ǎX>.7ʰq%m;0:h+v(Ue]jd.NCiއ #>`#UX[Y3rWiz!oB{1l,>" o~[ QNhKu@ܸne 1^2<@CfJ/.. 2"{ gYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{~OcS[Z6oKAVp:6`2v&n;R挥/2.Wc{4+~T?xR*mjA#d݁bѸ0/YJ{0* gYZ7zXZִF! X]ŗXi%G̉Sy_8t5G&Z0dbPBKA,c93b'4MȣO!_fv.~.F]`JX(7J*f1]8Y9x)yR!G)XړA]6>Ctn=Nڊ3ą ucgIb q<ەw sKؚ hAKk{B jOAPZMq۫Pgи;V]t#Av.سwCJ(ji1d{0>Qaq >MX1d )/FEiboj;o?e> 8bFh|,h/AynRK=8'#7B~_H{`cRGpN~_JDG'*>_l?00#: [8dz#2V@&(g)QDڃlRIz \ן)C1cwibƿ%38Bk(QKE7լ )\,E:39,Ӗ|Dy}= IWH/דELs8WC = d.E?bhKRAJAyl> am9+^~h_E֣ViЅMн^~W ŠS5)O41Ptҋoi"RRzhʹbm#DZ4B=-I9$E,[7YBW|RAa`/E؊SA@MjZE7[a}s?vFQWrBb$.߯:Y[f@P JNaI*C$Z[^ؒPsBYXzڞ)`o)Pv۸^jƼ0c* 1J!3  .dd}H0%Xb42=)u<8PB'vڀ\ @|Oj\0zӦ9̘I+@`T=4Ԗ5Ei \ǁ+"[AAjϠ2(t׋j:aB5Wk뙱f,4Q;1FGMX-h{i~0/O;>XS\`eKr;Wԁx.(9F+7P"yA*ӽrw n!78u79m^M'9Qġ@WhhFj{aDaAF5Di B4@T u+X4DnOPlsٚW]?hlENzM|H!Euk8qTGMh/@\´,5%dV4l7:X fNNpi17eA4\kDWdjV KgYZcf28be86ecfb39ecb27ddbdc3fad999ca2f3d22b78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ? Lowe_Ontological_Argument