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 ? ,T| ]/ Lowe_Ontological_Argument:threads=2elapsed=16.478cpu=12.796gc=0.156factor=0.787zXZִF!  ]ŗXf1-/6vRZˠ3h yJ.d _ocd"rը|T8`H$BKܔqQWQxW+|)h$~l1N˜U3-_C["\Re$%%g<ضpc:1OI@˪2wub%";srǰ`_t9G[߁/`Ѓi Ăa^OWyQ*xn@چLK#1U_Kߑ{=dnބ̅Cݢ|֯Mwg|4Zq)ݤXneL~om W #qOJA? ٫3{[>V9pf$:{gYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{~ w[#M+KG&k[i ,@j#xL+oVME>B")Sgm 8n?XjcVPwْx$<࢙Y­gYZ7zXZִF! ]5]ŗXi%92m/hSI ݗy*|\F'TH i8)Q-hVm\m% [i")@^o'S#Wl} $"ӣnnjI_BX`nA{ʕk4z#[IY%s's uK#tVHm֩$xD"/o D?:RDPկ f}C4x.ZݸE׃HL=Dzu?Xİе@*՝oT0Z|Rz&P Q=to6_\ ۪۳WGrΝ%\P"Ixq LPk_'IVG#h- 2>K0ckurY\s@HoaoG~:"hK&* -FO_n_#*Ym/X vy74ڹ ]/F&PndoA+i71WnݜaT ZkWA@6"kB>RǷD<'krUЊHQ&Hf&wӀ}~fۍ溦Wf~nr2ȺKiG;bf]hE )mH)XAYz<:+'8~iAcaP~ mFb?)FɊt1Xтijk妧/`-b&( Ю0U^6fc% B3Ek$Na3>"a`{duH ëCte#`S%H/.6Fg@ f }yDgS3ʷ[Z4ۖ}a>A_fՋd9Wx^oSF%׫ jgYZ12d4d1ec4d3f27dc17480f05a8e4f1835d3897580dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a ? Lowe_Ontological_Argument