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 $ S/ AVL-Trees:threads=2elapsed=17.794cpu=35.564gc=0.780factor=2.007zXZִF! 2?]ŗXf1-/6vRZ\2_:oFEQUUo2ɸzZVTUW\?l,--1@Z0g95| MR-G/wIT.TZY;}i8Lj3ȸQ{,A-WMm{N=X۬{aq.WTLSx45TZB`WX~Ƙv`ұCb-3[oUtm9gETnR}sQ> p/}­O/w<ڛ ̏2mܯ~xmh(3;~-6цZ.ƅ"lH}1Ba`akhH PW8}I&Bdw&w< s7R5Dž= =YDt,.#_B_A,Ն%t,g4'(ɸ*T0o\?Jp8^SLm{:\qw3SYq` 5إ)}"Qtз})ae FӍn F0ʙ 6EЦ`Fh9쁪-BI@\L%_+3!Y>3Sl|:?C_xۚQ;s9F1'p4LiL5=4Ivt2"x=֝ 7 _3ic ׋$Gkc>Nz ?K!_G0MHLƋVZl[6vg@ts| ָOC2 -̑@8ОKnnwbLE}m#؁ WW:/q9Yj:b6Zb%DIBt `^fRp7- 4v<2H/w~>1԰"LcA\G%FL.՝6] YzgYӚr5 +r#`{SVf9vMD{?GawS T´淁S-;3Q`"yN฼=3ͼێm | 2HjE SzU*F]z5 e'$V2gYZ7zXZִF! [L]ŗXi% { ]V7ah} 5LPF,ƼK6[#H)\$-!3Ib&LNKl4vW*7RW~;u`%έ*tVz`)%ud 94(̻:%~>0Zi혴;xN;sG0~7pZ jSRDr*ePN')Cʗf7.-~*h!lX1[i4ZvЪXn<%e{N r<^yL21wbxN<~;wtCx`;=?jN~^sU&+oېiFoX/t)ZxZ:p ?hS".UZΜdz%o&#ݐGL`ľlW:UuLCƽpkdr xӗ6? %Ȥxztc܋4 $w*V==eԧIu,%-R@cͦ{)R!Qj묕Q8f,5n2nr`Є$-S!_m!5<hV]߸y˽#XΣ厚HeF7o^4FZ'dpl_5Rt%:ӐPPu5uWzU":Tg]~O7%1M-%mh.2\ q1"*$~ 2og>xv돖cFQ>+t">!_p&yrd,ꧭh NsĀ{b49QLd=Tq];xRC.a Pt4>Ʀ!b@{7Vpp&C m}0{}=uB*]]Ŕf8LՇz1Pev02=T7`81@a IWQɯ{!+c ~Ͱ|jB&7