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  9 9<G 4, ] Probabilistic_System_Zoo-BNFs:threads=2elapsed=52.261cpu=91.168gc=3.776factor=1.747zXZִF! /6]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Ux%_U4^j2A !UMUV&)/LnVN,eVa+|˰Qۚ&h >/q"T*|ulvndsn.}qj=L7l:5 t:atɾ2 Ke,T>t}cVKH ( "Nlv(8=Sή09S+ReҼ=Z}C+QC7,ܰ$b:`nG)!a?|3(t* |*EL{z e Q9w!8j бiSybzn\.?Х o3^<<'[`m'؁wz϶sr,+c= 6ƸaX~X0y l4ES1+q,r{*52b vDO]c4QlpeUE)< TxDQ%hS&8cD_Q3h[m4]?^|c@u݁SACpiFh&J9Ave4JvK׹}0>fTn6vZ^k3##9u^kN7D Sw0UUX_][ xB~ټJRzSxgi,P^X) Lla jq ^bjϱgYZ7zXZִF! ]ŗXiɟ1˦r90  G Probabilistic_System_Zoo-BNFs  Fn0''ztZguT~lW 1t YpW+?2AQB5r TUXo?Hۂ2>MȤD⎦gc h+7MΘ#iOorcEANQ(DLHbOA_}OcԸ3*Z$Wlv^?Rhpz+[?8ήFųX%Tk~ؾ\$L"fb2ڗiľ$+WaRCgwJjN"\UM'NK"V"(RʢN͢$ ۊFJ A` ~"8 $LG3s>"ft} &Ln4bDnYig6=SNW{c6 m?u ,g^̟ 7L7QAAW@6uJ 7HBYf㑵34nR4@m"%]NuW) ?A'(K٫/h(CKGN :ԥ%w G'N*w`Ŵ Ff\GRZSܞQq RV N7(:S&c"`Deb=½Y8zG8*p}@dI06x#f分wq[ }qo9jb/8L[6/0UaaҫRG|FCTUXlwJꄊ!w}' ܕbiLhMն6 9~sR8nȖ+1Zй6즂39_^vL~*c&+輞8̗U۷ \;y!}{bYCDF-yeS?fSTmr~QPv%3c]+SKBV9;z٤|-%2 N+c7=Cкc;#%F1~.Jck < }HL{XH}0%) `S7O{'yM! ! k~?f/@! 9TϮF6ww| =⎉ٚAO`T&=GT]ii7&eBSWYTF;JF#ļ,AJڡ:L:ɆsmuVL3aob\PK5B&o6 hHZv*ܝULo-->ԋFEl/dm:,ς!S\605__#E1lˣmӣljnV2 eH861bY0ڦ=Lʒɴ X.52^slsc/QSK&uNB(H~q/Q[&;hs=B'H$+1G8 N*o}Sء(X7{1v_D:+Y\6 P7Ts@%#~Ap5'z4C=$B8WL t>H*-{rLqMx@h3Kd_S:-YXC"8dd˄fEL&E}cyy4NڔhKM(1  {z&r\&EޠZ~U!uPZZ^Qo];"+\54Jm䃮Rb6eد2({1͘|;za4,=Rd`%X+є[L9L?k>0w͆\Q3/=]eFLRa ,R9ٶ=jS<ȱӈUmwuGxm\τj&b #Wb%0cJ" }/g"XOSa]o#yXV{i0َђdJgYZd78c2807c8d24ee22ceaa4e48db533ac8ff59df3665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee b16ee08ebfca5967a571197bd3aa95bb88e6c232