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 \Md| % Password_Authentication_Protocol:threads=2elapsed=103.394cpu=159.788gc=4.800factor=1.557zXZִF! ]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 cĸR"׵JՐ2ѱP@cTJ9ڕnQ,ՕZT0ycHwr}iÓiK[jm90*W`0f}ۖJo d˥XO2ЊZw fmeG=VQo^"K% 77 yi8*yRsRfI^kh]lh @Oc~qݭ|Sp 1ʢ~fHjӻ LZB pqIFzMxȔ.ɡmT$#\igk1]n:#-bWtrrkm),URDoM \53w޵"]dP9s=vV(ś'0O/]Bd]T>-d s^+Ю ޱ= M=ޣ")O sA؆*RUR3ciA\e`\mZlP}SV3C' \ `TY+x9uE+ѵ.2dXz5I>lpa-6SOw/A>{[ښ}`aolZ̹m?ױgYZ7zXZִF! []ŗXi%nj:^t 7GTē +v 3WtL%)x0;}|TwE8/G?Q#:]ƋxDO/l^ /<~No=<&c.[\W$W\\o aM79[BƞUԏ;#V +ZͲه C<1"ADL_iĤ[e9|k M?bbFʾ[D;:/7Glwg:?c,$1,K+3+ 6,y@-&d>Sj%YX&>B<_%A|̚\݇vrCyDjY룡lsJ0c NfNVTPɢ*g%}HQiz'4 2K n( /YQ%,_S!ݓ+9':]!QbWDg2 5k붷%fi:&7s$Rll<uᅚɰk<'T7S".FL5d`C7NL\'iDnsnQ|;pIQ)3<AYu3q,T $Էv1Hπb  I%nԓv?] ul_kLy&3I[iB K$oE;V6Ij; (/2ѷ1CuRbkQP_V;:}AV'\"d1NEܦϿ7 RKCuD Y-q8G7zmgdY84w}R Amy,21th-G",EӸ,͇B&,˹tIy{PAbFFgl % U;XYuR$bNػчb+ݨ6pUYd #ƑN[q'/ޯi+أbC8R'fK@KWpK33ZyEn].FOhpy6(*Ĭ|(t9K<*x 6M/yh]"K0ITX,(Ut}KiEBq^ C',^C* 4;USsmXRs!][fEߍm`djUZܱGjIw_/F׹W*_1ܪehD[rdS #M Password_Authentication_Protocol($kD"l(@:[cԡʢ<&YH@>K ^]f0ynNZLbl[t^\MknټfD  P免NYI-(']mukBBFվ1_>Df"iԔB lD .kx|38J4A4kzaY'il8THgV <+Q@hN &Oeg{6ԤZ6Q20 BNa'v l;[=nv oˈbᑫKBpe뺒/Qm(4z@ְ3DDko^XhE|E6j1-_H:V7BUd!aB_'9F KI@nOEFٵ~x &ܨfe=8] D&-]**VҐCpl-zF\ۛM'] y=PP:GFm@;n$;xD;Vpo.?iB+ܳ(N_Y^%<(#u6`5sC·Dpmo)$_wB9OmjfʫuwC LwC.ypKzPY飢OC- nqy枤Ԧ3*n=B< L7 frHdN͋ر?ӷݮ*xڸD>K=u|<ӝQ!y1? |iQHf9zO<(fx@]nhiu-Z}nsD¨-=Ã4D* TXp~J8N]8ETUmͥ-ގaWG@_PUZO|q>mY!P75QǁXۖgPZխ˩LD=9IsT{-DƞQ] FZKv}3_]bn91#!=,a˔@­@ k3/g{ıxtM@qY:m>a[7Տ(E'1MPkzSov޳0R}1!0c+/-=Qy FS_KJU;F,\d;GbF- Iy1pKؓn]?_cј%R[S4D2) VZ#eW.*XWQ`8 vٯjPt"S 7ԏOAc}];^$?t'wxՖ7^w('tEݎ $qZD RR (u!S#].iW(c&:)ؕS囧KOk\B}_nz˸>y%"j$0WfvjV/[)6߇:{!Ĥ*۶HĬz 5!U<*=&Iz6W\(h{&0ovp'Y#5jGX* *N+3sv:oĉI!_;0,Aq'DA3rlRbi$ G q.) K|h)Pao ۅӭstuGc.02a|=!f vO>b`|q3и'gYZ480ba4aa58d59105586d2000183ff5bee5cb782a 52c30e72644c298ba06cb7e5d4f15b0cccef2659 ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 fac45b2e7c5608bea50d81361142a8f261f776dd735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3