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 |) Dl< ]/ BNF_Operations:threads=2elapsed=19.485cpu=38.184gc=7.600factor=1.967zXZִF! ]ŗXf[&ZC\&XNt:&9x8>*ouʼleA4\A jHH1h(Sg`((t n C'>胲~{~ W[VN7qQ~Y^,EMyїMaGSxj&{lGbIKT7:Yk*/aäEpOzx^5uE۱s!'Mu{n%Vœ=14eGKs\)oc1rCFjS%C8 MDνZCv)1*\9=lzf6/eГ*NX 5+L[IdM3褲Yf`P[6$qM]F-WPRN@6=N[G5`gYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~QaR,VyZJb<$40 ^ R7|Ӹ{R1fC /7y>-Ec^YD2F{BE89&*ճ5~q/3j LSیIty^'Q;`[jP$;# q&!1U/{@N1gYZ7zXZִF! jW]ŗXi%>goÁY}"\_1ppT`e5~ )Q[PJjԱLF^`עFd; +h"/RU1F=ġ!4y~k .ǭMr^IWdEm"+w.DN?Zz}钘 #QNB["®aC1Ru\ \ l.n&Llr"Ų'>mJpG@M~ 8n :rJI,\.ȇTdSBwvwm)A䤉G2'Q2cI,rVTI5% {y)˭iкrĢLdNL3Q+ WTQ*o`RU R#[-gUb7&z1 }YBʫGxzl~DޗX.~Ldwa HBQm7 s f$C *,WjFЛ8z/YSohsJ]^̄TGv">h{ I"=o$HNvn`ˤ1^ QWuKG%NySs@l.,\()F2q#ȽhW.qFOz5f UĬoJֻ ^@a.4?焄>T DMW w2J O%5k]{0ž%&!3I9s?MZFzsfnfY7jXS8"Tw[zX)VyE:Z 8V,hsGEqx[k+ߌ B_D!y/gSo L}S2]Ń{YH+Bg(e!鞾X+ LYQÿ@hVtd`m1||G^H^<\Ơx$ ԳDZ.ח#My7K0 =L& _VMgr0xHsa!ⅴ!a3 .85ֆS&$=&^9Aل&\d!S %+ߗwjt˼L%.gյds}=`%B]ojvW DI)IBp-hpZN6?hOLa<'W5 gYZ072f9bf15f3489f49acbbb6b4bb277b08c678d260779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f ) BNF_Operations