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  \ \O , ]S Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=44.572cpu=83.868gc=4.588factor=1.887zXZִF! ' F]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^IЊo$5,B0E?tu%ҿ" !15G0/˧әW4ɿhѾOJH-e:b&"4- rt9~c4&"?%3{MU)֔x2z<15wa8x5Q;4017\W[F P'ٶ E\yХ0@hbByRvT%dzx&\)I "YPz?.(틯}::j{!DP~1ܳ1^υGO\ !s;/AoPk]rd꽆9̧L) ΉSsrzQAJ л)t,Vjz}$h4; T m4u΢x%IAM=ҍµ~ J0j04D=~o`4 vR9D$ffj88[><0f'`M3,Ֆ?f "r Eֽ^h shXSyF*v+ =)J/frzvG P@DzjzTz&>-cE(mb@}86>3S݆[5NMyfvX" klJ  $O Probabilistic_System_Zoo-Non_BNFs  UE 湁IC ۴D&pn VM_'B7-FW=cgJ 2ݹ/WKӝe ?Lӊ|3ė*kvynLIoڙeF[M)*hmOvܿ$wj7u&E"_"7},b/@ 2@X&,ɟҞ$q$'n`Vܽeor$O0Hfo/1/0~ @r&⦕wIqy,r2?'+̘&̅}jx~ Z4]\;ƀ9 N܌"ugYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~l5?;, {j9d<2v"c`Y`evN@#\Fs#BIKs%5Ű.k9'g' M8`R¦l$|߇)%c!Ahts]o,gYZ7zXZִF! ܤ ]ŗXi%>g=zre߈7ӭUO  }W /qJ|zt0jҐ+Hc %I(5ɝO@uw'eto-crŞ /!6#`k` NP(FLB(=e9[YĨYNrUVD )(APa~z54dW"5Jr ZL2~Ԅ״'OI먜-jOi,(_0zg@6j|KR}5#&H-pE N* ~<)2 o 0[ 9c#5phBHb,`XefXFC~,h Cr6gjVSמn(IqX|">t|R'ꁦT,>mHO[W4˫Aa0;4]9"{tʧL=rUb;t.!ɅŚ"QT?-NN hPrS.HF} 6fD"&iAҘ4l}鷖lf˖c*D@.hpɭ3}P )/KHG$yak_^])Ǡ9gڂ, v'NYb> 9%=V fiPSAݝlzAu9~$.PFrXD/ vCƞf+6^Aq,15G`nC죌RR #_`1a-f? aJLYcLcP|sDJɧv*! xd/I;ebmj151}/& 0`H ض_dz(^ JU717Ɵ60᧛!NC AȽ~@Gd ;fe(޴c@j(Dgkk=}pEr_pFE.4hYH>G"S Caksޣ`4H9\&9Iʿs%4u#q"nTR4KߕK-KmQ[2Yt+]IˏZuXh((͹ {is=K6%q ÙԐC^bs=ulCT mV8iۡZ; zjz橺)MmPe>lo@CݪI,VSA]VLv ?K;-iIr%zaz䯱47A,Lm] \Xڛ²?5=?YHK SE”ۚ~OzVDPHOz'lIe/;i.UD"O1۹8Yhg^!IibesjV%٥DM̈J7W)w-$RA0?Xgcs六|In &f_ ūjn1Bs`SwKkKd%PyX)Xi#%G$5YoIDX|K6N0Moi_*Nh-ѡć-M4>Ig%v_yRy=w ~ ,dꝝ"=]Q6欠m6.K"3auP'W-o 2Qucٗ].jV[`ZsY0-\9F p̔{ߖQէi?2#3>]$;ԥ9?+hXnT׀xRLU|8%E@ uH^:FH!@a5֋H`̋%2k# R)Kȳr$ccv:w@ aĉc񲛠"sASXBx~W$ s{o