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 XG td\ ] Probabilistic_System_Zoo-BNFs:threads=4elapsed=13.335cpu=49.752gc=1.500factor=3.737zXZִF! 3]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sܴ Pj1^^}eࡶۣK񦳞MOjD4m(Dj31T\/=DBlb zh'mΐ3-=KmBE/tBQ<]l݇m-5%51 TuT҉b. ='&4drsp%uW|%uNMGDFol{֞ ąJHb/`% eeZNo5fnHVX hghq^w2, #ϔw5lo:c%_Zp ۚP90UM+hoUJÒQ80y8Gp}Vaԉ>YI`yV'悉SANkU/.ϴT/2'Q>=JgwU%bW0 : 'UVig3m%H7fSƎ,զjP/ rE<ϠpgAt f nGB za֛\B)|_*to*-~/oc@p.f@?ߠHXT9+t93ƈADWq:rm+jZxAl+eWU;Psœ渰v\ ݜ/%oǮđ#Cj97_IZ?5(qoDŽ[^EaO䀕c ⿹ p-N c>@[@e:±gYZ7zXZִF! Xl]ŗXiɟ1˦r90Fn0''ztZguT~mAx{ у%BjOk$Asy;|{;F89UrxpXབྷABq: Kn"nE>U vSe6IE`'ffVyH|(Uة7 NL4 ( IJ2Eg3H3/t0ό3p) T#p0袏* @{=4뺘5Ab{IT*4ͺn?xs'OޑZ({\&@(q\Xz?z5SzDn˜: }K gYZ7zXZִF! _$]ŗXi%B ~"H.X.X`_&&x^iS9b5F[˩c%z^@`pGխF$lP퉑fD)WSpYNGȑbūw]Aհ󉗬$BGB+2\6d(ks~F|+ v/s@3$Aݎ=8}-1GoEpJxͭ 6'FL|z;wG^9F*'o{cT]Wo,{SD{f$R 6  B&=mP#āՋYSC:M=C * & _K>lcay]KsDc},cdh򾎁s`ߩÀ;-T#kĴ3ha!Faҥ3,WK RȽ!hu"7% گfA)0 &O c+8{>%+~kᤞս"K1 c5/ܜvu̪<᧛ZGf<|clSj4/2gRB؀`ɺF46gz''v *ԉ' [ \ҊPhN-Д`JQ : Kxf&7Fq?g,5bYu "xZ5#>?\g~7y ST43mS~iń;ؼH4e!#[VEBiUB 71Sőv@J.GHD)j9aƵJ;ĸAOL{Z6UzY%\ ~{Z%*3\ Kɵ/c{GoaRPX1c{g+omq IkTl:rH'zEYw~MǨaE_80˿5&AcCnJDF?gyz.4S4V4(D=CV0Pl-mzj2n@95w819x,tBEsh'6TZ6G3Cr)]}sS!qdc<*#A(M]^r䘰\uftMb$a7*UgYZ8afa762247febf972795e489df0b79a29b6f2664c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a d040bb6bb06b2ee524550897c62da689062d71c9  G Probabilistic_System_Zoo-BNFs