SQLite format 3@ . BBh77otableisabelle_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  MO $  ]S Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=44.326cpu=83.060gc=4.960factor=1.877zXZִF! & ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^IeO <w_Kuq6'g[PCР j BZ|q&\aDTa: ]pPd)?h6lqzmrԌBVV@1lz8CZG8MSa{ʥ'LxRB\܇ړo >r-;W1%\ z+pr1SX7h,N E1KIXa}[ :͊,TFܬ3ZPuw?dHpo`^oT`x\C: nfp,t'y#f`#| YJIK m7!w𜅪ܯZ $O Probabilistic_System_Zoo-Non_BNFsi:|}ڳ*><"@#:)_#C+b_Eϐ2ki%3HTr2 rZ0lB{&PRx]$apWcl=?ܨLo\ R$\#žjyZrI;-nqlw9>~iWt>P zAt pݻv`Zt'"-FDC68V@v tҴա="A؃rv+]5W{担n?r]0|V-҉DӻO@%Na'5|>wUʔ6]&O;0ԠigNfV" MIfP.VeV'jWuyQpXZ˃Q\MHmgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~Z aPyǔJ)KOy15UEnԕYwUr /_Ӗ@D #pAe}ɔ8 1:FX8.vљxo]j!Rw^_}F) Xǔj*=yD8 >b]YҝUj :oPa;O`wa1|(uɬcF/$bͼsGVCmb_KYmʱ@'Y-y%y_eCR!7kWg>T}65(8 Ύ>.Yh4P_βht4eed~kH66ŬzgYZ7zXZִF! ԝ ]ŗXi%;FMUbЮk%ȃ#l>vTZ0 JFrF۽]hNdu{`> s}6JO[-}MxOZPS+C`-wjE\!K -#5f7+= !m d{b pyz-ݴPccܲZ`@CbA Ͳӿ1 n<(GG6UP(!;Ǚ_3뀈Dfm ^z( k&17UV_8Sz%]vv 8 ^a-vqd+vPҖ+c[0F1DGi8 $(~uՖ.w7m2VtrRoF>,(D(oN.slxR &u'3"5T#g,k ˑeRSC`Őzϔk54r'\0s ̧+̃]T?G"T\![2@o;V jjAM<@[z$mzypMLs;TVׁ=U1pqr˜8xAgGiG3'+xR~N k )oSLazpGac{#N5jhSkLH"bFInh;;렔 V2NVrO)i ljyΌgł1Ng-]dX_am^`Dhmpn: ЎQnVY'bs.+\Rkf x[y98s:푘 g#i CGdxk.WZ[$ Y!iːힼ$bD6`L-_ ?D='Z] |q DzbW:keNEqrQ '+z%ik.z֑q<̪gG:\eԙ ꝩ-N}]K`֛Zr{)ZMBЍqPg?x~G= 6'IyGH}i.B0UQclűKbPOUX4zQRp|F)̸e?Q1yO9]Ucގ}ٛ&I 5 C僧Ky`E{Gw~ RL]-oW!pxak"@HO -C>T jU){7+cxQ:t`5vɑÚ c4-%㹺G2v MdT?IU %lh*msG Tmy}4~$ոC"Y5?Sw†1lR9+-]W[!U31SNG)tS:^ע5& \Nl\d>I-6JÉ'}CQl8Lƾ`A:zYRmDQi≒d-+w^3P;6%2/cԎf'gN(*ȅ1#]yq8\;a$*50Um?4:0Q 7g7E< BX 5̛ jjgYZfd777d31f4b9c1d2d4acb95983ca16a2199114cf79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 50d7567ba5f079e933f9c40588fc7548716f71d9 ac948ec914afd4b63e6792a895edef77d004e06b