# Excalidraw Data ## Text Elements SPMD sharding across two TPU notebooks ^elem0001 1001 megaminx puzzles ^elem0003 v19a (TPU): pids 0–499 · K=4 · B=1M ^elem0005 v19b (TPU): pids 500–1000 · K=4 · B=1M ^elem0007 min-merge ^elem0009 submission CSV ^elem0011 Both notebooks load the same m05 + sym-ensemble; SPMD lets B=1M fit by sharding the puzzle list ^elem0017 %% ## Drawing ```compressed-json N4KAkARALgngDgUwgLgAQQQDwMYEMA2AlgCYBOuA7hADTgQBuCpAzoQPYB2KqATLZMzYBXUtiRoIACyhQ4zZAHoFAc0JRJQgEYA6bGwC2CgF7N6hbEcK4OCtptbErHALRY8RMpWdx8Q1TdIEfARcZgRmBShcZQUebQBWbQAGGjoghH0EDihmbgBtcDBQMBLoeHF0KCwoVJLIRhZ2LjQ+QvqmVk4AOU4xbgBGAHYANgAWYYAOAE5h+Na6iEIOYixu CFwU/lLCZgARdKribgAzAjCtyBI19P0ku/7a0uPCfHwAZVhgtcEPR4EoUhsADWCAA6iR1Nx5qVmADgQgPjAvhIflcLhBAX5JBxwrk0P10Ww4LhsGoYAM7ujrMpkagkujMNwAMw8RKDeJJfpJSb9fpzJmjUbo8kteLo2GAkEAYTY+DYpDWAGJ+ggVSq/hBNCSgcpMcsZXKFRIAdZmMTAtkNRQIZJuONBtpRlMpoMJsMmSMpvEmQS2lIEIRlNIoQ6x X6wggjvi7jHfQtdcI4ABJYh41B5AC66OO5EyKe4HCEr3ReuIOOYacLxb9mmEywAosFMtk05n0UI4MRcIcBoM+9N+sM+V6puiiBwgQWi/gx2xsCCo6hTvhzn7jpwoG9CEYKjxoZB19kAGK4fQvEWoMMLKqYGoSN4ABQAsrtUMxJLhSI4OMpUCTARWqBQBQbCoAAKg+ACqqAcGwVS1sCuQlpQYHVGsj4vm+H5fksv7/mwgHAaBEHQbB8FsIhGo3lAA CCRDKM06BiNkTAag0UDmAQdGBox0BEhqejZLgSxMPmaBVjOfryoGSwEKht7oc+r7vp+354dgAHMEBIHgVBMFwQgCFAkhfq4EIUBsAASuE24VACQgIGOIkABIBkGd6oP02isoUAC+WzFKUsCIGsgTYFEP5fOiDSdIx+4MB0TQ9BwfT4jwoyuly/TpeiSwrIyEi4A8uV7AckYnGcjl+lcEg3DGPAas8ryIrSECokc4pwiC4LEJCLSdZKCKfBUbWymi fqYkG5ZpnGpREiSZIUvSpmRRUy0LAVqATOtpQXjwTI7f8g0GvKSr9C6/TYA16JavOCZCPqsqnRIioIIMxzxMcxxWjaUKUn6khucGaCDIdbUIOV0Yxkk8X3cmqb5Fma65ggYkwdOJZ1mWuJTtWCy1g9xCNhkWQ5PkbRFBTkDBSN1F/Nsi4YE2MZMhAFO+W0SMLB2XY9vifaulMg7DvEo5+uOk7iRj4tzguFUrlVCzYEIsIGLs3a4NwgWlMEygkjA8 lQKC5BwNw9kIG0HMlP5hTa2UIXGmh0WJZwzLO403S9BUEwHfE8SDCyuXLKshXXdVpXBHzS6VbljN1XcrPZi87zDd8Y0deGXVgr9/WZ4NLUje1GqTdiOP4oSxKkrAS1Uqt3Bg5tUxxC6wxJBMoxMvEfJMjMs2QHtfsDfCJ1GugyqqhPGq3TqpYj2sJocGan6kz9vW2vzozJBlPvZTMTdJK66KA4GwO8GDEaLly0NMuicMpq2XNPCjaMSZjhPTbjkn 41jxPNmTaBtj9DzbskNPICwHEOVuAonITk/rOecoDlyrgWIeTctkBjDGzBuE8Z58AXivEFNCEgr79FQJkPWZ4OCYFQHAIQRgjDBBMgscgFBDZrBIWQhAFCljUNofQxhVFqjcQYmsZiVQFTuw4u4YRvEzzEGIFFP0gkogiVIGjJmGR6oamkv4OSRD0AcPIaeHhNC6EMPCBqMyFlrKsB3GbUgDkYEIFcifDyXkfLWwCn6GmoUEDhWpIohYMUmhQndr FZKqVLzOj7F6QO1Vg6bXWIncO+xI6IJjtVOOzM7ijEasnAuadfhD26jnXgxShpIkLunYuwgppl08hXBa1coa1xpGtBkzIOTCgGAdcpc8Xqg1GBMBAEwp7anuo9Q0SpiBJE0F9b66JrRr2ZDwMGx93LcCmOfCGl9oZJCFH6O+CMAGPwPM/Rcr8JpYw/lLPGpQCYNibKTVsFNtZBXKPPJ2VNFhZM0XceIbM6hgCtiUU5EBgFRyGP2IWQ5RaixgZLdG dzIBygQYuJBitSjK1VvodWUQtYUwgLrfWhtja4FNmgc2ls/JeOvB8x2CkwkhLQDfP0wTPYpQqPEYYzoO7xFGGDPKId0C4FySVVJCAo4YtjtcbJSQAVJ2aqnFE1Tyk9T6mUvO8ICkqqKVcrENyGlSUrotFpK02n1w6SygO2gvTslmAdEYQx4oXkHIkYYrI+lPVHhAceaokA3XGbPb189yCL3NCvRZpSeCDDiG3IZPKmTtxGNyo+QM3ETG0OycUOyl oxgIZAI5D9sznLgfq5YhrLnf0Jr/Z5iN2ydhAZfcBMLBxJE7gistCxUVyzQNKtcG4tx2PxAWiAqCcHnm4KOumEh6DnVwKgAAFCRAAlGgOAJAtJJEAMgETopioAAO2oAANIAF5RiHtQAAIVPf0J8xcUL6IYPOpdq712brpLu50l6z0XqPTeu9gjbwyNEaTVikjOL4BAxIORCiA1KI3MJHEajfm3Bydo0gMkOB6IUrOl9y6oJrpoR+nde6f3nsvQB+ 9VJzJWRssOoCDjMUopcumgY3l4g0ttt4+l6AwoRQtUy12ucgkuw4BErlAofYclWUHfKaxcAKpSWVdFGSFg1XQPHbkeSlWVMKeNBYEp4TqvXpqwzWcdXoCLm/OpFYBiNKrq6/6CwAntL9JtTuYMLwsnPlnfpY9BnDNGYGu6wapkvRmXMr6q8NU+bTa4zZ2zQFXxjJgw5mJ4bFuRqeVGFzpbMOufUqt9yf5PJbOTIFbzqa8egF8oFlxUMxkGICuoIK wBgohclltws4Vi27UsRFxWUWy3SQrdE2KLK4o1gSoFRKuEkuqGSiljGHLUs8dxulDtKh1dKOyxirLRMe3E17XsdxWR8jbnJ4V6xhgah2BKqVamGayr+QfHTKc9O6oMzCLOJnQlapBJZ0aeqCsGvqX3CA81HM13NbSBuzJW6OnlUkLZTIfM+k9X6bzfttAetHUZ6UIaXr+vVCFmeWN/PQDDUvC0NQo3LJaM6bQ/RpgTHOmj0WHpR3rNPizrN+Pc1Q ya7fDL9963ZbzHl5FGJCt2duV/ErNayv/3TB1xtkLuuQPbaOiWXadYjdU2Ngd2Qh0VD5Fg48xi8FTvRDO9Ac6piaFfYR99qZLx3G3Sl8jf7r23uoxNR9uH7fnSdwRyCRGN1u45Dur3R7f2Ub90B2i9FeJiPA2ypgUiuIp7WLBwJWLEOqPUVp27hJMO6PwGwvDjvnfh9d1paPnuYze4T4Bmj1j6N2SY04lxGz8Qca4yUO2PiJD8dc2xMT/3DvhJOy DLZHcpgenikKxJuBmvipU/LZBz3apyuC2ufJyqrOqoB9nBnqADs/fzkf4H33IAl0NRDqHprPLOdKOPtA8OQa9Kx1CWTp/KdFRsAm5cAeBNYycJliBACvpcAJhYCYtTMhg1k2MzVDNBdX9oYJgRdEwxcTkS0csX58tShSxK0iDIAHkiZlcXlKtvkR9ttGVvkNMNE0MUcWtrZOYG1eYutoUesRxO15d4Fe1o4jclYVZJs8VNY0A3k5s9ZsADZFsTZ7 FVtWtB9KZNtaYdt2gjs3YM8jsJMp1W4Lsm4rtV9991MI5JVRtt8GsXsWCph3sgdrNT8/sRMr9tUb8nDQdbMZoHMX8r5Wk4crVUA+xN424oEk0eBeRuRulRRM1s0ACicx4Sd4N8Yg0KdEiqdTQI1LR6cNU2dtAJgY1F99p/ZXRto+tSgecPI9wEgc1ks9kKjC1RdjlVd8DJc9d79ZdKwyDNRSsSZys8CgF1duDBZhYoEdcBsOiiUDct9mMx1B10F8 QsDjcoAJ1rc0Bp0n1KFnBMhSBlAUjiDA8PIIBtjdj9ik9oMmIwMJFdCs8oMc8YMSA4MBJC9kNi898MMsMcNjjTimBzj286NbEu9HFxZWMEt+8PFgVaV3ktsMQ/EBN88tDYop9dsxN9C0AxhJgRh9o0t1MEkFN7CN80lDdrCflbD7hNgD9dNWpPC3CSlz94oCcKkaST8vDS45cjUFhn9mkMCAi3MNpNkulf8WgBUvVwsx4eBjgpgEBBQxlQt0jxTf VNBJSeBNBNAECBhtp4s+9UBW46jdlYwwYi1xcUFS0BDy1sYOShteild+iVcCgaD6t7YNCGCnSmD45eQ2DgUOChiuDm0eDYU+DQTYFzTu0Zi+0ntIAJs1ZpspDCViU5DSVFDKUmM1soSNsYSXS6ddDkSWUhNjtOVNkDofYhZU14l5NCoaI7sLDHsRCd9NNslPTFUPsWSQc6Sz8NVGSLMPDWTiDal2SfDjUmknMwYP86QgipgJhEhWQckJh25W5uQD kFg9pEc8cxTnokiJ5Scaw0jCZKcF4adI0/QlkNUuQphHRnQtl9oD5JzY0IcqjNT+d9S81OQIdjTBjTSCCpcFdOj34iseiKDa0BjWjfSm1ewAy20O1gzBseie0rC5jUFTcBhR1x0rd8Fbcn1mAtAzwKwmhUApQ3gAA1B9VhTC7CnYWKfCoii4h4q4liG4w7O4y4k4p4xEiAZRJDUSRrTkSkrk8vWSSvMizQHCyigi4igEmxRYlbOY8cZxFAzyAfdb IfHjWEz8QEKgfMlEpEpKWfXU2NNueVOckwhTK9ash7eCmVXfP5bKBwnstso6YzaNcpRw3s387wy1Ic6HVA9/OuT/IIngLU4U3gWYdcn1P1SeCAsLDczI8NZeHI480pUGbU0+LZZ8oXTkWGZorLT89o0Mvsv8q0gCvov+bK0oTrf00YwM+FaCqYuCkkuY2ET8KAK9PKXCKYrIYgFq5YNqvKlFUIKAGUfQM8GQSMB8NgJYDya0xq0gWiUgdSwGXAb8 9EDqmiOatgCgBaxmNS9ajUOAca4Ch0uoQ6uoQ6EoJICmU5MAY6koKC+rc6oFS666sAW6oFZwLZC6i4K6qmJKqmN6+6uoDMH0hYIIWsCgUBKlJStQzMhTNajSnM5lMzVEvQ3SyI/oAVEYYYPU8s67XAKUMyzfCMusmwqytDfoZJFBQ/T7Y/eytqX7Jy0/Fymmh/epMGbkkcvkjygUloQK5cqEEKhIxU8K7c1I+UvcjIg87I7MhYE80zH6hYB87ygQ dAlLTkS/JonAlowBHK3LKYkg/86XQCqgk0sq4YiqiBEWRoolSY3q6YtFWYzqJqrqtSdq5YJ2nqpFH8olfqwa4aw4MaiaqY6a2a+akIJav0Fa2GzamG9S3a/a+0imJ606sAf60FT6p6l6k6j6hOqmDOkoK+LOoFJ6uWoFfOh6oG0oEG9a8G1MyG4fGrbauG6fBG+KPbdEsBC7c6N/S4fEwqXYfG4k+2zJckzkMVKklsqpGmpklwxGhywHOyu/GXMH Dk1mk1Hk/w2Hfk0oTaYYYu/uXsfHPzDIoWg48g3cyZaKiWuKqW0oGW7gLG+W+Sr0NKjA+4Jc0od8kC7Wwg6XPWwqg24qutD8k2v08Cyqi2/gj2wQiyzOR21qn8F2zquB5QWq72gwX20auOwOqIGa1akOxahB3B9aqOwqWG2Oia6go6qmJOlO9rNOnO6hguyh+rH/erL0RhkoJ6++oFNhsugG5a/AUG6u5Q9M5S9Q6OnazS1w7SjlSJFndkFnLh7u iskVesfuyw+qyyhs6ypTCm6kieheqe+m8za/Km2/DONkw1Fe4cmHFzXy8c9zO+3eiAbzfm4x4eI+5IuU8nMWxUy+2nDUjE5A8E1AJ+8MZW6Gc3dLDW0qs5L83WroqYw2u0mJ8FU20B823rCB60uqwe8zWB7q+Bm2jqt2wpyB8WVBoatQP2zBm2oOwhja0OghyOxpkhmO9EPa8hirJhoFBhh6uh5h3pvh7OgZz6sAN6zjPp4ZoFRRkocZi68uyASu sGxcCGkRqG6rVS0hyRmehKZGws6MbaUYFnVkZfHukVI8NR2s0k90xs0vMexmgxumhk5y+e8x/K9y8uTyvwru9YOxr/EJn5vaJxpkwAzxyKhUi+6nSWgJ93ZKjyJLA0+4XE9+rK422J3Ksp0HCtfWz2pJkqtF1JkB/mCCzJmqm2nJwm0koOkp5Bop12pBlB2EH2qpjBgO2p7B4OohlpzFiu5Yep4hkVLZv0Dpg6qZk60Zmhx6qmIUu6+ZgG1Quu2E umbZlutE3S7KHgLZDkIcU55R9YAAcUuegfU24qGFstMdpNno7NMy7JMdbIXuZo5Kf1XvZo3s5q3t7CZH5wFEGC2XbS2TXKCvGF82OiPr9nDZ0fuTPqgPFqhavphcmC9adAOiOedEiImHiIfuCaGFqLCfqNjEGGwI7FwM/qfjiZtt/u6P/ttPxaAcgHKvSdbVJf6xDJ5eGztspYQoWIYzRot1WLQpt28SfSvTgkkH0nIkQlQDlEWqAkBjfByzIXlV QAAGo3wYB9BXBF4MhNBggABuVADCV8SOLSKjJcNQVATQGALCVSXCWdhAUxfhe9ogWEEiqvdAEd9QcdwyCiYyKdtgGd9Qe95gBd24eIFdtdjdrIMIfQHdhAfdw9qdyVE9v3M9qAC9q9lSHCH8O9h98xKdnYa+6mIRWi9i64ifGayDZiiyU2cbV4riqYnRASt9iAD9sdsib9yd6d4gHD4DzIRdsD1d5gddzd6D2D+DpSRDnIX3O9VD9D69rD38QD3D 4IfDl9iSzvJQmSsEnU9xCZ702hugclOAD4EBGbamQGTINYeiYMLYBgQgBACgK9aN6A+ZaLWz5WOa0mJMKofQD4UNwWsFwodikQWnbzjIJz0W8+n1Pxo8rFELrznzo8Sm+1t54Lzz7IML3zp5zs9z+LjLnzvz9wi13stL0Lnzyyfsx/XL9LqATLgAeRdZsajLy9q8S+wQHY2Oq7K4yCPG7d3B2lK4S4yENmYuCGOGvsG/y4yBM5weafwbysm9a4yH rD5bm62qFbi5q8y/qbAhq1LEeDag0llHwAAA1uBnA5htAmRJgnQPVuR2R0237DvARXgABNAYdKAooZMm86VHHkS/CAIwCifQMz+oAgBydjeIKcgK0YVQxbzLirgqtMRe5YA73UEgJChb9H4gD4BAZbAhCAbHp8NgFYFb3AWDjRoL7H/zO2Ed/ARmPYrURdSIwt3gIYagNn1npIBIFdDUayZQIsT8UKZQJn68jnsX3gXpOkHnlrG2Tb2nQrkEBrji TgKthXMdFGayYOTDUpu2LIcn4IFZ7vJRIgZbc2dEbDSzlMkErk8yWSzTuHuwAAK3hOYDeGwzgGJ9J+wwp9ycgBJA4kYDAgonwFB+dO+HSHChCXGzEIMF2622yfDOENJPwH6poij6D5D8/j8nADl7HReAsSkI5l8iAA== ``` %%