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 BB;? <\< ]/ Lowe_Ontological_Argument:threads=4elapsed=11.320cpu=14.404gc=0.184factor=1.277zXZִF! z]ŗXf[&!8X$|$xNi$vݒO VT7ue[W5q&bCDZ\0 '2w:}FQt.7Q}@VܘI;o^/VtxIcgy tI?̈˹֫㷬'~|4j:yѱOhYWUyz69;= Y v/w&EG" KSm7Չ%ÁWěr]~R_`#<ɌyW驉wJ<$fNjSϐkzV9PTa뺽Ph`jrO1sQ!8ش5 5UGV_uI0rbj{  !N:"FogYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{~enU2<+diwfNwr7!sDy x G e8 PZ,6D@, B[z1F݋hjhu3+ǸQnQ4ӇAX* gYZ7zXZִF! U]ŗXi%ES3z=jjaٺ@(gp R5o)j N*>%l;!zʍob[TY{sV`B&SjcmWuIBߊlkm3=X* ny[ZH^= e-M)R]v5d3p1Ҧ?,7D{2E3&rX^s  g=DK# jvNX˯MVFQ&cZ&X;GG+y W~Tip3&狤Էa= @7j SY_[NP9JT#{jzKJe{0ifTwWjKOs+dэ> `i`h?Ѳ ꢉZ0#][Y 7\.Xg ¦o^YRf0*yXy17 Ֆ-';ϳ!TNy$\7|s'GYVjܼL{06$g9&!Ih,8O<;~zMY$s+i*nS9߁n~H#B@ ҆!Tp'U I=4V_8yCe1v 9dmh'i,}O%t͇L# 꽚9-4(>(lpb4|ׅMeSYZo<縌zM~ GH۶5A8­ٻ8>̡^jWnUhIA-W*g9$L:e?^4B́[p.m  {0 MysᢎmmԽzsHp[v mO rGS0Ƿ,U{pGbxk2XbC+p#U$WI) RngcBʹi)?[9rvcX_5 uXySէJB4Sc0:M1\e}rPZL_"ɝ?k䷞6|CQ1#!+Th/%=0?WЇRKEz*.{Mn75V%ҟk}'luz>6Mii袨`L4<=x * oo[W]of waMm2v_t㚠3N}Ro;:`vCx7 rkw( aW >;y=S=@K*xnqiZr~;t޼7/=/ #gYZ10dd4f9dd6150acbf45c563dd3479eee6b1944bc76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 ? Lowe_Ontological_Argument