## inputs 32
## outputs 1
## latches 62
## initial 00000000000000000000000000000000000000000000000000000000000000
#
#



.model MultiplierB_32

.inputs 1 3 4 5 6 7 8 9 10 11 
.inputs 12 13 14 15 16 17 18 19 20 21 
.inputs 22 23 24 25 26 27 28 29 30 31 
.inputs 32 33 

.outputs 98 
.latch 97 34  0
.latch 99 2  0
.latch 100 36  0
.latch 101 37  0
.latch 102 38  0
.latch 103 39  0
.latch 104 40  0
.latch 105 41  0
.latch 106 42  0
.latch 107 43  0
.latch 108 44  0
.latch 109 45  0
.latch 110 46  0
.latch 111 47  0
.latch 112 48  0
.latch 113 49  0
.latch 114 50  0
.latch 115 51  0
.latch 116 52  0
.latch 117 53  0
.latch 118 54  0
.latch 119 55  0
.latch 120 56  0
.latch 121 57  0
.latch 122 58  0
.latch 123 59  0
.latch 124 60  0
.latch 125 61  0
.latch 126 62  0
.latch 127 63  0
.latch 128 64  0
.latch 129 65  0
.latch 130 66  0
.latch 131 67  0
.latch 132 68  0
.latch 133 69  0
.latch 134 70  0
.latch 135 71  0
.latch 136 72  0
.latch 137 73  0
.latch 138 74  0
.latch 139 75  0
.latch 140 76  0
.latch 141 77  0
.latch 142 78  0
.latch 143 79  0
.latch 144 80  0
.latch 145 81  0
.latch 146 82  0
.latch 147 83  0
.latch 148 84  0
.latch 149 85  0
.latch 150 86  0
.latch 151 87  0
.latch 152 88  0
.latch 153 89  0
.latch 154 90  0
.latch 155 91  0
.latch 156 92  0
.latch 157 93  0
.latch 158 94  0
.latch 159 95  0

.names 161 160
0 1

.names 1 381 161
00 1
11 1

.names 3 162
1 1

.names 4 163
1 1

.names 5 164
1 1

.names 6 165
1 1

.names 7 166
1 1

.names 8 167
1 1

.names 9 168
1 1

.names 10 169
1 1

.names 11 170
1 1

.names 12 171
1 1

.names 13 172
1 1

.names 14 173
1 1

.names 15 174
1 1

.names 16 175
1 1

.names 17 176
1 1

.names 18 177
1 1

.names 19 178
1 1

.names 20 179
1 1

.names 21 180
1 1

.names 22 181
1 1

.names 23 182
1 1

.names 24 183
1 1

.names 25 184
1 1

.names 26 185
1 1

.names 27 186
1 1

.names 28 187
1 1

.names 29 188
1 1

.names 30 189
1 1

.names 31 190
1 1

.names 32 191
1 1

.names 33 192
1 1

.names 193

.names 194

.names 195

.names 196

.names 197

.names 198

.names 199

.names 200

.names 201

.names 202

.names 203

.names 204

.names 205

.names 206

.names 207

.names 208

.names 209

.names 210

.names 211

.names 212

.names 213

.names 214

.names 215

.names 216

.names 217

.names 218

.names 219

.names 220

.names 221

.names 222

.names 223

.names 34 224
1 1

.names 225

.names 382 383 226
10 1
01 1

.names 36 382 227
11 1

.names 66 382 228
11 1

.names 66 36 229
11 1

.names 229 384 230
1- 1
-1 1

.names 385 386 231
10 1
01 1

.names 37 385 232
11 1

.names 67 385 233
11 1

.names 67 37 234
11 1

.names 234 387 235
1- 1
-1 1

.names 388 389 236
10 1
01 1

.names 38 388 237
11 1

.names 68 388 238
11 1

.names 68 38 239
11 1

.names 239 390 240
1- 1
-1 1

.names 391 392 241
10 1
01 1

.names 39 391 242
11 1

.names 69 391 243
11 1

.names 69 39 244
11 1

.names 244 393 245
1- 1
-1 1

.names 394 395 246
10 1
01 1

.names 40 394 247
11 1

.names 70 394 248
11 1

.names 70 40 249
11 1

.names 249 396 250
1- 1
-1 1

.names 397 398 251
10 1
01 1

.names 41 397 252
11 1

.names 71 397 253
11 1

.names 71 41 254
11 1

.names 254 399 255
1- 1
-1 1

.names 400 401 256
10 1
01 1

.names 42 400 257
11 1

.names 72 400 258
11 1

.names 72 42 259
11 1

.names 259 402 260
1- 1
-1 1

.names 403 404 261
10 1
01 1

.names 43 403 262
11 1

.names 73 403 263
11 1

.names 73 43 264
11 1

.names 264 405 265
1- 1
-1 1

.names 406 407 266
10 1
01 1

.names 44 406 267
11 1

.names 74 406 268
11 1

.names 74 44 269
11 1

.names 269 408 270
1- 1
-1 1

.names 409 410 271
10 1
01 1

.names 45 409 272
11 1

.names 75 409 273
11 1

.names 75 45 274
11 1

.names 274 411 275
1- 1
-1 1

.names 412 413 276
10 1
01 1

.names 46 412 277
11 1

.names 76 412 278
11 1

.names 76 46 279
11 1

.names 279 414 280
1- 1
-1 1

.names 415 416 281
10 1
01 1

.names 47 415 282
11 1

.names 77 415 283
11 1

.names 77 47 284
11 1

.names 284 417 285
1- 1
-1 1

.names 418 419 286
10 1
01 1

.names 48 418 287
11 1

.names 78 418 288
11 1

.names 78 48 289
11 1

.names 289 420 290
1- 1
-1 1

.names 421 422 291
10 1
01 1

.names 49 421 292
11 1

.names 79 421 293
11 1

.names 79 49 294
11 1

.names 294 423 295
1- 1
-1 1

.names 424 425 296
10 1
01 1

.names 50 424 297
11 1

.names 80 424 298
11 1

.names 80 50 299
11 1

.names 299 426 300
1- 1
-1 1

.names 427 428 301
10 1
01 1

.names 51 427 302
11 1

.names 81 427 303
11 1

.names 81 51 304
11 1

.names 304 429 305
1- 1
-1 1

.names 430 431 306
10 1
01 1

.names 52 430 307
11 1

.names 82 430 308
11 1

.names 82 52 309
11 1

.names 309 432 310
1- 1
-1 1

.names 433 434 311
10 1
01 1

.names 53 433 312
11 1

.names 83 433 313
11 1

.names 83 53 314
11 1

.names 314 435 315
1- 1
-1 1

.names 436 437 316
10 1
01 1

.names 54 436 317
11 1

.names 84 436 318
11 1

.names 84 54 319
11 1

.names 319 438 320
1- 1
-1 1

.names 439 440 321
10 1
01 1

.names 55 439 322
11 1

.names 85 439 323
11 1

.names 85 55 324
11 1

.names 324 441 325
1- 1
-1 1

.names 442 443 326
10 1
01 1

.names 56 442 327
11 1

.names 86 442 328
11 1

.names 86 56 329
11 1

.names 329 444 330
1- 1
-1 1

.names 445 446 331
10 1
01 1

.names 57 445 332
11 1

.names 87 445 333
11 1

.names 87 57 334
11 1

.names 334 447 335
1- 1
-1 1

.names 448 449 336
10 1
01 1

.names 58 448 337
11 1

.names 88 448 338
11 1

.names 88 58 339
11 1

.names 339 450 340
1- 1
-1 1

.names 451 452 341
10 1
01 1

.names 59 451 342
11 1

.names 89 451 343
11 1

.names 89 59 344
11 1

.names 344 453 345
1- 1
-1 1

.names 454 455 346
10 1
01 1

.names 60 454 347
11 1

.names 90 454 348
11 1

.names 90 60 349
11 1

.names 349 456 350
1- 1
-1 1

.names 457 458 351
10 1
01 1

.names 61 457 352
11 1

.names 91 457 353
11 1

.names 91 61 354
11 1

.names 354 459 355
1- 1
-1 1

.names 460 461 356
10 1
01 1

.names 62 460 357
11 1

.names 92 460 358
11 1

.names 92 62 359
11 1

.names 359 462 360
1- 1
-1 1

.names 463 464 361
10 1
01 1

.names 63 463 362
11 1

.names 93 463 363
11 1

.names 93 63 364
11 1

.names 364 465 365
1- 1
-1 1

.names 466 467 366
10 1
01 1

.names 64 466 367
11 1

.names 94 466 368
11 1

.names 94 64 369
11 1

.names 369 468 370
1- 1
-1 1

.names 469 470 371
10 1
01 1

.names 65 469 372
11 1

.names 95 469 373
11 1

.names 95 65 374
11 1

.names 374 471 375
1- 1
-1 1

.names 472 473 376
10 1
01 1

.names 2 472 377
11 1

.names 96 472 378
11 1

.names 96 2 379
11 1

.names 379 474 380
1- 1
-1 1

.names 381

.names 537 538 382
-1 1
1- 1

.names 66 36 383
01 1
10 1

.names 227 228 384
-1 1
1- 1

.names 535 536 385
-1 1
1- 1

.names 67 37 386
01 1
10 1

.names 232 233 387
-1 1
1- 1

.names 533 534 388
-1 1
1- 1

.names 68 38 389
01 1
10 1

.names 237 238 390
-1 1
1- 1

.names 531 532 391
-1 1
1- 1

.names 69 39 392
01 1
10 1

.names 242 243 393
-1 1
1- 1

.names 529 530 394
-1 1
1- 1

.names 70 40 395
01 1
10 1

.names 247 248 396
-1 1
1- 1

.names 527 528 397
-1 1
1- 1

.names 71 41 398
01 1
10 1

.names 252 253 399
-1 1
1- 1

.names 525 526 400
-1 1
1- 1

.names 72 42 401
01 1
10 1

.names 257 258 402
-1 1
1- 1

.names 523 524 403
-1 1
1- 1

.names 73 43 404
01 1
10 1

.names 262 263 405
-1 1
1- 1

.names 521 522 406
-1 1
1- 1

.names 74 44 407
01 1
10 1

.names 267 268 408
-1 1
1- 1

.names 519 520 409
-1 1
1- 1

.names 75 45 410
01 1
10 1

.names 272 273 411
-1 1
1- 1

.names 517 518 412
-1 1
1- 1

.names 76 46 413
01 1
10 1

.names 277 278 414
-1 1
1- 1

.names 515 516 415
-1 1
1- 1

.names 77 47 416
01 1
10 1

.names 282 283 417
-1 1
1- 1

.names 513 514 418
-1 1
1- 1

.names 78 48 419
01 1
10 1

.names 287 288 420
-1 1
1- 1

.names 511 512 421
-1 1
1- 1

.names 79 49 422
01 1
10 1

.names 292 293 423
-1 1
1- 1

.names 509 510 424
-1 1
1- 1

.names 80 50 425
01 1
10 1

.names 297 298 426
-1 1
1- 1

.names 507 508 427
-1 1
1- 1

.names 81 51 428
01 1
10 1

.names 302 303 429
-1 1
1- 1

.names 505 506 430
-1 1
1- 1

.names 82 52 431
01 1
10 1

.names 307 308 432
-1 1
1- 1

.names 503 504 433
-1 1
1- 1

.names 83 53 434
01 1
10 1

.names 312 313 435
-1 1
1- 1

.names 501 502 436
-1 1
1- 1

.names 84 54 437
01 1
10 1

.names 317 318 438
-1 1
1- 1

.names 499 500 439
-1 1
1- 1

.names 85 55 440
01 1
10 1

.names 322 323 441
-1 1
1- 1

.names 497 498 442
-1 1
1- 1

.names 86 56 443
01 1
10 1

.names 327 328 444
-1 1
1- 1

.names 495 496 445
-1 1
1- 1

.names 87 57 446
01 1
10 1

.names 332 333 447
-1 1
1- 1

.names 493 494 448
-1 1
1- 1

.names 88 58 449
01 1
10 1

.names 337 338 450
-1 1
1- 1

.names 491 492 451
-1 1
1- 1

.names 89 59 452
01 1
10 1

.names 342 343 453
-1 1
1- 1

.names 489 490 454
-1 1
1- 1

.names 90 60 455
01 1
10 1

.names 347 348 456
-1 1
1- 1

.names 487 488 457
-1 1
1- 1

.names 91 61 458
01 1
10 1

.names 352 353 459
-1 1
1- 1

.names 485 486 460
-1 1
1- 1

.names 92 62 461
01 1
10 1

.names 357 358 462
-1 1
1- 1

.names 483 484 463
-1 1
1- 1

.names 93 63 464
01 1
10 1

.names 362 363 465
-1 1
1- 1

.names 481 482 466
-1 1
1- 1

.names 94 64 467
01 1
10 1

.names 367 368 468
-1 1
1- 1

.names 479 480 469
-1 1
1- 1

.names 95 65 470
01 1
10 1

.names 372 373 471
-1 1
1- 1

.names 477 478 472
-1 1
1- 1

.names 96 2 473
01 1
10 1

.names 377 378 474
-1 1
1- 1

.names 475 476 97
-1 1
1- 1

.names 226 98
1 1

.names 231 99
1 1

.names 236 100
1 1

.names 241 101
1 1

.names 246 102
1 1

.names 251 103
1 1

.names 256 104
1 1

.names 261 105
1 1

.names 266 106
1 1

.names 271 107
1 1

.names 276 108
1 1

.names 281 109
1 1

.names 286 110
1 1

.names 291 111
1 1

.names 296 112
1 1

.names 301 113
1 1

.names 306 114
1 1

.names 311 115
1 1

.names 316 116
1 1

.names 321 117
1 1

.names 326 118
1 1

.names 331 119
1 1

.names 336 120
1 1

.names 341 121
1 1

.names 346 122
1 1

.names 351 123
1 1

.names 356 124
1 1

.names 361 125
1 1

.names 366 126
1 1

.names 371 127
1 1

.names 376 128
1 1

.names 230 129
1 1

.names 235 130
1 1

.names 240 131
1 1

.names 245 132
1 1

.names 250 133
1 1

.names 255 134
1 1

.names 260 135
1 1

.names 265 136
1 1

.names 270 137
1 1

.names 275 138
1 1

.names 280 139
1 1

.names 285 140
1 1

.names 290 141
1 1

.names 295 142
1 1

.names 300 143
1 1

.names 305 144
1 1

.names 310 145
1 1

.names 315 146
1 1

.names 320 147
1 1

.names 325 148
1 1

.names 330 149
1 1

.names 335 150
1 1

.names 340 151
1 1

.names 345 152
1 1

.names 350 153
1 1

.names 355 154
1 1

.names 360 155
1 1

.names 365 156
1 1

.names 370 157
1 1

.names 375 158
1 1

.names 380 159
1 1

.names 160 224 475
11 1

.names 161 225 476
11 1

.names 160 192 477
11 1

.names 161 223 478
11 1

.names 160 191 479
11 1

.names 161 222 480
11 1

.names 160 190 481
11 1

.names 161 221 482
11 1

.names 160 189 483
11 1

.names 161 220 484
11 1

.names 160 188 485
11 1

.names 161 219 486
11 1

.names 160 187 487
11 1

.names 161 218 488
11 1

.names 160 186 489
11 1

.names 161 217 490
11 1

.names 160 185 491
11 1

.names 161 216 492
11 1

.names 160 184 493
11 1

.names 161 215 494
11 1

.names 160 183 495
11 1

.names 161 214 496
11 1

.names 160 182 497
11 1

.names 161 213 498
11 1

.names 160 181 499
11 1

.names 161 212 500
11 1

.names 160 180 501
11 1

.names 161 211 502
11 1

.names 160 179 503
11 1

.names 161 210 504
11 1

.names 160 178 505
11 1

.names 161 209 506
11 1

.names 160 177 507
11 1

.names 161 208 508
11 1

.names 160 176 509
11 1

.names 161 207 510
11 1

.names 160 175 511
11 1

.names 161 206 512
11 1

.names 160 174 513
11 1

.names 161 205 514
11 1

.names 160 173 515
11 1

.names 161 204 516
11 1

.names 160 172 517
11 1

.names 161 203 518
11 1

.names 160 171 519
11 1

.names 161 202 520
11 1

.names 160 170 521
11 1

.names 161 201 522
11 1

.names 160 169 523
11 1

.names 161 200 524
11 1

.names 160 168 525
11 1

.names 161 199 526
11 1

.names 160 167 527
11 1

.names 161 198 528
11 1

.names 160 166 529
11 1

.names 161 197 530
11 1

.names 160 165 531
11 1

.names 161 196 532
11 1

.names 160 164 533
11 1

.names 161 195 534
11 1

.names 160 163 535
11 1

.names 161 194 536
11 1

.names 160 162 537
11 1

.names 161 193 538
11 1

.end