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 zz? ,\\ ]/ Lowe_Ontological_Argument:threads=2elapsed=18.100cpu=13.876gc=0.164factor=0.777zXZִF!  ]ŗXf1-/6vRZˠ3h yJ.d _ocd"rը|T8`H$BKܔ<  =j#:3`2G) ;`W+T:O@:V3X-OK4UJT;GF<3GQ$Rȕ-GW1L|I 5(mrY#ZaQ'ݘۯtrb.wo{7y 2ќ%j摑EfCc!pPu~C R- Q}?axE95ok?olz b?3εmNC\Ħthb3GU:"f!ydt7VzJT{R̶cS $:{gYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{Վ!kxC>VnY4ZtdHxޘn2C*3̥tu1xE,;eE+\Lɰu`jCpPru~`{bʔ$XVEEģKF<;BV+gYZ7zXZִF! gz]ŗXi%>gHOT(6R}۶B#vL0EjR"(MYh=R!9 [՜^?#L;ԎZ6 Ù dpjDi~0fX?9iSG5*ȼ݇6M] *% ¬~J F7ϡ/^"|E'"/֑Ϗdɷ!goIb ;MZ&Y /]Jno4Z&g 劰R/Rb8Ka7t 9BNS9OC| g!"$y$|pHN{(Ċor2CPxoZ)deAPP34v^.h.mI'9&f4@RQQ5!U1ey ۣX T-%̈́,8#.1 !},57(r&<BRZ؆sB1g34GI|)5.E/o<5Xh1hJPe:Э$HZZ TW+TIK;f8J\(N:5̡BcJOndmwⲅ+2QS~Tv1ST O$\R7$ug939}y8jHM!ֽm.~)\WKULd7rhs/4B[{)|WNTw~fR=wZV<;H{ͦ,їiZۍW֥KbZO'mZr2߻p[t8*'O@2XTUFg(^N$ *5&JjW0:&+vy1IRtXvEւQ۠#dCk0jH#[w%H{)\e ST`Pfx]aM]^n=E@6m}79cҗ!%tۓIT. 5|qK&R.%zG jcPj$^s;+XT$)O)|@imyrMV@Ĥ[ ~p8?}&})Xa$`#VWAQk` A,H`χm`Tu>ۤRK]^rn];-$ei[\c@h"w#+*3GiTJLBM׾L>uJ\k(´taں:'rQ{?H{|* A;gYZ678ce2249f0020ce835ff37f3aa4498e00d171d7767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 ? Lowe_Ontological_Argument