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 FF/Md$ % Password_Authentication_Protocol:threads=2elapsed=95.666cpu=159.300gc=4.536factor=1.677zXZִF! |)]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 gZd=*V[6|-Nsd,}_!ZzAԐ C&}!K|spIJp2qȕQM3 &pOd21MriحMCڳR;]/hLVP:(uQ>l+p92"ȣX&|zѳZdyE`9Sl"b`,c,7I{ec NzXU1هKIW_Oq|o>}I[Whccv]f"[>KH)k9 L5E>/b(u0 ~% t, ]p>"Tpf&$RNPDqE9F˴s$*Uj&S!9~G[S e"lb޽D<7BS5pw|,RR'Yefp]oz&qj!v ږZ)aVjYuafZ804Նf݅srƅ9>!Y>[q<)y4rN)YJ{`\lIЈ eww7rʭwRir)ׅ$n!p3S1$sԧj:E%hΔd-}1TPLe(3[8@r.8"dl_,R.ҧ[x/- o䘣l6¼1RJA` }dݨ*`x"T!8ɢd0 L? M@Xo(s+۔K-w0W#l,27J){trHӤቡGӞ@ڷcç}dh55^h"'md?unBIu __`9Nw`Rh Ԫ`#L ܻ ]+l*KǙfh.J#'p0;T)\>VFFXŕ#+5?I. _7R lJNs89(^A'yh8&e3a`+m1Y>1=&DN0]=hhyA'MƧoq3lO!\T?Eb[ Bɥmm^H J늘5:Qrk0znUX/v!}o_^! 5ӊ,zOpQh@V<:v@C\۱ʚ6Êa,;kk:Es}enj7Na?V͝6M8QxDA{ 7(Lp/X#_|@h*_1\amqSy60B~k7)Bv—1Ӣ%0wk>$ĥۇ@IXo #4 V⃚L[IV6o^V& .nT+B`zsRxު5vZq1˾x#ɛ0t|/s3;8a CN%NJ;N c@@JgсHē+$7eevF(;(J SFԷ^ *x>1Oe68.)c۳ p)(*Dt#ҫ5]@|=I!l }߆[Y2`c ޏ6]Y}!0jX*5U`н/[]a7t>wTմ^.hpbVVxtTB"o+ChFis:3Ȭ/-ruvQgYZ7zXZִF! L]ŗXi%sXWCp|GR 0b+GMa~,Feq~,ڲFFc~/әe ٸXfhb5 vs;_%ilCk4@t=V|!ӑ̼+~yܔEIy}S\e,|u,͜jR;/~2N&IJɇgS΅Vm<Qenl%xj^~k[V(.;%zk* pRYKq.;)WɼT;n giԦR`ky`y6\XOuId5]uYf[+`P0K|"GP*_ҳ޾ƖAGvUfME/0bB?Rrx_j W,=pjs4eO]J5Kr@^ϝn4Xl|TH_?R1!ח`ܥOۤNrjH$uG\)yѦC+Ju@Cl- a9Mn:jNjfp-H>%u !5QjHR}RВ]"@Z!2|;js5]D3,(t% 1GۅG40nib;zM^-$;¿!{W[xА,gTX}~4"П %A$dz4!rY?@o*8@,!!aQFѷyOPl%p^տRVXJ biXFq[:2z #M Password_Authentication_ProtocolfV8h\uw&ES&@A!(G,bظ.5%vVAXuN4Q,dp|<saZ$|kq@4n/YbQCl;C/ -aoȚ@A+,̝t dX'@\:SEQTƏ _K^b4Tdp%oq"ySbcՁs 5ij[P#6#42ar7-WԶN!ܷByь؇F^|t0x8bmrmdU6$WW\Ef:=<>vDf .=Dyҡ=V*uh8=K0@yy3SmH8Ez$4]=ș:9dtK`¼?(̘txLYZ1G%T/\>2vh5;2ٱ|j cy}:HLw1LbKL)1\R T<^j3 ,k7]i*c4j h(1`H_zU.pL@p d,C1 Nn^>mޢ"\vN>EW c~ʻ܆ZW!;C @K؂d/kD^>'eg]$,D_rbBm٢E;l,÷HȒX/9U{45b=Ba܄Lm a1y6)%htH^ѽ՗Zlڬ.|?ѕx1Mc0谖8-TEDrx@k[MM>7v./1Z14jΘn¿9ij&jO;?8)Y(p/UW,`mkȁ=hcCǩփ4ƔUlm'u$`#u+]ycvZ 5&jq.yl ` ubJ?_n'aշ+:bSW֨Y27&XMB*Yɘ=pAtsa5`r=%ac #1uR\}[\fu&Azu*fBmHp:zG s ΧR5-+ #Us,$rg=[G^?^ Iɝ9:QmdoCN^$0Xk?4!e]>@Pnjk  _>\X %:.1k9]xm(Eʲ !{gF?t/b3[XK:a̦HSu=ygƝBbm@HX ? f&#!G㔿!"C  jRi><3V$bu67L.:5FKfO`ɿ,yxY6|s=oאLB5`s7|Lbmc uPύ[?'A8{ӳT.cAI 8;vrUV෣(DK:r(FqS[ bxV!dʁ41<``cHwi3$ L'՚τNm4Vv'fS4JCc_d aYԨ6#syu(kJ _ONmL@6C'c`?i3n"b?0m+u&1afgiDqUޭ6߽֙@2j_&P #g4Z~?QuF\q^m k qX:=JiS3h=NP!̿(j㆏Ús,j`yA믾P18q(ǮM;~G._AvO\GR=puI@W{̦a&iQMBC|#_\Ŝ+n2PNo˵_ *ݩ"o;4}?|A.yJDJ#ݴL0vF*>6:V켷(5=E#ns5- %/rBMk4&.^yIO:+S Pb ωdJvrnUAop 8am'<찎Gr(\3ߔ.*gZe4fmآhѝl9k Djw00X3x Z-넟3&xygYZ480ba4aa58d59105586d2000183ff5bee5cb782a 52c30e72644c298ba06cb7e5d4f15b0cccef2659 ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 fac45b2e7c5608bea50d81361142a8f261f776dd9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567