# Alpha census of every T8aD sprite on GP_TITLE builds 5 (main menu) and 6 (EXTRAS).
# cargo run -p sylpheed-formats --example frame_alpha_census   (SYLPHEED_DISC=/disc)
#
# Why: the port measures ptframe1/2 (menu) and ptframe3/4 (EXTRAS) as the only
# elements whose render is too DARK against the capture, and proposed that being
# WHOLLY SEMI-TRANSPARENT -- 'neither frame has a single fully-opaque pixel,
# against ptbase's 99.1 %' -- is what makes them special.
#
# REFUTED by this census: pteff10 has max alpha 130, 100 % partial, no opaque
# pixel either, and the port measures it as NEARLY EXACT. pteff12/20/21/22/23
# are the same. The property is real and it is not the discriminator.

=== GP_TITLE build 5 ===
ptbase.t32       640x360  px=230400   a=0:  0.0%  a=255: 99.1%  max=255 partial(1..254)/nonzero=  0.9%  top:[255x228404 240x1988 225x4 244x4]
ptbtn01.t32      203x43   px=8729     a=0: 58.0%  a=255: 21.7%  max=255 partial(1..254)/nonzero= 48.4%  top:[255x1893 128x273 187x204 34x158 162x126]
ptbtn01f.t32     216x56   px=12096    a=0: 13.5%  a=255: 17.0%  max=255 partial(1..254)/nonzero= 80.4%  top:[255x2052 99x399 156x395 2x313 56x279]
ptbtn02.t32      217x43   px=9331     a=0: 60.1%  a=255: 21.0%  max=255 partial(1..254)/nonzero= 47.2%  top:[255x1964 128x318 187x188 34x185 162x157]
ptbtn02b.t32     217x43   px=9331     a=0: 60.1%  a=255: 21.0%  max=255 partial(1..254)/nonzero= 47.2%  top:[255x1964 128x318 187x188 34x185 162x157]
ptbtn02f.t32     230x56   px=12880    a=0: 14.2%  a=255: 16.0%  max=255 partial(1..254)/nonzero= 81.4%  top:[255x2058 99x444 156x442 2x355 56x304]
ptbtn03.t32      178x43   px=7654     a=0: 61.4%  a=255: 20.8%  max=255 partial(1..254)/nonzero= 46.0%  top:[255x1595 128x243 119x154 187x154 60x142]
ptbtn03f.t32     191x56   px=10696    a=0: 15.7%  a=255: 15.4%  max=255 partial(1..254)/nonzero= 81.8%  top:[255x1643 156x397 99x385 2x332 56x292]
ptbtn04.t32      159x43   px=6837     a=0: 58.7%  a=255: 22.5%  max=255 partial(1..254)/nonzero= 45.7%  top:[255x1535 128x221 119x165 187x152 60x147]
ptbtn04f.t32     172x56   px=9632     a=0: 13.1%  a=255: 16.4%  max=255 partial(1..254)/nonzero= 81.1%  top:[255x1579 156x347 99x330 2x318 56x257]
ptbtn05.t32      150x43   px=6450     a=0: 59.2%  a=255: 21.6%  max=255 partial(1..254)/nonzero= 47.1%  top:[255x1393 128x212 34x113 187x99 119x94]
ptbtn05f.t32     163x56   px=9128     a=0: 13.5%  a=255: 15.8%  max=255 partial(1..254)/nonzero= 81.8%  top:[255x1441 156x323 99x321 2x310 9x241]
ptbtneff01.t32   42x46   px=1932     a=0: 24.1%  a=255:  2.5%  max=255 partial(1..254)/nonzero= 96.7%  top:[1x98 2x59 255x48 5x35 3x33]
pteff03.t32      399x180  px=71820    a=0:  0.0%  a=255:  0.3%  max=255 partial(1..254)/nonzero= 99.7%  top:[3x720 6x720 1x720 13x716 254x712]
pteff03a.t32     399x180  px=71820    a=0:  0.0%  a=255:  0.3%  max=255 partial(1..254)/nonzero= 99.7%  top:[3x720 6x720 1x720 13x716 254x712]
pteff05.t32      1280x720  px=921600   a=0:  0.5%  a=255: 82.4%  max=255 partial(1..254)/nonzero= 17.2%  top:[255x759007 254x16439 253x10207 248x7686 250x7584]
pteff10.t32      409x144  px=58896    a=0:  0.0%  a=255:  0.0%  max=130 partial(1..254)/nonzero=100.0%  top:[2x864 3x864 5x864 1x864 125x852]
pteff12.t32      347x360  px=124920   a=0: 16.8%  a=255:  0.0%  max=142 partial(1..254)/nonzero=100.0%  top:[1x14618 4x5325 6x4219 3x4093 8x3429]
ptframe1.t32     247x281  px=69407    a=0: 92.7%  a=255:  0.0%  max=173 partial(1..254)/nonzero=100.0%  top:[7x555 1x217 8x191 99x130 86x116]
ptframe2.t32     257x311  px=79927    a=0: 93.2%  a=255:  0.0%  max=174 partial(1..254)/nonzero=100.0%  top:[7x689 96x311 76x270 8x232 98x161]
ptmsg.t32        223x38   px=8474     a=0: 48.6%  a=255: 19.7%  max=255 partial(1..254)/nonzero= 61.8%  top:[255x1667 230x256 248x62 76x54 231x48]
=== GP_TITLE build 6 ===
ptbase.t32       640x360  px=230400   a=0:  0.0%  a=255: 99.1%  max=255 partial(1..254)/nonzero=  0.9%  top:[255x228404 240x1988 225x4 244x4]
ptbtn11.t32      253x43   px=10879    a=0: 59.2%  a=255: 21.4%  max=255 partial(1..254)/nonzero= 47.5%  top:[255x2330 187x362 128x327 60x275 34x122]
ptbtn11f.t32     266x56   px=14896    a=0: 13.0%  a=255: 16.8%  max=255 partial(1..254)/nonzero= 80.6%  top:[255x2509 156x553 99x537 2x467 9x379]
ptbtn12.t32      248x43   px=10664    a=0: 59.1%  a=255: 21.9%  max=255 partial(1..254)/nonzero= 46.4%  top:[255x2338 128x373 187x269 60x201 34x124]
ptbtn12f.t32     261x56   px=14616    a=0: 12.8%  a=255: 17.2%  max=255 partial(1..254)/nonzero= 80.3%  top:[255x2508 156x536 99x521 2x457 56x366]
ptbtn13.t32      109x43   px=4687     a=0: 59.3%  a=255: 22.3%  max=255 partial(1..254)/nonzero= 45.3%  top:[255x1044 128x189 119x75 34x69 187x61]
ptbtn13f.t32     122x56   px=6832     a=0: 14.8%  a=255: 15.8%  max=255 partial(1..254)/nonzero= 81.4%  top:[255x1081 2x228 99x225 156x224 9x166]
ptbtneff02.t32   42x46   px=1932     a=0: 24.1%  a=255:  2.5%  max=255 partial(1..254)/nonzero= 96.7%  top:[1x98 2x59 255x48 5x35 3x33]
pteff03.t32      399x180  px=71820    a=0:  0.0%  a=255:  0.3%  max=255 partial(1..254)/nonzero= 99.7%  top:[3x720 6x720 1x720 13x716 254x712]
pteff03a.t32     399x180  px=71820    a=0:  0.0%  a=255:  0.3%  max=255 partial(1..254)/nonzero= 99.7%  top:[3x720 6x720 1x720 13x716 254x712]
pteff05.t32      1280x720  px=921600   a=0:  0.5%  a=255: 82.4%  max=255 partial(1..254)/nonzero= 17.2%  top:[255x759007 254x16439 253x10207 248x7686 250x7584]
pteff10.t32      409x144  px=58896    a=0:  0.0%  a=255:  0.0%  max=130 partial(1..254)/nonzero=100.0%  top:[2x864 3x864 5x864 1x864 125x852]
pteff20.t32      309x259  px=80031    a=0: 16.9%  a=255:  0.0%  max=218 partial(1..254)/nonzero=100.0%  top:[1x7899 4x3317 2x2390 6x2076 8x1215]
pteff21.t32      403x6    px=2418     a=0:  0.4%  a=255:  0.0%  max=200 partial(1..254)/nonzero=100.0%  top:[16x522 136x502 200x502 2x32 15x30]
pteff22.t32      423x7    px=2961     a=0: 54.1%  a=255:  0.0%  max=200 partial(1..254)/nonzero=100.0%  top:[4x80 16x58 2x54 1x54 3x52]
pteff23.t32      441x7    px=3087     a=0: 56.8%  a=255:  0.0%  max=200 partial(1..254)/nonzero=100.0%  top:[4x75 2x59 1x59 3x56 16x47]
ptframe3.t32     246x220  px=54120    a=0: 93.3%  a=255:  0.0%  max=248 partial(1..254)/nonzero=100.0%  top:[146x150 2x135 142x89 123x86 122x78]
ptframe4.t32     256x210  px=53760    a=0: 93.3%  a=255:  0.0%  max=247 partial(1..254)/nonzero=100.0%  top:[2x135 146x124 142x109 108x77 121x68]
ptmsg2.t32       354x38   px=13452    a=0: 50.8%  a=255: 15.7%  max=255 partial(1..254)/nonzero= 68.1%  top:[255x2112 230x448 248x116 76x89 231x88]
pttitle.t32      182x34   px=6188     a=0: 51.6%  a=255: 32.5%  max=255 partial(1..254)/nonzero= 32.8%  top:[255x2013 68x372 187x130 119x80 238x66]
