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 {? L\, ]/ Lowe_Ontological_Argument:threads=4elapsed=12.086cpu=15.156gc=0.304factor=1.257zXZִF! z]ŗXf[&!8X$|$xNi$vݒMFnw %][Ca#Ms{2͒O߭{==+<7N'X=DDOz&vE -[4ܮ!=:, 8]qjJĠ#6 8 T҈e Km4n:|8 ix4b}#)jΏ/}ѶqL?:O 01ek'=T9ɞO/{bj0&,wo cՒ kɡDy$0Iۂ$~k x6l;5"O}Td`%2TW{SbY7;WJqMQݛHKȁLD R"NVgYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{~G NZ lB@NLO,H [6iZ ~C.ylyz>'|45-.`Pд21 =ロ0шKIH'IXfgYZ7zXZִF! X]ŗXi%L 0RGs=D|x( AAbN|&UrSy tpL!(m}E'wmZN}6Bܹ *>_MFJ*Rvd֜+(r5M$3~ _!CWS6㐗%pDRAb 6R1³Q?-FKX n|H ~ 2wd~&VȞ/ R.h\AVāuXń$sb.%SB>"ހ<=X-+M~E+˂X tpz#EPSc4Ut tr8 8~DSk%ub 9f7ҫ^^HcdסKl2󤼿dw :3tw0 fhkv͸:9D (I>Eʉu!8LfV R*3HԥUm!_D{~#7ӓ͈m:J? +1K*'*p*+Qr- {g ]\D m`F8)T[pk/0Ԋ:aY KfeX3`+yh$&\0 Vomu'%߆^H΢wtGG\wtbKW[f} ,NItşx!t&$̞?$q8<Ŏ76+xtM\9ŚMB(Acg|@8]9C-@cqv9%^v}˼rw>aWD\ /*]n˛M^eR- ]2s-B"֓k#7n>0If!n` .3/{*yd?x=.Ozl 5%Xc=O N-@ ^ |im:j?#Y!cNظ~3LbW3^(Ɋrt?CGQ#m$@HWW8: 3;;jY0R'7b}9I%BNJ97=&Y64x$ӏ06VD@fO/R/wAt{P;NȥAum<2 !ZEs NP >Y?>t{ް PeP1GWq45\s/X1?7Ez7C[.^{ Mx=L)} O-xNo{2(캑/e }'Qmt_8W[%]y(r4ۊz0}APxzDzCRf'MoI5+aLz DgYZc215ded673d067069f192c343356a8b86e46f313d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 ? Lowe_Ontological_Argument