SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 c? l\\ ]/ Lowe_Ontological_Argument:threads=4elapsed=14.241cpu=16.012gc=0.236factor=1.127zXZִF! ]ŗXf[&!8X$|$xNi$vݒMFnw %][Ca#Ms{r)k!le[kÛ;됧F*GϢwkZnwAufWMހdYrW_r^,:X\R7srW UJdV`zn._h\f,ᄟV\lyvjۀ;xW(FapJs£ZX)12` _jiwVOIkQ|mZv-Œ(Gu5^HDQ1ipRnÀ )HA;|dE/.}%zuPofۃNZS6 hOw#- gYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{};0&2$5իN^m8֊3迵^b @h08@sjos 7"n~οesW;}2j@%?#'IXfgYZ7zXZִF! f]ŗXi%L SEM֕ɢUmփ\OE'TaާhήWOB }&\M?s?pFC)sueHP6Kf|r 0NCsllzz)Q6а$Z14`<ޡ9ȓe]tҐq@]?Bc9 8s ȇ}[S$ ׋Yx3W^zhM"/PG+0hyLy:e!,D2Z6#H 8nEh$zHqU@EĈUީѐG`-x1Z_3ղJ?g;# IGL Du2X/}Ʉ)PAVhɺ}EKA`xyO]uo덽UE*G\+qZMo+LERy{iuDjxr5o؊.+ I1tfɠ=9-[n#G #;M Q.biIF;JUG=NVXT&k6m #!" qSzzqzU;HUޱM+0G6G:X4o{ |o?8Mr߱ lmA f^x,덉}]H[zIυ*j9BnL"frJoa㌔ŕ*W@Db^i{@r )zb˱ΪFHbuΊ'Yu1}ByijO3u{_)ق^ IcfrC/_n4Hg]d aYYjG:˯X" Ug? R/[}"J| Yg$R   x߃n_#"T"lDž0ήT_&JEDG|um{؇^b6z͛mݻw;3I2*3fFA7~ # |O>AA^E-Y>/n+