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 l$ ]S Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=46.674cpu=87.680gc=4.976factor=1.887zXZִF! *n]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^WD ff@$=cDCz!I>Jy@5GH=6;u̿!GՍ!d@2yJ1k?A ǁ?l蟃l*YvjmôA  e[Bz7ZhTaZ׉ϋ:P&@ mt2nR?KI<ф=e3R>G3W'ϗR> !xeI,AωO>!Kk;t ?J]hWk_UabT`Nq փЅ ꮟB^oviq̩+" `%m'W೭K-Q2? $O Probabilistic_System_Zoo-Non_BNFs  !Ղi_$xW+Y@vX͓Ihimv;l]HIqh"OF]i:VIu(g' U,A&NgڪE+PA.Pm0v΀[>9:Da9 ՛C,FS'U_t#9ws/BtvS'|FDc &80`1XW&tҧ/ U\ƓgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~iJ/nU~Ȉԧ;378ŭsg@'e5PoStkY^Pn31Ꮂ:.vCEs3QubVJU+Au]3#*i_;ҩrjb38>.54i{-2(IoB^Ȕ!xHvjX1.<5IOIp+S:;f3d )5vf9{_إSVx>8buu܃qT v (-mAkYO)II <:a+>w*eE=C2&A%1d2ro[{ C8DwN|E}!%5+#8~I;!^ngYZ7zXZִF! ]ŗXi%>gR&Daw";p,3t7_o|6͡I#,k+fAQDg&-xd0$[ɀ:ԙљ7n痯-Bv{hwLjg?Bc,u_r]X5F=B`YL[^L+bύn DV<- E|)`ɷ, w2Q;tKr2=/COְuR΍" @,0 *p3_ά]bXӗd=١ :< U@.:;ML&\Zj"F Y Q*N # _@t$ji$MljH"I4geO{uss ]D- 8I@%i2qDWpv[Xčh<T,Q"޼WJr"$Oy*!ElөjvLڑ(( %ő\Pzſlt6 vRCWÌkG<5V+;3V $ToYhO4`&+ȷXu ]kLcC|'&4mȥ>kb]i[I3u ۊUC[GfriCGZ+#>9*i('.=}/'% fKtITd^;$6:rpKLm3#_F~f'e|&7Ny^ NTZ8L]`nkZS}ϰsA tp7h~8oމ/jU, GYgeZ5ݝn'_ɜ̫ 4=9O]*hRM^!*G%j;'*ʟo ݰUU]_Byw>Ý#W? '{}"ץt/jo}j*Y| 'KI|8w >MG=KFJLz Njoڧɠf8#ü5+9LlkgDG`/kso͉}E(?hfr:G4-'Y*@KA)K]k\v͘ ᶐLøhD5Fd$DE Ua@Opv*@=@]/^dGh^5H[5CUյY*~d%lwzn ;,c]5>~|JCC\B/IAPt;e$ţ5 2l2 rq&?uM!ĩucQz aND˥ç.[qR&Q^׃kXYeOv4b]ACRN>+ߛ6Z6q.P^*ӽŷIc ToKXgOMy 3YfCPO7{c]0ȣ){B15$Y=X̣옺K$ـv'ݨʎ!.0ҥv%qȐՉ} ٨`Lu8~s<ơvo1S[9_H^D:\\A]uF-r7r~Z[@BF| -RlFXbM3XýMZN#Ma#`xjވ#=qsX1rX#?^ 5߯K6$Ⱦyw +ZSpE?.FR,iNw>4"rB f| yh6L3:b FA8 &@[$eA >o}:8g|YvA^j"tD)Eٝ8\?;&EX*@8>&¹