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 66? tt G]Deriving:threads=2elapsed=57.783cpu=93.124gc=4.684factor=1.617zXZִF! 8d4]ŗXf1-q恈e*[#M?Hfaw :+/7̦yW g&VL҃p7jQʓ AD/#t -o+5q'!7 ;d-&=Ζg3Bu-]Kw&M'̂9 B̗|ޣ8BA p3[4isre|~t{_ޙKjWZ9~>&Wr֕~,`iW{˓w= ?,M:xONG8U@Ga"^A?QOSp(yg1KX1Ov&x͜Ho(ZjI22wi. - \4/%GFȞ*L}wvŽѼ9쌁Ĕ)C%xhoƻM8U1IH~SJ 'Pٯ&;|J ܚ>y|PϋiԮ͏)"8!ewT#] &z= f5$<-_":seyE׾>ON[ꄔGyNsquhu۲K˾SGZQڕ&pS0F)#U>5,hI2/@.o9t?Gp هX͖Vb]Ywzp|(ma1RA)B+w9-z5?v^hXF FҒ "bXv3iMgnI u Ve?{ )\ |vs&߲7,b8XEvp}Ǔcb_GA4'!rvlsFh<5~*`sɸ˴ƀ-et-DtU7rjx=h46 5>ߤ[7AP SsLχ//$f꣞14 _G5ZGm3CyrV&PۓXIMrY<2 EL jͧJ*r#v!_>d W@0zTLJ!kv,ㄕ:HM܁y(=9Q\]qX7;lK|9}X0, # @^=U_^%UMT&h pˡgYZ7zXZִF! / ]ŗXi%6wB"3uⱭ>0_ Cm9`A!(gcY%C{MzR@)_8 0]~.gM̉>[~ݲE=W06{&X~;ߎoE z{{ժ B_.N@lRag7 .^Kn;D>L+" `b]D+6C|?AZ51V~.aԒ0ŵ?$4M dtA9JВ]{W0G#Uc ߋnҒp0gKvό >ovq F.ђÁlYl4px˘eM׾?7ѨP`4pvyw1-%ٸW7 _zt}s*$EڧiSIZ"aw/{ߡ#&D q2RTid@e+wT Γ*>@:aн^U$eWX'L 3dbL\zÌ${n.:TW9dxl3u!.HLAP 4."_ぽ c)sמZPx,R?uL@Uنdd\?꾴 ASSC&Ԫϯ}IGRo]<'ysxuΖv f91SzAD&8M +gu{XZsMHD#3{eR.Z2/xG^N @Mޛ9+Qn՟KYN>fɌ%tRArl+PLN(`uv(ZP4;kakNL\qP ut+1pYק$z덀ZyɇXȝV(+6.R<I0E&Y*h;RwLfVo2Cdt,\6OO~^X7]4]Ԗ P 5f̙L G1%uG=8cJbmXDKhoIeP֠;hղ 0W7'Uh*Y%(@emYk\oag._ ~#Ӊ>*To`Kh8Ԗ"ƺo#   DerivingHK{G/ލl)h-EFJhMpҀ׺0gS%[gA.k7'l5vwz@i,AxUC;m T^FTǺjD s,;#Fz~Ƈtv@yz.=G?_aw]ͧr 0hLQm7!/i:&V|,@U pY8iYX1W\R. )&t)X/dm-rǧR̞BL"3 nȑcU<=TFL౸rO5%MA ĜF-}_,#>ٮI^{Iy3|ĭ?Y }:IdBق*ރN2gy:LuK:= 꾔՗nZ͟Pj1a>,>jrI!]N?/~VOrWIՋnAD* A˒+U7bUv]8a}dfBR, p<4"BxQpjM-Vd|w|-Щ "Q3}1:;lԮ{ !pY Qѓ&!_FXbܱշWn*a_"W4 , ,&hL .0ak4nytX"m𔸑WLp@tHXZWߠ֩)G$T &Â8>teBGO1  iz_emc?- (@fF4e 6y^DL </; q2?߱`4痃ȄLPKA97#D6U79PuۚG|r?u[Y[}-+>Dtz1H{w:R%;vb,`m`9HjrPB]7>yF$nV?NjruMnWo~`_kPک<'n5;r {N`+̠m&=K\'od(z025ՍEjC{s9 6QLlr?pPP}H-Z#!?%@$0DAP墔 h=P#4.e# XC%% ~OL8G_&YeZ:2/ȱ ̙iu[@42^ zPX w$݋S# E!RrVB?SX aa>$4I{ѽpw sdg@y}TfnxO%t36{o4}-cLQj8뮦UxVf_Dt|rxXd笙ldh-dlOn@%y`E8.q8pV,&  oC8mc#ͽBԆP {|8;bb̼C~eDKvH}[hD>uR{]0itɷ8"̭sqR Ё.lBhE5WoC|:m/Ebse$!˻,1g ؚڛ2kf.*sN;ڪS3_j 4%5l\,kuZ|Ű;D^x,OP}9 GJya}-l~ZnC@ҰؔI+b#/ HaujXuT`0`.I ۰z#{qd