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   pE $ ]/ Name_Carrying_Type_Inference:threads=2elapsed=21.932cpu=39.168gc=1.524factor=1.797zXZִF! 9@]ŗXf1-/6vR[ְ8vd6 F^Hf.OH =& IuW~O#3erΔnl :Du*q Dwh)njI>znA*YzlC *T6?sH<_I'Qe6jV O}N;sq / AZMxE-guhFGWkie H+$)*.&ǓmyO7zȂzx  c:y;JL)D dEO~P&[0:I< ea]"4.k8`-Qeg#oA9fzU{ZҸVޛo:;5 U2}3[浫3",3gYZ7zXZִF! sYI]ŗXi%6fwJ @u'+,k ;;I(%Y?z|&AO;o2p;]͵Avj ˒eee*yCD3y`G`^ד}郎L)p謯iC=5}8/y3/|ZT0prghK ^z٩w+~$ 1]ͭςf9?4mد (,$Sf);{;QZi9T'>PcKuoѐoe's9C76ㄲE5VDcŒhf<`*_ub (LeZUUϨ~.3DL4|sVŮ3x&+"Cug ݲv-ޫ챥2t2,_$7ɨq<&e'A(~ϓ]] .`Ck"|=J[8 m(G jP>g 1\&ƱH ןt𫽔=L0ƛu@~lX"c* ؼz.1i'tцܦ˄nm;61Td H:JRhUF 5\ndf rNͨ{pTEb ʙ?!PX^x@55~J\=2P\*]@pn9oo%|C^><0ܺ!*h,;C# =(sLI10Ϥ)w4UQm}:S+}ogs*i-~5+ũȹ<,㲨GҠ㆗{}Zm8V0fmƛZ6ɋfeeDE_`!/l[tɁ\ʬfOj?"6m&Ȕ p"nU] xa22Sy+Fo ЀS ȏF@7TYS7 X3 tи,mTn'H_qU4T ]2+f}tdZ}PՑQ_bhtKI0^jrNPg:Wp~܂8 oU

ɴv4`|aNa^1ŖۉoZG>WWjuk ;l-b_jFWX4Jԝb띅:0?yWEݢK_Ckᚣqi7MIUwѮD>a4? _5Cǣ#Omْ;s/wRw=*XHKkt 7=[1I?nڝri;2tm\Epn!f䫚(B{8V %OoAB'AOZE >tzb' CwgYZ47f4442767eb81b60741cfa2e22fcc8134c253b80a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 E Name_Carrying_Type_Inference