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 ::; \ G]Deriving:threads=2elapsed=56.469cpu=92.216gc=4.604factor=1.637zXZִF! 89]ŗXf1-q恈e*[#M?Hfaw :+/7̦yW g&VL҃p7kQ/1}v1ՒDqNgb$BZ kG7_mS C)MeR 2aըAbjF3$BaF8[ų$Òe{ 7}Z u htPpa<G} ˞JŁٻL%B5Vʂvk'З>ڵp~#9L{shp'N牟Y3GZ  s&}AyrO\:A*z,9uxw&}~ucFJ!}!k4(U &ٴEzz-6}`0ݕQT"Cs2m(_i.29i=OS[UmqٿIu ,_^@C奰 fDZ2]g DgY~8P!׊d0{@WzJK dA8^8`@Fdf黒WeQY'?}BH([[ x%j#3ϯ9 3d%NtQdT]T`C10½eF;J2YU($_&뽷x&#BV#BpXO>͡¢1K a}:GPFqf%ۖ90(jY*~)rw7OOF5Q&VXBIto}?}!qtz->=  d[ۯHk60 1X~Uߍ9i;T¹ 4lǪSЅiiQ'ZQb3?[,}WgxYЋFJ-QX. hD^4zp\-IGa=j״hd.hJ@9jp\6ФUQ⼺տ3xT3x!lw{Nq z\tu2_N!A׃ `<%4>tfb⪠T$xӨюNE5d~I@k}>j|tFc%0^ΈaDlXk;`OҒ[5V |/t)[߬i9_r7IDqYS; '䈲9%o;wՊx Z N`GUͲ11ڔ2 ZONҵB eu B!>wX* 4KCgg;(/I6=9C-öuto|!j=ë pzgYZ7zXZִF! ]ŗXi% D6xz.\lLꖈL;Bn% Fdf_-#%`MgyuBf BWtHcW9òw>mg]*C*VsbDܘXi*p|.xjN` )]ВC ]!#cZUڣ(Zn>ZhLS$-qĻNj(:3kI/-~stktEm)Ҥ6_͘ jOǿ0Y9yr~LlyPG< P퐐]ʛ W:AqayT\liȵ$挳_3TUɆ_oold*{1U|L/7Ht[`֒ė"'l;̘(UAnDB=i]1 R{ Ӭi#>بh/v[G_fF^G6`܀A-MEY6_d5Nٹ .MYlƿmU9{9cl [0l{I?*a.܎مvIdJضK),'Q qѶ}"DvRlH+@x! ث= >_F]?gptt]S3,> ųC+1v>fh 39Ob@#őp[(,>r;]ׂ׷Tv6ʴ/-܆> mWeE>wEݰ=x8"k_ψN9W@* B3Xa%pUF*iwl{x+ƅ]3q},(GhC`|rACoG.TpI'+Kd23%)S~+-vW=S]?O}|̯!_FB2Ȝ +~"s"RyuM*_גVf7C19fֽ"~Ζ6 wK וA\߷roJ >N?\2kafW\}M'}]mgƽ-2^?×Dak[M*b8궢Md}P ^3LJ.v2I`B;c8!B R*xo<#0~yug'ա\^裪G]5 .su֋F ` !1I )˻@)JG|L\US[q4wGC&%x׌bDߔZP$3DS8>ausaFa/h9+]9_E8i7Q 'y ab]~זτv5z k\ƩG$WV&tcO*d9tN +gM(=>n, w#*gY|oI :D-zƐtJJC^<P?ZcGF[M aqМR: )EQ6?cyi{XZl;$KrNinv3Znky0)]җ{\VGSg˚xYNbȋ~-[0eGM4fmĉIe5W<_axM'Amu p壞bW+ huÉTT cT `ې]oGo%wOJ!ܸϟY4{rH4Mp!Jf2*^Ab7:mلAg '"BX9B86[+'*ŒB %xYHJ} 5-ַاVR;k Ôlt֔&R.h{>I;NcU%3HPlϜDޯ3\ymШCjnM"uF"Ik4!u|?ȁF}ZL06<7mGb\v>Sh-Q6}V G 0?xx62GS^K[VVmrUZ޷-%cs-kVR\ψfP] /\Fʟ*v?AJH2jp^P