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 qqMLd % Password_Authentication_Protocol:threads=2elapsed=109.324cpu=160.360gc=4.472factor=1.477zXZִF! ]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 a`N=D$1}0*(ƃG m[w/>۴2g arHyE-wc-ΔðZSDg(Q?iއW}s<G^=qg,Ҋ׏^{X1ldeۣ_}'r1ؾ n4l4f +ߣ<_Au.͡+knstͽҬWg/1)jZ*-$ (u't[i>c؎W]mK6!*#2歈k5 _sРjxhw3PbW&{bV90fvm'zX1KCs=uRLgYZ7zXZִF! kj]ŗXi%6˻faB3^Iށ˨ݾmF?::* @%.+ ,r2٣w^9 j e,5eVB7 @ V9d)b4r ͅ3bsUU9AD>U KNpnkn3?N,{4WSF'`jg=ѝ^%G [eu9ۀg<,_# ~T SI MAK0u/ۛHY`},GWVͷrj= $۬Cӭ[ɎQ3!^An_2mY<)BIGSmېߜ^e-n>i f It BbJ?Gy͞#܊*ʙ _@?VC٧K,*G,EîD~ېH'2iR}n՚`nGI>#;@eQۦ 0 c3!{Q_id~LzB42S^I2 //(:lf0\&^xla-Jʚc_x$%Uczg/|>9XYDH[cuC,L" A˴vЙ2DRx1@g@>Q[T;D ?3vQAY|[.KD}_i= R7}v8b'LSSjۼCl8D@ eS͊ңRDK4(L-r?Fr->T1h)W ~:d,cfX4:h"ЉOr,BF{n( mPD$!ɼطae=3!9#pV6 ٥n.\i:rI3J)~m0fR$ .}+6:R.e zj$Z߄5xS)fQyO!b[CKAzfO7X.g# Y9bΐzۦh4jL:]Jo4BM\Of3YG59ܣҪj07)FtM&>lVۑx^%UE8kXq>:ZyCDayymezb - )%ݵRu+u[*DkvC3 #M Password_Authentication_Protocol\ `9_gs\ FlFBJcyŽ#OLsɶ9< `1!a}6ݕ6Oҥ}%}"KKD0 军CΑʼn#P_CN`1[aHr1tD*.+:un\DnEcVp[>vt՚,ˑ矩2iz%bN$IK=$CQ܊+l4?S:v(KʆlLW6)"!S$ Gfr r4?Nwn:AZBW9ivoLyZx͚ivΦA}x<4],H%I B=i5":fA\kM6R KN#@?Vx1葢V#/gWgԾbtP+5f1}W @bTx#`^ Ro"n'[T=/YmfG\җQI$!YvX}mڬ5jsR|E@2h-U;`Ng~:+w30Oz&[R4,˜4Sa*BG6I#f )U!ovqzX;{ǃx\"|K!{ק{_š2gW8>nD Ҹ=4Ax?:I<;1ek^U{ \ $r)w:"&\결oR |:RNF_&޿g.Cbv &\qŚdhX'kAQ!zsy KO T&ǸDŽQcc [ES`<;禍 UsIWCj;g(`I߂H022G/iqua*Z7Ё RQWl,׺ 7^' r;i=ūA+BF<|+ 8M;LaS$gVn;IG[6rpUiNhb1{=R;X6&V[,.g,5 հ,<*ޠpX{ZFSVU Gψ7.6y@7ZfӲIBY_w90b**hK\0ehĵ%o sFoQ~Mo=kŇAZb0D+!2n {% Æ&qxj-'bx A2Ē|&_X! Ŝj&.G5୐E1 +uU\Wqh~+գΥ.̅t1 ƴnPa=5x:~6/3Zg~;-{fY\)^~j}-¼|1}坌;{ Jc^?@v4+ƾ&JeuBc+JҜM n\*]䢤*ҩ"%G\+.`0-?[lV&>癎n723~aC"AJ| sb|$90TbD;?9:0C[9Sڴ.apåTvC!.vi9eA}Km5{ $}W~1B”Ľy(Ŧ}O NuۆRس6 藿27Ċv.?TM.Ҙ0-U-hEtqѠULymPr!a>|.j2E AڧsB2%ؾD`a V! Iw0*׼K6:KqvGI# B[k~Rαd^dtC d[Fo!" dfZ:(-0au=){֩0XYļzse)ރjgYZ480ba4aa58d59105586d2000183ff5bee5cb782a 52c30e72644c298ba06cb7e5d4f15b0cccef2659 ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 fac45b2e7c5608bea50d81361142a8f261f776dd554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67