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 rr ? T ]/ Lowe_Ontological_Argument:threads=2elapsed=17.194cpu=13.180gc=0.188factor=0.777zXZִF!  ]ŗXf1-/6vRZˠ3h yJ.d _ocd"rը|T8`H$BKܔjMC)N" Q0'񾇇*m~FM0]]̛{'$JgYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{Ս:PzY%$6 ZK8!_˃Ylo{>äCYП6_Mwr4IzZVgϷG߃f*-w,nmFskE˙TtP)E{ye}P&λC6 ȽռYsS0@ OÙdM9%`yz}hPwM@*bv c4$cz>ofTwWG>;)\RF~TQU7O*"{dή6qori8ٸAW)G3jO`H@p+)GݭըVii/zkK_'_!VxCb>;DrQ23]-6j'CO7)b kOL$E(XK/Ö4[x.Wj2rl"ZYr6>xer=hfAOP]QZK#ۂe-Rċ]Ě[>)q)˭f\-KsE_,qi0:2n_)mVE]719.WJom jǨ%E93K9@>7 7`c5c=ShGᄯr ΍~Q?}YĻ.qh(W!HzIb^7xqYsxZ w ϸj&.l;D}z6: `JW^ E:V'OWwzM{#w"i9)\ߤz?dQ( F%r'aNCzZ~ymHf=NA TI)&N ^wR;}mƋak!U()`h&hAئK224F"julv!ߴs(-ւF\E$}Dteo)@}r ^ v̕~x"㖻ƹӷD1Y&TSu%[u*!Blh<(ZU#|ic7F/b[.-X@P Vgu$>٬AlISɅ۠nGM^XsX_xzʐ!v3 1 s ^"sTF/w Ru2:lW6B+"OtؿaׁO4-J!`=?BSъʭ.BΰbYds-.ftsd;0cJUei/]1cbrYnH_ו))K&(e7Fs>? .Ư TaYw*ii&$ ^ lR$\"zlWBڣ6"⣀굻w6h[ArzQxn֯CY8 @'0gYZ678ce2249f0020ce835ff37f3aa4498e00d171d797833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 ? Lowe_Ontological_Argument