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  ] ]G D$L ] Probabilistic_System_Zoo-BNFs:threads=2elapsed=53.233cpu=92.024gc=3.584factor=1.737zXZִF! 5_Y]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kB! ^=kf(@} ߪ2 qbs35Ԥ#βr#mV8aܲجCiKtW_VDi?Үzf'90 P8НAOHc0Id :v'bz45X5 S8Z~;m06U6q9_ḐQk7^IПEm d"m~v:0 Ԧ0߯#k"YcDu bUN DXMK9^ι&ECALqЉ^}3OQ$m& Is=vmȶ5ؽXD4>Yfe|gHΨ[z=Uj,CXMVE͝=$39r( kP^mʸ?&c ^#qr,h6XW<çVB*ss-Dn=V]Do1My }:VXϤ xV,ÿ=^/XU RA44skl5mieݖe]l#2tw/ssNIU)# pivDq3j Tbw.(ZXZTeV89^boJcv?9 dc4Ůu=G11LZ[r?W@3 ˜s'?W$Iћ@*,Aѣpl- #dN;_+`$LRp, <Ԃaq/uA_B$ JvcR1lMjU\J'oƋ\q*M(I E9М2BYl;#B0ƍN"sP ˣtZHoJ'm ^J5)2r8-s  G Probabilistic_System_Zoo-BNFs9>V׏ܕJDۿN ;*UvJYL~`mא-`#cwֲֽu3'~s8k#4Dp+VŠφ'ɲ d1/d k5!T8֩UeVJ=2?T2& FD'"DcвMURBO Eh۹ttBؽ*8~d$_U7Og qKr_[Cb tboJVba H K* y-}7_"@TOrp?TgYZ7zXZִF!  ]ŗXi%93)]z1$\'\ݤ q֧16Wsr\69,~&"51fD4Q?S&ehf3h@B ?*|^{Ż}TwH!X+vg6*Bo>#o2U=D[<#M>JGM2 uۑZO*4Y+nc+ Nxd\7?Y9tb{"]ڋ&:!n nęx7KOzpcͯLf{?'CITP{y T[ט$8- ]+V_a;[}BI 67+80MgvqiF3@ {I'@)Il&deܭ7IpQA0Ȉ{kg.2tjQz;P0L }<1 Mb qaf̵lb[X"^ȯ""Uzb; ̃bN%btNWTk&[P)2TӾ% f∮4,Dv!gjB0iS[^.U0n qA4b 8MCc1h9F5Jʫ:qypo4y̟w|\ر& aU_hy<0Jo='{Z͟NSfG{ RpM'(ON-$ЙJ\I|MrB0PImnhAd:@Gi?{Y4#H ~Q1LEeI2gԺg_Gcn~MȃWF5R74됕Pd\NŅ,:5ET[WdU @j2?\7Un2!Svbj4bhEk!k`#YR<B ȸSEAc0[x(K_`E5WgyI`1 %α@ 2(멪V}MkVrjl>g=5h=Rjд (= <%@5b2)¦b v+kɴjg^c<촕|[a8hCp:cKR_$J @.|n&I(YK+:uwl֦#k;E|.Zi=E_Gڐ-aKm'䎴"3Bq+DԚVXr^ FN>WiQ븆J(\qsj1S*ym(^|6&舏k]Lҥq6U&_=Y.43fHF)(׌<}.q'7 2A gD&"l,0$BTI94D\YuTZY9U璎^/<2Pfb`zJϥ"~Rѩ%FeM nES1KIkqmEq,]ż`q^7_kěNGjYoW䔮Z dm[6BP)^ M eW7~ YH2{Au:ͺ8/]+9̼nNAssEI!ptÎdx,>(LÊW0`טJ83ɉ->Ņ);3T3][ 0QozCJ.P~}|Ubז "5M3>PpumM q$EX&Cxwjb<ߜ^d j1T KͻXs*0߷>md*iیC23Հ:Rխ[> 1BCDB@=Q xeQQ;Z;V⬯%mrqYX18bCHܶsuAn dh$Fy`4S`ȈxAd~67C4=*2 ;58-%J9k0TOy%N#{۸B%QƆzx3s({W\Ɓrrj 7$K=,G\* saY!9;imK󓹗pUqq δfY ,f4ɣPr$  0sI=FkӁ*Zк;|