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 ML$ ] Password_Authentication_Protocol:threads=2elapsed=101.788cpu=161.320gc=4.964factor=1.587zXZִF! ]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 d}esrG*)4@ޙ%&׷ZnK8f5΁y#9h 0ՉI p?Kqn>a>0yX@\pwߚt>fKm ٱT'ȚuE0]bUE.1Ip줴б hf6(pJPͼo[+z&FQV}3ǎQZ)LsVVvș 8M٥I&l.u(M+H*`y\OR Ӛ^)mz(sy*z7nԳL^$Z!! $waUFsM-̧p4UWV2l′^ Bcy闦"+h+3>Ky䙫r]u >PV˗E&?ƪ NZitWǘ^xQ'N]JAԊ7((( A+"<>0KdHl[Sг}=#سOOڶ"ɲ)GT͍e$[D ! iXcKօVQe6kv0a?==`gYZ7zXZִF! ]ŗXi%6Ar)0&+cfSV4F@lX<-XZj1EC8BTׂT91 v*TY;;Xqn^k#@bvZF W[$똲91s6+_, Q` q& ʷRPߟ:"ɴʣRI_&lHBQ1:fYF\,پ1y"ֽJܾcFj7h3 fAіL3Pn̫/>ǽXGm'­"bn 7_٬ǚMYm!kCP¿c!PB)t}ᬥ?\ᆦquRiGوU,"<Ǐ4ù ?^o`_3ε>sāAj;kh2xZygCr4&ϵ!͔bG}tlt2tvR4$ְSH)/R*T@b@CsZp|ԓw4\Ko5k`sdX5ԕ-؃m @1iN)C =AVq`dC53z9 `FܕHG-,Z hJBoҙ85,?|.1po6M=kp$Yro\jX7 md:q[wt\x2H1.o򷋵f\1FqHtf}on5H3NR;aFV=/>`iU8k8arW:n=ȑ <"c3alCܰY\O]}4`Oe3쑵QFWά]#HG4>,LgUx>5@}N"Ms8]70={Q8+YR6egyM V;aėM|! DRJ E Pũ7ZT8MK*HIPdB)PY`(FW@XC\8nUnkD@*SNWQ 4 و+=flC DC\P !l#c1˱<8B:,ak k0ozcH 6T61+D\8M5vѾmxRdaa`*L݋J}xJ|ۀIC밽P{(k87/|8@ ×o` b3$+b> kafKN R[KgRiO}=#QMߪ477h^AH},ǩh7!!TBտx+WG,v< /_ɬ /!][kvM`穣U%X)aZ|v]~t\`B3☓#2"Sf+øMw' ?]\f!C.KP%UO0$A6 $ ]lo4Lbܤ6_ C#D2?U,xlg^ǔW?`\ f/PEj&XX2J4v/7n+]mgRQi8jT+޺]uv@}kDlZd͌)hCOO(xߡ[FdϾП b{yd(ж=;Xn"B?e8 xd)H>|;D+V[\Vd޳'ޣ٦8>əLp k%/]U)o `s]GP["DBvܒ$tO%`DꂪQ0_nTjNQIoa_QF%g쳣H/"qLbhCDbagڰS \(~l]|CYUB Q aUCO0F~f'fѠ*%T*dKͪ^ ʷa omsd.H"6kdɶe B!Y@o nl=>A¥;ʍ &)Pർh^rϜGM@Њ5.u%=ݣQi3 U gVAx>2]DL~C ݇ 8.2{KFcT@ǘk7Rw+lEX>{e}zG)o)O *_)HQfm]3 t,.⠯M=IGR_PqP AN$V0K-? Νz) Psx~.wQ=s.6Yt|Hg" ȱz$ AYi 1P;EI([.:(4gُNMtѹ.y/4=v)M6Qu\g>>sζmNVނI~Gj0qΝv>'ƈ7ǁ9ҳ|Gh_ka!d2Ahnj*1[V3DgP;4C_>B<⵨c5:j&]=NƘaVn&E{YX&7;- O쿠iY*J/R$^_\qXor-A-KҢzUk*w&2TYN2vdtzMk-'#qemt#|P^3mgd;s:6떦O8%] USE틳lQlO9y6臲& 9F QɢY T0󱞸f{9#si>"&xBkKQD>ȾT񬪿Y]9ioDnoEQ.*Ώn7|/ԾsdpAF(Y\m(ʯz-2),ۨp9S}(3aH 3S׽;9[/lW"  ))1 ذb8 + f Ig5듭cl]秀S|R'+Aݞu #P)"n/9/qJ# 1+wflɏNz1'u G1Jn\߾l=x Sk%SAP9s c]Opl a ȪX3_H30=Ų`B3+5Kű"+I[' rg&.Om\F$YӫRyMSp!-{M Ձ\i={MCbN |Aw5ˁ3f5LP0͐T  ~)"*nKG7;?[kQF%T`LL*kۋlN/~~xdTz=U'\Z3s-LgeXvщTrЕ>jH>7d 뿽z gĿ-!s|o~E xHZ!Vv0??a,ˈ@7v]Ď~) :3CP7nI4lҴwKQYOO~}{"BWOSNpI!hP:\O8s5tE>yÑ_n }؂<>%հm{˿T sb]EHx 4E"1lL!#=n"IMF1RlVY9_.5pd|Ul@w#vH:Bpbq0C9Dx; {۾ BSTttEw}O|%L$Jb %(X0웁VsHUz)puy(K?1Get"w۔կut84ǦE;|fކ0޷^q}-409}s2!Eڡo=I#r:VX 3oV';FQv 6~hH;1ú K4rFq;'gYZ29ca2e0d103a0c851eb0468d52d5758eabcb13f5e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031