SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 MMlt4 ] Password_Authentication_Protocol:threads=2elapsed=106.897cpu=162.880gc=5.236factor=1.527zXZִF! i]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 .ɸ[<R]MN iՄ*yLJZ7{o\m I5lbD3{KGKl%]gu <6RbxI+)vYNּYrj2ڟQmtq h}ֿ; ֔ `77YS*Ȇwi-sm7Kk8PF3 +w xx"8ICZ4/y[O)*BcOsiw)bb F_31:%L,0JM_`QⲰ'L?PEa$v?KVLG%J,rƋ 2ԩ]LQZ"Vs n\=tnabT%>tNeSkHPgYZ7zXZִF! s]ŗXiɟv A)jץ+kg]esvqhT k&S^R͡T`E#1?M䶐i)`韄K.k|D=.4ޱgYZ7zXZִF! ]ŗXi%9#n Pu:t,8$Đ*yQl 'vr 8O.ړ*@:31}s@ɠ&e2&7%\͟ :KELޖJ# $:RLts$~ternݒE-('C_HE\Z"$IZJ!т'5^E$tj:+aYŴ2;]%ŪCU׉lςVe 7q0$Ӽljg{/~"JL{.c=hu[o1=Y=N[Q`{qs,#;lj/N9 >o-௜J/+5 xM;F]uMuY@:(X'aU=HU=  KyLk0P*o֑ eK u)=쥷3l;*@@q!Eӹ1$8Äv7vÌmE ɚe͓ru?T0v{9zΣ7a:ߥ^cQ-u-NSۓj cecs t3" Ki;^"6:WAkD,'r}RBd-,z=U6Y3ԤG ABW]' $DP%)e/kN@_u۵M?ޢz n'lF4 uN}ˏ"0b^ֹM6Jc-jLDc!姭Ń߄0p,3fa) bX@lsLϭ3J dqGS$ʅđTT7S3 "!&E@2S q oA"ߕE9avQʼnN7q[Umf]:^T1izt}umà !dKo\>SyTYjmjh)߼$ ޝa+]ɝ}#}_4%KN}\Ӱ=R ?' J((xou5"DFj\W'.ύ?R+5Q_3QZNN7 :(ם+rW>X<b$17w)j~lj\d鰿D~[U8 d_.Ay_,Mr!_Jv^F5v<1c #M Password_Authentication_Protocoli괚mM48`^n@7} ZfT3Cƕ~مys+տ<`i,dRmDb#t-. %u"ޤ|h*s6H,q%88S.HUɎ"Uyv`ഛZuW_56x(2XDR *eo>N}ʵV9.ikp^S( -0 oar=JdL,Ğ}gGWW})F170N,E*/nI}pG"h]A)}b*i3s5!랊$ODRXb,hB\y+\WM3 h3;g*%( mf~M閡"%a>]a|T|Y\Xu~1p)Okӓ xpi^LL䜫|K{qGk46\J?˥1G{ʣ"57+||} ŭjٌdȩBkIl\рz[3<77,rPo|j" =zgQj~-X9 VM7r(v7Ip{Azqgke6a9@F0Q>{O_<; 7?3b >osI {sήK&<b;To2OUj6M5m?5^6KP>͂c7Y@5p˔ (B9N08~WPN%jc*їAj=ֈГB0b!ԻX4Y(!2LxuNq=Y9bXĪ~r8Bq%oV ƭwƽp)>Af,0'9R y.;dpF ,fՑJ< NEr.<E>hiܚ]8wO2U~IiI4UP: Shxn~ _vLe5+4ꕣlm/obX9 F5 uX8Z#22 Y>WZ5q9ZPr%O[p#TvwYWFȨ[YS%}]7nX%-)IY1bݧ>iY @4R2lȧ2D֔ F*3)ؠ?ث.Q*Ϸ h"Z)]*r m@o7?^gz+8:4`%OȒGcp&8r)t9m ð*rѬPݳjN˫]tªtIq%cOU g,BKrXئ;ڿOEס 6.rOe۵UM\ڨ1XaFLA?GNQ[a̮WzZ'`.SI}|~ICd#4]4Fe>:0 =ѮJnhJ mu5~h2ܶ*Y@UbU+~`D+5q"[2Y'y rΗw vmٵ CSS29~4RjQӄ*lxmY+GtS} %(PG3{4X ݲWNCX{;Tc70pUux Ut$DX(\1L ƞ?dVAҸRz9(f JOL<`צ4WOFzQd鋒Lj ZϲكۮJGTŠj_kH O%{f&OHN;{-jۓebCN4gX1MIax-o+ 8rg@UhTr`g,AHAc#턇L@n{vI. G'ĉs]1ܟ-ЕbR>]F/ٗ`mR,m>K@ɺ]9k߮;W#=/ lOTYEB7Fiӧn 3+0oeJglO<}) 0 T)+U*9_qLUR\J$wH)Duw&Fx䨨@?PFv%;h:/IJ&`CD_zIbdy'p9ؖni I~4V2B DpQ7p`*, ޱ6}9o@g5 -V 筯nw䄜9_ t' kcyL<77 6cv;jF"i۟࣬a OKV~xn:^ʣlx?i#RP%H dZzhzs1Vh2dm \zEQ.9ʫd mRmE^>vEyRn ]BoIјm73Kss$;Rl7G|Ы#ԺܤϖcqY96NW"3v?M1$ w 0N~H3'mg$䙙eǒ}f66L(gYZf9d754535b47fb076af9b20f764bfcd575d6517b8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c