SQLite format 3@ .0:  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 ]] G D| ] Probabilistic_System_Zoo-BNFs:threads=4elapsed=14.614cpu=54.492gc=1.436factor=3.737zXZִF! {]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sܭSU Gjx98/KɄ="5:=i>/OT/{ȄCѪDDo0KIJ=%fߝ9&bi ^D0A"$2qZG01qOoݣ Rtvd$ɖ˯ؓDsNo A 9h0FNDT&ݩ]F<ʄ}]#4 ӄJ8FWEd.Q\\JaCt)p<f+E]fhy.ErS&T++9`+z, :|x&fDG3rXå S_ɏ=9#m.n[Z;ǣ;ȫsl_}ffo0ЧЊ g4i=@l5#:&N.=Q!-ƞLgVø`rEt Gэʦ@@AqR6Gu9uޅ%=W~##}64\0hÚk| 휛U Wfلya4_${A\)*6i9d]Oj qo/)aj(lEP&fVùD³3m0gW]۲vl|ZS׫qbAjgYZ7zXZִF! Y]ŗXiɟ1?ߟt;9BP2CZz眭5 zwzρ2heHö`wYvR$szF!'@XF1wĊ*.mEۗWa\[h3~}L*dQr*OØIzoc:|)N6شLG0Ilk,!܄ZBj[7.# 2 ^?< 8 zD0eH$<=ij(JC.5ccXhLܿoXSU~H׈lq0?em *ƃXd h |L &co9gYZ7zXZִF! d]ŗXi%B)NEOhՇe{~ї=0^~pNd|Uu2F(W)"]Ssf>6xl@;y Ý0txǓ"LGGgrWǬ70V1P@Oy' wjGb "3('/%bsñ߰LV%- 󅎟Xr;ѦǼApYg76D`ͳ+G?oMl/a5s(Gn 5 TvoR2y';!ɤuX]ebe#GVKMȳU g@cιBPg,/:vks JNJ9o}Đ=PVφ6_'d~xrITgL?dID\zknƃa†DTlrJZ:@pp Ѵlvn{ND?$ipoHP~ /_[Wlg^;LoY_[Z2c'9#dPd01Pwh\xRNgIaɮ679=6˟  ,btC4)_j^@ mH2! Cj@T?ۓh&Ƶ!FG1)[OZr)K',Nۗz4ZdRl/9T v+FEr{iRF)SR㣥;A,}Q-!ӎ"v+l }C\1[򎿦)I3}P3_zE1G)zW7`3&@I:0SC~7Y"I`6+{ 0rHQ`nG[Yv[ 671SNKϫU1r.{tГuz{(D4k=.\yƭ:5|Su+5/Q#ܜx÷݉6t5)&؂YǣY#hP5l^b#y<3%/(>:,#(YgYZ983294cf6f00cf97e742d224674ba7ae1270d34e76b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 82553a243b75b17982a7629e2aa4ca5b186893ad  G Probabilistic_System_Zoo-BNFs