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 >>7M| % Password_Authentication_Protocol:threads=2elapsed=92.455cpu=160.908gc=4.960factor=1.747zXZִF! sT]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 dYs+u8{uY㹢&>O*ڽE*E/;@0ڟp?~~\\O\x ʦC}+oI^Jt¡cS{޶yaA2A7l.9ڴeZZ|Z 'c٫BfD 6{"r `}گzl A4Š˹ϛ+:5/ Gj,?O{nxD"H(<9KKҠhk+,;54{85CȐbG.6V&U ~`nmZy*ɢGiW6q1y tܟ6Qhj]En\锩G6zFHt 8Rc ^.n9E: -U|--4V6bȁ铏nؘmKZ3.r_#rF'z$By 8|!nz|SJ.S-x!,~[X&%^)T=>j"lVcln|23)OX>Hـo&:qn=FW#yH5Aij+(XSk #;p0 F8H26 68<EbG`DXF2k%[y5aOD}@G,Ll3tIVwزs!>gF FK?P>}Ha|ʲ,J0w;L8BYu&;,eTܶ:A%(MB{]!wV;voF?sOsZnn?OkSat~EC\vz|Tɑcs18Q߿*}CƐuRX oDCVVԿ ;i\ӳ*36JV, ܗkY5sL<ՠF 9 > P*n< } %ȩ#r Pk#QW*xXMC <t;`޽n:Dʘራ$D%hC xQq>k ro6CZ ej댞g)838eWB ìᜓRHp #R:4* x.`0-0| koF{XL^=m_A@]A4)Gt$+.r֕A*߲z)6PxKs6#.Uo12DѓGDQk&$lM#Ro8Bojb`v4u19\f] دq{[G8be9Ӫ&g-6xݼ.*kÒrlp%ewieǢaU7 Ό:m![ 5ON >YGj}#Z$ ]##Y縞n"j55@*$iǷAʊ&#gZ꾙ST oBoAg+҉Ev͊K>[TrDxTZ[(˲-Y>/uJd_JZ#nE;D],:Tj-S)w(!vWmPm֩ºV~sHLP1}Фeu|DESDr&3H;>5CmXR$%{ȏ9YO;hSVTKޜ(k1 u10e ~rg~I~c/C|]:jM- H: 7)~X=gYZ7zXZִF! ώ]ŗXi%=K .`H/hXlt,{B~=# 05|`8@~ VI}MJ0ޢ`ōTkm'IH1JgƍEq:TC^V>+kimꐌ&/r @ϵPH,nz>=?oLD?>Eki%Ua2Vd'k%&HN C)/&iE;~epja[4_xE@Yݪi Bs N̊A. ƜAy@n]?cERdz!.ג.NTE~yʩCR7ߨ/Xf'ҎPgVXK<:rP 0ԔAYюq^gST.oyUO$*sJѯ'o)_Ob!9Ȼv O߷؊Okxx(δn4A[:~˲3!F}rtck/?41X@-qQFUjk ȸv́%/xOx!ݞ[O>ꄨs_%Jc(6=X:Z\J>'FY3'-g[Ș0dtokV@ib;->5.Q6q!Nď~ī﷣\7宒W)lp "J +Sn7.R]-Jԑ@z=tY-1Ċ<=ŀj:N w]~l7P+Zݵ| y\N~Sg;6w 7CRgT &5db/R{\,Af!bWMwr_7zf. 8Z50-ɞv!2ˣdC03R `̨dq7<7BB`g?tL~U|UprE 8:> FDX9/zWLuAu<*~%" QrݽU0+DKň/Ҫ?n6  v*6^aePm.U[ k$s~2qCwr A& ؍"gau~[M.~]! ĀDd(YS0sU[xa ϋB/q'A_|\:"ɻ'X7qlBPNРMr61c] Ǘ^r=yk.0~ti}/W:R"ߣ#S| NsPoX/`"N5 zcw DgY|dt$5lgH:ޕ#FnaR_ htVtW‹'4yb)C:J@Nj2{X؄ZySCmW}QN;eFb=s7$!Z&QƓ6“":ʩk1evA&p6*JLu.`gWr $'Th-,apUφ*e.2AV-7yRa9gTG[խ2|dfdt "|RH| a06ѱI AF e6#V{0t~^%a1Yn2p3tby O  @)ރM6y &b#v,][׸P N(!Jbnq9V]VeÖ VUWl#GO9Y.O#mVJHլg&JXԻ +dsnEK׏cD5#}A6ĒEij4 z RoH&u|6'HB;iJЕzzS8nѯD_ؑ+*ލ+~@/3,xSv6mY-k\/{8jڵAbK|> KryY2ToPXFoz>;f+{ -WUo!Ù5_ph) x"Yb1!TիaZHZ.>6+*;,Lƻ_?_'!s6 + :ue=\rVT k/XYpw)*_dC<80`HB|˂(7DI&ÒHy0:MA@{UJNl\O:H$ȋ1<8my؜wg͌n*`ШBadIL.%Kc\ AD;(Xt%jf5Kqedl/P[p[*zYm4) \oߧi1~ HY[6u{t9墎r&G /j~S~hg(3\^ѱ\p3BqZ+ BsCy -viEu hl yWq5IF}85vVgUFGT9'8 u `Nڨel[3+Ht"~5rU*eGFFs?75lon| ꊕ8UMNSH3IEDIizE`Dp&H],˚[kb6Z]-YO-0)+EA?2UP[tAf_[oJ^,JH{ gX!aFBtss9 `eg֛oC{ QDMje9(jDw֌\g`{(&gW|Ul}: a]BdL]M #LφjC7 CX8 c Jʲ#rp±ЩzSsƨDnnkOLH%jK-T7omm5h@` ; ^BgYj_DJ$ͥtۍHm*[/SK@VH^udZmQNrs` |>N+ͱzzTJm2-긽7Ze6sd;ޔ] ToLaoxl=2ٕ/VB^)=\?^=q&1\fr޵}#m@C='S X$!F+,O,̞gYZ480ba4aa58d59105586d2000183ff5bee5cb782a 52c30e72644c298ba06cb7e5d4f15b0cccef2659 ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 fac45b2e7c5608bea50d81361142a8f261f776dddb7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 e239851711910a6527f92e8db31572ec8f52b3c6