SQLite format 3@ . BBh77otableisabelle_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 **S? L$ ]/ Lowe_Ontological_Argument:threads=2elapsed=16.496cpu=13.188gc=0.172factor=0.807zXZִF!  ]ŗXf1-/6vRZˠ3h yJ.d _ocd"rը|T=^U>A dhsht5j'9ci=$cFM&'J 3 s)aΐ2Uy; ˒Q6u!d0aT67e(;S)?3WH`R[ Ϡ?m9A_ixaV{NdR hCL3+YsGYBQbCO1#Jd! r9/-/7 E$terU }?rjjP[2x@za8$<5y@{\ڵGnv8>.t6M_&8]'YqӍUTԨ¬>-҄tV](@Fs{<=!2Vn/Ĩehj}'jx2K Cji-B~>|J1g}g;&h(='ks%D MI7aGQ !%n ]q? -ӎo?, ݵr΍,Km_.\|Sbh"H`ېWʱ]Pqԝt`68AP:K ¢2C!j)m{{d[sBrWKP+o1'B KuM >gLBՉp8 i"&Er4INyh~^\IcA0!)=SӔH=8Nހ3L}adžI˗Sq $>2^b ie=͌ۄ%@뀛hDw[tJ**yIqIEg.ɔ&6a#Td~z R ) 643FKaͩpӚLJe XGcx0> t\MIf叏 n@Iy9 b-dq')u(%9މ/a.=~E| Vz[tlhm3, z Hxb;k:sIIԡ_B`5{%!W%$ )J F30>] wbY-Z,s] ڭpgYZ45dafdc47e9270d3a330dfd9045b0ce3783434752722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea ? Lowe_Ontological_Argument