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  I I,G 4$ ] Probabilistic_System_Zoo-BNFs:threads=2elapsed=51.117cpu=88.820gc=3.532factor=1.747zXZִF! 0]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kB! y(.dP_Y.13fLgÖ'g<ᢼfJͮ6MSG?ytO={ xH[}Qz,/y ǓhaoVa҈s(߸E(^샂nGxΌ;f/nխ_3òȱ`{BP%Q#=0j j(=` jׂR%TiR0jkTpZY6ðu9}*6eXF v'c9WA]63( xsj\JOcy<+p){ayog ͛xڗV*xBETDZq(RѬQ+P[!GHjH QL d bg)L_$fJf V/oABuJ  G Probabilistic_System_Zoo-BNFsmg;$5-[a8&% $=sq֔*@{lZ558BX J?]{=ƹz*_!ǁQÜ)uW0 (+#$3f1UϾa=u 6 }& {N)+{ah)ob2!ZI =\`)7 axgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~Š6M鐥Gf ;Vswn8e dM  %H BWUcGZ%e t,Âv,J9WL-&C4vN8|0'ŧon%*{pɗBUl)D o sof(S!S =̧+Ŋ ,7R'h\awJ#y_P5rdzkBS=pp[T˜DT3ߙ?d28zʸoD.::zA@VSX>`̐$Q ^ҍbfL1Kk3@z46 AKEfi~, O5f ΗFBB7Q( _fd`=BP3T%Yr03ojԁ>u Jwf] iqUI5t)!6=PEI|.N^:NX$V'2ho?Fz%ؖ`8RCCkHa:qگrp4lz hL;5BQK]RՕ>s^w^\F]i XD/Z|ivGbH4e%Aٴ%?#+:;KWP{:YJ;N 9?ҩMŤdBzLA& (T]ZB8 o SoZvФ\WfP֝'){8?q)jĐ`1E} CK_1AT7IwFZoB<;qe `%hO ^j#֒ן:d[᰼{;4B!nz?@KCHȒh9B>A[2v/oR_c;I}6fC1j4ou MHUoˁkm ;*hTàҫ|Daenh4I?AB|a x HSĎBcr7"iOd?3$ݳ|)W$e^~a ;oTܱo(]G)Nl4S˨.䭧[ydLGYڣҁ@:&l?{<s0x?Bs|6ޯs5WekL!|a8]h8ODX0$ 8} Чաzd;mgsn.́#| t] YZWƒPD5NJ˜@8ϲ{[83 )=;Fnű&Q6Ivb ~;ÖLcjE$9h,ܠ#_Gq{:;dvo~CXV,kWo{AR~n3XF_8U ZH-OKȐ }o·JrO SsvPwM?MKi,dlv/M;Gu*HDO  9VD^ FEX#ңg샿nJmXrH_ctY-Wp "⍝5ޟ}HO0 c?TAs3̃z.Fp#_ɍq8FtuX ʲ91LP=ޣ~#XuZJOoɁ0 |}i+_f`WUX 3v=L2}F义mA:_řR5hpRw,ySmm7BiK*iC[ʩ:94ĹKust߆2%M~jX E]$tL^l:RØn-Bn[ ÄJS>0$T/"OЮ L0}톶82I'wrGi"7868DegYZ5fa0ced04b40c3776c340093296a543beb7a24860dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a bdcf3dfcb2269f6f70b340c38a29b59b8f66cb61