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 ?
9_C2!8ԓ:L +0|!.; #x `OM&z1B+Ֆ> NO v#"7- Z]@|U#r6w QDd5zXXhloKeL&w|HP0]!ѯ K%)#X,~3Ib9rI 'ֿ`hlP=UrUVOZ6f)73a4?)ef͒؛'F> XBT(ŀ=P1rϽYȧmOs|ʸXvH~%ܔ%5]cxSDXqO((e1_[Xs3n7 Փ <:8urv <-?x H `37>FAf63Vqk§3X䲎d;vy,dY 1m$FJ",EkWrי# 4; gf$@T+lT0_切Aho-X\S_--I509ߧ_q/De*Y3E,ߤ==6ú^g'ә$LB,&4iJ{@ɡ(>inhO|SQ}`}*'cNz=O qTP*^?a3,sH&va&A R}gMCT}{~aՎШqϘ_Rd=3͠ L6 w#9DN%~<AB ]v?K<foY,vޓ:TC! kRd)'gdWy`־<~FR 9uq78YJ\rgW hMLG WωEê܁IiG7EDD86];Nt%i:[]4Zv~ЛQ:Dkw檕g@>jh MT6n>R)۠sߓ'Z~ya{Ic*pC%غd'S/n\+Kw-̲P`2+(#0/ѽϜh,E O|27 =l7A]᦭D 9p*ۻi&4ZM3"fF/G*s$^wgfn ~?k ;%Gw *Fƌ#[~͎Zw+]8ߟ 7>oЉTVj^+9\=M!;9;qɁT Wt$_';Bh(l^Qh{iݑdᘽg%'$kJ~;dp@GU[$>^\2ɦ3B[Df#-7)P%}{.4f^2Q}* XgYZ3f10a5b71fd715f606c3a4c54195b8d13efdc94fc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a ? Lowe_Ontological_Argument