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 7? LT, ]/ Lowe_Ontological_Argument:threads=4elapsed=12.458cpu=14.384gc=0.236factor=1.157zXZִF! ]ŗXf[&!8X$|$xNi$vݒMFnw %][Ca#Ms{5=f FfXc#)+m##=%|x" ڦ>k rۚJZg`rOh/tTwMv ޸H;V #wYGm kwl ˂.Σ~A;5TuWM~OIk<:ϡq!H + Ol($v 7{ Ο'  8O '*_eHblʝ+oϖ"ֹI]j^UXIi$Y3 pw?760?@*-A4WgYZ7zXZִF! [N]ŗXi%Gcì>NUIwn u#y"M ,'!F: )xAN0.& }[L/Jx¨E%ӋwH;0+_B6)6_5w*~m:%H}|w4.b?e-(rDJGO6aQRkFj]g֞拐Ai~bQAlmYa_U ͛I+L<޳р4gO<}_#9]%DL&'`kDIK1`WpծE6F+"egU\ oG@(xEG:=aRWӰSkA4Ѩ&}x:s-NIӯs :I)|!I)篪`=̲XYK)PxO$ҥi+c{Lr)3FO %Rc-DSl/]Zx~>g_Mxa_(и=vKf˧AU祫^ee]Q=Mz0rxM{f'e ǽsV 7<)!"ڜR'Qw`Qq –+#*`D?j&YⱾ.V+,z#7mFDݔס ޱhSh ݳO&H-4l%ˬf3!b@pIT\"z#B Bp m,*<[Y^%zvg >EHӯه 7VQ/,}7֏cTCnl,zq3n( Q,֗9 bCe^Mm$_'Mvܩ&8 e- n9_CnE} 9XáQB_MwhHSH{y^bp5+.B؆Jr_?i/e %G7 2 b(A#_ю '䦷vO'im-.ޠX 7:Y ~#l/EYi6lAэry*Oq[c&ф =8,AӺ_ ?@`;Da7֍췅Eƅ,5#ʲj^wdc2piPATѭ JOSCT@W"UPӛ:57ɶ^*dKD8S! 0wiԨ8Q #(v"ѸY=Zۛ!R,W*0.mOgJYJ u8bR>ұƃ)i K gYZ5010deda77fb43c77b8c49d00e5faaa7623e48b61795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 ? Lowe_Ontological_Argument