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 55HG DL ] Probabilistic_System_Zoo-BNFs:threads=4elapsed=13.969cpu=52.964gc=1.740factor=3.797zXZִF! !y]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sܮsV XSʔq5N~Mb4h)iIp5Vx2 V 57h+f/."CXQ\>1R nM.\s\*c ,9c|Ĺq6TRMk-뀞V֯*eҘhT') HZL"s& JS{XvSS.'TPؙ g/"u4V46K= @}6/A`Ep ;d*hmJ7„!$Ya#LK XL6, W„_K&!$V&~<|-En~B@q?MrD2a9ϱn ah:ϱ#~5W2Nt=M0 SK  lV]j;a|Bnx;VnԁcJ k^U~)s w!muNmHZ̉ ! ;s5餭%Cg YwfcsS FHУ)#QJEAz>Ps\5#pDд#||tOb~K*S24Kb=FĨi3GY^Z"Yn!I:㉸6M2?\`է= 'H6aVj822M60ޯFCӘε/l8 +oƲs7""B!XŢJKN{Z)0Bw +L2MF/$ d)Ԩͯ# ?zC5gYZ7zXZִF! []ŗXiɟ1?ߟt;9BP2CZz眭5 zpm,Ʌ#¤`nnpoxx|d9'#3+IkI>'2hk$Egh{ |l`ZM$Bm+в7d=~cO^1%b0<z԰ᇏ>E♃\RAN=Zғ^PҭK(wN *0r9|>Ix^V՟T nn罗J7Ꞻr;fE]m3C9ۀE#Vt畝~OM֋oiE~; N\6jE~ -§tgYZ7zXZִF! a]ŗXi%E`7Xd]C׫]sEW}~js,X$f"h.ڐlDlߊblɚ+3acGwʠxWd0dAn&u㝍ـtǯ !!*״{-*jYrl`钧7O tl?jƊrE2] /o\kځ+[]S<,,e̛DZ$cOhIgP 5na!h,QĿC'{.Xq {,lH aBFN)J>%ܵaF^w$O YVH[mSTV!]l!FHd (m&Q7hFAgqB4%R)PIWs؃%2ꙣ(,m§q3eCʹ J(zva9n:sݎFWF&z-}@h 6]5D0/#Y NIokHZݨ_:@2ݮ)n' i՝!㑞Y\տϖ~x!Q+bRXH3}lO{27*hZeҜnB{TGmO';e446k1 Q}&=>J!b@:)?Z(!ϓ},Ln&74*HR̅ AP=Rgip+ rr6-myxUbS R -Zy +0݂w=|>GD}#wwDuՈiysam1l%l+Qה ꭳ<6E#tW~S%:f6pG+ l M_n]WYdMsn@9CIclJ^ft\xP؍}$S{jQq͇tȕþh?=xo5c!:W7M6ޚ$H%CO/6 Hvx ;"t}w$^FhStu"^ ~E]',,幣\>ד1ԻcTfv Ӯ`B,$!܏Fn\#1\xgh&b5#}ẖs lW'E$Y<[Yib+Rm4l1EB0OᦫO"<3'/GR /xĂL@b1o7bCD}Dl"aY[t? >#X7\yf̯!eD6c?9l`{Ԋ@[zIDw5xlW!"fX˧&אh,gaCsyg&gYZa8ebe6d8bb53e199c978a49168d763dacceedb9045e41a8fbcd9f4808f564b4ac109f90cbe936189 a8336af3aa1836518dd1c451cea88a672f7fa43f 222c87d4dc14088ada0185e2f4a1a98f46f8f719  G Probabilistic_System_Zoo-BNFs