SQLite format 3@ .;  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 c? l\\ ]/ Lowe_Ontological_Argument:threads=4elapsed=12.917cpu=15.600gc=0.256factor=1.217zXZִF! ]ŗXf[&!8X$|$xNi$vݒMFnw %][Ca#Ms{7]q -ufTl#Y#|4@T[}xnLNn$p李#VhXfG7=:]gk|}5A(KNjaI9˞BJ.E)iTRJBF/L+Ny; * 4Lۚ]󫦫Pc'ETXE u ;RHsyEMK+:<D8mٵۀC)kPAK0CL{!',ḙY@{;t`]..؁v |3Kuؙw|)D3:w`jTH!#- gYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{~e.U2/ òOZdZ1vԴ ;)dB^2hqѯU'[|MِTw SS]lQv3BC0dw,?Ʋ'IXfgYZ7zXZִF! ^9f]ŗXi%L Ԗ VY4qN50V&E'l6JԘ 4Φ}g[EE4&Ap,-B""h|Hȶ}8XeVWZd_# uUKL(V}6a!ngTxOA 7 tw@tO9 $խ>[H=|gs9jpxWuyҭ Ɖ4:4|y B6z{NݿTc:}iw2,jr /[Ǣ?20ߑ_*v-9y(uZ(s9&7 ZFˊx<>ޠ6xL"_He]w]9O>6r aRyi1yPp7;[hS͡#կS|N|߶YVdWX jͪT׽LX]3uÓ0Ӓ Bz#,ψ^>[pО$ɠ!9nM:͇3dyQqBҕȀpa<=m04b JHTMQ|~=ly*ԉgO~RN. Hk-+Z\"?Yz}v8WcRtfBdl4S[PinWb(\fV㩅}JBz:0``Om;RB;oA+'*C͒kQJdꏎ(l]zwQFmw _#<ys;o*>Lle} ^jۨA]"ӈ-[Ƙ 34!@fyhßO6\US* !2%8`bOPD} 4=b@$A4B d hxqpjgMaʊELy6ͽJf29I@Cxpi'~y! 4-ugȍV?d'  I-#L:;lҀZMì7f@+ItDq|v@8~#k E8uX?֬l7m^-GU(mt8hY=58^G'/?| {\\5nRfIFvSK)OH!nCwl%sŎAan3\'Y@suq vXAGF,0 _挞 hj A[  ;8b- 8 :wq>&el?X~hYޒY|6}|^E+ fyD=K)#rY :0N-w4RC>m=9uթ[