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 {? oWLB*b*o`dz@(AcSPgB"ߦ1$_Gɤ;Q+C8.qe$:Fe4Y0=m[_Yu?+*xJ.C#"RG]QgvkhH | CS+d 1-hz?1+!B)E@Y7"3gYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{};0&242l5F%MߌӆjǿlQ{ThaYd=?" PW0ϖj;ElȍSǠ\ˆ/ؓצ[Ox­gYZ7zXZִF! PZ]ŗXi%Ebbp=*vo*+՘0p2y%bNWϸ_L4߮F5/W%KĜ_] 6mA:y|*g`P- SW]Fiʌl@#@d ^}XaiqJQfGFxX1%xG7X; @ b'?[-GC-nfpE:iHV66ikey-:[ %r~蟊 AT]K{{ŝw:ńz*"@[j{.sZf@HkIc!(+#7lCAJt='%߼![ئ#_;%IY5_!LxH 8N@U+xNTl2ҽ,{5E۶msZv`_жt5m]wGג =NG-B@WMnomɭm. S^݊gw}Z>3`rްU(%&Ò e3tPEPK<W4ʽG{d߉c1ʪ(NւQG0´X a_2/,/&SXۿ#PpMu/K4Jݔj̍0Q#1+"<0?fDO:8y JB *2rF]Z"8 /%E);_dXP]lB dqÁܾ$Wur$wMRG 2C&l˪~i}P-4eBR8& }f+ܩoB,\ CtmܸJ^vx3,=q6'P-7jD& WnjxEћt2%WsD Ы&Ǖ`u5q> 3Ae .fM5 =yC+p 0{Ye54L?^h f3!%2lLϳʰ  "ɇQ}cGWᾴERQ4]h)c)'Kj횞vtޅǰZi>޺dgty^/1+H2 w۸M@͚ E~&IҹUNlw/Q?oh|ʢh;ADfnp^Lxp+{'C ۠|gYZc49cba59a6cab66db55790c56556780594bb541deb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 ? Lowe_Ontological_Argument