SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 o? $\< ]/ Lowe_Ontological_Argument:threads=4elapsed=12.558cpu=17.624gc=0.280factor=1.407zXZִF! ]ŗXf[&!8X$|$xNi$vݒMFp-|ב4lN焫`Aw_өRHt|>nķ@˳+>w?5F@x⳱uKD1w[L8ltJ\)eLSR_B2c{2g&u@NdhJd"&LK)l\RnVԕ ּK7h=IYUjE[?6 =Io| fR#d"?p ˎqS' + 4: ̣>4ѶҢҳŢ({վr%!sc%L .V~hu1@.֚sE1_"oEfgYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{~Me_-9yۡcp91 -`Jʧ;C_QtͿ ?XPH68YN([WdCYʆlK dնsUOY׽ %S6gYZ7zXZִF! OJ]ŗXi%B4ȃ/v76|i̜5RdT6FLaئc]g$ ekS/Z/pG}H9Cz[DD41šSgmӎ1vȊen8jJ1(:|TizIK>;Fζ2|׭K*`Z-BSKJC@<`fx' }R]Vd;:>2rqyy( Q:˟OPx9dw՞"l==,M=ZcH mA .;Z 4\d33|Udd7f^ZsJ𗍣y*fo 3 7wg\\R+h0=j!֫&C0r 9m6t> Q桦#*;R2_"bYӍ*PxcFJtyW<>beU㗥EaKXcda"bBU V8W'g嬹lo6i J{9?4n#I12Sc{xfk-yݓحXR#NFdKؾsh;+vvj;|/j.вv@T"3`wVusx=UcΊ,؉lG`A|CsvF'48Ul6ZҺ2ȳ6/\ |qcHs6ҪŘspAѻd̸7ҮL0|P\)-WU&R+%bH^ Fl{[onNt鎴)rsDi-y Ѡn0?RR$˥ 8`Ow014V@J&bT\5~>,*ZF.Z ݸq ?B21j}Cp_PEǾd]?I-iP{6㪋RN(#E4 c'wݟ~ ˞nɝֱgYZ53b894a691a991847c6a1413c7d8276878a52f479cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d ? Lowe_Ontological_Argument