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? <\, ]/ Lowe_Ontological_Argument:threads=2elapsed=18.724cpu=13.244gc=0.192factor=0.717zXZִF!  ]ŗXf1-/6vRZˠ3h yJ.d _ocd"rը|T8`H$BKܔ<%pȐ? d|lY#Z5д1L'r{т7wiđ&n{@JϊMG_TkPmcpX""dm=xbSz(rOsP&6xz8:}.8BnIV3|Q,>ShǬ[LnM2˲}v!eP˽w8ugevrU9ŷEbe: ;e~rH@vTu|FR[Vc~\#I?N^k,2m JpYFqFOZ00'%Rǚs0f: MR6$װ״+g h)Z-m/x)F!9@?|jgܺaOn:;Q "CP 獜>(۱r7N(oJRVMtʪDY-tpqe]mjUoKohmN{}]{9r͗=R⑱}j_J1!LiLœ^aqfD WxY2]%00& 7H%5jl ,}F[vy~k;1C^*AordAjo&9N=qUGrdiƧ:y5͝1 \RzxC:>A\~eaHvnljCs2 'k]-;UJ'a\HxM=lQSm1&'P+q?KoK-6v$qDá"=? RWKgt]&+ =ڜΌs~i?gUXU X6=NໂI6ԤLp LgYZb8a8c4048e128b208389987a5e33df7ac407c52379d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 ? Lowe_Ontological_Argument