(define-module (test2))

(define-public p0
  (package
   (name "p0")
   (foo x)
   (bar y)
   (baz z)))

(define-public p1
  (package
   (name "p1")
   (foo x)
   (bar y)
   (baz z)))

(define-public p2
  (package
   (name "p2")
   (foo x)
   (bar y)
   (baz z)))

(define-public p3
  (package
   (name "p3")
   (foo x)
   (bar y)
   (baz z)))

(define-public p4
  (package
   (name "p4")
   (foo x)
   (bar y)
   (baz z)))

(define-public p5
  (package
   (name "p5")
   (foo x)
   (bar y)
   (baz z)))

(define-public p6
  (package
   (name "p6")
   (foo x)
   (bar y)
   (baz z)))

(define-public p7
  (package
   (name "p7")
   (foo x)
   (bar y)
   (baz z)))

(define-public p8
  (package
   (name "p8")
   (foo x)
   (bar y)
   (baz z)))

(define-public p9
  (package
   (name "p9")
   (foo x)
   (bar y)
   (baz z)))

(define-public p10
  (package
   (name "p10")
   (foo x)
   (bar y)
   (baz z)))

(define-public p11
  (package
   (name "p11")
   (foo x)
   (bar y)
   (baz z)))

(define-public p12
  (package
   (name "p12")
   (foo x)
   (bar y)
   (baz z)))

(define-public p13
  (package
   (name "p13")
   (foo x)
   (bar y)
   (baz z)))

(define-public p14
  (package
   (name "p14")
   (foo x)
   (bar y)
   (baz z)))

(define-public p15
  (package
   (name "p15")
   (foo x)
   (bar y)
   (baz z)))

(define-public p16
  (package
   (name "p16")
   (foo x)
   (bar y)
   (baz z)))

(define-public p17
  (package
   (name "p17")
   (foo x)
   (bar y)
   (baz z)))

(define-public p18
  (package
   (name "p18")
   (foo x)
   (bar y)
   (baz z)))

(define-public p19
  (package
   (name "p19")
   (foo x)
   (bar y)
   (baz z)))

(define-public p20
  (package
   (name "p20")
   (foo x)
   (bar y)
   (baz z)))

(define-public p21
  (package
   (name "p21")
   (foo x)
   (bar y)
   (baz z)))

(define-public p22
  (package
   (name "p22")
   (foo x)
   (bar y)
   (baz z)))

(define-public p23
  (package
   (name "p23")
   (foo x)
   (bar y)
   (baz z)))

(define-public p24
  (package
   (name "p24")
   (foo x)
   (bar y)
   (baz z)))

(define-public p25
  (package
   (name "p25")
   (foo x)
   (bar y)
   (baz z)))

(define-public p26
  (package
   (name "p26")
   (foo x)
   (bar y)
   (baz z)))

(define-public p27
  (package
   (name "p27")
   (foo x)
   (bar y)
   (baz z)))

(define-public p28
  (package
   (name "p28")
   (foo x)
   (bar y)
   (baz z)))

(define-public p29
  (package
   (name "p29")
   (foo x)
   (bar y)
   (baz z)))

(define-public p30
  (package
   (name "p30")
   (foo x)
   (bar y)
   (baz z)))

(define-public p31
  (package
   (name "p31")
   (foo x)
   (bar y)
   (baz z)))

(define-public p32
  (package
   (name "p32")
   (foo x)
   (bar y)
   (baz z)))

(define-public p33
  (package
   (name "p33")
   (foo x)
   (bar y)
   (baz z)))

(define-public p34
  (package
   (name "p34")
   (foo x)
   (bar y)
   (baz z)))

(define-public p35
  (package
   (name "p35")
   (foo x)
   (bar y)
   (baz z)))

(define-public p36
  (package
   (name "p36")
   (foo x)
   (bar y)
   (baz z)))

(define-public p37
  (package
   (name "p37")
   (foo x)
   (bar y)
   (baz z)))

(define-public p38
  (package
   (name "p38")
   (foo x)
   (bar y)
   (baz z)))

(define-public p39
  (package
   (name "p39")
   (foo x)
   (bar y)
   (baz z)))

(define-public p40
  (package
   (name "p40")
   (foo x)
   (bar y)
   (baz z)))

(define-public p41
  (package
   (name "p41")
   (foo x)
   (bar y)
   (baz z)))

(define-public p42
  (package
   (name "p42")
   (foo x)
   (bar y)
   (baz z)))

(define-public p43
  (package
   (name "p43")
   (foo x)
   (bar y)
   (baz z)))

(define-public p44
  (package
   (name "p44")
   (foo x)
   (bar y)
   (baz z)))

(define-public p45
  (package
   (name "p45")
   (foo x)
   (bar y)
   (baz z)))

(define-public p46
  (package
   (name "p46")
   (foo x)
   (bar y)
   (baz z)))

(define-public p47
  (package
   (name "p47")
   (foo x)
   (bar y)
   (baz z)))

(define-public p48
  (package
   (name "p48")
   (foo x)
   (bar y)
   (baz z)))

(define-public p49
  (package
   (name "p49")
   (foo x)
   (bar y)
   (baz z)))

(define-public p50
  (package
   (name "p50")
   (foo x)
   (bar y)
   (baz z)))

(define-public p51
  (package
   (name "p51")
   (foo x)
   (bar y)
   (baz z)))

(define-public p52
  (package
   (name "p52")
   (foo x)
   (bar y)
   (baz z)))

(define-public p53
  (package
   (name "p53")
   (foo x)
   (bar y)
   (baz z)))

(define-public p54
  (package
   (name "p54")
   (foo x)
   (bar y)
   (baz z)))

(define-public p55
  (package
   (name "p55")
   (foo x)
   (bar y)
   (baz z)))

(define-public p56
  (package
   (name "p56")
   (foo x)
   (bar y)
   (baz z)))

(define-public p57
  (package
   (name "p57")
   (foo x)
   (bar y)
   (baz z)))

(define-public p58
  (package
   (name "p58")
   (foo x)
   (bar y)
   (baz z)))

(define-public p59
  (package
   (name "p59")
   (foo x)
   (bar y)
   (baz z)))

(define-public p60
  (package
   (name "p60")
   (foo x)
   (bar y)
   (baz z)))

(define-public p61
  (package
   (name "p61")
   (foo x)
   (bar y)
   (baz z)))

(define-public p62
  (package
   (name "p62")
   (foo x)
   (bar y)
   (baz z)))

(define-public p63
  (package
   (name "p63")
   (foo x)
   (bar y)
   (baz z)))

(define-public p64
  (package
   (name "p64")
   (foo x)
   (bar y)
   (baz z)))

(define-public p65
  (package
   (name "p65")
   (foo x)
   (bar y)
   (baz z)))

(define-public p66
  (package
   (name "p66")
   (foo x)
   (bar y)
   (baz z)))

(define-public p67
  (package
   (name "p67")
   (foo x)
   (bar y)
   (baz z)))

(define-public p68
  (package
   (name "p68")
   (foo x)
   (bar y)
   (baz z)))

(define-public p69
  (package
   (name "p69")
   (foo x)
   (bar y)
   (baz z)))

(define-public p70
  (package
   (name "p70")
   (foo x)
   (bar y)
   (baz z)))

(define-public p71
  (package
   (name "p71")
   (foo x)
   (bar y)
   (baz z)))

(define-public p72
  (package
   (name "p72")
   (foo x)
   (bar y)
   (baz z)))

(define-public p73
  (package
   (name "p73")
   (foo x)
   (bar y)
   (baz z)))

(define-public p74
  (package
   (name "p74")
   (foo x)
   (bar y)
   (baz z)))

(define-public p75
  (package
   (name "p75")
   (foo x)
   (bar y)
   (baz z)))

(define-public p76
  (package
   (name "p76")
   (foo x)
   (bar y)
   (baz z)))

(define-public p77
  (package
   (name "p77")
   (foo x)
   (bar y)
   (baz z)))

(define-public p78
  (package
   (name "p78")
   (foo x)
   (bar y)
   (baz z)))

(define-public p79
  (package
   (name "p79")
   (foo x)
   (bar y)
   (baz z)))

(define-public p80
  (package
   (name "p80")
   (foo x)
   (bar y)
   (baz z)))

(define-public p81
  (package
   (name "p81")
   (foo x)
   (bar y)
   (baz z)))

(define-public p82
  (package
   (name "p82")
   (foo x)
   (bar y)
   (baz z)))

(define-public p83
  (package
   (name "p83")
   (foo x)
   (bar y)
   (baz z)))

(define-public p84
  (package
   (name "p84")
   (foo x)
   (bar y)
   (baz z)))

(define-public p85
  (package
   (name "p85")
   (foo x)
   (bar y)
   (baz z)))

(define-public p86
  (package
   (name "p86")
   (foo x)
   (bar y)
   (baz z)))

(define-public p87
  (package
   (name "p87")
   (foo x)
   (bar y)
   (baz z)))

(define-public p88
  (package
   (name "p88")
   (foo x)
   (bar y)
   (baz z)))

(define-public p89
  (package
   (name "p89")
   (foo x)
   (bar y)
   (baz z)))

(define-public p90
  (package
   (name "p90")
   (foo x)
   (bar y)
   (baz z)))

(define-public p91
  (package
   (name "p91")
   (foo x)
   (bar y)
   (baz z)))

(define-public p92
  (package
   (name "p92")
   (foo x)
   (bar y)
   (baz z)))

(define-public p93
  (package
   (name "p93")
   (foo x)
   (bar y)
   (baz z)))

(define-public p94
  (package
   (name "p94")
   (foo x)
   (bar y)
   (baz z)))

(define-public p95
  (package
   (name "p95")
   (foo x)
   (bar y)
   (baz z)))

(define-public p96
  (package
   (name "p96")
   (foo x)
   (bar y)
   (baz z)))

(define-public p97
  (package
   (name "p97")
   (foo x)
   (bar y)
   (baz z)))

(define-public p98
  (package
   (name "p98")
   (foo x)
   (bar y)
   (baz z)))

(define-public p99
  (package
   (name "p99")
   (foo x)
   (bar y)
   (baz z)))

(define-public p100
  (package
   (name "p100")
   (foo x)
   (bar y)
   (baz z)))

(define-public p101
  (package
   (name "p101")
   (foo x)
   (bar y)
   (baz z)))

(define-public p102
  (package
   (name "p102")
   (foo x)
   (bar y)
   (baz z)))

(define-public p103
  (package
   (name "p103")
   (foo x)
   (bar y)
   (baz z)))

(define-public p104
  (package
   (name "p104")
   (foo x)
   (bar y)
   (baz z)))

(define-public p105
  (package
   (name "p105")
   (foo x)
   (bar y)
   (baz z)))

(define-public p106
  (package
   (name "p106")
   (foo x)
   (bar y)
   (baz z)))

(define-public p107
  (package
   (name "p107")
   (foo x)
   (bar y)
   (baz z)))

(define-public p108
  (package
   (name "p108")
   (foo x)
   (bar y)
   (baz z)))

(define-public p109
  (package
   (name "p109")
   (foo x)
   (bar y)
   (baz z)))

(define-public p110
  (package
   (name "p110")
   (foo x)
   (bar y)
   (baz z)))

(define-public p111
  (package
   (name "p111")
   (foo x)
   (bar y)
   (baz z)))

(define-public p112
  (package
   (name "p112")
   (foo x)
   (bar y)
   (baz z)))

(define-public p113
  (package
   (name "p113")
   (foo x)
   (bar y)
   (baz z)))

(define-public p114
  (package
   (name "p114")
   (foo x)
   (bar y)
   (baz z)))

(define-public p115
  (package
   (name "p115")
   (foo x)
   (bar y)
   (baz z)))

(define-public p116
  (package
   (name "p116")
   (foo x)
   (bar y)
   (baz z)))

(define-public p117
  (package
   (name "p117")
   (foo x)
   (bar y)
   (baz z)))

(define-public p118
  (package
   (name "p118")
   (foo x)
   (bar y)
   (baz z)))

(define-public p119
  (package
   (name "p119")
   (foo x)
   (bar y)
   (baz z)))

(define-public p120
  (package
   (name "p120")
   (foo x)
   (bar y)
   (baz z)))

(define-public p121
  (package
   (name "p121")
   (foo x)
   (bar y)
   (baz z)))

(define-public p122
  (package
   (name "p122")
   (foo x)
   (bar y)
   (baz z)))

(define-public p123
  (package
   (name "p123")
   (foo x)
   (bar y)
   (baz z)))

(define-public p124
  (package
   (name "p124")
   (foo x)
   (bar y)
   (baz z)))

(define-public p125
  (package
   (name "p125")
   (foo x)
   (bar y)
   (baz z)))

(define-public p126
  (package
   (name "p126")
   (foo x)
   (bar y)
   (baz z)))

(define-public p127
  (package
   (name "p127")
   (foo x)
   (bar y)
   (baz z)))

(define-public p128
  (package
   (name "p128")
   (foo x)
   (bar y)
   (baz z)))

(define-public p129
  (package
   (name "p129")
   (foo x)
   (bar y)
   (baz z)))

(define-public p130
  (package
   (name "p130")
   (foo x)
   (bar y)
   (baz z)))

(define-public p131
  (package
   (name "p131")
   (foo x)
   (bar y)
   (baz z)))

(define-public p132
  (package
   (name "p132")
   (foo x)
   (bar y)
   (baz z)))

(define-public p133
  (package
   (name "p133")
   (foo x)
   (bar y)
   (baz z)))

(define-public p134
  (package
   (name "p134")
   (foo x)
   (bar y)
   (baz z)))

(define-public p135
  (package
   (name "p135")
   (foo x)
   (bar y)
   (baz z)))

(define-public p136
  (package
   (name "p136")
   (foo x)
   (bar y)
   (baz z)))

(define-public p137
  (package
   (name "p137")
   (foo x)
   (bar y)
   (baz z)))

(define-public p138
  (package
   (name "p138")
   (foo x)
   (bar y)
   (baz z)))

(define-public p139
  (package
   (name "p139")
   (foo x)
   (bar y)
   (baz z)))

(define-public p140
  (package
   (name "p140")
   (foo x)
   (bar y)
   (baz z)))

(define-public p141
  (package
   (name "p141")
   (foo x)
   (bar y)
   (baz z)))

(define-public p142
  (package
   (name "p142")
   (foo x)
   (bar y)
   (baz z)))

(define-public p143
  (package
   (name "p143")
   (foo x)
   (bar y)
   (baz z)))

(define-public p144
  (package
   (name "p144")
   (foo x)
   (bar y)
   (baz z)))

(define-public p145
  (package
   (name "p145")
   (foo x)
   (bar y)
   (baz z)))

(define-public p146
  (package
   (name "p146")
   (foo x)
   (bar y)
   (baz z)))

(define-public p147
  (package
   (name "p147")
   (foo x)
   (bar y)
   (baz z)))

(define-public p148
  (package
   (name "p148")
   (foo x)
   (bar y)
   (baz z)))

(define-public p149
  (package
   (name "p149")
   (foo x)
   (bar y)
   (baz z)))

(define-public p150
  (package
   (name "p150")
   (foo x)
   (bar y)
   (baz z)))

(define-public p151
  (package
   (name "p151")
   (foo x)
   (bar y)
   (baz z)))

(define-public p152
  (package
   (name "p152")
   (foo x)
   (bar y)
   (baz z)))

(define-public p153
  (package
   (name "p153")
   (foo x)
   (bar y)
   (baz z)))

(define-public p154
  (package
   (name "p154")
   (foo x)
   (bar y)
   (baz z)))

(define-public p155
  (package
   (name "p155")
   (foo x)
   (bar y)
   (baz z)))

(define-public p156
  (package
   (name "p156")
   (foo x)
   (bar y)
   (baz z)))

(define-public p157
  (package
   (name "p157")
   (foo x)
   (bar y)
   (baz z)))

(define-public p158
  (package
   (name "p158")
   (foo x)
   (bar y)
   (baz z)))

(define-public p159
  (package
   (name "p159")
   (foo x)
   (bar y)
   (baz z)))

(define-public p160
  (package
   (name "p160")
   (foo x)
   (bar y)
   (baz z)))

(define-public p161
  (package
   (name "p161")
   (foo x)
   (bar y)
   (baz z)))

(define-public p162
  (package
   (name "p162")
   (foo x)
   (bar y)
   (baz z)))

(define-public p163
  (package
   (name "p163")
   (foo x)
   (bar y)
   (baz z)))

(define-public p164
  (package
   (name "p164")
   (foo x)
   (bar y)
   (baz z)))

(define-public p165
  (package
   (name "p165")
   (foo x)
   (bar y)
   (baz z)))

(define-public p166
  (package
   (name "p166")
   (foo x)
   (bar y)
   (baz z)))

(define-public p167
  (package
   (name "p167")
   (foo x)
   (bar y)
   (baz z)))

(define-public p168
  (package
   (name "p168")
   (foo x)
   (bar y)
   (baz z)))

(define-public p169
  (package
   (name "p169")
   (foo x)
   (bar y)
   (baz z)))

(define-public p170
  (package
   (name "p170")
   (foo x)
   (bar y)
   (baz z)))

(define-public p171
  (package
   (name "p171")
   (foo x)
   (bar y)
   (baz z)))

(define-public p172
  (package
   (name "p172")
   (foo x)
   (bar y)
   (baz z)))

(define-public p173
  (package
   (name "p173")
   (foo x)
   (bar y)
   (baz z)))

(define-public p174
  (package
   (name "p174")
   (foo x)
   (bar y)
   (baz z)))

(define-public p175
  (package
   (name "p175")
   (foo x)
   (bar y)
   (baz z)))

(define-public p176
  (package
   (name "p176")
   (foo x)
   (bar y)
   (baz z)))

(define-public p177
  (package
   (name "p177")
   (foo x)
   (bar y)
   (baz z)))

(define-public p178
  (package
   (name "p178")
   (foo x)
   (bar y)
   (baz z)))

(define-public p179
  (package
   (name "p179")
   (foo x)
   (bar y)
   (baz z)))

(define-public p180
  (package
   (name "p180")
   (foo x)
   (bar y)
   (baz z)))

(define-public p181
  (package
   (name "p181")
   (foo x)
   (bar y)
   (baz z)))

(define-public p182
  (package
   (name "p182")
   (foo x)
   (bar y)
   (baz z)))

(define-public p183
  (package
   (name "p183")
   (foo x)
   (bar y)
   (baz z)))

(define-public p184
  (package
   (name "p184")
   (foo x)
   (bar y)
   (baz z)))

(define-public p185
  (package
   (name "p185")
   (foo x)
   (bar y)
   (baz z)))

(define-public p186
  (package
   (name "p186")
   (foo x)
   (bar y)
   (baz z)))

(define-public p187
  (package
   (name "p187")
   (foo x)
   (bar y)
   (baz z)))

(define-public p188
  (package
   (name "p188")
   (foo x)
   (bar y)
   (baz z)))

(define-public p189
  (package
   (name "p189")
   (foo x)
   (bar y)
   (baz z)))

(define-public p190
  (package
   (name "p190")
   (foo x)
   (bar y)
   (baz z)))

(define-public p191
  (package
   (name "p191")
   (foo x)
   (bar y)
   (baz z)))

(define-public p192
  (package
   (name "p192")
   (foo x)
   (bar y)
   (baz z)))

(define-public p193
  (package
   (name "p193")
   (foo x)
   (bar y)
   (baz z)))

(define-public p194
  (package
   (name "p194")
   (foo x)
   (bar y)
   (baz z)))

(define-public p195
  (package
   (name "p195")
   (foo x)
   (bar y)
   (baz z)))

(define-public p196
  (package
   (name "p196")
   (foo x)
   (bar y)
   (baz z)))

(define-public p197
  (package
   (name "p197")
   (foo x)
   (bar y)
   (baz z)))

(define-public p198
  (package
   (name "p198")
   (foo x)
   (bar y)
   (baz z)))

(define-public p199
  (package
   (name "p199")
   (foo x)
   (bar y)
   (baz z)))

(define-public p200
  (package
   (name "p200")
   (foo x)
   (bar y)
   (baz z)))

(define-public p201
  (package
   (name "p201")
   (foo x)
   (bar y)
   (baz z)))

(define-public p202
  (package
   (name "p202")
   (foo x)
   (bar y)
   (baz z)))

(define-public p203
  (package
   (name "p203")
   (foo x)
   (bar y)
   (baz z)))

(define-public p204
  (package
   (name "p204")
   (foo x)
   (bar y)
   (baz z)))

(define-public p205
  (package
   (name "p205")
   (foo x)
   (bar y)
   (baz z)))

(define-public p206
  (package
   (name "p206")
   (foo x)
   (bar y)
   (baz z)))

(define-public p207
  (package
   (name "p207")
   (foo x)
   (bar y)
   (baz z)))

(define-public p208
  (package
   (name "p208")
   (foo x)
   (bar y)
   (baz z)))

(define-public p209
  (package
   (name "p209")
   (foo x)
   (bar y)
   (baz z)))

(define-public p210
  (package
   (name "p210")
   (foo x)
   (bar y)
   (baz z)))

(define-public p211
  (package
   (name "p211")
   (foo x)
   (bar y)
   (baz z)))

(define-public p212
  (package
   (name "p212")
   (foo x)
   (bar y)
   (baz z)))

(define-public p213
  (package
   (name "p213")
   (foo x)
   (bar y)
   (baz z)))

(define-public p214
  (package
   (name "p214")
   (foo x)
   (bar y)
   (baz z)))

(define-public p215
  (package
   (name "p215")
   (foo x)
   (bar y)
   (baz z)))

(define-public p216
  (package
   (name "p216")
   (foo x)
   (bar y)
   (baz z)))

(define-public p217
  (package
   (name "p217")
   (foo x)
   (bar y)
   (baz z)))

(define-public p218
  (package
   (name "p218")
   (foo x)
   (bar y)
   (baz z)))

(define-public p219
  (package
   (name "p219")
   (foo x)
   (bar y)
   (baz z)))

(define-public p220
  (package
   (name "p220")
   (foo x)
   (bar y)
   (baz z)))

(define-public p221
  (package
   (name "p221")
   (foo x)
   (bar y)
   (baz z)))

(define-public p222
  (package
   (name "p222")
   (foo x)
   (bar y)
   (baz z)))

(define-public p223
  (package
   (name "p223")
   (foo x)
   (bar y)
   (baz z)))

(define-public p224
  (package
   (name "p224")
   (foo x)
   (bar y)
   (baz z)))

(define-public p225
  (package
   (name "p225")
   (foo x)
   (bar y)
   (baz z)))

(define-public p226
  (package
   (name "p226")
   (foo x)
   (bar y)
   (baz z)))

(define-public p227
  (package
   (name "p227")
   (foo x)
   (bar y)
   (baz z)))

(define-public p228
  (package
   (name "p228")
   (foo x)
   (bar y)
   (baz z)))

(define-public p229
  (package
   (name "p229")
   (foo x)
   (bar y)
   (baz z)))

(define-public p230
  (package
   (name "p230")
   (foo x)
   (bar y)
   (baz z)))

(define-public p231
  (package
   (name "p231")
   (foo x)
   (bar y)
   (baz z)))

(define-public p232
  (package
   (name "p232")
   (foo x)
   (bar y)
   (baz z)))

(define-public p233
  (package
   (name "p233")
   (foo x)
   (bar y)
   (baz z)))

(define-public p234
  (package
   (name "p234")
   (foo x)
   (bar y)
   (baz z)))

(define-public p235
  (package
   (name "p235")
   (foo x)
   (bar y)
   (baz z)))

(define-public p236
  (package
   (name "p236")
   (foo x)
   (bar y)
   (baz z)))

(define-public p237
  (package
   (name "p237")
   (foo x)
   (bar y)
   (baz z)))

(define-public p238
  (package
   (name "p238")
   (foo x)
   (bar y)
   (baz z)))

(define-public p239
  (package
   (name "p239")
   (foo x)
   (bar y)
   (baz z)))

(define-public p240
  (package
   (name "p240")
   (foo x)
   (bar y)
   (baz z)))

(define-public p241
  (package
   (name "p241")
   (foo x)
   (bar y)
   (baz z)))

(define-public p242
  (package
   (name "p242")
   (foo x)
   (bar y)
   (baz z)))

(define-public p243
  (package
   (name "p243")
   (foo x)
   (bar y)
   (baz z)))

(define-public p244
  (package
   (name "p244")
   (foo x)
   (bar y)
   (baz z)))

(define-public p245
  (package
   (name "p245")
   (foo x)
   (bar y)
   (baz z)))

(define-public p246
  (package
   (name "p246")
   (foo x)
   (bar y)
   (baz z)))

(define-public p247
  (package
   (name "p247")
   (foo x)
   (bar y)
   (baz z)))

(define-public p248
  (package
   (name "p248")
   (foo x)
   (bar y)
   (baz z)))

(define-public p249
  (package
   (name "p249")
   (foo x)
   (bar y)
   (baz z)))

(define-public p250
  (package
   (name "p250")
   (foo x)
   (bar y)
   (baz z)))

(define-public p251
  (package
   (name "p251")
   (foo x)
   (bar y)
   (baz z)))

(define-public p252
  (package
   (name "p252")
   (foo x)
   (bar y)
   (baz z)))

(define-public p253
  (package
   (name "p253")
   (foo x)
   (bar y)
   (baz z)))

(define-public p254
  (package
   (name "p254")
   (foo x)
   (bar y)
   (baz z)))

(define-public p255
  (package
   (name "p255")
   (foo x)
   (bar y)
   (baz z)))

(define-public r0
  (package
   (name "p0")
   (foo x)
   (bar y)
   (baz z)))

(define-public r1
  (package
   (name "p1")
   (foo x)
   (bar y)
   (baz z)))

(define-public r2
  (package
   (name "p2")
   (foo x)
   (bar y)
   (baz z)))

(define-public r3
  (package
   (name "p3")
   (foo x)
   (bar y)
   (baz z)))

(define-public r4
  (package
   (name "p4")
   (foo x)
   (bar y)
   (baz z)))

(define-public r5
  (package
   (name "p5")
   (foo x)
   (bar y)
   (baz z)))

(define-public r6
  (package
   (name "p6")
   (foo x)
   (bar y)
   (baz z)))

(define-public r7
  (package
   (name "p7")
   (foo x)
   (bar y)
   (baz z)))

(define-public r8
  (package
   (name "p8")
   (foo x)
   (bar y)
   (baz z)))

(define-public r9
  (package
   (name "p9")
   (foo x)
   (bar y)
   (baz z)))

(define-public r10
  (package
   (name "p10")
   (foo x)
   (bar y)
   (baz z)))

(define-public r11
  (package
   (name "p11")
   (foo x)
   (bar y)
   (baz z)))

(define-public r12
  (package
   (name "p12")
   (foo x)
   (bar y)
   (baz z)))

(define-public r13
  (package
   (name "p13")
   (foo x)
   (bar y)
   (baz z)))

(define-public r14
  (package
   (name "p14")
   (foo x)
   (bar y)
   (baz z)))

(define-public r15
  (package
   (name "p15")
   (foo x)
   (bar y)
   (baz z)))

(define-public r16
  (package
   (name "p16")
   (foo x)
   (bar y)
   (baz z)))

(define-public r17
  (package
   (name "p17")
   (foo x)
   (bar y)
   (baz z)))

(define-public r18
  (package
   (name "p18")
   (foo x)
   (bar y)
   (baz z)))

(define-public r19
  (package
   (name "p19")
   (foo x)
   (bar y)
   (baz z)))

(define-public r20
  (package
   (name "p20")
   (foo x)
   (bar y)
   (baz z)))

(define-public r21
  (package
   (name "p21")
   (foo x)
   (bar y)
   (baz z)))

(define-public r22
  (package
   (name "p22")
   (foo x)
   (bar y)
   (baz z)))

(define-public r23
  (package
   (name "p23")
   (foo x)
   (bar y)
   (baz z)))

(define-public r24
  (package
   (name "p24")
   (foo x)
   (bar y)
   (baz z)))

(define-public r25
  (package
   (name "p25")
   (foo x)
   (bar y)
   (baz z)))

(define-public r26
  (package
   (name "p26")
   (foo x)
   (bar y)
   (baz z)))

(define-public r27
  (package
   (name "p27")
   (foo x)
   (bar y)
   (baz z)))

(define-public r28
  (package
   (name "p28")
   (foo x)
   (bar y)
   (baz z)))

(define-public r29
  (package
   (name "p29")
   (foo x)
   (bar y)
   (baz z)))

(define-public r30
  (package
   (name "p30")
   (foo x)
   (bar y)
   (baz z)))

(define-public r31
  (package
   (name "p31")
   (foo x)
   (bar y)
   (baz z)))

(define-public r32
  (package
   (name "p32")
   (foo x)
   (bar y)
   (baz z)))

(define-public r33
  (package
   (name "p33")
   (foo x)
   (bar y)
   (baz z)))

(define-public r34
  (package
   (name "p34")
   (foo x)
   (bar y)
   (baz z)))

(define-public r35
  (package
   (name "p35")
   (foo x)
   (bar y)
   (baz z)))

(define-public r36
  (package
   (name "p36")
   (foo x)
   (bar y)
   (baz z)))

(define-public r37
  (package
   (name "p37")
   (foo x)
   (bar y)
   (baz z)))

(define-public r38
  (package
   (name "p38")
   (foo x)
   (bar y)
   (baz z)))

(define-public r39
  (package
   (name "p39")
   (foo x)
   (bar y)
   (baz z)))

(define-public r40
  (package
   (name "p40")
   (foo x)
   (bar y)
   (baz z)))

(define-public r41
  (package
   (name "p41")
   (foo x)
   (bar y)
   (baz z)))

(define-public r42
  (package
   (name "p42")
   (foo x)
   (bar y)
   (baz z)))

(define-public r43
  (package
   (name "p43")
   (foo x)
   (bar y)
   (baz z)))

(define-public r44
  (package
   (name "p44")
   (foo x)
   (bar y)
   (baz z)))

(define-public r45
  (package
   (name "p45")
   (foo x)
   (bar y)
   (baz z)))

(define-public r46
  (package
   (name "p46")
   (foo x)
   (bar y)
   (baz z)))

(define-public r47
  (package
   (name "p47")
   (foo x)
   (bar y)
   (baz z)))

(define-public r48
  (package
   (name "p48")
   (foo x)
   (bar y)
   (baz z)))

(define-public r49
  (package
   (name "p49")
   (foo x)
   (bar y)
   (baz z)))

(define-public r50
  (package
   (name "p50")
   (foo x)
   (bar y)
   (baz z)))

(define-public r51
  (package
   (name "p51")
   (foo x)
   (bar y)
   (baz z)))

(define-public r52
  (package
   (name "p52")
   (foo x)
   (bar y)
   (baz z)))

(define-public r53
  (package
   (name "p53")
   (foo x)
   (bar y)
   (baz z)))

(define-public r54
  (package
   (name "p54")
   (foo x)
   (bar y)
   (baz z)))

(define-public r55
  (package
   (name "p55")
   (foo x)
   (bar y)
   (baz z)))

(define-public r56
  (package
   (name "p56")
   (foo x)
   (bar y)
   (baz z)))

(define-public r57
  (package
   (name "p57")
   (foo x)
   (bar y)
   (baz z)))

(define-public r58
  (package
   (name "p58")
   (foo x)
   (bar y)
   (baz z)))

(define-public r59
  (package
   (name "p59")
   (foo x)
   (bar y)
   (baz z)))

(define-public r60
  (package
   (name "p60")
   (foo x)
   (bar y)
   (baz z)))

(define-public r61
  (package
   (name "p61")
   (foo x)
   (bar y)
   (baz z)))

(define-public r62
  (package
   (name "p62")
   (foo x)
   (bar y)
   (baz z)))

(define-public r63
  (package
   (name "p63")
   (foo x)
   (bar y)
   (baz z)))

(define-public r64
  (package
   (name "p64")
   (foo x)
   (bar y)
   (baz z)))

(define-public r65
  (package
   (name "p65")
   (foo x)
   (bar y)
   (baz z)))

(define-public r66
  (package
   (name "p66")
   (foo x)
   (bar y)
   (baz z)))

(define-public r67
  (package
   (name "p67")
   (foo x)
   (bar y)
   (baz z)))

(define-public r68
  (package
   (name "p68")
   (foo x)
   (bar y)
   (baz z)))

(define-public r69
  (package
   (name "p69")
   (foo x)
   (bar y)
   (baz z)))

(define-public r70
  (package
   (name "p70")
   (foo x)
   (bar y)
   (baz z)))

(define-public r71
  (package
   (name "p71")
   (foo x)
   (bar y)
   (baz z)))

(define-public r72
  (package
   (name "p72")
   (foo x)
   (bar y)
   (baz z)))

(define-public r73
  (package
   (name "p73")
   (foo x)
   (bar y)
   (baz z)))

(define-public r74
  (package
   (name "p74")
   (foo x)
   (bar y)
   (baz z)))

(define-public r75
  (package
   (name "p75")
   (foo x)
   (bar y)
   (baz z)))

(define-public r76
  (package
   (name "p76")
   (foo x)
   (bar y)
   (baz z)))

(define-public r77
  (package
   (name "p77")
   (foo x)
   (bar y)
   (baz z)))

(define-public r78
  (package
   (name "p78")
   (foo x)
   (bar y)
   (baz z)))

(define-public r79
  (package
   (name "p79")
   (foo x)
   (bar y)
   (baz z)))

(define-public r80
  (package
   (name "p80")
   (foo x)
   (bar y)
   (baz z)))

(define-public r81
  (package
   (name "p81")
   (foo x)
   (bar y)
   (baz z)))

(define-public r82
  (package
   (name "p82")
   (foo x)
   (bar y)
   (baz z)))

(define-public r83
  (package
   (name "p83")
   (foo x)
   (bar y)
   (baz z)))

(define-public r84
  (package
   (name "p84")
   (foo x)
   (bar y)
   (baz z)))

(define-public r85
  (package
   (name "p85")
   (foo x)
   (bar y)
   (baz z)))

(define-public r86
  (package
   (name "p86")
   (foo x)
   (bar y)
   (baz z)))

(define-public r87
  (package
   (name "p87")
   (foo x)
   (bar y)
   (baz z)))

(define-public r88
  (package
   (name "p88")
   (foo x)
   (bar y)
   (baz z)))

(define-public r89
  (package
   (name "p89")
   (foo x)
   (bar y)
   (baz z)))

(define-public r90
  (package
   (name "p90")
   (foo x)
   (bar y)
   (baz z)))

(define-public r91
  (package
   (name "p91")
   (foo x)
   (bar y)
   (baz z)))

(define-public r92
  (package
   (name "p92")
   (foo x)
   (bar y)
   (baz z)))

(define-public r93
  (package
   (name "p93")
   (foo x)
   (bar y)
   (baz z)))

(define-public r94
  (package
   (name "p94")
   (foo x)
   (bar y)
   (baz z)))

(define-public r95
  (package
   (name "p95")
   (foo x)
   (bar y)
   (baz z)))

(define-public r96
  (package
   (name "p96")
   (foo x)
   (bar y)
   (baz z)))

(define-public r97
  (package
   (name "p97")
   (foo x)
   (bar y)
   (baz z)))

(define-public r98
  (package
   (name "p98")
   (foo x)
   (bar y)
   (baz z)))

(define-public r99
  (package
   (name "p99")
   (foo x)
   (bar y)
   (baz z)))

(define-public r100
  (package
   (name "p100")
   (foo x)
   (bar y)
   (baz z)))

(define-public r101
  (package
   (name "p101")
   (foo x)
   (bar y)
   (baz z)))

(define-public r102
  (package
   (name "p102")
   (foo x)
   (bar y)
   (baz z)))

(define-public r103
  (package
   (name "p103")
   (foo x)
   (bar y)
   (baz z)))

(define-public r104
  (package
   (name "p104")
   (foo x)
   (bar y)
   (baz z)))

(define-public r105
  (package
   (name "p105")
   (foo x)
   (bar y)
   (baz z)))

(define-public r106
  (package
   (name "p106")
   (foo x)
   (bar y)
   (baz z)))

(define-public r107
  (package
   (name "p107")
   (foo x)
   (bar y)
   (baz z)))

(define-public r108
  (package
   (name "p108")
   (foo x)
   (bar y)
   (baz z)))

(define-public r109
  (package
   (name "p109")
   (foo x)
   (bar y)
   (baz z)))

(define-public r110
  (package
   (name "p110")
   (foo x)
   (bar y)
   (baz z)))

(define-public r111
  (package
   (name "p111")
   (foo x)
   (bar y)
   (baz z)))

(define-public r112
  (package
   (name "p112")
   (foo x)
   (bar y)
   (baz z)))

(define-public r113
  (package
   (name "p113")
   (foo x)
   (bar y)
   (baz z)))

(define-public r114
  (package
   (name "p114")
   (foo x)
   (bar y)
   (baz z)))

(define-public r115
  (package
   (name "p115")
   (foo x)
   (bar y)
   (baz z)))

(define-public r116
  (package
   (name "p116")
   (foo x)
   (bar y)
   (baz z)))

(define-public r117
  (package
   (name "p117")
   (foo x)
   (bar y)
   (baz z)))

(define-public r118
  (package
   (name "p118")
   (foo x)
   (bar y)
   (baz z)))

(define-public r119
  (package
   (name "p119")
   (foo x)
   (bar y)
   (baz z)))

(define-public r120
  (package
   (name "p120")
   (foo x)
   (bar y)
   (baz z)))

(define-public r121
  (package
   (name "p121")
   (foo x)
   (bar y)
   (baz z)))

(define-public r122
  (package
   (name "p122")
   (foo x)
   (bar y)
   (baz z)))

(define-public r123
  (package
   (name "p123")
   (foo x)
   (bar y)
   (baz z)))

(define-public r124
  (package
   (name "p124")
   (foo x)
   (bar y)
   (baz z)))

(define-public r125
  (package
   (name "p125")
   (foo x)
   (bar y)
   (baz z)))

(define-public r126
  (package
   (name "p126")
   (foo x)
   (bar y)
   (baz z)))

(define-public r127
  (package
   (name "p127")
   (foo x)
   (bar y)
   (baz z)))

(define-public r128
  (package
   (name "p128")
   (foo x)
   (bar y)
   (baz z)))

(define-public r129
  (package
   (name "p129")
   (foo x)
   (bar y)
   (baz z)))

(define-public r130
  (package
   (name "p130")
   (foo x)
   (bar y)
   (baz z)))

(define-public r131
  (package
   (name "p131")
   (foo x)
   (bar y)
   (baz z)))

(define-public r132
  (package
   (name "p132")
   (foo x)
   (bar y)
   (baz z)))

(define-public r133
  (package
   (name "p133")
   (foo x)
   (bar y)
   (baz z)))

(define-public r134
  (package
   (name "p134")
   (foo x)
   (bar y)
   (baz z)))

(define-public r135
  (package
   (name "p135")
   (foo x)
   (bar y)
   (baz z)))

(define-public r136
  (package
   (name "p136")
   (foo x)
   (bar y)
   (baz z)))

(define-public r137
  (package
   (name "p137")
   (foo x)
   (bar y)
   (baz z)))

(define-public r138
  (package
   (name "p138")
   (foo x)
   (bar y)
   (baz z)))

(define-public r139
  (package
   (name "p139")
   (foo x)
   (bar y)
   (baz z)))

(define-public r140
  (package
   (name "p140")
   (foo x)
   (bar y)
   (baz z)))

(define-public r141
  (package
   (name "p141")
   (foo x)
   (bar y)
   (baz z)))

(define-public r142
  (package
   (name "p142")
   (foo x)
   (bar y)
   (baz z)))

(define-public r143
  (package
   (name "p143")
   (foo x)
   (bar y)
   (baz z)))

(define-public r144
  (package
   (name "p144")
   (foo x)
   (bar y)
   (baz z)))

(define-public r145
  (package
   (name "p145")
   (foo x)
   (bar y)
   (baz z)))

(define-public r146
  (package
   (name "p146")
   (foo x)
   (bar y)
   (baz z)))

(define-public r147
  (package
   (name "p147")
   (foo x)
   (bar y)
   (baz z)))

(define-public r148
  (package
   (name "p148")
   (foo x)
   (bar y)
   (baz z)))

(define-public r149
  (package
   (name "p149")
   (foo x)
   (bar y)
   (baz z)))

(define-public r150
  (package
   (name "p150")
   (foo x)
   (bar y)
   (baz z)))

(define-public r151
  (package
   (name "p151")
   (foo x)
   (bar y)
   (baz z)))

(define-public r152
  (package
   (name "p152")
   (foo x)
   (bar y)
   (baz z)))

(define-public r153
  (package
   (name "p153")
   (foo x)
   (bar y)
   (baz z)))

(define-public r154
  (package
   (name "p154")
   (foo x)
   (bar y)
   (baz z)))

(define-public r155
  (package
   (name "p155")
   (foo x)
   (bar y)
   (baz z)))

(define-public r156
  (package
   (name "p156")
   (foo x)
   (bar y)
   (baz z)))

(define-public r157
  (package
   (name "p157")
   (foo x)
   (bar y)
   (baz z)))

(define-public r158
  (package
   (name "p158")
   (foo x)
   (bar y)
   (baz z)))

(define-public r159
  (package
   (name "p159")
   (foo x)
   (bar y)
   (baz z)))

(define-public r160
  (package
   (name "p160")
   (foo x)
   (bar y)
   (baz z)))

(define-public r161
  (package
   (name "p161")
   (foo x)
   (bar y)
   (baz z)))

(define-public r162
  (package
   (name "p162")
   (foo x)
   (bar y)
   (baz z)))

(define-public r163
  (package
   (name "p163")
   (foo x)
   (bar y)
   (baz z)))

(define-public r164
  (package
   (name "p164")
   (foo x)
   (bar y)
   (baz z)))

(define-public r165
  (package
   (name "p165")
   (foo x)
   (bar y)
   (baz z)))

(define-public r166
  (package
   (name "p166")
   (foo x)
   (bar y)
   (baz z)))

(define-public r167
  (package
   (name "p167")
   (foo x)
   (bar y)
   (baz z)))

(define-public r168
  (package
   (name "p168")
   (foo x)
   (bar y)
   (baz z)))

(define-public r169
  (package
   (name "p169")
   (foo x)
   (bar y)
   (baz z)))

(define-public r170
  (package
   (name "p170")
   (foo x)
   (bar y)
   (baz z)))

(define-public r171
  (package
   (name "p171")
   (foo x)
   (bar y)
   (baz z)))

(define-public r172
  (package
   (name "p172")
   (foo x)
   (bar y)
   (baz z)))

(define-public r173
  (package
   (name "p173")
   (foo x)
   (bar y)
   (baz z)))

(define-public r174
  (package
   (name "p174")
   (foo x)
   (bar y)
   (baz z)))

(define-public r175
  (package
   (name "p175")
   (foo x)
   (bar y)
   (baz z)))

(define-public r176
  (package
   (name "p176")
   (foo x)
   (bar y)
   (baz z)))

(define-public r177
  (package
   (name "p177")
   (foo x)
   (bar y)
   (baz z)))

(define-public r178
  (package
   (name "p178")
   (foo x)
   (bar y)
   (baz z)))

(define-public r179
  (package
   (name "p179")
   (foo x)
   (bar y)
   (baz z)))

(define-public r180
  (package
   (name "p180")
   (foo x)
   (bar y)
   (baz z)))

(define-public r181
  (package
   (name "p181")
   (foo x)
   (bar y)
   (baz z)))

(define-public r182
  (package
   (name "p182")
   (foo x)
   (bar y)
   (baz z)))

(define-public r183
  (package
   (name "p183")
   (foo x)
   (bar y)
   (baz z)))

(define-public r184
  (package
   (name "p184")
   (foo x)
   (bar y)
   (baz z)))

(define-public r185
  (package
   (name "p185")
   (foo x)
   (bar y)
   (baz z)))

(define-public r186
  (package
   (name "p186")
   (foo x)
   (bar y)
   (baz z)))

(define-public r187
  (package
   (name "p187")
   (foo x)
   (bar y)
   (baz z)))

(define-public r188
  (package
   (name "p188")
   (foo x)
   (bar y)
   (baz z)))

(define-public r189
  (package
   (name "p189")
   (foo x)
   (bar y)
   (baz z)))

(define-public r190
  (package
   (name "p190")
   (foo x)
   (bar y)
   (baz z)))

(define-public r191
  (package
   (name "p191")
   (foo x)
   (bar y)
   (baz z)))

(define-public r192
  (package
   (name "p192")
   (foo x)
   (bar y)
   (baz z)))

(define-public r193
  (package
   (name "p193")
   (foo x)
   (bar y)
   (baz z)))

(define-public r194
  (package
   (name "p194")
   (foo x)
   (bar y)
   (baz z)))

(define-public r195
  (package
   (name "p195")
   (foo x)
   (bar y)
   (baz z)))

(define-public r196
  (package
   (name "p196")
   (foo x)
   (bar y)
   (baz z)))

(define-public r197
  (package
   (name "p197")
   (foo x)
   (bar y)
   (baz z)))

(define-public r198
  (package
   (name "p198")
   (foo x)
   (bar y)
   (baz z)))

(define-public r199
  (package
   (name "p199")
   (foo x)
   (bar y)
   (baz z)))

(define-public r200
  (package
   (name "p200")
   (foo x)
   (bar y)
   (baz z)))

(define-public r201
  (package
   (name "p201")
   (foo x)
   (bar y)
   (baz z)))

(define-public r202
  (package
   (name "p202")
   (foo x)
   (bar y)
   (baz z)))

(define-public r203
  (package
   (name "p203")
   (foo x)
   (bar y)
   (baz z)))

(define-public r204
  (package
   (name "p204")
   (foo x)
   (bar y)
   (baz z)))

(define-public r205
  (package
   (name "p205")
   (foo x)
   (bar y)
   (baz z)))

(define-public r206
  (package
   (name "p206")
   (foo x)
   (bar y)
   (baz z)))

(define-public r207
  (package
   (name "p207")
   (foo x)
   (bar y)
   (baz z)))

(define-public r208
  (package
   (name "p208")
   (foo x)
   (bar y)
   (baz z)))

(define-public r209
  (package
   (name "p209")
   (foo x)
   (bar y)
   (baz z)))

(define-public r210
  (package
   (name "p210")
   (foo x)
   (bar y)
   (baz z)))

(define-public r211
  (package
   (name "p211")
   (foo x)
   (bar y)
   (baz z)))

(define-public r212
  (package
   (name "p212")
   (foo x)
   (bar y)
   (baz z)))

(define-public r213
  (package
   (name "p213")
   (foo x)
   (bar y)
   (baz z)))

(define-public r214
  (package
   (name "p214")
   (foo x)
   (bar y)
   (baz z)))

(define-public r215
  (package
   (name "p215")
   (foo x)
   (bar y)
   (baz z)))

(define-public r216
  (package
   (name "p216")
   (foo x)
   (bar y)
   (baz z)))

(define-public r217
  (package
   (name "p217")
   (foo x)
   (bar y)
   (baz z)))

(define-public r218
  (package
   (name "p218")
   (foo x)
   (bar y)
   (baz z)))

(define-public r219
  (package
   (name "p219")
   (foo x)
   (bar y)
   (baz z)))

(define-public r220
  (package
   (name "p220")
   (foo x)
   (bar y)
   (baz z)))

(define-public r221
  (package
   (name "p221")
   (foo x)
   (bar y)
   (baz z)))

(define-public r222
  (package
   (name "p222")
   (foo x)
   (bar y)
   (baz z)))

(define-public r223
  (package
   (name "p223")
   (foo x)
   (bar y)
   (baz z)))

(define-public r224
  (package
   (name "p224")
   (foo x)
   (bar y)
   (baz z)))

(define-public r225
  (package
   (name "p225")
   (foo x)
   (bar y)
   (baz z)))

(define-public r226
  (package
   (name "p226")
   (foo x)
   (bar y)
   (baz z)))

(define-public r227
  (package
   (name "p227")
   (foo x)
   (bar y)
   (baz z)))

(define-public r228
  (package
   (name "p228")
   (foo x)
   (bar y)
   (baz z)))

(define-public r229
  (package
   (name "p229")
   (foo x)
   (bar y)
   (baz z)))

(define-public r230
  (package
   (name "p230")
   (foo x)
   (bar y)
   (baz z)))

(define-public r231
  (package
   (name "p231")
   (foo x)
   (bar y)
   (baz z)))

(define-public r232
  (package
   (name "p232")
   (foo x)
   (bar y)
   (baz z)))

(define-public r233
  (package
   (name "p233")
   (foo x)
   (bar y)
   (baz z)))

(define-public r234
  (package
   (name "p234")
   (foo x)
   (bar y)
   (baz z)))

(define-public r235
  (package
   (name "p235")
   (foo x)
   (bar y)
   (baz z)))

(define-public r236
  (package
   (name "p236")
   (foo x)
   (bar y)
   (baz z)))

(define-public r237
  (package
   (name "p237")
   (foo x)
   (bar y)
   (baz z)))

(define-public r238
  (package
   (name "p238")
   (foo x)
   (bar y)
   (baz z)))

(define-public r239
  (package
   (name "p239")
   (foo x)
   (bar y)
   (baz z)))

(define-public r240
  (package
   (name "p240")
   (foo x)
   (bar y)
   (baz z)))

(define-public r241
  (package
   (name "p241")
   (foo x)
   (bar y)
   (baz z)))

(define-public r242
  (package
   (name "p242")
   (foo x)
   (bar y)
   (baz z)))

(define-public r243
  (package
   (name "p243")
   (foo x)
   (bar y)
   (baz z)))

(define-public r244
  (package
   (name "p244")
   (foo x)
   (bar y)
   (baz z)))

(define-public r245
  (package
   (name "p245")
   (foo x)
   (bar y)
   (baz z)))

(define-public r246
  (package
   (name "p246")
   (foo x)
   (bar y)
   (baz z)))

(define-public r247
  (package
   (name "p247")
   (foo x)
   (bar y)
   (baz z)))

(define-public r248
  (package
   (name "p248")
   (foo x)
   (bar y)
   (baz z)))

(define-public r249
  (package
   (name "p249")
   (foo x)
   (bar y)
   (baz z)))

(define-public r250
  (package
   (name "p250")
   (foo x)
   (bar y)
   (baz z)))

(define-public r251
  (package
   (name "p251")
   (foo x)
   (bar y)
   (baz z)))

(define-public r252
  (package
   (name "p252")
   (foo x)
   (bar y)
   (baz z)))

(define-public r253
  (package
   (name "p253")
   (foo x)
   (bar y)
   (baz z)))

(define-public r254
  (package
   (name "p254")
   (foo x)
   (bar y)
   (baz z)))

(define-public r255
  (package
   (name "p255")
   (foo x)
   (bar y)
   (baz z)))