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 ""[? 4L ]/ Lowe_Ontological_Argument:threads=4elapsed=11.855cpu=14.532gc=0.236factor=1.237zXZִF! ]ŗXf[&!8X$|$xNi$vݒMFnw %][Ca#Ms{4/6@F]4@{&; c2:QgJ7X!QxAPY5n?2Z Zz?ľݠN)W5Dnq;NT.cC166, !>aG_pN757"5yx/ rlPRc5 cE2 uk5$!\Uk`1 ^y4b8̌O~@;D>3yjB똗a/rP]@ &x9^'EoƱ;~"i^_eE]r7m n۹!g6vܫAmlLP"G֧5gYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{~ 'G*"eɕtXNtg^pR Nh=m]Ct}za?+ 'w,W[rһ=yiZn**Yv'̱gYZ7zXZִF! X]ŗXi%B8_tʰ+[e3MAޔ#% *8OdxxX9%,@b PXtp4-`X uB eϭB(q؋MXKڕ)z1j7+@R%6du@Q=)KB $$ ȇ@7ik]iiG5GJ(+動n:k1@nrE+08$%Zj?8\ XGIZ}j B|=\`!G!I8~7io" 0Q?\=h>gB0g9򴉹uZ2,zZ/CΟs}8wԋt\sWE=,yؘA*ifGٰ=ehw힁'̳^^](_9oWA U,^'/h3MmgFzuazg`iXQio0y (X݃ԹH j&Ӱ}|N7*bN|~(1ypA;^hFSbʢg+kNVeQ`( gQRSx6xmKHXucB[a5NDC'w𙇓 4xkj$<u~SEc@>aF+{x^1}6bUjԭK2>ۧM=/@ ~TtKtxxMqJ}."Hwݒ'N0t!|}iاnfΞweŁu>DŽ_P,^tU@bA-;Ó3;j m7%VZ4g:NVo&\EHR׊mُI9 }7*|WsmFa7~dADm,˛g­T2 yJByIN7_86玸[2Q(S[JDκ㄂*ՏX W~|Mj4H&8v۩tL\%ln6>[ə5qCSR4ƅAHV3uȮ!M)x܃H y]Dmz ]ƴ[, UQ!'-X>~jOCO1}gQZ*ruϪM"ԥ&Nx@K]W1H b2gYZefbf761ac6fe1e40704f5c01e402925a02bb4960ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe ? Lowe_Ontological_Argument