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  K% \\ ]Regular-Sets:threads=2elapsed=46.038cpu=85.748gc=3.528factor=1.867zXZִF! d]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*DÎG8k"x(7!z" ^RB9̕18/e)2ؕ8ĵSG\νêe\5uNE1ZIIyk7l-&(2# Hv;X"IKg@Mwn\PUa'Xkgbx;xv0h3kv1;DwmE%VR5=&M粀NؑKk]ͥ%SIe|Mv_\򌎧^5MZpCI-5 '*IZwi_wLGM6^Nlo9HrAӝxiY-\ _&_)"RCd7s~=]G+8t.ڹۏXڒX_^bje H"$3`fq-qrMʙczLw^wo7qq 6)~+? ?'sda\LtQ<%FX`=h٢^$%O퍗zӉv4}IX׫q'@y *VZ!<4EGXgmMC7\SF#CibJ<ϘK'$8K3H؟R>|TwN?֙onu$zA2͙S.tF5Ѕ#˘ X4m3?>w ?|ozS(֭Hߟd3w;^0o-4U,+i:U76; bI;_R+cPi,`p ;L~nR Q}:Gs?F,zMq~; x ٳߥjYkyFT1ņl> MocQ&u gEg% % Regular-Setsv-&f/ "0bܘ\ hUrCPe>ѽP~kFbdt.GUWG3*+]ûcyH g0H R1Nr)/'3"xC^gj7\n9BO^ m);jΩMyr6j$:k󫊚*[.#IdlkU|ݝЕ( bOVx;<-qF@dS8ߑc!݉cYX$E i7G/K~{Oexgg Q嬁KL1]~xa3ǀ?AƑ?6FY{>P׳P JJ`•3LkN|99_JEf Po/#zWE xۓmiUn?rgYZ7zXZִF! K ]ŗXi%!Rw9Pxl/4$ h- ] $OAeڄlD7$eT$gX*yx6;?̴BgD;t*RܣzdsrD21!HΝ6mn:UoB2? v(,crK05|h=<9kP_;;+jx蕞_`6$`)YƵ1ek7 IKD"C] bHj"NT賈R`z`NGT5D;M^EJ`۵:QaE '^CF+VokSVp6beuY /F+!Sی^j@XW~U/[[cĆ~`d@}rQɲWg,ͰWH#GnI흯6s=ݶ:3k=B_" *Ti9 R/ :BuNV$by^dgrP7-3:n| 짪4t m Zy`YgC+'"4rq:uٍ,Fֹ(dC5RSƐ9)XMYiTߜ~r!"Jӆ {Ú?Rk\"Ũ򴨡te2$UX,(,yi;KDSDez{X?яbafb*<ȹUPPJa}XvY?dr'|V0G.X̶4XcQ&OQJdǔ=VNb*6ӎ¾Qu`&Fq#Ķ#%^=j 9q < WcXQmuY bJTߚq,^0M/ |Oh^հ`[T^r}jHI79u_ 5E+C`rw=C /& 6Gu?vx9fg30V,7J#$Cu6\yb3Ob5<}g>f Ҫh#WhYbf`Z6g:kkYE\Dk06Ʒڨc;ʹsXd8ZS&/lX1u#EmuS#$=<-^6X6ePK)hHe8QwayxQ