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  T T!O <$ ]S Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=44.995cpu=84.516gc=4.780factor=1.887zXZִF! (V]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^\ PU10.Z(8ra= 5,?@S b&v]85?-&7 H` Ө,.~>< Js0Vk$5Yxj_@X~)%/0{fN- -!LqfDC@^wf;2'7l5? +1C |KU2(0rQ:MC^otnwuwהIuLF3ʝ xR;@QAuPtOG *+~o'$,#7>fV ϸ4V j9/Ų"Z6HPyz^V,q Fޭl"X2Z,^"ʿ|l0YbC*7 X| pAFQwnG/njg )HœKIh(*O$)oUe9a<. fw,zno;^_˦g:P"ir#??Q+w ?Nb}xN""l4Wd'q?ƞ5K0,B/r )yT5YYPRPbdn~z?of $O Probabilistic_System_Zoo-Non_BNFs  9=T!\s8/e\B[3$l#DЍL gk"Dh  +$N':"{M}%v_A>!s4j_X==1 ڛv>xNNP{`tωAl;P.<}8mv'e: +W遟YkUdU)+zj7SW%ֲ%~ZZPÐjAL+k9Еk0eXpOW<37]W ss1)qܹ%AؙޫėPzU?aGe| []PQP%gYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~lW 1t YpJw'ڸwַkȋjG~tb @;(ӑ/Dޠ?xZ/˽j.N҆cb9eC/$!R#wcJ@\3M\b^~D*f˺ʕm{/Hy y ON3(\%^u\k\BhN{-4Qn"ݧ4oQW̖4\K-ٌU& F'cȞ"gF{(NAoe-ܚHG\@af*Q?p]% )g'DW4=%,G. _T ˠ>DXC8l $_FM_1`@A=X֬$)pPa:]'jmkH3,qMұgYZ7zXZִF! ܯ ]ŗXi%>g!P7l9xݹD Po~TLXi]\L~\0.:.d-FhoSJZix+/Q)ָE,6\9NS֔I3&ͯz?6o`?L9gr=giMr]c0vȧIL3ezYB?A^(͂772q ;) $E聘zGI 3 Ф@ۤPHLeF}( ˼ĬW3K haf NۣU OkǑ'[]#ͤT :B~? נc${Vtu%Q+{![={PڗK@g66*Vĝh Hksymz6"0؄GRv#mh䕂 y>e3bȣJ24l Y&zi򩚻{/qԢ/+56}W[:3e#z&G.̵P!ԚUɞJ09K.8H>yɤ,cug ST[DY !+pj?dƱQwfU6+xCO%^ҋy{)]F2kB9Re87Tħܡ5Not*o= 8=AW6HF؇j*gufU{ O!Iv[+QHy AZxl3] gZQB!Q{;OdpA!!R;f2R4e茝Uo!csfdz%yŹ0HHA^h$XY8~#N x hPMق'PW`N`rio+ c(XnfNQ HtrXr:Z/x}ȨDGKy^OWU?q ?VrܠVi ' WΞ#[2z|"&U NBJl Xޣq}a*9ms5B ^g.L!*@ԺF䍃466`uOY!G& "U^\ʀ"7zd-^d_OR]& g [4%_jJ;V/77,68Dg>4.-"AeQE. vj',V"#BGm?q ݈0ĽB,wwtfe! a:~QC9Ӓ!\ B`GX"p.x&BMMM5Co3.o7pPU,!}I{ᆴm'-hߙRy5 >/u};mS;XFeIm+~[9x-NU%c#Z@A T?n/o T..P7eV?: :>y$RĂbsA4x&VD))Iv=T%*ӓaE2iS2AMJD\ٕ\rZQ-TXœ@ o.n>E G:"ih#uOMqЭd;6S cDͲ iO%"[vl1ߠRw>%|&HLT|ZMOV6k[f-UWNmum%e`&G]EFdՒ<͌;f#w^7f

|Np,^xuCCӇA{G[MY}"ϡMgUnʣ>wDʈʝ7k|}@;-frgEieKƈ$|zTGJG@W8u@=_|M}.IT5Wōpba:P\&X5+lzpIᇱgYZeb288dda30bd6c1d0024faf0f93f3f98ad2a4559665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 2369b8ce4e84580554195548d17ce55ba9cff784 6287b454d7db781d7a850744573e8a503c49bc9d