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 _? $\ ]/ Lowe_Ontological_Argument:threads=2elapsed=16.141cpu=12.660gc=0.200factor=0.787zXZִF!  ]ŗXf1-/6vRZˠ3h yJ.d _ocd"rը|T8`H$BKܔ4IP$ &kT]nFD ;zh+ Zpj\^+DJx2] vx-6 ms4-/m{hGuvA_a]k\cA_ R :.0?je@ m"8}; InYGM6iS^E!HdѴHIjIjR[a񚢢֤Ӟ6aTIWɧW̑:c3M1`զmihީ{ViIZl(b^%$E Țk?$A(4ξ;KVg$A{ӱgYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{~cn`6`&wOSbwiL8c \ z/;1r}(0 *{n`Z:f75"5E?9rIS1?a2* gYZ7zXZִF! []ŗXi%92޼۝(%!~Ni^u|*[^l"HX7]L)t40\'jeLjqbHx].#L[I&=nM (H}m+I OLe%% ?ŠLdg j`Wh.l%$:Vȣl W~K*qQ7bî  |Y !EtK+r3\Y;#X&٪>E^b]CVgut ܏Ee4xqLm'`([JBz~Wytj+)E%;IS8ԲG݁_nh*EQhOcH%bV*Җ"m&]:)A`=6!o$^P,"棻Sވ #7l3^Arb TA[T # Mi,Q]rraNn8[ܷlWq;لk+8PdsrHfL:KIItWba0~c8aR]#{t [f}[e4Ќ?fh)t8@J*`G_ROԿFyVeТR1u&ځS԰#21;.CMBcJeTvޥ?:ˠ*WC,Ѻ52xL7tuߞ [Y%w~.֐fK$/2.?G{o-q=#v5D-~ |ڜIߵk|\ɼ+REV⮲W?tYQ sӺx׾5-N5')tJiEi<̬LQg^&K"-#1Xs:_q ]WMS[7fOq^Ϻ2VuL?1U wx,X=n'Rgd2:"XxP8QpаcqmϮ_J`]\fKI8m95O݈}wUkz%pXg.4k&b-ȝ6OAJO/e&ʎ{~9b _he k,>7ފeP~J,%=j 5IhV~yO Iԡi" -? êOec֚>3 \'e{K?+S"&(>9c2cp[ )HgYZ35d158d79157cf4d220c39fc0da7d31e29b0d92cfa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a ? Lowe_Ontological_Argument