Francisco Couzo

Years active: 2026

Resources

By Couzo

github.com/franciscouzo/square-packingImproved packings for 49 counts from

n = 68

to 307. Exact rational certificates at 204 and 260 (T-223), replayed and reviewed here, supplied earlier house packings; Daniel's regularized views (T-225) have since replaced them. The earlier refinements of issue451 (T-128) and their follow-up (T-130), replayed here, have also been superseded.

20 results (13 at S3, 7 at S2) · 3 records (1 at S3, 2 at S2)

20 results (13 at S3, 7 at S2) · 3 records (1 at S3, 2 at S2) · 33 credits (1 at S4, 14 at S3, 14 at S2, 4 at S1)

Results

Results: 20

T-056 (upper bound, 49 cases, n = 68 to 307): source author, credited contributor — Couzo, in [franciscouzo square-packing 2026-09-27]
T-092 (upper bound, 7 cases, n = 208 to 306): source author, credited contributor — Couzo, in [franciscouzo square-packing 2026-10-03]
T-128 (upper bound, 8 cases, n = 105 to 306): source author, credited contributor — Couzo, in [Couzo exact refinements 2026-10-08] (Registered in: #487 · #478)
T-130 (upper bound, 5 cases, n = 84 to 270): source author, credited contributor — Couzo, in [Couzo follow-up refinements 2026-10-08] (Registered in: #487)
T-134 (upper bound, 6 cases, n = 132 to 303): source author, credited contributor — Couzo, in [Couzo exact certificates 2026-10-09] (Registered in: #487)
T-140 (upper bound, 6 cases, n = 132 to 305): source author, credited contributor — Couzo, in [Couzo certificates 2026-10-10] (Registered in: #487)
T-152 (upper bound, n = 304, 305): source author, credited contributor — Couzo, in [Couzo certificates 2026-10-11] (Registered in: #553)
T-161 (upper bound, n = 156, 176, 237, 271): source author, credited contributor — Couzo, in [Couzo certificates 2026-10-12] (Registered in: #614 · #602)
T-165 (upper bound, n = 176): source author, credited contributor — Couzo, in [Couzo certificates 2026-10-13] (Registered in: #614 · #602)
T-172 (upper bound, n = 154): source author, credited contributor — Couzo, in [Couzo issue-583 certificates 2026-10-13] (Registered in: #614 · #602)
T-181 (upper bound, n = 211, 241, 302): source author, credited contributor — Couzo, in [Couzo certificates 2026-10-13]; [Couzo issue-583 certificates 2026-10-13] (Registered in: #614 · #602)
T-182 (upper bound, n = 154, 211, 241): source author, credited contributor — Couzo, in [Couzo certificates 2026-10-13] (Registered in: #614 · #602)
T-185 (upper bound, n = 175): source author, credited contributor — Couzo, in [Couzo n175 2026-10-11]
T-188 (upper bound, n = 211): source author, credited contributor — Couzo, in [Couzo verified bounds 2026-10-14]
T-189 (upper bound, n = 237): source author, credited contributor — Couzo, in [Couzo certificates 2026-10-14]
T-190 (upper bound, n = 237): source author, credited contributor — Couzo, in [Couzo n237 2026-10-15]
T-223 (upper bound, n = 204, 260): source author, credited contributor — Couzo, in [Couzo issue 678 2026-10-18] (Registered in: #706; Supporting: #678)
T-226 (upper bound, n = 204): source author, credited contributor — Couzo, in [Couzo issue 670 2026-10-17]
T-227 (upper bound, n = 227, 229): source author, credited contributor — Couzo, in [Couzo issue 672 2026-10-17]
T-228 (upper bound, n = 204): source author, credited contributor — Couzo, in [Couzo issue 675 2026-10-18]

Records

Current registered contributions in their recorded family and scope. A result counts once when any of its facets remains current.

T-182 (upper bound, n = 154, 211, 241): source author, credited contributor — Couzo, in [Couzo certificates 2026-10-13] (Registered in: #614 · #602)
T-188 (upper bound, n = 211): source author, credited contributor — Couzo, in [Couzo verified bounds 2026-10-14]
T-190 (upper bound, n = 237): source author, credited contributor — Couzo, in [Couzo n237 2026-10-15]

Credited work

Credits: 33

T-098 (upper bound, 48 cases, n = 68 to 307): prerequisite — Couzo, in [evand exact optima 2026-10-05]
T-101 (upper bound, 77 cases, n = 28 to 300): prerequisite — Couzo, in [evand exact optima 2026-10-05]
T-115 (upper bound, 12 cases, n = 123 to 263): prerequisite — Couzo, in [SQUISH update 2026-10-07]
T-116 (upper bound, 9 cases, n = 88 to 302): prerequisite — Couzo, in [SQUISH second update 2026-10-07]
T-117 (upper bound, n = 105, 292): prerequisite — Couzo, in [Rehwaldt Couzo refinements 2026-10-07]
T-118 (upper bound, n = 68): prerequisite — Couzo, in [Rehwaldt n68 refinement 2026-10-07]
T-119 (upper bound, n = 266, 270, 272): prerequisite — Couzo, in [Daniel new arrangements 2026-10-07] (Registered in: #441)
T-120 (upper bound, n = 102): prerequisite — Couzo, in [Daniel exact and local reports 2026] (Registered in: #441)
T-121 (upper bound, n = 106): prerequisite — Couzo, in [Daniel exact and local reports 2026] (Registered in: #441)
T-122 (upper bound, n = 152): prerequisite — Couzo, in [Daniel exact and local reports 2026] (Registered in: #441)
T-123 (upper bound, n = 177): prerequisite — Couzo, in [Daniel exact and local reports 2026] (Registered in: #441)
T-124 (restricted optimality, 178 cases, n = 1 to 324): prerequisite — Couzo, in [Daniel exact and local reports 2026] (Registered in: #441)
T-129 (upper bound, n = 105, 130, 292): prerequisite — Couzo, in [Daniel dated certificates 105 and 130 2026-10-07]; [Daniel dated certificate 292 2026-10-07] (Registered in: #487)
T-131 (upper bound, n = 132): prerequisite — Couzo, in [Daniel record hunt 2026-10-09] (Registered in: #487 · #478)
T-136 (upper bound, 17 cases, n = 131 to 307): prerequisite — Couzo, in [SQUISH third request 2026-10-09] (Registered in: #487)
T-138 (upper bound, 16 cases, n = 84 to 306): prerequisite — Couzo, in [Mishapolk decimal poses 2026-10-09] (Registered in: #487)
T-141 (upper bound, n = 132, 308): prerequisite — Couzo, in [Daniel record hunt 3 2026-10-10] (Registered in: #487)
T-151 (upper bound, 9 cases, n = 176 to 305): prerequisite — Couzo, in [SQUISH fourth request 2026-10-11] (Registered in: #553)
T-160 (upper bound, n = 154): prerequisite — Couzo, in [Daniel n154 2026-10-12] (Registered in: #598)
T-163 (upper bound, n = 211, 241, 273, 307): prerequisite — Couzo, in [Fang excess theorem 2026-10-13] (Registered in: #602)
T-170 (upper bound, n = 105): prerequisite — Couzo, in [PingYou n105 refinement 2026-10-12] (Registered in: #614 · #602)
T-174 (upper bound, 68 cases, n = 68 to 308): prerequisite — Couzo, in [PingYou PR 574 certificates 2026-10-13] (Registered in: #614 · #602)
T-175 (upper bound, n = 211, 241, 304): prerequisite — Couzo, in [Ostashev merged bands 2026-10-13] (Registered in: #614 · #602)
T-183 (upper bound, n = 237): prerequisite — Couzo, in [Mishapolk records 2026-10-14] (Registered in: #614 · #602)
T-186 (upper bound, 12 cases, n = 129 to 304): prerequisite — Couzo, in [Mishapolk KKT refinements 2026-10-14]
T-193 (upper bound, 16 cases, n = 88 to 302): prerequisite — Couzo, in [Daniel exact current records 2026-10-16]
T-198 (upper bound, n = 229): prerequisite — Couzo, in [Daniel n229 dilation 2026-10-17]
T-199 (upper bound, n = 229): prerequisite — Couzo, in [Daniel n229 dilation update 2026-10-18]
T-219 (upper bound, n = 271): prerequisite — Couzo, in [Daniel n271 2026-10-17]
T-220 (upper bound, n = 183): prerequisite — Couzo, in [Daniel n183 subgrid 2026-10-19] (Registered in: #687; Supporting: #680)
T-222 (upper bound, n = 154): prerequisite — Couzo, in [Daniel n154 sweep 2026-10-20]
T-225 (upper bound, n = 204, 227, 229, 260): prerequisite — Couzo, in [Daniel regularized lists 2026-10-20]
T-229 (upper bound, n = 105, 204): prerequisite — Couzo, in [Mishapolk issue 719 2026-10-22]

Other reviewed records

Reviewed records: 44

n = 68: construction finder — Francisco Couzo
n = 84: construction improver — Francisco Couzo
n = 86: construction improver — Francisco Couzo
n = 105: construction improver — Francisco Couzo
n = 106: construction finder — Francisco Couzo
n = 108: construction improver — Francisco Couzo
n = 110: construction finder — Francisco Couzo
n = 127: construction improver — Francisco Couzo
n = 152: construction finder — Francisco Couzo
n = 154: construction improver — Francisco Couzo
n = 156: construction improver — Francisco Couzo
n = 172: construction finder — Francisco Couzo
n = 177: construction finder — Francisco Couzo
n = 180: construction improver — Francisco Couzo
n = 182: construction finder — Francisco Couzo
n = 204: construction finder — Francisco Couzo
n = 206: construction finder — Francisco Couzo
n = 209: construction improver — Francisco Couzo
n = 210: construction finder — Francisco Couzo
n = 211: construction improver — Francisco Couzo
n = 227: construction improver — Francisco Couzo
n = 228: construction finder — Francisco Couzo
n = 237: construction improver — Francisco Couzo
n = 240: construction finder — Francisco Couzo
n = 241: construction improver — Francisco Couzo
n = 260: construction finder — Francisco Couzo
n = 267: construction improver — Francisco Couzo
n = 268: construction finder — Francisco Couzo
n = 273: construction finder — Francisco Couzo
n = 297: construction finder — Francisco Couzo
n = 301: construction finder — Francisco Couzo
n = 302: construction improver — Francisco Couzo
n = 305: construction improver — Francisco Couzo
n = 306: construction finder — Francisco Couzo
[Rehwaldt n68 exact-root report v1.2]: prerequisite — Couzo
[Couzo extended-range reports 2026-10-08]: source author — Couzo
[Couzo extended-range reports 2026-10-08]: credited contributor — Couzo
[Couzo extended-range updates 2026-10-08]: source author — Couzo
[Couzo extended-range updates 2026-10-08]: credited contributor — Couzo
[Fang direct certificates 2026-10-13]: prerequisite — Couzo
[Daniel fresh compositions 2026-10-14]: prerequisite — Couzo
[Muglich issue 686 2026-10-19]: prerequisite — Couzo (Source: #686)
[Couzo issue 715 2026-10-21]: source author — Couzo
[Couzo issue 715 2026-10-21]: credited contributor — Couzo