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=15.929cpu=12.912gc=0.160factor=0.817zXZִF!  ]ŗXf1-/6vRZˠ3h yJ.d _ocd"rը|Tn;YV<ܯ]yѴ\`-[€Zj rDi|3> NV܌lt/3,iLuW~S{ۂ-Lq)Co[0Il$h,i] UfY '0yXUWSieA#`$UgYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{ՍPzY%Tظ|u|dzn`4(8l$]p(WbIj]6ӏBGgQ1 e;2.n48 +&t4;bcX4WgYZ7zXZִF! [}:]ŗXi%ή++ˢ?砮OM'9OMޖ;~"?])߈]S$ 8Au`ڞ7>krtY7ł~Z-dB`S*=캄9!D@m`0]P" J%}v`({vE4"˙2/@ 9j8Tuҭ0>bcU})nH^ R_Ըv!eF=74$Xmz2H&\w%oa%G1-hmhJTZͧG0x>TE'S|>H gʹz^&xGx3@[@%hՇC[#k7v|"1zNbQ-MJ .qmJwpQ] Ax c~}P&o۳*;SPjWhv}*^ߌܧ"3 }9gŇoQ,wgGdw!~}{ZrgdZHVU@0dZ},WMYwBZե_\1 n|sw2,?Q_ %L L/jM! s i.-,* Lj~hÍF/җ9ga  ,aةmN>9ƒ541dYKƙ_ B´|R] N7{H3 u?ajGef`i+4F.4 5q7WV4{)୒Ϸ.Fˊ~M|\*ք Uavx7Ԕhc7G9Mk:k t}T g@ nx`kq;?B-s+شћ/qe^? ,+إ~u\u! j%R eJ[eαÁ"KCu2^}*Al-ĺP8E aլ'v#`~g"g;m}1pݎt~-h=_RBDЙKK@[s'%chHd &hRl8g: {LB\-3pQtp*XbuAuB&,uݗ! hBq=cWϜ2>s*s3[)~s+Ar S)F@+[.(LӋ 9gYZb095f99b2d6cd26d3789c7e03a85d08ca7588fbc00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 ? Lowe_Ontological_Argument