export type NUM_ARRAY_6_BY_22 = [ [ r1c1: number, r1c2: number, r1c3: number, r1c4: number, r1c5: number, r1c6: number, r1c7: number, r1c8: number, r1c9: number, r1c10: number, r1c11: number, r1c12: number, r1c13: number, r1c14: number, r1c15: number, r1c16: number, r1c17: number, r1c18: number, r1c19: number, r1c20: number, r1c21: number, r1c22: number ], [ r2c1: number, r2c2: number, r2c3: number, r2c4: number, r2c5: number, r2c6: number, r2c7: number, r2c8: number, r2c9: number, r2c10: number, r2c11: number, r2c12: number, r2c13: number, r2c14: number, r2c15: number, r2c16: number, r2c17: number, r2c18: number, r2c19: number, r2c20: number, r2c21: number, r2c22: number ], [ r3c1: number, r3c2: number, r3c3: number, r3c4: number, r3c5: number, r3c6: number, r3c7: number, r3c8: number, r3c9: number, r3c10: number, r3c11: number, r3c12: number, r3c13: number, r3c14: number, r3c15: number, r3c16: number, r3c17: number, r3c18: number, r3c19: number, r3c20: number, r3c21: number, r3c22: number ], [ r4c1: number, r4c2: number, r4c3: number, r4c4: number, r4c5: number, r4c6: number, r4c7: number, r4c8: number, r4c9: number, r4c10: number, r4c11: number, r4c12: number, r4c13: number, r4c14: number, r4c15: number, r4c16: number, r4c17: number, r4c18: number, r4c19: number, r4c20: number, r4c21: number, r4c22: number ], [ r5c1: number, r5c2: number, r5c3: number, r5c4: number, r5c5: number, r5c6: number, r5c7: number, r5c8: number, r5c9: number, r5c10: number, r5c11: number, r5c12: number, r5c13: number, r5c14: number, r5c15: number, r5c16: number, r5c17: number, r5c18: number, r5c19: number, r5c20: number, r5c21: number, r5c22: number ], [ r6c1: number, r6c2: number, r6c3: number, r6c4: number, r6c5: number, r6c6: number, r6c7: number, r6c8: number, r6c9: number, r6c10: number, r6c11: number, r6c12: number, r6c13: number, r6c14: number, r6c15: number, r6c16: number, r6c17: number, r6c18: number, r6c19: number, r6c20: number, r6c21: number, r6c22: number ] ]; export type NUM_ARRAY_9_BY_7 = [ [ r1c1: number, r1c2: number, r1c3: number, r1c4: number, r1c5: number, r1c6: number, r1c7: number ], [ r2c1: number, r2c2: number, r2c3: number, r2c4: number, r2c5: number, r2c6: number, r2c7: number ], [ r3c1: number, r3c2: number, r3c3: number, r3c4: number, r3c5: number, r3c6: number, r3c7: number ], [ r4c1: number, r4c2: number, r4c3: number, r4c4: number, r4c5: number, r4c6: number, r4c7: number ], [ r5c1: number, r5c2: number, r5c3: number, r5c4: number, r5c5: number, r5c6: number, r5c7: number ], [ r6c1: number, r6c2: number, r6c3: number, r6c4: number, r6c5: number, r6c6: number, r6c7: number ], [ r7c1: number, r7c2: number, r7c3: number, r7c4: number, r7c5: number, r7c6: number, r7c7: number ], [ r8c1: number, r8c2: number, r8c3: number, r8c4: number, r8c5: number, r8c6: number, r8c7: number ], [ r9c1: number, r9c2: number, r9c3: number, r9c4: number, r9c5: number, r9c6: number, r9c7: number ] ]; export type NUM_ARRAY_1_BY_20 = [ [ r1c1: number, r1c2: number, r1c3: number, r1c4: number, r1c5: number, r1c6: number, r1c7: number, r1c8: number, r1c9: number, r1c10: number, r1c11: number, r1c12: number, r1c13: number, r1c14: number, r1c15: number, r1c16: number, r1c17: number, r1c18: number, r1c19: number, r1c20: number ] ]; export type NUM_ARRAY_1_BY_5 = [ [ r1c1: number, r1c2: number, r1c3: number, r1c4: number, r1c5: number ] ]; export type NUM_ARRAY_4_BY_5 = [ [ r1c1: number, r1c2: number, r1c3: number, r1c4: number, r1c5: number ], [ r2c1: number, r2c2: number, r2c3: number, r2c4: number, r2c5: number ], [ r3c1: number, r3c2: number, r3c3: number, r3c4: number, r3c5: number ], [ r4c1: number, r4c2: number, r4c3: number, r4c4: number, r4c5: number ] ]; export type NUM_ARRAY_8_BY_24 = [ [ r1c1: number, r1c2: number, r1c3: number, r1c4: number, r1c5: number, r1c6: number, r1c7: number, r1c8: number, r1c9: number, r1c10: number, r1c11: number, r1c12: number, r1c13: number, r1c14: number, r1c15: number, r1c16: number, r1c17: number, r1c18: number, r1c19: number, r1c20: number, r1c21: number, r1c22: number, r1c23: number, r1c24: number ], [ r2c1: number, r2c2: number, r2c3: number, r2c4: number, r2c5: number, r2c6: number, r2c7: number, r2c8: number, r2c9: number, r2c10: number, r2c11: number, r2c12: number, r2c13: number, r2c14: number, r2c15: number, r2c16: number, r2c17: number, r2c18: number, r2c19: number, r2c20: number, r2c21: number, r2c22: number, r2c23: number, r2c24: number ], [ r3c1: number, r3c2: number, r3c3: number, r3c4: number, r3c5: number, r3c6: number, r3c7: number, r3c8: number, r3c9: number, r3c10: number, r3c11: number, r3c12: number, r3c13: number, r3c14: number, r3c15: number, r3c16: number, r3c17: number, r3c18: number, r3c19: number, r3c20: number, r3c21: number, r3c22: number, r3c23: number, r3c24: number ], [ r4c1: number, r4c2: number, r4c3: number, r4c4: number, r4c5: number, r4c6: number, r4c7: number, r4c8: number, r4c9: number, r4c10: number, r4c11: number, r4c12: number, r4c13: number, r4c14: number, r4c15: number, r4c16: number, r4c17: number, r4c18: number, r4c19: number, r4c20: number, r4c21: number, r4c22: number, r4c23: number, r4c24: number ], [ r5c1: number, r5c2: number, r5c3: number, r5c4: number, r5c5: number, r5c6: number, r5c7: number, r5c8: number, r5c9: number, r5c10: number, r5c11: number, r5c12: number, r5c13: number, r5c14: number, r5c15: number, r5c16: number, r5c17: number, r5c18: number, r5c19: number, r5c20: number, r5c21: number, r5c22: number, r5c23: number, r5c24: number ], [ r6c1: number, r6c2: number, r6c3: number, r6c4: number, r6c5: number, r6c6: number, r6c7: number, r6c8: number, r6c9: number, r6c10: number, r6c11: number, r6c12: number, r6c13: number, r6c14: number, r6c15: number, r6c16: number, r6c17: number, r6c18: number, r6c19: number, r6c20: number, r6c21: number, r6c22: number, r6c23: number, r6c24: number ], [ r7c1: number, r7c2: number, r7c3: number, r7c4: number, r7c5: number, r7c6: number, r7c7: number, r7c8: number, r7c9: number, r7c10: number, r7c11: number, r7c12: number, r7c13: number, r7c14: number, r7c15: number, r7c16: number, r7c17: number, r7c18: number, r7c19: number, r7c20: number, r7c21: number, r7c22: number, r7c23: number, r7c24: number ], [ r8c1: number, r8c2: number, r8c3: number, r8c4: number, r8c5: number, r8c6: number, r8c7: number, r8c8: number, r8c9: number, r8c10: number, r8c11: number, r8c12: number, r8c13: number, r8c14: number, r8c15: number, r8c16: number, r8c17: number, r8c18: number, r8c19: number, r8c20: number, r8c21: number, r8c22: number, r8c23: number, r8c24: number ] ];