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 f ,d w]LTL:threads=2elapsed=29.656cpu=52.944gc=2.380factor=1.797zXZִF! ]ŗXf1-/6vRZ "@`$%)U^Oh'^C'L0"boZ$p<ة|!ǸB<6̣eap4SpsrCe"ϧӧFj!R/O*&=AITIRge͡5i"cuKsM]6PD6)81AYa B8uN]5ijFfPdxorpR~:fx;_EHq:S *Qq&e\h\/4%?]7.ΆAPo/d G un(%yJ]; >g$gEz=,vsmzE7P[dVt]( |Bz)-o4C=FPbbUWixNxa#56sī4*W)I|lqt*J_u ׏c5,p *QXBNχ?Mp ?c.a7S'Zϔa|uQ5*MH|oiYiVjL m,GFY&#b{)~.gYZ7zXZִF! k]ŗXi%6xf3Bd>9dZPfk=D+&{={OtUPdh )d;RŪ_vʾۍG6@~չ".X6 43NpcÌ7IY{{63GAgȟ^?j':b4nVxRVD37ANs6QxC&0͈RK#sz~6u)4K6^&{ڼF%W,.QjCl =Aq\ĥp-++b/ծNR87R㊰3AgPJ[_{zXEӛjy(~-a5[Zfz"Qr/ͱq;vZk]4ns(hp)H {Q%I0 &`of ɧC5xy!1ˆqeB6 (lDS{ [րqx͢YV`_DHm"f7;"^q DU\98`( n2aZ#[E36\Ԇ1&bnKق3&=R:ph!rɩGg6S a]k\bÓ)Z@غ y $gXe9+lĘ׳$A"uE܋JtDa3#/%ړ>ڮ\~{zC'ocw_'+Tq5E 񻼨{)*(ir@,C_ǻՃbz䎫,[.(3J3+S?VOhλb0?g;l$_bVS!nMǬX<BܠҾG+|%{_WЬ&%=rY1@foC'-9P^rf&N JO;O IG0R!C7C̝քXhzIU{*hRR /6^~7fFqȫҪ'zE9 \]쒸ECegc9LUu( (өK| Ťt&Ax~+j^.HɡF#xހAEQYi{ ;3/i(z˼11z/8"R pwSDGR{"-R8~`$nHN* ѝe-yr7 Dj=_XmQh oox(n0)\Ȍ?!8-M<~X%.^_G`MoJ}3q|#=ؕ} 6g@WJH -_߿|`-ik;zm\SN:UL Tyś՗kLņ`+ΗLMȺFcL2)M