SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 T s% Probabilistic_System_Zoo-BNFs:threads=2elapsed=56.268cpu=96.704gc=3.932factor=1.727zXZִF! 60#]ŗXf1-q恈wX87cģh7Zxy݇f㸭cV]׈cyjz,X /گ|^z.roG?5BZi]h +ACIROBz-e- 3撐1QR4Q݂K؇QOl+yhٚz~:?_3 ,ʏ>>֘oېgxgႴ&x^__yr.Q'W9LD7HحA }:)GmNӊZw]-VZj("s/}䕴ёQ~X+?,KX XއRⱌ>h; /t >)Jw{ޞ{y=N&n !ӄb)bSF Шȱ9Vӱrg Mnd!QXgeC f=CEJ+P,ڵ N-;[l)C'cZIm5cԛ=1d[t o \*8Z6ц%[D1;D5<(n)6K4nhXcZ-bW܃N Hi1s{HL{)}e1NBDav@_r &V=)Չ+x?#E'^EdJī1ql_4eI\{Ȱ4Rt(Do/^.0xV =3+v>2oq= 㙇|MJ=/IDߪ>UcsG.gy6=IUcIƆ-] դP(R$@e 8`$|D10i| mOB ݤ̣"kA߈F wClƓf\4|ʜV>mo ~Hd3oJAd[W=!SȎ 7z,omOTL5*aiqڣig{0uq旛0n4Dp$r$ٳ5]CT~y2WQXT-N3(]ì$iEƢKZC5 >NokG8G#TmHZr>Fϒ}˻!N:h~z5+dˏPaᕫk lgvzgYZ7zXZִF! 7 ]ŗXi%ĺs?fk3we$Z,˳2ZDrw~T Ltf뵆'1z2$϶'hƷ*gOEc {mB5>dw2P[`L iKW 9&$,DkSA:36gxU6fĿiȤ@;v‰xBNGYf~)MloR6]PWϠ$Ud&$z^&лlz%| G$tQ+1SĂ"EFw, b⡧] -e-KhZ\'xHG00h= L/T  fEu| } 5wocqKfdgV ŽMy0WH@0$ƘPdC ԅXdU?!Ib{pޛ|*t?AyH.y;)%хzK \6 d޻$ 3N0jeC3H H(_owO;vrF\CP0ɵRˇpgՎ te<ͶS0rwO\##Zai ]J Ry[,%n=$>!O/SA&i 7<뇏=>  .@Iآ$w~5kbV GШۓȓ ;rG.-2B7"̝|Us5al GY@ hT ϿmO=䊳0蒛}ׯV>2]"iNU呜[2F讻X/\(8iE)7 0Slp>6`8(w_)MW&ߝtC8CNV}hMpVܝ}Y{t?.8RLE{݄[ʻ`}.TUFZ+pyȶ_scg-Um; +<˵bUXbKdJ ӕt]mўrꔤ! קI5AdL'Tu@G0Y56TJg:gpw@"{"B%B/_6\^ukG#cԲL") $2Ȟdx9W tE~^迴4ts;YXVcpog c|1:^Sϝn$lL+_,dCyFC3J)zX%ݬ"Qn.j\r"5!EoAaHФX0Mqm&GIMf%U.!BJJe;wXÏ:s^0diMx7݇϶ =KBJeol X̷NWww=0Q@*֘Yzv;.H-`!#)f |Uk+Uלt/Aa7l