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  ? d\4 ]/ Lowe_Ontological_Argument:threads=4elapsed=12.857cpu=15.408gc=0.244factor=1.207zXZִF! z]ŗXf[&!8X$|$xNi$vݒMFnw %][Ca#Ms{,l+7rj%kubxrf! 4mHW]Fpdfw4b$B^Bɭ['0L :϶v;T-{?6>CY`0U?qV"+]FIbQ:kC>{YϮWGl@U~+&l7e[b‚|Tœs"/wNz%9p ,]8fsx KM:XYFQv Rs\dH?v'ߗ'qGO>^G1 `48,1l h2)gUJkHἺE"P)gYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{~hyh8rA5Lp6.Do'>-Rעqzh|t5UsS6gYZ7zXZִF! []ŗXi%B:gGq1V3q | ůlqII)0ֲ#Ϳ >[bHOnf=T^y!^Jaxj Yn/aX_φFBeg[S4b iK zIGy:ۙN!6+Sv^ޱ= vI|{(Mlɛ,ML1שoŴͽzoGUfxڌ*Q M2#ZX|x)۝gzˠRAaFCeWM?YܯV t9|cɝ&4 7<#00vr_͘*RX;oV9J|# {/H ˜͙DH)L7Cyf=Sry&#S9y@9YI%UI% :[ٯcS2lwѡLYR]>KYI1 ֐iz\/&mGNظ' lC>6.+R{q1A$,9t93;g,&J~LU`*[cI3CI@=]ny{ JZ$K֝nIF~ԪH}]+r"'*wRd): >| 9̸H$o^gdqRxLwa)/3*'ݏi;4LY84ϰ!R3NCxPkWg2[l(X.DEnFGT '6s+_dw[v('+'+uwd -'~4M1-w ղkg,,dpؒ"06f(*lU>~I(GRaTJ"V%ep`$ 5Zj䂿gFtuq\ԃ{ɵ6O ܏qDd.j9iyЋOȏMz<"=#s|Tsc᠓d!BkKqf"fqMZt3~ΞAeԡ9D`'9S 5]Q{ZpnotSU$EO嶖qNַjm$#L