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  T T!O $$$ ]S Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=45.266cpu=84.236gc=4.964factor=1.867zXZִF! )[I]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^N/?U!hK)}Hsѵ|;ܘp3*h2)4Pф'8YI,Ċa).Q.s^ES6Za$u|/=ߞ^ F]d\!kKaL[')yݙ6D)Sl$E  @xFOB#hC݃hZ܋.\]*'$(dQ.? !u0@ o|宴k=Tlk)0Ps[$ lm8D@ `&|8n> JrF3Fe$rg@?r^M QКz|c(Gh||SCޤ`W.%/O\uh;BG{AJO&a Bhe] $O Probabilistic_System_Zoo-Non_BNFs] YLl+o&Kvtu daddKq}S>׶( ÕZm~F=˶2-o[~4&۔c` g4Tp"W,U`ƫF zi» 9E6 dψLYd-&o0Abl(eX%h^'^NW`v}s2%1aL>d;&Ђ_gܡ̇n љòcޗ`4vbcNk Hs̚W#KXzs]6m25aCR꼚 (Ao`CGu>%>:T-0tj?@,&Zƹl >JaE"=ÏCK|3eFjS$>fV$GkezSN}7j8;aZb:dUWGwKE`t Һr}c?$)W;FvXvI"WTZ0d ΅bjȿڏRgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~5iɑ loXUc9UwbsvydAeyC)o+,Vy@Uq.@'\s= 7@!yzDZnm`qT8WmA]J Mq0'&3)f9}N˴n EGmJr|إ=KK1T%v Mq/TO;M﯄붥^|cVntԶx9+VhY g&?aVv)?㎑5bʐ_ Át!B8CѶG{,"v7Xe$2ޙo@w9<1dBИOY|cB-d \5)b,,z?[R⃨̎Ak`^ngYZ7zXZִF! [ ]ŗXi%937ZZ f@y?zWq"Bm8` 8Ae߲j'Dѷ` .z'·VM| /*CLyNŎ1$ o;Xyvk_rx/(q6Ol@_lg.3,~D':ޗ0#B*w)R.M+QLnT׎}tm^[fK/lA6Í0^"#->O%$2Kڎ:OmKGʓ$r6ȫpif\ Z"!!ۭBkRhM0εwz.3:|z6ov*b,FQjC8m76oF6- t/Mt,WIGh*PMЃ"%h)oM d$*"ayCxr|р,ʢf귶 =Ǎoa5cYόیi9ޤX JB!B8H ,|8?QXh$3p4+Dzqlz9#|r$#kY+)%V\XKiC rHYV68!bGT>_ 8ާ+OgΩ{:i] ɧCgO ;}jbB(D1m{EǪi gesK}P Dg BX#!F2>-W4L6 6 K74)ORdSE fWp8ֿ0<]Kyr@Nx*+[[bH톍;_.QXp46h^ak=pa}j.dr;^sͧ41]xn 0N!!jޚFT2un/ v{f;5Xǻ* /j!:U,ck4U_S#8h.!ʽ~(B1d9g+c@/vH2s<^s5_At~wT&~%o`Ifw6N[2iL>l#ɭQWtP%#۸]5!(zU2ZP!}TD=(걩Enܛ #~FK^=y`-@}=x39vy"J3m\.șzqo.[UP>vxBRMI`xL&Rv&PAg00EOp}:@0՚lD-u `s?z;7 *Lk⧭?.H5;lꚝ)r,f>}K.ʰ0uNWwtg1DX>dׂ~0%dp~@<(֓2MJph !<'Y#zsf`Dpy{\KpGڢqB{asW&pGh(!GJ5˅RV$ќKzeR3r+#Z}y'An8{*&qe7|^MgQƢ" /˰ȠnNu ~lL0L nӕr}T+,,_#%dW)x Vncm/y4NNI MbdleZ>{D]*`:!5G1G6.B0}+ Ը<8VQl^N.А f?b +I '"+|lA{X[zO⍿ޝrH!J%-XwW^m!ZFḪr$%;OH\HaL\oth4l( %FI:m9M&W2v