StudentSystem/c4.drawio.svg

<svg host="65bd71144e" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="831px" height="1051px" viewBox="-0.5 -0.5 831 1051" content="&lt;mxfile&gt;&lt;diagram id=&quot;RZ1mwVQwuEq7DGeOAXav&quot; name=&quot;Page-1&quot;&gt;7VtNc6M2GP4tPeiYHUAI8NHETnvpzM6kM+0eiVFsNhi5Qk7s/vpKIL4kcJw4Au9mD4ml10LA8z7vpxIAb7eH32m02/xJYpwCx4oPAC6A49i+5/EPITmWEuQFpWBNk1guagT3yX9YCi0p3ScxzjsLGSEpS3Zd4YpkGV6xjiyilLx0lz2StHvXXbTGmuB+FaW69O8kZptSGiCrkf+Bk/WmurNtyW+2UbVYCvJNFJOXlgguAbylhLBytD3c4lSAV+FSXnc38G39YBRn7JwLoHwMdqzeDcf8VeU0Ixn/CDdsm/KZzYePJGNSH3bA5+Xl4prBB5CinOzpSq5y6jflFMFkixk98iUUpxFLnrtbRVJX63pdfelXkvCbOJbkVSAxPdaod3dgEV1jJi9qMOGD1lM0ogKpftSccuPnKN3LhwWOlzKJTwdP7989qb64yQvk5nyBHewOBXzV93y0Fp/3hLKH4/2KUFztyZ+m3LZcoWmMkn0W41hq6GWTMHy/iwqsX7j9dRUonxxThg+nVabrR17gKDjL6UtjCXa1ZNOyAs8aVmhHFyeAR5PQ1R2Dro45uroaXcsHSYBz+53/PPEfdhmt+oH+UJqNyTN/Ep55RnhWE6simmuOaG+1T3xI2D98bMnxt5Z8cWh9sTjKyVUj3QXac4wB7ekWXeAj8iD+K7txNEVMbsCjBopAAyjDB1ZF1Ac6GEyZWNZBJkqTdcbHK/7amHKBACXhyeBcfrFN4lhcHlLMA3z0UGwluLoTmi5eAoUALcRee0ZyiTKf5oySJ3xLUkIb83hM0lQVfbxybPS6drwe5ajO4z3KqW41snudmTF6vwskNGf1M43UT/wjub7IrUacMS3f1l3fGOSyByC5kF2upbALmStqpkmuDQGnmiUyl/XYtmaXPKu2ipHIsfmNQ1HyNdHZ1pC+NpOtvdgoJgt/RevT6oHwdfUYi9YT+QUzVTdS8h7XoF8ILgSOw0OPRXn0BVXTb5KtxaQpkYpZVSNdAjj3UQUA0i04RpQAFefsQnNK0JsfYOmB+R2YuWAZgHAJAr0JSjdk+7DPJ3HFWsg/N3sKPsLY9cryr0/rdVHl+o4KbVuagIa87ps787WzsDuuovEcA87ig7y1b8B5nE1aXyPtU52AfdeNe+JcC8GBEDRKrqUXkXef1sChN6GBO3pg0iw+TZNdjidhKXQVliIdG9cUNj1B+5Q3zPF6y19r2Yi4k4vn4qRXcDaN8jxZdRFb7elz4QMERxuPUPrH6sg5KOgZUdaaa0laTwtbet3BJnYrsfM8v+2v7S+W+4rDLmZfMU04rMIUL0j5KljbXnuoHm+pHfWovZJdWrarrPMVOpWPr2WG+kYzZSNzbbmJTosMHWK4igaQmlZ+4HGR+zMBZ9ujAddz/vP0G+htBU9YyDhKnoN68pzAUB3TcwD0eesY6KJXFWEqzan2HdvGzRz2eGpX2ZyNw4mcoxngkNLU8Aw6R73CYaB1OL69wva7FnR7km1jJSHUzy/K9vsndZcoeF0Zpprt8M1tn97ywz+z/lB6Rf44zSLYU3Zc7HfORrin7l66IJyDuSs6w8ECzLkEgSAAgSckMwRCPYqN7yS04DOqk/AmCUcQjRKO/Jm5OI7O4hsfWCAMG+JNzzc1KNUxexS+XXp49k6++aPwbWaZ45veDO/3b+EMhFAMZgsQ+NdMvNo6xyCeO03BAsfJu23LIPP0xLufeXM+8ArC3YFQb55NT7jaPEchnJ5+D8Dmg1lpsJYQXh9sDblGwa0nkTtluT/aIcH7/EjFpnZuPdDvHKejDx2kkEStk85t6ddMqsLCmX81wlUcHVvLZO05+MRqI9e25I0aYpZbvrvvrbdvKWZ7mmn8nbovcaOmgAb/LJBPm/97LFFt/nsULv8H&lt;/diagram&gt;&lt;/mxfile&gt;">
    <defs/>
    <g>
        <path d="M 120 60 L 120 93.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 120 98.88 L 116.5 91.88 L 120 93.63 L 123.5 91.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <rect x="60" y="0" width="120" height="60" rx="9" ry="9" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 30px; margin-left: 61px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
                                <font style="font-size: 18px;">
                                    SortbyScore
                                </font>
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="120" y="34" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">
                    SortbyScore
                </text>
            </switch>
        </g>
        <path d="M 120 160 L 120 193.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 120 198.88 L 116.5 191.88 L 120 193.63 L 123.5 191.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <rect x="60" y="100" width="120" height="60" rx="9" ry="9" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 130px; margin-left: 61px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
                                int i,j,k,t
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="120" y="135" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    int i,j,k,t
                </text>
            </switch>
        </g>
        <path d="M 180 230 L 243.63 230" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 248.88 230 L 241.88 233.5 L 243.63 230 L 241.88 226.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <path d="M 60 260 L 60 603.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 60 608.88 L 56.5 601.88 L 60 603.63 L 63.5 601.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <rect x="60" y="200" width="120" height="60" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 230px; margin-left: 61px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
                                i=0 to n-2
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="120" y="235" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    i=0 to n-2
                </text>
            </switch>
        </g>
        <rect x="190" y="200" width="60" height="40" fill="none" stroke="none" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 220px; margin-left: 220px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: nowrap;">
                                next
                                <br/>
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="220" y="225" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    next
                </text>
            </switch>
        </g>
        <path d="M 310 260 L 310 303.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 310 308.88 L 306.5 301.88 L 310 303.63 L 313.5 301.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <rect x="250" y="200" width="120" height="60" rx="9" ry="9" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 230px; margin-left: 251px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
                                k=i
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="310" y="235" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    k=i
                </text>
            </switch>
        </g>
        <path d="M 370 340 L 433.63 340" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 438.88 340 L 431.88 343.5 L 433.63 340 L 431.88 336.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <path d="M 310 370 L 310 523.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 310 528.88 L 306.5 521.88 L 310 523.63 L 313.5 521.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <rect x="250" y="310" width="120" height="60" rx="9" ry="9" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 340px; margin-left: 251px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
                                j = i + 1 to n-1
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="310" y="345" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    j = i + 1 to...
                </text>
            </switch>
        </g>
        <rect x="370" y="310" width="60" height="40" fill="none" stroke="none" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 330px; margin-left: 400px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: nowrap;">
                                next
                                <br/>
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="400" y="335" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    next
                </text>
            </switch>
        </g>
        <path d="M 524 364 L 585.5 425.5" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 589.21 429.21 L 581.78 426.73 L 585.5 425.5 L 586.73 421.78 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <path d="M 476 364 L 404.5 435.5" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 400.79 439.21 L 403.27 431.78 L 404.5 435.5 L 408.22 436.73 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <path d="M 500 300 L 560 340 L 500 380 L 440 340 Z" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 340px; margin-left: 441px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
                                比较
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="500" y="345" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    比较
                </text>
            </switch>
        </g>
        <rect x="555" y="360" width="30" height="40" fill="none" stroke="none" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 380px; margin-left: 570px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: nowrap;">
                                T
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="570" y="385" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    T
                </text>
            </switch>
        </g>
        <path d="M 570 460 L 426.37 460" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 421.12 460 L 428.12 456.5 L 426.37 460 L 428.12 463.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <rect x="570" y="430" width="120" height="60" rx="9" ry="9" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 460px; margin-left: 571px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
                                k = j
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="630" y="465" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    k = j
                </text>
            </switch>
        </g>
        <rect x="405" y="360" width="30" height="40" fill="none" stroke="none" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 380px; margin-left: 420px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: nowrap;">
                                F
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="420" y="385" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    F
                </text>
            </switch>
        </g>
        <ellipse cx="400" cy="460" rx="20" ry="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/>
        <path d="M 380 460 L 330 460 L 330.04 380.27" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 330.04 373.52 L 334.54 382.52 L 330.04 380.27 L 325.54 382.52 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <path d="M 350 570 L 473.63 570" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 478.88 570 L 471.88 573.5 L 473.63 570 L 471.88 566.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <path d="M 270 570 L 156.37 570" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 151.12 570 L 158.12 566.5 L 156.37 570 L 158.12 573.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <path d="M 310 530 L 350 570 L 310 610 L 270 570 Z" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 570px; margin-left: 271px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
                                k!=i
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="310" y="575" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    k!=i
                </text>
            </switch>
        </g>
        <rect x="385" y="530" width="30" height="40" fill="none" stroke="none" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 550px; margin-left: 400px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: nowrap;">
                                T
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="400" y="555" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    T
                </text>
            </switch>
        </g>
        <path d="M 600 570 L 703.63 570" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 708.88 570 L 701.88 573.5 L 703.63 570 L 701.88 566.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <path d="M 540 600 L 540 663.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 540 668.88 L 536.5 661.88 L 540 663.63 L 543.5 661.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <rect x="480" y="540" width="120" height="60" rx="9" ry="9" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 570px; margin-left: 481px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
                                t=0 to m-1
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="540" y="575" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    t=0 to m-1
                </text>
            </switch>
        </g>
        <rect x="620" y="540" width="60" height="40" fill="none" stroke="none" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 560px; margin-left: 650px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: nowrap;">
                                next
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="650" y="565" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    next
                </text>
            </switch>
        </g>
        <path d="M 710 585 L 606.37 585" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 601.12 585 L 608.12 581.5 L 606.37 585 L 608.12 588.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <rect x="710" y="540" width="120" height="60" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 570px; margin-left: 711px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
                                交换分数
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="770" y="575" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    交换分数
                </text>
            </switch>
        </g>
        <path d="M 540 730 L 540 773.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 540 778.88 L 536.5 771.88 L 540 773.63 L 543.5 771.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <rect x="480" y="670" width="120" height="60" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 700px; margin-left: 481px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
                                交换总分
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="540" y="705" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    交换总分
                </text>
            </switch>
        </g>
        <path d="M 540 840 L 540 883.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 540 888.88 L 536.5 881.88 L 540 883.63 L 543.5 881.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <rect x="480" y="780" width="120" height="60" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 810px; margin-left: 481px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
                                交换平均分
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="540" y="815" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    交换平均分
                </text>
            </switch>
        </g>
        <path d="M 540 950 L 540 983.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 540 988.88 L 536.5 981.88 L 540 983.63 L 543.5 981.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <rect x="480" y="890" width="120" height="60" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 920px; margin-left: 481px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
                                交换学号
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="540" y="925" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    交换学号
                </text>
            </switch>
        </g>
        <rect x="480" y="990" width="120" height="60" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 1020px; margin-left: 481px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
                                交换姓名
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="540" y="1025" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    交换姓名
                </text>
            </switch>
        </g>
        <path d="M 480 1020 L 150 1020 L 150 267.87" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 150 261.12 L 154.5 270.12 L 150 267.87 L 145.5 270.12 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/>
        <rect x="0" y="610" width="120" height="60" rx="9" ry="9" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 640px; margin-left: 1px;">
                        <div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;">
                            <div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
                                return
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="60" y="645" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px" text-anchor="middle">
                    return
                </text>
            </switch>
        </g>
    </g>
    <switch>
        <g requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"/>
        <a transform="translate(0,-5)" xlink:href="https://www.diagrams.net/doc/faq/svg-export-text-problems" target="_blank">
            <text text-anchor="middle" font-size="10px" x="50%" y="100%">
                Text is not SVG - cannot display
            </text>
        </a>
    </switch>
</svg>