SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ZZ#? L Zuxr6k,/hP\gj܇X qJ›= .si":c\2Uӷ?X&>`=a4q|B-5P4R $h"̇NnHԫӖ g,'Ecл Tǘ?x އl!nab?tSn 8ݬ+# }Ra`jBm۶OB+D TI4/H1~A/q-G4r hv:y$bͱgYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{~c`69 72/b60B{ O3ND 'ޘ#?m'R]ա%_FF8@X(wH6fRi H+]ꜱgYZ7zXZִF! gy]ŗXi%;38iդt.QLv*"Qͽd*Rx03(~_Zo2 95B̏;;J@ߥʯmhC2-\V W2[YBM Җ`:ݼb{$QBxYqXe `+_%db,~UGT=~AofRl.KA-]6c9)~e_qZ)cXrI]U8 +`@2Z/•.SdpBI#ΣRm4Qv* b=j̀QI" ՄO_tj7Om꙾½2^<ن﷛  hy%y{Qn'K*1%$,q{ |(UGB/@Bv#c݇d8烰 (7ecG 7tK8 ӈ͙I.d[pJD$"@:sV{iIV;Kp"N[<7qL6Ɋi. i{8L)MQ> _O7'#BT"Tflt6x#gwq/XQ)j[C\{ǵ3=@MYӪt+XM#Gu5?}ǰ*Wq!fAV#MIsFl3p %rsȝ`y&adiSBŁ,p`c$vD?-;aDCzL~k*P`VFcm0YRq̣GLp@Y;j Fx9ò#ttѵ)TFPs2I-ABYpܿOڈ?Ij^=ľ9ׄW%!3?ystGKW[ͥˉ b6 ;Bfٱ h {b0. Q%H8\NViRhM ^`˥ތ0xE";pdPŸm {YQv CrDw0 ;o+%U>Bۤu\*_|AA#. ΤV!* [@gYZ6e9fd600e00b33ebd327aba1646a85ef95823ee7665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee ? Lowe_Ontological_Argument