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 DM % Password_Authentication_Protocol:threads=2elapsed=111.562cpu=172.612gc=5.472factor=1.557zXZִF! V]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 d:`gjuw4z3Lyfb7v/qSxkC2`<=;qq%<r{S|/0fov*X> mv@a)Ӄ&fZsS軕xh!SU.6! /PsAA$tzR֠'!}Ny&"adPF&j_5LHT']rD+_"b:I' +ˁd.ďqEܺw%<5a/v FMkdꠝq1 B5c:!yO+SF}sr6уcw`K—_t5uȻ;OB3k\uU ߼ŭnc@K݋ a@xӱgYZ7zXZִF! ]ŗXi%6 >+)y䕒 "k]/VK^nդ~XH`< 2h Q6+M&|MLxVuHd/Oq+\j<8cO`pbඕŧ}6za&\,Gl< ԏɄh+ެ3ؒ49|; ?0#U\[x#{e6gq< (e/g71jS1)6 xFr+]O k u$)^q?p a c{rdni$6n+9d(X^?_c%/|IxÛPA/`!E &, 41". úS[ct)ʱ510R݆ёt7/TͲuTtU^|g WPf*Z~N+Ftw,F`A\$ 74۹|e ca:bb!eJǿ"ݖ+Pijcj0bht*w On_R4שǀE'E­yy-Vz|Q>{H(L)A4SgeX%/ vniLZr4D.aQd D؇$Ù pF->h "Xh8\5s (AtI?7e M^q#oZoA6Q(ћbCk]nΩ<(,@H`hw5BMOdov8Ng=qQN|K!q<3%ޒXþ൳Ыپ~ E+Y3Qٕm~OEyCmұ(;+bN%.b' meE'?p't!>%vZ *' Je0\XaaqtXbϙ{Rm(YI,J)qnl0v\/4 6q [OKwn r务ጬ̼ɚ\ʚo.4u 7n]1uѡE)z?QrGAt>qu~-Nk3Ox*o"F !<[d~{e#/ԿQ:ֵU(R$nTȞ&`D YBBN@A;`S * E1:rnHS]qs.1G0ڈ1L >'٨%e5Pcj>nHgҐ.̸Wx[6R'jjZ4DmA tAr[x4FA$ϱkQLǥo[jўĬg c.~A Ӊkj%sWN&7)طQw#<ƖX92o,dM݁w H`)R q ?Iұ<\ޮ^A`[M#v^Fl qebrZG*{ 1qK;SR ýM Ƣ6C#s؞*)ʉgNc (p1[s]k=DJ \vՁam *o'oi1GTcgLOF|,U ƌ(2̀Hvmѱ.B"ݽ? &9A  URʉ(!L 0dAm ЁWeE@Fq =L_Lju_R_^+&Wљa6c5$,0omF= *yE&0L)r,vyԅ<`ialXfɱT | (}R2j8+IOɸ EjQmVO,8{6ڳ{ >e ֹz@3ܵѻucˊ[Jּ"EsLzq`@C1HU O3>V] bYE ah\]|^a73$gtW zcK QxO˨ Jzx/~ET$aLMga#f͍0Ddl;`%טK"\.5wpp$P%bxҟ*_7\kv?Z+ d36U6j% i6̢J`Ek03Z۷#*} i*śaSAhbN5}iaՒu?U`VIaIgEP2”$#J)?Kqkdaii2H*Ԧޯ:CaWИ\"&'})#J:qi}4S {*:& bWD?yZe\Ťx]oCz$rOO: @|q ]8 M#cp'?R{7 ? )ަdarew$БaeڔSy sM,-(Z+57KN%aG175mw /Na3d\挲* v9myJCPϾ&iCw7KiRʵn?ubTbPIkcV8o.Hfby롃|L#A٪XƷʧQ ohAjDԻT=f/|^>V{P^FJjVϧ!rshTAזDy+ۦik՚(eɪh^ T+Ym!܍w͝i ӟ4T``2xvTe¨e=-Rە9B|gdq'd=y8׈"f@SWb'2c5CfW`St%pXJ2nƪd(%0ʼnMԗDqk⿻cۏ5]<锛į@\a(Wi ]#ۡ > ()p}LGz"b HBLzj ڑej!Stj}OPV=&G x^J4jni2Ȟb^B-AU]"Ť@߅,Q]% w8d3p<ٖtnՑmOP$yJ+WMIa?J}n2! |wE1YհZk=[r!),{;D$ZPVi Oʅ W/yY)%.,kKPC#bf]*N`z=;;R0XQt مVܸv Tw%ICpLP ݉h%ms&uF Y$v8$|mCpZRBWI\gZ:5z~fQȽd8y r[t%}~pwq< $WPZ%*ugYZ2bd09c4466b3a8200d4bbf88f13d1031b789dfa2 73939bfde71b62e29751f282367ad2d9329f2edb ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 fac45b2e7c5608bea50d81361142a8f261f776dd238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef