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 ||y' 4 Y]List-Infinite:threads=2elapsed=24.535cpu=44.772gc=1.844factor=1.827zXZִF! 4}]ŗXf1-/6vRZڕ`0 lO"EuLto>+=/#@8Kx=Be&<8/WSg#"D2_˔H2N;A,'sK ltL1b"_*u4<-6&)ɟ*=y(Co6F<.22fûiiLESqmlY۝|ޝ2UprJiPQmsHaeMz+r14(4?(N };WтbFU1{CWfm9š$n3L>ȱpPh58aHv+;USݬtXjwB*?KiO9;Oo.MU> kŵ5k-ǣ}k{B54H)ȁzB~t<gDiSe7(9+8y(YUy+Mu<ϛ$y nO?CHpD5P:639 aTfnxM\z2"\֑|6w.;"jCl[Cm' .J4*O(vy*I j,yXptT0e f0V /WZnY`Sp 9O9C<ӚGA8it"=$NWݟN:AdCj#cm i?A:a\WzR#aّ?,\'~X2yh*-*yD827K=7$ ~UV3̬/ P2d9w*9yPm7"DWnϰwid''ኋ@-_nHS=JM7. %T,D ]n?P҃ $ߴg7܏]=Qn=Q1'j >|O#jĮm 90<z-0@Uʏa5eσ*ky (yBDiQнKn0x![6-0,zZRB%xٝZ+9YK 9D'OK 4D1.<["\!`;te7ԂƄ]ȗ$T͞";!`x :XBoN OѽL!R" ><$@N$0GC~ gh>X} ?;1`Xq:< մ+*jJ0Z1S5Y_09g$RYÄY*>v'nS"J.Ѡ: GDlT q.QLqA/i8J$yv|D.,iXє(0 41K0Eς=:"-rW.i/Gߘ<$LC!^K;=C+=50)Q yM ]ˤdn!n$;[$}֟@FW=J['I{bXz-׳iNuvh r/0z׮p:w2>˫$X.@rBC,SP4;kaU_AQ -|8;pՇ{ 'u1fxb~`87} Yl7쏯yWlb VBo07̬kW!uIn\Ms9! Gɦ]4hci;)"`A,yVH!_(oДW3MF ȁ˫@c`3dYTjm̐9tS"x_u61 `ct ' List-Infinite>ȩi:1~p(k{A* gсj9yp XNZ>.Z2O+ӣNT d9Jb6v,2TnUGbViԷ3îYS vDݻx\I?.&|zUE,\pJp_-G`_>b|RNca3 I &&3[Hl!:ph(Z.( n mm`+w?BqjZ(pXnG[ =-zR62!x)$[Dy;[)/;wO4~Dj0eOdzCsxCw=y=w4jR4 qV9:3[FAh+%ui*L`e:ѢI OrWSHY;=ɱ (hD"|3uwJ(o&Of>D'xw%3'~`-^=X?̘k7 Rg*@6t9qQ#|Ewwf.]zwZ <>Ɋ*,SޚXڰ{dUv9xIHވK?Av}idVgyB:+E<. ~VƐ} I.O-0#T p}3OaŸ! o9&[ŀC׆Vܮ6Nc!Wujs?Xax~\$p[YM|n@<`>n FESRei!"ZOblL"f9֘v~ƌIK ~?4A8¸X>`n3 ,^h^爧x ])BI y(ߝj/Keb0˗@1w _~3 V=1jQ_Er'2v{71`˟rMs,ۨ4w'/ r^+^ݾ018sH6.fN9⁏ >[jwTX"}TV8Lݬ Q #OĒxalƷHr9}4xq B kwll:lEqu*S3jGGRs .vH6z滷y/0 #,,67q;43u-lw#cۤ;]lk48|n.KbB,6d\\:]Z.MfA}qeiPfNl(Z~06Р3MF{n|t[emY}Tb6 vǛSb].A}dh7~`ZlPw6Ojj[V4rA鲈J5)1P`|'1ul_ ղ:r٪@qm1/DV` V-B/\}D ~S9&0Z-!2!$Fu)=T\d* <ȩC!jq? HB#&6[MD W 4RcI{):Wdub5+tG-D?lyǴ/uڑ3 ?QiR+ޠҲH6dv&NE>3ɨq2Wo%~XvrǓMՅmu,jkۣKrX} ww&a 1Oڏw&gz% K=ڠ?-(@0>G)6rCbbar5$oyv.On9L09Hy.x L U)`@Ez '*ywܝ8'uC\j.q76.Pg['=(އvWu [bnPh}¨Ⱦ}:= s&z1l\Xsmh, CXʓRU6