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 k? Ld ]/ Lowe_Ontological_Argument:threads=4elapsed=12.039cpu=14.932gc=0.256factor=1.247zXZִF! z]ŗXf[&!8X$|$xNi$vݒMFnw %][Ca#Ms{;KOjtj6qex&UOP0Wh^uu$(P!WQe/F I&r'|$biǿEvcݯ<1Nd}eŠLF(DR 2גU7Zk o=S2ʧAH1=+5ͦ6*ŢH9}aojt[IgL,7/j:>b6~tO1E2G ԋ>#?ؙ fAUq<2 Eik&눏Yd$<(>(#_Ůc]JHnm8Ӗ6R3"ӱgYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{~'a۔n`'pA *.9/c'5rЧ<Բ3<tjqc=² rdyIhbw# 6z)NEy <,_gYZ7zXZִF! X]ŗXi%Ggg$l֍6Ciy63V{^1^$?d.(\pO&>(yt`)<2[ɠ}a?{= :,dCLQ& mm1*xI@yo$;w|hSڸ0Ău [ڛ'(Ԓ!ڡwGҢq? wPJm>**0*+fc V3r_Ǖme wDAH Swr'F) eRmVe5A4 [ w&)mdTdə{#1)+Y- ͺ-I%[Mpwe>(|xQb31֚L6ω v7xЯ[>6ۯ?ΨZ9et}ÄECBe6"~y-&K^k ?sҸe(qx)ht`rbG}vapD|! DjZҷ _zzfz=nHD׵@B3 JQ :ܤuZIALQr[}1U;#2I׺  }/fe3"Tٟɯ e7|ZOOu %/K ٘6c U~MZC B}Rd`ǂY_Bc;dN=VީȰR!N?nXTh͞/[TG~U Vl뙽cG_@#{U^F?#<(bڙsO\ pSsi1ڴ\ɅΎCծF(4-[3i ʣ3R +Ǚ z8~(㌊{IW`Vh+YFT l%iA(nB.7kH+Π:;ΥMں 2cmmK77GMR}b bn8Бh~Hpt <71ԫoHC ~7c1f!/ngʣKL¿` k,i1}cylk,{2oQb8~JqKYC滟':} Kr$dpC~k[r׃8RlSi>簍ו+;IV%S/N@7Mۊxfu`ee(c'%R( 3  o\s,Μ[)Hbyp6Qt P;hyمؼg[MCfPcB zDguw`ޅȦ6rJ}mcUi ^SCR9Q ^Tޣ#C{,,Ґ >0’e)*]W6LVG"}Wf[ ~ȉNѝmcR0Si(ChkVD!3T}7wDŕVT б}I6gYZ5010deda77fb43c77b8c49d00e5faaa7623e48b61795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b ? Lowe_Ontological_Argument