# Verified function seeds for Um Jammer Lammy (Europe), SCES-01753.
# Source: raw direct-JAL targets from the stripped PS-X EXE payload,
# corroborated by Ghidra function starts and call xrefs at the same addresses.
# Proof: probes/seed_expansion/ghidra_seed_expansion_proof.json
# This is not complete indirect coverage; unresolved indirects remain tracked separately.
0x80013AD0
0x80013BFC
0x80013D34
0x80013DFC
0x8001407C
0x80014190
0x80014414
0x8001442C
0x80014478
0x800144BC
0x80014568
0x800145A4
0x800145E4
0x80014678
0x800146AC
0x80014714
0x80014750
0x800147A0
0x800148E0
0x800148F8
0x80014960
0x800149D0
0x80014A58
0x80014D10
0x80014EB4
0x8001500C
0x80015104
0x80015320
0x80015528
0x800155C8
0x80015708
0x800158F4
0x80015E70
0x80015EF0
0x80015F60
0x80015F98
0x80015FA4
0x80015FCC
0x80015FF8
0x80016124
0x80016198
0x800161F8
0x80016268
0x80016290
0x80016330
0x80016420
0x8001658C
0x800166AC
0x80016770
0x80016844
0x80016998
0x80016BB8
0x80016BE8
0x80016CA8
0x80016D34
0x80016D5C
0x80016DD8
0x80016E74
0x80016EA0
0x80016F80
0x80016FE0
0x80017054
0x80017074
0x800170C0
0x800170F0
0x80017128
0x80017150
0x80017174
0x800171A4
0x800171EC
0x800171FC
0x800173B8
0x800174E4
0x80017644
0x800177C0
0x800177F8
0x80017928
0x80017AE0
0x80017CD4
0x80017E14
0x80017E5C
0x80017ED4
0x80017F88
0x8001841C
0x8001852C
0x8001858C
0x8001863C
0x800186A4
0x800186CC
0x800188E4
0x80018C68
0x80018D0C
0x80018D30
0x80018D74
0x80018D98
0x80018DE8
0x80018E0C
0x80018E68
0x80018E78
0x80018E88
0x80018EC4
0x80018F30
0x80018F54
0x80018FD4
0x80019008
0x80019138
0x8001915C
0x80019180
0x800191A4
0x800191B4
0x8001922C
0x800192B8
0x80019328
0x800194CC
0x80019554
0x80019780
0x800197B4
0x800197CC
0x8001986C
0x800198D8
0x80019944
0x80019B34
0x80019BC8
0x80019C38
0x80019D20
0x80019F7C
0x80019FE8
0x8001A098
0x8001A0DC
0x8001A21C
0x8001A244
0x8001A26C
0x8001A4E8
0x8001A8E0
0x8001A904
0x8001AA00
0x8001AA60
0x8001AAF0
0x8001AB14
0x8001AB1C
0x8001AC48
0x8001ACB0
0x8001AD04
0x8001AD7C
0x8001AE48
0x8001AF88
0x8001B0C4
0x8001B134
0x8001B1AC
0x8001B220
0x8001B294
0x8001B40C
0x8001B4B8
0x8001B8B0
0x8001B8D4
0x8001B934
0x8001B97C
0x8001C8DC
0x8001C904
0x8001CDD4
0x8001CE6C
0x8001CEEC
0x8001CFA8
0x8001D018
0x8001D0D0
0x8001D8A8
0x8001D8C8
0x8001D8DC
0x8001D97C
0x8001D9A8
0x8001D9DC
0x8001DC8C
0x8001DCE8
0x8001DD20
0x8001DD98
0x8001DE64
0x8001DFD4
0x8001DFFC
0x8001E030
0x8001E050
0x8001E0BC
0x8001E2CC
0x8001E344
0x8001E53C
0x8001E584
0x8001E59C
0x8001EB38
0x8001EBC8
0x8001EC08
0x8001EC94
0x8001ED74
0x8001EE54
0x8001EF44
0x8001F030
0x8001F0AC
0x8001F190
0x8001F1CC
0x8001F414
0x8001F4CC
0x8001F4F8
0x8001F6F0
0x8001F800
0x8001FA24
0x8001FC28
0x8001FFF8
0x800200FC
0x8002015C
0x80020190
0x800201C0
0x8002149C
0x800217AC
0x80021814
0x80021AA4
0x80021C24
0x80021F88
0x80022D30
0x80022D8C
0x80022E1C
0x80022EAC
0x80022F38
0x80022FEC
0x8002304C
0x800230A4
0x80023444
0x800234E8
0x80023530
0x80023808
0x80023DB0
0x80023ED8
0x80023F24
0x80024764
0x80024900
0x800249AC
0x800249CC
0x80024A84
0x80024CE8
0x800252B4
0x80025328
0x80025344
0x800255DC
0x8002595C
0x800259B8
0x80025A20
0x80025A50
0x80025A84
0x80025CD8
0x80025D1C
0x80025D58
0x80025F78
0x80025FAC
0x80025FF0
0x80026218
0x80026430
0x800264F4
0x800267C0
0x80027AD0
0x80027B3C
0x80027B70
0x80027CB4
0x800280A8
0x80028170
0x80028440
0x80028448
0x80028518
0x80028614
0x800286E0
0x80028720
0x8002882C
0x80028C84
0x80028DCC
0x800292A8
0x80029D50
0x80029E00
0x8002A0A0
0x8002A27C
0x8002A590
0x8002A5D8
0x8002A5F8
0x8002A614
0x8002A634
0x8002A714
0x8002A78C
0x8002A830
0x8002AAE4
0x8002AB4C
0x8002AC5C
0x8002AC7C
0x8002ACE0
0x8002AD5C
0x8002AD70
0x8002AE98
0x8002B0DC
0x8002B28C
0x8002B3EC
0x8002B804
0x8002B810
0x8002B840
0x8002B8F8
0x8002BB00
0x8002BB38
0x8002BB70
0x8002BBA8
0x8002BBE0
0x8002BC18
0x8002C020
0x8002C028
0x8002C030
0x8002C050
0x8002C08C
0x8002C118
0x8002C174
0x8002C1E4
0x8002C1EC
0x8002C218
0x8002C224
0x8002C244
0x8002C250
0x8002C420
0x8002C450
0x8002C544
0x8002CAA8
0x8002CB38
0x8002CBD8
0x8002CBE0
0x8002CBF8
0x8002CD6C
0x8002CEAC
0x8002CFB0
0x8002D294
0x8002D2B4
0x8002D2F4
0x8002D314
0x8002D394
0x8002D410
0x8002D428
0x8002D44C
0x8002D598
0x8002D66C
0x8002D860
0x8002D8D0
0x8002D968
0x8002DA4C
0x8002DB0C
0x8002DB4C
0x8002DC6C
0x8002DCB0
0x8002DD24
0x8002DE20
0x8002DE44
0x8002DE68
0x8002DEE0
0x8002DF1C
0x8002DFB4
0x8002E07C
0x8002E084
0x8002E150
0x8002E160
0x8002E170
0x8002E180
0x8002E190
0x8002E1A0
0x8002E1C0
0x8002E1D0
0x8002E3F0
0x8002E40C
0x8002E428
0x8002E444
0x8002E460
0x8002E47C
0x8002E4B0
0x8002E4CC
0x8002E500
0x8002E560
0x8002E590
0x8002E5F0
0x8002E7D4
0x8002E808
0x8002EC38
0x8002EC80
0x8002F1E4
0x8002F464
0x8002F72C
0x8002FB38
0x8002FBC0
0x8002FC94
0x8002FD84
0x8002FDD0
0x8002FFB0
0x80030118
0x80030218
0x800303F0
0x80030480
0x80030530
0x80030570
0x80030630
0x80030650
0x80030680
0x8003076C
0x800307CC
0x80030820
0x80030A10
0x80030CA4
0x80030D30
0x80030F80
0x80030FA0
0x800311E4
0x80031218
0x80031588
0x80031778
0x8003180C
0x8003189C
0x800318E8
0x80031918
0x80031B00
0x80031B98
0x80031C78
0x80031CB8
0x80031D34
0x80031D40
0x80031D4C
0x80031D58
0x80031D64
0x80031D7C
0x80031D8C
0x80031D9C
0x80031DB8
0x80031DC8
0x80031DD8
0x80031DFC
0x80031E20
0x80031E30
0x80031E70
0x80032318
0x800324B0
0x80032694
0x8003291C
0x80032A9C
0x80032B4C
0x80032BC4
0x80032BD4
0x80032BE4
0x80032C2C
0x80032D50
0x80032D70
0x80032D90
0x80032DD0
0x80032ED4
0x80032F54
0x80032F68
0x80033050
0x800330C0
0x80033470
0x800334E0
0x80033514
0x800335B0
0x800335D0
0x800336D0
0x800337C0
0x800340DC
0x80034108
0x800342B0
0x800343B4
0x80034440
0x80034720
0x80034740
0x80034A04
0x80034AA8
0x80034D44
0x80034DA0
0x80034E24
0x80034E88
0x80035230
0x800352D8
0x800352E8
0x80035340
0x80035354
0x80035368
0x8003537C
0x800353A0
0x80035518
0x800355B0
0x800355C0
0x800355D0
0x80035600
0x80035630
0x80035660
0x80035694
0x80035724
0x8003574C
0x8003583C
0x80035C6C
0x80035C98
0x80035CB0
0x80035CC0
0x80035CD0
0x80035CE0
0x80035DD0
0x80035E00
0x80036078
0x800360A0
0x800360B4
0x800360D0
0x800363B4
0x8003644C
0x800364B4
0x800365D0
0x800366F8
0x80036758
0x800367B8
0x80036938
0x80036A40
0x80036AB0
0x80036C48
0x80036C7C
0x80037174
0x800371D8
0x80037258
0x80037490
0x80037700
0x80037720
0x800377B8
0x80037850
0x8003786C
0x80038148
0x80038190
0x800381E4
0x80038494
0x800386F4
0x80038980
0x800389B4
0x80038AF8
0x80038FD8
0x80039000
0x80039010
0x80039180
0x800391C0
0x800391E0
0x80039220
0x800392D0
0x800392F0
0x80039360
0x80039400
0x80039620
0x800396C0
0x800397A0
0x80039970
0x80039E70
0x80039FF0
0x8003A250
0x8003A2C4
0x8003A448
0x8003A668
0x8003A7A0
0x8003A7B0
0x8003A8C0
0x8003A940
0x8003A980
0x8003AA54
0x8003AAF0
0x8003ABA0
0x8003AC3C
0x8003ADBC
0x8003AE3C
0x8003AF60
0x8003B000
0x8003B080
0x8003B0F0
0x8003B110
0x8003B5C8
0x8003B62C
0x8003B680
0x8003B6B0
0x8003B710
0x8003B7D0
0x8003B820
0x8003B910
0x8003B9E0
0x8003B9F0
0x8003BA00
0x8003BA80
0x8003BD40
0x8003C010
0x8003C620
0x8003C6E0
0x8003C870
0x8003D100
0x8003D13C
0x8003D1D0
0x8003D270
0x8003D3C4
0x8003D468
0x8003D4F0
0x8003D620
0x8003D680
0x8003D830
0x8003D8B0
0x8003D9C0
0x8003DB20
0x8003DBC4
0x8003DC70
0x8003DD60
0x8003DE70
0x8003DF80
0x8003DFB0
0x8003E0F0
0x8003E120
0x8003E150
0x8003E180
0x8003E1A0
0x8003E1B0
0x8003E1D0
0x8003E1F0
0x8003E3F4
0x8003E410
0x8003E4A0
0x8003E4D0
0x8003E550
0x8003E590
0x8003E820
0x8003E9C0
0x8003EB60
0x80041FD0
0x800420B0
0x800420C0
0x800423A0
0x800423F0
0x800424A0
0x80042560
0x80042620
0x80042720
0x80042840
0x800428B0
0x80042BC4
0x80042CB0
0x80042D30
0x800430B0
0x800430F0
0x80043160
0x80043170
0x800431A0
0x800431C0
0x800431D0
0x80043260
0x800432A8
0x800432DC
0x80043474
0x800434EC
0x800435D0
0x800435E0
0x800435F0
0x80043600
0x80043610
0x80043620
0x80043630
0x80043644
0x80043658
0x800436D0
0x80043740
0x80043750
0x80043760
0x80043770
0x8004384C
0x800438E0
0x80043950
0x80043990
0x80043A10
0x80043A80
0x80043AC0
0x80043E44
0x80044708
0x80044960
0x80044BB8
0x80044E14
0x80044E28
0x80044F44
0x80045040
0x800454AC
0x800455D4
0x800456D4
0x80045730
0x80045740
0x80045750
0x80045760
0x80045770
0x80045780
0x80045790
0x800457A0
0x80045A40
0x80045A50
0x80045A60
0x80045A70
0x80045A80
0x80045A90
0x80045AD0
0x80045AE0
0x80045B5C
0x80045BC8
0x80045CB0
0x80045EAC
0x80045F60
0x80046068
0x80046140
0x80046218
0x80046254
0x80046290
0x800462A0
0x800462B0
0x800462C0
0x800462D0
0x800466A0
0x80046D60
0x80046D70
0x80046EC8
0x80046F44
0x80047000
0x80047024
0x80047114
0x800471A4
0x80047230
0x800472C4
0x80047358
0x80047370
0x800473F0
0x80047410
0x800474F8
0x80047570
0x800477F0
0x80047B14
0x80047D94
0x80047E18
0x80047E7C
0x80047EC0
0x80047F64
0x80047FF8
0x80048020
0x80048048
0x800480B0
0x800480E0
0x80048160
0x80048170
0x800486D0
0x80048760
0x80048C30
0x80048DD0
0x80048DE0
0x80048E10
0x80048E40
0x80048E70
0x80048EB0
0x80048EE0
0x80048F10
0x80048F20
0x80048FD0
0x80049040
0x80049090
0x800490D0
0x80049150
0x800491C0
0x80049200
0x80049910
0x80049960
0x80049A5C
0x80049BC0
0x80049C20
0x80049CA0
0x80049CB0
0x80049CD0
0x80049CE0
0x80049D04
0x80049D24
0x80049D30
0x80049DF0
0x80049E08
0x80049EC8
0x80049F40
0x80049F60
0x80049FCC
0x8004A098
0x8004A30C
0x8004A38C
0x8004A4F8
0x8004A71C
0x8004A730
0x8004A7FC
0x8004A840
0x8004AB74
0x8004AC64
0x8004AE74
0x8004B0EC
0x8004B17C
0x8004B1B0
0x8004B1CC
0x8004B250
0x8004B4C0
0x8004B4F8
0x8004BA6C
0x8004BBB8
0x8004BD04
0x8004BD24
0x8004BD38
0x8004BD58
0x8004BD78
0x8004BD98
0x8004C3E0
0x8004C69C
0x8004CA40
0x8004CDE8
0x8004CF00
0x8004CF20
0x8004CFC0
0x8004D24C
0x8004D320
0x8004D360
0x8004D804
0x8004DA80
0x8004DCFC
0x8004DDD8
0x8004DE1C
0x8004DE7C
0x8004DED4
0x8004DFA0
0x8004DFF8
0x8004E038
0x8004E110
0x8004E160
0x8004E180
0x8004E200
0x8004E220
0x8004E240
0x8004E358
0x8004E3D4
0x8004E418
0x8004E4A0
0x8004E564
0x8004E66C
0x8004E890
0x8004E8D0
0x8004E920
0x8004EA60
0x8004EAA0
0x8004EAD0
0x8004EB10
0x8004EB40
0x8004EBA0
0x8004EC00
0x8004ED60
0x8004EDC0
0x8004EF90
0x8004EFC0
0x8004F0E0
0x8004F1A0
0x8004F1E8
0x8004F268
0x8004F31C
0x8004F3B0
0x8004F588
0x8004F5B4
0x8004F6C0
0x8004F6FC
0x8004F728
0x8004FA90
0x8004FB9C
0x8004FBAC
0x8004FE28
0x8004FFB0
0x80050064
0x800500F4
0x800501DC
0x800502C4
0x8005064C
0x80050700
0x8005072C
0x80050F1C
0x800510A8
0x800510B8
0x80051200
0x800512D8
0x800515E4
0x800516B4
0x80051868
0x80051954
0x80051B04
0x80051BB4
0x80051C84
0x80051DC8
0x80051E70
0x80051E98
0x80051F3C
0x80051F90
0x80051FE8
0x800520AC
0x800520F4
0x800521DC
0x800524BC
0x800525C8
0x80052604
0x80052904
0x800529C8
0x80052A24
0x80052B0C
0x80052C30
0x80052CB8
0x80052D24
0x80052DB0
0x80053080
0x80053380
0x80053400
0x800535C0
0x80053670
0x800536E0
0x80053CE0
0x80053F94
0x800540C0
0x800540E0
0x800546F0
0x80054720
0x80054754
0x80054790
0x800547E0
0x80054850
0x80054964
0x80054A84
0x80054B18
0x80054BA4
0x80054CA4
0x80054CDC
0x80054D2C
0x80054DA4
0x80054DD0
0x80054E34
0x80054EA8
0x80054F9C
0x80054FC8
0x80055054
0x8005521C
0x8005526C
0x800552B8
0x80055314
0x80055374
0x80055394
0x800553B4
0x800553F4
0x80055434
0x80055478
0x8005549C
0x8005554C
