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 +? ġ>׳}-B~^䈼 ҳ4P jǾvUDc zfa^GW=)IoI_ h!Ҷ9I AdK.am僣hX&ajTSpi>$0ZkZE'} ԌX.I0;_&Cj sJ"H]QEĔS2h~(Rl܋ޙ t7$6ٻˌE rC-4 q }ޡx2贚!Bp*83τf2C XY{ d}#=أ-YLDn3K?)?ӧ t2:4u6ˁ6GVT-}))n;JmZ 3 1蠮YC[D%(MxHCB';*ot?r7t_ŲKzq`gB@WZERTUt ;F`dWJJAd#WB/cGZFƧ`qg{!nl\lYqT_j|#?e^ь-Ҩ?';\UYr1Ϥ_E898m: BW/ ]ģƱ{'ׯ=FhCV!q|f-XI*˗W[)UGv 3?D ^x/G$cϑ].l ɚghr(a$#<愉xg8>u!I5@8o=_@\gYAW99'Y, ziJbCǞVG,Um1xi{z_xzU U E뮼سY'~."hY]UP: ͻkܰܮM1"Jz<o\z~|*o|?_BcNs>/(^,d&=]-b)T:})Fm_5Z#8؜W55g[Ҹ55 YZR;>'M>bȬREd ra}[đZX=Njsd&bi$`?|Q<_K~x8S~kLʔ86i-s{DW{+h ю!ױgYZ7cbc4f20b02b989e27a86ccb8116847ed658880df4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 ? Lowe_Ontological_Argument