Copy # Format: +/- pc opcode [offset, length] function mapped_code
# +/- : covered/uncovered opcode
# pc : program counter
# opcode : the opcode
# [offset, length] : source mapping based on source code in byte format, can be N/A if opcode does not map to any portion of the source code
# function : the function where the opcode belongs, can be N/A if opcode maps to an entire function or contract
# mapped_code : source code the opcode maps to, can be N/A if opcode maps to an entire function or contract
+ 0 PUSH1 [865, 4895] N/A N/A
+ 2 PUSH1 [865, 4895] N/A N/A
+ 4 MSTORE [865, 4895] N/A N/A
+ 5 CALLDATASIZE [865, 4895] N/A N/A
+ 6 ISZERO [865, 4895] N/A N/A
+ 7 PUSH2 [865, 4895] N/A N/A
+ 10 JUMPI [865, 4895] N/A N/A
+ 11 PUSH1 [865, 4895] N/A N/A
+ 13 CALLDATALOAD [865, 4895] N/A N/A
+ 14 PUSH29 [865, 4895] N/A N/A
+ 44 SWAP1 [865, 4895] N/A N/A
+ 45 DIV [865, 4895] N/A N/A
+ 46 PUSH4 [865, 4895] N/A N/A
+ 51 AND [865, 4895] N/A N/A
+ 52 DUP1 [865, 4895] N/A N/A
+ 53 PUSH4 [865, 4895] N/A N/A
+ 58 EQ [865, 4895] N/A N/A
+ 59 PUSH2 [865, 4895] N/A N/A
+ 62 JUMPI [865, 4895] N/A N/A
+ 63 DUP1 [865, 4895] N/A N/A
+ 64 PUSH4 [865, 4895] N/A N/A
+ 69 EQ [865, 4895] N/A N/A
+ 70 PUSH2 [865, 4895] N/A N/A
+ 73 JUMPI [865, 4895] N/A N/A
+ 74 DUP1 [865, 4895] N/A N/A
+ 75 PUSH4 [865, 4895] N/A N/A
+ 80 EQ [865, 4895] N/A N/A
+ 81 PUSH2 [865, 4895] N/A N/A
+ 84 JUMPI [865, 4895] N/A N/A
+ 85 DUP1 [865, 4895] N/A N/A
+ 86 PUSH4 [865, 4895] N/A N/A
+ 91 EQ [865, 4895] N/A N/A
+ 92 PUSH2 [865, 4895] N/A N/A
+ 95 JUMPI [865, 4895] N/A N/A
+ 96 DUP1 [865, 4895] N/A N/A
+ 97 PUSH4 [865, 4895] N/A N/A
+ 102 EQ [865, 4895] N/A N/A
+ 103 PUSH2 [865, 4895] N/A N/A
+ 106 JUMPI [865, 4895] N/A N/A
+ 107 DUP1 [865, 4895] N/A N/A
+ 108 PUSH4 [865, 4895] N/A N/A
+ 113 EQ [865, 4895] N/A N/A
+ 114 PUSH2 [865, 4895] N/A N/A
+ 117 JUMPI [865, 4895] N/A N/A
+ 118 DUP1 [865, 4895] N/A N/A
+ 119 PUSH4 [865, 4895] N/A N/A
+ 124 EQ [865, 4895] N/A N/A
+ 125 PUSH2 [865, 4895] N/A N/A
+ 128 JUMPI [865, 4895] N/A N/A
+ 129 DUP1 [865, 4895] N/A N/A
+ 130 PUSH4 [865, 4895] N/A N/A
+ 135 EQ [865, 4895] N/A N/A
+ 136 PUSH2 [865, 4895] N/A N/A
+ 139 JUMPI [865, 4895] N/A N/A
+ 140 DUP1 [865, 4895] N/A N/A
+ 141 PUSH4 [865, 4895] N/A N/A
+ 146 EQ [865, 4895] N/A N/A
+ 147 PUSH2 [865, 4895] N/A N/A
+ 150 JUMPI [865, 4895] N/A N/A
+ 151 DUP1 [865, 4895] N/A N/A
+ 152 PUSH4 [865, 4895] N/A N/A
+ 157 EQ [865, 4895] N/A N/A
+ 158 PUSH2 [865, 4895] N/A N/A
+ 161 JUMPI [865, 4895] N/A N/A
+ 162 DUP1 [865, 4895] N/A N/A
+ 163 PUSH4 [865, 4895] N/A N/A
+ 168 EQ [865, 4895] N/A N/A
+ 169 PUSH2 [865, 4895] N/A N/A
+ 172 JUMPI [865, 4895] N/A N/A
+ 173 DUP1 [865, 4895] N/A N/A
+ 174 PUSH4 [865, 4895] N/A N/A
+ 179 EQ [865, 4895] N/A N/A
+ 180 PUSH2 [865, 4895] N/A N/A
+ 183 JUMPI [865, 4895] N/A N/A
+ 184 DUP1 [865, 4895] N/A N/A
+ 185 PUSH4 [865, 4895] N/A N/A
+ 190 EQ [865, 4895] N/A N/A
+ 191 PUSH2 [865, 4895] N/A N/A
+ 194 JUMPI [865, 4895] N/A N/A
+ 195 DUP1 [865, 4895] N/A N/A
+ 196 PUSH4 [865, 4895] N/A N/A
+ 201 EQ [865, 4895] N/A N/A
+ 202 PUSH2 [865, 4895] N/A N/A
+ 205 JUMPI [865, 4895] N/A N/A
+ 206 DUP1 [865, 4895] N/A N/A
+ 207 PUSH4 [865, 4895] N/A N/A
+ 212 EQ [865, 4895] N/A N/A
+ 213 PUSH2 [865, 4895] N/A N/A
+ 216 JUMPI [865, 4895] N/A N/A
+ 217 JUMPDEST [865, 4895] N/A N/A
+ 218 JUMPDEST [5723, 34] <fallback() returns()> "function() public payable {"
+ 219 JUMPDEST [5723, 34] <fallback() returns()> "function() public payable {"
+ 220 STOP [865, 4895] <fallback() returns()> "contract Bbay is SafeMath {"
+ 221 JUMPDEST [898, 18] N/A N/A
+ 222 CALLVALUE [898, 18] N/A N/A
+ 223 ISZERO [898, 18] N/A N/A
+ 224 PUSH2 [898, 18] N/A N/A
+ 227 JUMPI [898, 18] N/A N/A
- 228 PUSH1 [898, 18] N/A N/A
- 230 DUP1 [898, 18] N/A N/A
- 231 REVERT [898, 18] N/A N/A
+ 232 JUMPDEST [898, 18] N/A N/A
+ 233 PUSH2 [898, 18] N/A N/A
+ 236 PUSH2 [898, 18] N/A N/A
+ 239 JUMP [898, 18] N/A N/A
+ 240 JUMPDEST [898, 18] N/A N/A
+ 241 PUSH1 [898, 18] N/A N/A
+ 243 MLOAD [898, 18] N/A N/A
+ 244 DUP1 [898, 18] N/A N/A
+ 245 DUP1 [898, 18] N/A N/A
+ 246 PUSH1 [898, 18] N/A N/A
+ 248 ADD [898, 18] N/A N/A
+ 249 DUP3 [898, 18] N/A N/A
+ 250 DUP2 [898, 18] N/A N/A
+ 251 SUB [898, 18] N/A N/A
+ 252 DUP3 [898, 18] N/A N/A
+ 253 MSTORE [898, 18] N/A N/A
+ 254 DUP4 [898, 18] N/A N/A
+ 255 DUP2 [898, 18] N/A N/A
+ 256 DUP2 [898, 18] N/A N/A
+ 257 MLOAD [898, 18] N/A N/A
+ 258 DUP2 [898, 18] N/A N/A
+ 259 MSTORE [898, 18] N/A N/A
+ 260 PUSH1 [898, 18] N/A N/A
+ 262 ADD [898, 18] N/A N/A
+ 263 SWAP2 [898, 18] N/A N/A
+ 264 POP [898, 18] N/A N/A
+ 265 DUP1 [898, 18] N/A N/A
+ 266 MLOAD [898, 18] N/A N/A
+ 267 SWAP1 [898, 18] N/A N/A
+ 268 PUSH1 [898, 18] N/A N/A
+ 270 ADD [898, 18] N/A N/A
+ 271 SWAP1 [898, 18] N/A N/A
+ 272 DUP1 [898, 18] N/A N/A
+ 273 DUP4 [898, 18] N/A N/A
+ 274 DUP4 [898, 18] N/A N/A
+ 275 PUSH1 [23, 1] N/A N/A
+ 277 JUMPDEST [8, 100] N/A N/A
+ 278 DUP4 [33, 3] N/A N/A
+ 279 DUP2 [30, 1] N/A N/A
+ 280 LT [27, 2] N/A N/A
+ 281 ISZERO [8, 100] N/A N/A
+ 282 PUSH2 [8, 100] N/A N/A
+ 285 JUMPI [8, 100] N/A N/A
+ 286 DUP1 [99, 1] N/A N/A
+ 287 DUP3 [94, 3] N/A N/A
+ 288 ADD [90, 3] N/A N/A
+ 289 MLOAD [84, 5] N/A N/A
+ 290 DUP2 [80, 1] N/A N/A
+ 291 DUP5 [75, 3] N/A N/A
+ 292 ADD [71, 3] N/A N/A
+ 293 MSTORE [64, 6] N/A N/A
+ 294 JUMPDEST [8, 100] N/A N/A
+ 295 PUSH1 [52, 2] N/A N/A
+ 297 DUP2 [49, 1] N/A N/A
+ 298 ADD [45, 3] N/A N/A
+ 299 SWAP1 [40, 15] N/A N/A
+ 300 POP [40, 15] N/A N/A
+ 301 PUSH2 [8, 100] N/A N/A
+ 304 JUMP [8, 100] N/A N/A
+ 305 JUMPDEST [8, 100] N/A N/A
+ 306 POP [12, 14] N/A N/A
+ 307 POP [3, 109] N/A N/A
+ 308 POP [3, 109] N/A N/A
+ 309 POP [3, 109] N/A N/A
+ 310 SWAP1 [3, 109] N/A N/A
+ 311 POP [3, 109] N/A N/A
+ 312 SWAP1 [3, 109] N/A N/A
+ 313 DUP2 [3, 109] N/A N/A
+ 314 ADD [3, 109] N/A N/A
+ 315 SWAP1 [3, 109] N/A N/A
+ 316 PUSH1 [3, 109] N/A N/A
+ 318 AND [3, 109] N/A N/A
+ 319 DUP1 [3, 109] N/A N/A
+ 320 ISZERO [3, 109] N/A N/A
+ 321 PUSH2 [3, 109] N/A N/A
+ 324 JUMPI [3, 109] N/A N/A
+ 325 DUP1 [3, 109] N/A N/A
+ 326 DUP3 [3, 109] N/A N/A
+ 327 SUB [3, 109] N/A N/A
+ 328 DUP1 [3, 109] N/A N/A
+ 329 MLOAD [3, 109] N/A N/A
+ 330 PUSH1 [3, 109] N/A N/A
+ 332 DUP4 [3, 109] N/A N/A
+ 333 PUSH1 [3, 109] N/A N/A
+ 335 SUB [3, 109] N/A N/A
+ 336 PUSH2 [3, 109] N/A N/A
+ 339 EXP [3, 109] N/A N/A
+ 340 SUB [3, 109] N/A N/A
+ 341 NOT [3, 109] N/A N/A
+ 342 AND [3, 109] N/A N/A
+ 343 DUP2 [3, 109] N/A N/A
+ 344 MSTORE [3, 109] N/A N/A
+ 345 PUSH1 [3, 109] N/A N/A
+ 347 ADD [3, 109] N/A N/A
+ 348 SWAP2 [3, 109] N/A N/A
+ 349 POP [3, 109] N/A N/A
+ 350 JUMPDEST [3, 109] N/A N/A
+ 351 POP [3, 109] N/A N/A
+ 352 SWAP3 [3, 109] N/A N/A
+ 353 POP [3, 109] N/A N/A
+ 354 POP [3, 109] N/A N/A
+ 355 POP [3, 109] N/A N/A
+ 356 PUSH1 [3, 109] N/A N/A
+ 358 MLOAD [3, 109] N/A N/A
+ 359 DUP1 [3, 109] N/A N/A
+ 360 SWAP2 [3, 109] N/A N/A
+ 361 SUB [3, 109] N/A N/A
+ 362 SWAP1 [3, 109] N/A N/A
+ 363 RETURN [3, 109] N/A N/A
+ 364 JUMPDEST [3151, 197] N/A N/A
+ 365 CALLVALUE [3151, 197] N/A N/A
+ 366 ISZERO [3151, 197] N/A N/A
+ 367 PUSH2 [3151, 197] N/A N/A
+ 370 JUMPI [3151, 197] N/A N/A
- 371 PUSH1 [3151, 197] N/A N/A
- 373 DUP1 [3151, 197] N/A N/A
- 374 REVERT [3151, 197] N/A N/A
+ 375 JUMPDEST [3151, 197] N/A N/A
+ 376 PUSH2 [3151, 197] N/A N/A
+ 379 PUSH1 [3151, 197] N/A N/A
+ 381 DUP1 [3151, 197] N/A N/A
+ 382 DUP1 [3151, 197] N/A N/A
+ 383 CALLDATALOAD [3151, 197] N/A N/A
+ 384 PUSH20 [3151, 197] N/A N/A
+ 405 AND [3151, 197] N/A N/A
+ 406 SWAP1 [3151, 197] N/A N/A
+ 407 PUSH1 [3151, 197] N/A N/A
+ 409 ADD [3151, 197] N/A N/A
+ 410 SWAP1 [3151, 197] N/A N/A
+ 411 SWAP2 [3151, 197] N/A N/A
+ 412 SWAP1 [3151, 197] N/A N/A
+ 413 DUP1 [3151, 197] N/A N/A
+ 414 CALLDATALOAD [3151, 197] N/A N/A
+ 415 SWAP1 [3151, 197] N/A N/A
+ 416 PUSH1 [3151, 197] N/A N/A
+ 418 ADD [3151, 197] N/A N/A
+ 419 SWAP1 [3151, 197] N/A N/A
+ 420 SWAP2 [3151, 197] N/A N/A
+ 421 SWAP1 [3151, 197] N/A N/A
+ 422 POP [3151, 197] N/A N/A
+ 423 POP [3151, 197] N/A N/A
+ 424 PUSH2 [3151, 197] N/A N/A
+ 427 JUMP [3151, 197] N/A N/A
+ 428 JUMPDEST [3151, 197] N/A N/A
+ 429 PUSH1 [3151, 197] N/A N/A
+ 431 MLOAD [3151, 197] N/A N/A
+ 432 DUP1 [3151, 197] N/A N/A
+ 433 DUP3 [3151, 197] N/A N/A
+ 434 ISZERO [3151, 197] N/A N/A
+ 435 ISZERO [3151, 197] N/A N/A
+ 436 ISZERO [3151, 197] N/A N/A
+ 437 ISZERO [3151, 197] N/A N/A
+ 438 DUP2 [3151, 197] N/A N/A
+ 439 MSTORE [3151, 197] N/A N/A
+ 440 PUSH1 [3151, 197] N/A N/A
+ 442 ADD [3151, 197] N/A N/A
+ 443 SWAP2 [3151, 197] N/A N/A
+ 444 POP [3151, 197] N/A N/A
+ 445 POP [3151, 197] N/A N/A
+ 446 PUSH1 [3151, 197] N/A N/A
+ 448 MLOAD [3151, 197] N/A N/A
+ 449 DUP1 [3151, 197] N/A N/A
+ 450 SWAP2 [3151, 197] N/A N/A
+ 451 SUB [3151, 197] N/A N/A
+ 452 SWAP1 [3151, 197] N/A N/A
+ 453 RETURN [3151, 197] N/A N/A
+ 454 JUMPDEST [983, 26] N/A N/A
+ 455 CALLVALUE [983, 26] N/A N/A
+ 456 ISZERO [983, 26] N/A N/A
+ 457 PUSH2 [983, 26] N/A N/A
+ 460 JUMPI [983, 26] N/A N/A
- 461 PUSH1 [983, 26] N/A N/A
- 463 DUP1 [983, 26] N/A N/A
- 464 REVERT [983, 26] N/A N/A
+ 465 JUMPDEST [983, 26] N/A N/A
+ 466 PUSH2 [983, 26] N/A N/A
+ 469 PUSH2 [983, 26] N/A N/A
+ 472 JUMP [983, 26] N/A N/A
+ 473 JUMPDEST [983, 26] N/A N/A
+ 474 PUSH1 [983, 26] N/A N/A
+ 476 MLOAD [983, 26] N/A N/A
+ 477 DUP1 [983, 26] N/A N/A
+ 478 DUP3 [983, 26] N/A N/A
+ 479 DUP2 [983, 26] N/A N/A
+ 480 MSTORE [983, 26] N/A N/A
+ 481 PUSH1 [983, 26] N/A N/A
+ 483 ADD [983, 26] N/A N/A
+ 484 SWAP2 [983, 26] N/A N/A
+ 485 POP [983, 26] N/A N/A
+ 486 POP [983, 26] N/A N/A
+ 487 PUSH1 [983, 26] N/A N/A
+ 489 MLOAD [983, 26] N/A N/A
+ 490 DUP1 [983, 26] N/A N/A
+ 491 SWAP2 [983, 26] N/A N/A
+ 492 SUB [983, 26] N/A N/A
+ 493 SWAP1 [983, 26] N/A N/A
+ 494 RETURN [983, 26] N/A N/A
+ 495 JUMPDEST [3406, 740] N/A N/A
+ 496 CALLVALUE [3406, 740] N/A N/A
+ 497 ISZERO [3406, 740] N/A N/A
+ 498 PUSH2 [3406, 740] N/A N/A
+ 501 JUMPI [3406, 740] N/A N/A
- 502 PUSH1 [3406, 740] N/A N/A
- 504 DUP1 [3406, 740] N/A N/A
- 505 REVERT [3406, 740] N/A N/A
+ 506 JUMPDEST [3406, 740] N/A N/A
+ 507 PUSH2 [3406, 740] N/A N/A
+ 510 PUSH1 [3406, 740] N/A N/A
+ 512 DUP1 [3406, 740] N/A N/A
+ 513 DUP1 [3406, 740] N/A N/A
+ 514 CALLDATALOAD [3406, 740] N/A N/A
+ 515 PUSH20 [3406, 740] N/A N/A
+ 536 AND [3406, 740] N/A N/A
+ 537 SWAP1 [3406, 740] N/A N/A
+ 538 PUSH1 [3406, 740] N/A N/A
+ 540 ADD [3406, 740] N/A N/A
+ 541 SWAP1 [3406, 740] N/A N/A
+ 542 SWAP2 [3406, 740] N/A N/A
+ 543 SWAP1 [3406, 740] N/A N/A
+ 544 DUP1 [3406, 740] N/A N/A
+ 545 CALLDATALOAD [3406, 740] N/A N/A
+ 546 PUSH20 [3406, 740] N/A N/A
+ 567 AND [3406, 740] N/A N/A
+ 568 SWAP1 [3406, 740] N/A N/A
+ 569 PUSH1 [3406, 740] N/A N/A
+ 571 ADD [3406, 740] N/A N/A
+ 572 SWAP1 [3406, 740] N/A N/A
+ 573 SWAP2 [3406, 740] N/A N/A
+ 574 SWAP1 [3406, 740] N/A N/A
+ 575 DUP1 [3406, 740] N/A N/A
+ 576 CALLDATALOAD [3406, 740] N/A N/A
+ 577 SWAP1 [3406, 740] N/A N/A
+ 578 PUSH1 [3406, 740] N/A N/A
+ 580 ADD [3406, 740] N/A N/A
+ 581 SWAP1 [3406, 740] N/A N/A
+ 582 SWAP2 [3406, 740] N/A N/A
+ 583 SWAP1 [3406, 740] N/A N/A
+ 584 POP [3406, 740] N/A N/A
+ 585 POP [3406, 740] N/A N/A
+ 586 PUSH2 [3406, 740] N/A N/A
+ 589 JUMP [3406, 740] N/A N/A
+ 590 JUMPDEST [3406, 740] N/A N/A
+ 591 PUSH1 [3406, 740] N/A N/A
+ 593 MLOAD [3406, 740] N/A N/A
+ 594 DUP1 [3406, 740] N/A N/A
+ 595 DUP3 [3406, 740] N/A N/A
+ 596 ISZERO [3406, 740] N/A N/A
+ 597 ISZERO [3406, 740] N/A N/A
+ 598 ISZERO [3406, 740] N/A N/A
+ 599 ISZERO [3406, 740] N/A N/A
+ 600 DUP2 [3406, 740] N/A N/A
+ 601 MSTORE [3406, 740] N/A N/A
+ 602 PUSH1 [3406, 740] N/A N/A
+ 604 ADD [3406, 740] N/A N/A
+ 605 SWAP2 [3406, 740] N/A N/A
+ 606 POP [3406, 740] N/A N/A
+ 607 POP [3406, 740] N/A N/A
+ 608 PUSH1 [3406, 740] N/A N/A
+ 610 MLOAD [3406, 740] N/A N/A
+ 611 DUP1 [3406, 740] N/A N/A
+ 612 SWAP2 [3406, 740] N/A N/A
+ 613 SUB [3406, 740] N/A N/A
+ 614 SWAP1 [3406, 740] N/A N/A
+ 615 RETURN [3406, 740] N/A N/A
+ 616 JUMPDEST [950, 26] N/A N/A
+ 617 CALLVALUE [950, 26] N/A N/A
+ 618 ISZERO [950, 26] N/A N/A
+ 619 PUSH2 [950, 26] N/A N/A
+ 622 JUMPI [950, 26] N/A N/A
- 623 PUSH1 [950, 26] N/A N/A
- 625 DUP1 [950, 26] N/A N/A
- 626 REVERT [950, 26] N/A N/A
+ 627 JUMPDEST [950, 26] N/A N/A
+ 628 PUSH2 [950, 26] N/A N/A
+ 631 PUSH2 [950, 26] N/A N/A
+ 634 JUMP [950, 26] N/A N/A
+ 635 JUMPDEST [950, 26] N/A N/A
+ 636 PUSH1 [950, 26] N/A N/A
+ 638 MLOAD [950, 26] N/A N/A
+ 639 DUP1 [950, 26] N/A N/A
+ 640 DUP3 [950, 26] N/A N/A
+ 641 PUSH1 [950, 26] N/A N/A
+ 643 AND [950, 26] N/A N/A
+ 644 PUSH1 [950, 26] N/A N/A
+ 646 AND [950, 26] N/A N/A
+ 647 DUP2 [950, 26] N/A N/A
+ 648 MSTORE [950, 26] N/A N/A
+ 649 PUSH1 [950, 26] N/A N/A
+ 651 ADD [950, 26] N/A N/A
+ 652 SWAP2 [950, 26] N/A N/A
+ 653 POP [950, 26] N/A N/A
+ 654 POP [950, 26] N/A N/A
+ 655 PUSH1 [950, 26] N/A N/A
+ 657 MLOAD [950, 26] N/A N/A
+ 658 DUP1 [950, 26] N/A N/A
+ 659 SWAP2 [950, 26] N/A N/A
+ 660 SUB [950, 26] N/A N/A
+ 661 SWAP1 [950, 26] N/A N/A
+ 662 RETURN [950, 26] N/A N/A
+ 663 JUMPDEST [5564, 126] N/A N/A
+ 664 CALLVALUE [5564, 126] N/A N/A
+ 665 ISZERO [5564, 126] N/A N/A
+ 666 PUSH2 [5564, 126] N/A N/A
+ 669 JUMPI [5564, 126] N/A N/A
- 670 PUSH1 [5564, 126] N/A N/A
- 672 DUP1 [5564, 126] N/A N/A
- 673 REVERT [5564, 126] N/A N/A
+ 674 JUMPDEST [5564, 126] N/A N/A
+ 675 PUSH2 [5564, 126] N/A N/A
+ 678 PUSH1 [5564, 126] N/A N/A
+ 680 DUP1 [5564, 126] N/A N/A
+ 681 DUP1 [5564, 126] N/A N/A
+ 682 CALLDATALOAD [5564, 126] N/A N/A
+ 683 SWAP1 [5564, 126] N/A N/A
+ 684 PUSH1 [5564, 126] N/A N/A
+ 686 ADD [5564, 126] N/A N/A
+ 687 SWAP1 [5564, 126] N/A N/A
+ 688 SWAP2 [5564, 126] N/A N/A
+ 689 SWAP1 [5564, 126] N/A N/A
+ 690 POP [5564, 126] N/A N/A
+ 691 POP [5564, 126] N/A N/A
+ 692 PUSH2 [5564, 126] N/A N/A
+ 695 JUMP [5564, 126] N/A N/A
+ 696 JUMPDEST [5564, 126] N/A N/A
+ 697 STOP [5564, 126] N/A N/A
+ 698 JUMPDEST [4154, 453] N/A N/A
+ 699 CALLVALUE [4154, 453] N/A N/A
+ 700 ISZERO [4154, 453] N/A N/A
+ 701 PUSH2 [4154, 453] N/A N/A
+ 704 JUMPI [4154, 453] N/A N/A
- 705 PUSH1 [4154, 453] N/A N/A
- 707 DUP1 [4154, 453] N/A N/A
- 708 REVERT [4154, 453] N/A N/A
+ 709 JUMPDEST [4154, 453] N/A N/A
+ 710 PUSH2 [4154, 453] N/A N/A
+ 713 PUSH1 [4154, 453] N/A N/A
+ 715 DUP1 [4154, 453] N/A N/A
+ 716 DUP1 [4154, 453] N/A N/A
+ 717 CALLDATALOAD [4154, 453] N/A N/A
+ 718 SWAP1 [4154, 453] N/A N/A
+ 719 PUSH1 [4154, 453] N/A N/A
+ 721 ADD [4154, 453] N/A N/A
+ 722 SWAP1 [4154, 453] N/A N/A
+ 723 SWAP2 [4154, 453] N/A N/A
+ 724 SWAP1 [4154, 453] N/A N/A
+ 725 POP [4154, 453] N/A N/A
+ 726 POP [4154, 453] N/A N/A
+ 727 PUSH2 [4154, 453] N/A N/A
+ 730 JUMP [4154, 453] N/A N/A
+ 731 JUMPDEST [4154, 453] N/A N/A
+ 732 PUSH1 [4154, 453] N/A N/A
+ 734 MLOAD [4154, 453] N/A N/A
+ 735 DUP1 [4154, 453] N/A N/A
+ 736 DUP3 [4154, 453] N/A N/A
+ 737 ISZERO [4154, 453] N/A N/A
+ 738 ISZERO [4154, 453] N/A N/A
+ 739 ISZERO [4154, 453] N/A N/A
+ 740 ISZERO [4154, 453] N/A N/A
+ 741 DUP2 [4154, 453] N/A N/A
+ 742 MSTORE [4154, 453] N/A N/A
+ 743 PUSH1 [4154, 453] N/A N/A
+ 745 ADD [4154, 453] N/A N/A
+ 746 SWAP2 [4154, 453] N/A N/A
+ 747 POP [4154, 453] N/A N/A
+ 748 POP [4154, 453] N/A N/A
+ 749 PUSH1 [4154, 453] N/A N/A
+ 751 MLOAD [4154, 453] N/A N/A
+ 752 DUP1 [4154, 453] N/A N/A
+ 753 SWAP2 [4154, 453] N/A N/A
+ 754 SUB [4154, 453] N/A N/A
+ 755 SWAP1 [4154, 453] N/A N/A
+ 756 RETURN [4154, 453] N/A N/A
+ 757 JUMPDEST [5098, 424] N/A N/A
+ 758 CALLVALUE [5098, 424] N/A N/A
+ 759 ISZERO [5098, 424] N/A N/A
+ 760 PUSH2 [5098, 424] N/A N/A
+ 763 JUMPI [5098, 424] N/A N/A
- 764 PUSH1 [5098, 424] N/A N/A
- 766 DUP1 [5098, 424] N/A N/A
- 767 REVERT [5098, 424] N/A N/A
+ 768 JUMPDEST [5098, 424] N/A N/A
+ 769 PUSH2 [5098, 424] N/A N/A
+ 772 PUSH1 [5098, 424] N/A N/A
+ 774 DUP1 [5098, 424] N/A N/A
+ 775 DUP1 [5098, 424] N/A N/A
+ 776 CALLDATALOAD [5098, 424] N/A N/A
+ 777 SWAP1 [5098, 424] N/A N/A
+ 778 PUSH1 [5098, 424] N/A N/A
+ 780 ADD [5098, 424] N/A N/A
+ 781 SWAP1 [5098, 424] N/A N/A
+ 782 SWAP2 [5098, 424] N/A N/A
+ 783 SWAP1 [5098, 424] N/A N/A
+ 784 POP [5098, 424] N/A N/A
+ 785 POP [5098, 424] N/A N/A
+ 786 PUSH2 [5098, 424] N/A N/A
+ 789 JUMP [5098, 424] N/A N/A
+ 790 JUMPDEST [5098, 424] N/A N/A
+ 791 PUSH1 [5098, 424] N/A N/A
+ 793 MLOAD [5098, 424] N/A N/A
+ 794 DUP1 [5098, 424] N/A N/A
+ 795 DUP3 [5098, 424] N/A N/A
+ 796 ISZERO [5098, 424] N/A N/A
+ 797 ISZERO [5098, 424] N/A N/A
+ 798 ISZERO [5098, 424] N/A N/A
+ 799 ISZERO [5098, 424] N/A N/A
+ 800 DUP2 [5098, 424] N/A N/A
+ 801 MSTORE [5098, 424] N/A N/A
+ 802 PUSH1 [5098, 424] N/A N/A
+ 804 ADD [5098, 424] N/A N/A
+ 805 SWAP2 [5098, 424] N/A N/A
+ 806 POP [5098, 424] N/A N/A
+ 807 POP [5098, 424] N/A N/A
+ 808 PUSH1 [5098, 424] N/A N/A
+ 810 MLOAD [5098, 424] N/A N/A
+ 811 DUP1 [5098, 424] N/A N/A
+ 812 SWAP2 [5098, 424] N/A N/A
+ 813 SUB [5098, 424] N/A N/A
+ 814 SWAP1 [5098, 424] N/A N/A
+ 815 RETURN [5098, 424] N/A N/A
+ 816 JUMPDEST [1096, 45] N/A N/A
+ 817 CALLVALUE [1096, 45] N/A N/A
+ 818 ISZERO [1096, 45] N/A N/A
+ 819 PUSH2 [1096, 45] N/A N/A
+ 822 JUMPI [1096, 45] N/A N/A
- 823 PUSH1 [1096, 45] N/A N/A
- 825 DUP1 [1096, 45] N/A N/A
- 826 REVERT [1096, 45] N/A N/A
+ 827 JUMPDEST [1096, 45] N/A N/A
+ 828 PUSH2 [1096, 45] N/A N/A
+ 831 PUSH1 [1096, 45] N/A N/A
+ 833 DUP1 [1096, 45] N/A N/A
+ 834 DUP1 [1096, 45] N/A N/A
+ 835 CALLDATALOAD [1096, 45] N/A N/A
+ 836 PUSH20 [1096, 45] N/A N/A
+ 857 AND [1096, 45] N/A N/A
+ 858 SWAP1 [1096, 45] N/A N/A
+ 859 PUSH1 [1096, 45] N/A N/A
+ 861 ADD [1096, 45] N/A N/A
+ 862 SWAP1 [1096, 45] N/A N/A
+ 863 SWAP2 [1096, 45] N/A N/A
+ 864 SWAP1 [1096, 45] N/A N/A
+ 865 POP [1096, 45] N/A N/A
+ 866 POP [1096, 45] N/A N/A
+ 867 PUSH2 [1096, 45] N/A N/A
+ 870 JUMP [1096, 45] N/A N/A
+ 871 JUMPDEST [1096, 45] N/A N/A
+ 872 PUSH1 [1096, 45] N/A N/A
+ 874 MLOAD [1096, 45] N/A N/A
+ 875 DUP1 [1096, 45] N/A N/A
+ 876 DUP3 [1096, 45] N/A N/A
+ 877 DUP2 [1096, 45] N/A N/A
+ 878 MSTORE [1096, 45] N/A N/A
+ 879 PUSH1 [1096, 45] N/A N/A
+ 881 ADD [1096, 45] N/A N/A
+ 882 SWAP2 [1096, 45] N/A N/A
+ 883 POP [1096, 45] N/A N/A
+ 884 POP [1096, 45] N/A N/A
+ 885 PUSH1 [1096, 45] N/A N/A
+ 887 MLOAD [1096, 45] N/A N/A
+ 888 DUP1 [1096, 45] N/A N/A
+ 889 SWAP2 [1096, 45] N/A N/A
+ 890 SUB [1096, 45] N/A N/A
+ 891 SWAP1 [1096, 45] N/A N/A
+ 892 RETURN [1096, 45] N/A N/A
+ 893 JUMPDEST [1016, 20] N/A N/A
+ 894 CALLVALUE [1016, 20] N/A N/A
+ 895 ISZERO [1016, 20] N/A N/A
+ 896 PUSH2 [1016, 20] N/A N/A
+ 899 JUMPI [1016, 20] N/A N/A
- 900 PUSH1 [1016, 20] N/A N/A
- 902 DUP1 [1016, 20] N/A N/A
- 903 REVERT [1016, 20] N/A N/A
+ 904 JUMPDEST [1016, 20] N/A N/A
+ 905 PUSH2 [1016, 20] N/A N/A
+ 908 PUSH2 [1016, 20] N/A N/A
+ 911 JUMP [1016, 20] N/A N/A
+ 912 JUMPDEST [1016, 20] N/A N/A
+ 913 PUSH1 [1016, 20] N/A N/A
+ 915 MLOAD [1016, 20] N/A N/A
+ 916 DUP1 [1016, 20] N/A N/A
+ 917 DUP3 [1016, 20] N/A N/A
+ 918 PUSH20 [1016, 20] N/A N/A
+ 939 AND [1016, 20] N/A N/A
+ 940 PUSH20 [1016, 20] N/A N/A
+ 961 AND [1016, 20] N/A N/A
+ 962 DUP2 [1016, 20] N/A N/A
+ 963 MSTORE [1016, 20] N/A N/A
+ 964 PUSH1 [1016, 20] N/A N/A
+ 966 ADD [1016, 20] N/A N/A
+ 967 SWAP2 [1016, 20] N/A N/A
+ 968 POP [1016, 20] N/A N/A
+ 969 POP [1016, 20] N/A N/A
+ 970 PUSH1 [1016, 20] N/A N/A
+ 972 MLOAD [1016, 20] N/A N/A
+ 973 DUP1 [1016, 20] N/A N/A
+ 974 SWAP2 [1016, 20] N/A N/A
+ 975 SUB [1016, 20] N/A N/A
+ 976 SWAP1 [1016, 20] N/A N/A
+ 977 RETURN [1016, 20] N/A N/A
+ 978 JUMPDEST [923, 20] N/A N/A
+ 979 CALLVALUE [923, 20] N/A N/A
+ 980 ISZERO [923, 20] N/A N/A
+ 981 PUSH2 [923, 20] N/A N/A
+ 984 JUMPI [923, 20] N/A N/A
- 985 PUSH1 [923, 20] N/A N/A
- 987 DUP1 [923, 20] N/A N/A
- 988 REVERT [923, 20] N/A N/A
+ 989 JUMPDEST [923, 20] N/A N/A
+ 990 PUSH2 [923, 20] N/A N/A
+ 993 PUSH2 [923, 20] N/A N/A
+ 996 JUMP [923, 20] N/A N/A
+ 997 JUMPDEST [923, 20] N/A N/A
+ 998 PUSH1 [923, 20] N/A N/A
+ 1000 MLOAD [923, 20] N/A N/A
+ 1001 DUP1 [923, 20] N/A N/A
+ 1002 DUP1 [923, 20] N/A N/A
+ 1003 PUSH1 [923, 20] N/A N/A
+ 1005 ADD [923, 20] N/A N/A
+ 1006 DUP3 [923, 20] N/A N/A
+ 1007 DUP2 [923, 20] N/A N/A
+ 1008 SUB [923, 20] N/A N/A
+ 1009 DUP3 [923, 20] N/A N/A
+ 1010 MSTORE [923, 20] N/A N/A
+ 1011 DUP4 [923, 20] N/A N/A
+ 1012 DUP2 [923, 20] N/A N/A
+ 1013 DUP2 [923, 20] N/A N/A
+ 1014 MLOAD [923, 20] N/A N/A
+ 1015 DUP2 [923, 20] N/A N/A
+ 1016 MSTORE [923, 20] N/A N/A
+ 1017 PUSH1 [923, 20] N/A N/A
+ 1019 ADD [923, 20] N/A N/A
+ 1020 SWAP2 [923, 20] N/A N/A
+ 1021 POP [923, 20] N/A N/A
+ 1022 DUP1 [923, 20] N/A N/A
+ 1023 MLOAD [923, 20] N/A N/A
+ 1024 SWAP1 [923, 20] N/A N/A
+ 1025 PUSH1 [923, 20] N/A N/A
+ 1027 ADD [923, 20] N/A N/A
+ 1028 SWAP1 [923, 20] N/A N/A
+ 1029 DUP1 [923, 20] N/A N/A
+ 1030 DUP4 [923, 20] N/A N/A
+ 1031 DUP4 [923, 20] N/A N/A
+ 1032 PUSH1 [23, 1] N/A N/A
+ 1034 JUMPDEST [8, 100] N/A N/A
+ 1035 DUP4 [33, 3] N/A N/A
+ 1036 DUP2 [30, 1] N/A N/A
+ 1037 LT [27, 2] N/A N/A
+ 1038 ISZERO [8, 100] N/A N/A
+ 1039 PUSH2 [8, 100] N/A N/A
+ 1042 JUMPI [8, 100] N/A N/A
+ 1043 DUP1 [99, 1] N/A N/A
+ 1044 DUP3 [94, 3] N/A N/A
+ 1045 ADD [90, 3] N/A N/A
+ 1046 MLOAD [84, 5] N/A N/A
+ 1047 DUP2 [80, 1] N/A N/A
+ 1048 DUP5 [75, 3] N/A N/A
+ 1049 ADD [71, 3] N/A N/A
+ 1050 MSTORE [64, 6] N/A N/A
+ 1051 JUMPDEST [8, 100] N/A N/A
+ 1052 PUSH1 [52, 2] N/A N/A
+ 1054 DUP2 [49, 1] N/A N/A
+ 1055 ADD [45, 3] N/A N/A
+ 1056 SWAP1 [40, 15] N/A N/A
+ 1057 POP [40, 15] N/A N/A
+ 1058 PUSH2 [8, 100] N/A N/A
+ 1061 JUMP [8, 100] N/A N/A
+ 1062 JUMPDEST [8, 100] N/A N/A
+ 1063 POP [12, 14] N/A N/A
+ 1064 POP [3, 109] N/A N/A
+ 1065 POP [3, 109] N/A N/A
+ 1066 POP [3, 109] N/A N/A
+ 1067 SWAP1 [3, 109] N/A N/A
+ 1068 POP [3, 109] N/A N/A
+ 1069 SWAP1 [3, 109] N/A N/A
+ 1070 DUP2 [3, 109] N/A N/A
+ 1071 ADD [3, 109] N/A N/A
+ 1072 SWAP1 [3, 109] N/A N/A
+ 1073 PUSH1 [3, 109] N/A N/A
+ 1075 AND [3, 109] N/A N/A
+ 1076 DUP1 [3, 109] N/A N/A
+ 1077 ISZERO [3, 109] N/A N/A
+ 1078 PUSH2 [3, 109] N/A N/A
+ 1081 JUMPI [3, 109] N/A N/A
+ 1082 DUP1 [3, 109] N/A N/A
+ 1083 DUP3 [3, 109] N/A N/A
+ 1084 SUB [3, 109] N/A N/A
+ 1085 DUP1 [3, 109] N/A N/A
+ 1086 MLOAD [3, 109] N/A N/A
+ 1087 PUSH1 [3, 109] N/A N/A
+ 1089 DUP4 [3, 109] N/A N/A
+ 1090 PUSH1 [3, 109] N/A N/A
+ 1092 SUB [3, 109] N/A N/A
+ 1093 PUSH2 [3, 109] N/A N/A
+ 1096 EXP [3, 109] N/A N/A
+ 1097 SUB [3, 109] N/A N/A
+ 1098 NOT [3, 109] N/A N/A
+ 1099 AND [3, 109] N/A N/A
+ 1100 DUP2 [3, 109] N/A N/A
+ 1101 MSTORE [3, 109] N/A N/A
+ 1102 PUSH1 [3, 109] N/A N/A
+ 1104 ADD [3, 109] N/A N/A
+ 1105 SWAP2 [3, 109] N/A N/A
+ 1106 POP [3, 109] N/A N/A
+ 1107 JUMPDEST [3, 109] N/A N/A
+ 1108 POP [3, 109] N/A N/A
+ 1109 SWAP3 [3, 109] N/A N/A
+ 1110 POP [3, 109] N/A N/A
+ 1111 POP [3, 109] N/A N/A
+ 1112 POP [3, 109] N/A N/A
+ 1113 PUSH1 [3, 109] N/A N/A
+ 1115 MLOAD [3, 109] N/A N/A
+ 1116 DUP1 [3, 109] N/A N/A
+ 1117 SWAP2 [3, 109] N/A N/A
+ 1118 SUB [3, 109] N/A N/A
+ 1119 SWAP1 [3, 109] N/A N/A
+ 1120 RETURN [3, 109] N/A N/A
+ 1121 JUMPDEST [2463, 610] N/A N/A
+ 1122 CALLVALUE [2463, 610] N/A N/A
+ 1123 ISZERO [2463, 610] N/A N/A
+ 1124 PUSH2 [2463, 610] N/A N/A
+ 1127 JUMPI [2463, 610] N/A N/A
- 1128 PUSH1 [2463, 610] N/A N/A
- 1130 DUP1 [2463, 610] N/A N/A
- 1131 REVERT [2463, 610] N/A N/A
+ 1132 JUMPDEST [2463, 610] N/A N/A
+ 1133 PUSH2 [2463, 610] N/A N/A
+ 1136 PUSH1 [2463, 610] N/A N/A
+ 1138 DUP1 [2463, 610] N/A N/A
+ 1139 DUP1 [2463, 610] N/A N/A
+ 1140 CALLDATALOAD [2463, 610] N/A N/A
+ 1141 PUSH20 [2463, 610] N/A N/A
+ 1162 AND [2463, 610] N/A N/A
+ 1163 SWAP1 [2463, 610] N/A N/A
+ 1164 PUSH1 [2463, 610] N/A N/A
+ 1166 ADD [2463, 610] N/A N/A
+ 1167 SWAP1 [2463, 610] N/A N/A
+ 1168 SWAP2 [2463, 610] N/A N/A
+ 1169 SWAP1 [2463, 610] N/A N/A
+ 1170 DUP1 [2463, 610] N/A N/A
+ 1171 CALLDATALOAD [2463, 610] N/A N/A
+ 1172 SWAP1 [2463, 610] N/A N/A
+ 1173 PUSH1 [2463, 610] N/A N/A
+ 1175 ADD [2463, 610] N/A N/A
+ 1176 SWAP1 [2463, 610] N/A N/A
+ 1177 SWAP2 [2463, 610] N/A N/A
+ 1178 SWAP1 [2463, 610] N/A N/A
+ 1179 POP [2463, 610] N/A N/A
+ 1180 POP [2463, 610] N/A N/A
+ 1181 PUSH2 [2463, 610] N/A N/A
+ 1184 JUMP [2463, 610] N/A N/A
+ 1185 JUMPDEST [2463, 610] N/A N/A
+ 1186 STOP [2463, 610] N/A N/A
+ 1187 JUMPDEST [1148, 44] N/A N/A
+ 1188 CALLVALUE [1148, 44] N/A N/A
+ 1189 ISZERO [1148, 44] N/A N/A
+ 1190 PUSH2 [1148, 44] N/A N/A
+ 1193 JUMPI [1148, 44] N/A N/A
- 1194 PUSH1 [1148, 44] N/A N/A
- 1196 DUP1 [1148, 44] N/A N/A
- 1197 REVERT [1148, 44] N/A N/A
+ 1198 JUMPDEST [1148, 44] N/A N/A
+ 1199 PUSH2 [1148, 44] N/A N/A
+ 1202 PUSH1 [1148, 44] N/A N/A
+ 1204 DUP1 [1148, 44] N/A N/A
+ 1205 DUP1 [1148, 44] N/A N/A
+ 1206 CALLDATALOAD [1148, 44] N/A N/A
+ 1207 PUSH20 [1148, 44] N/A N/A
+ 1228 AND [1148, 44] N/A N/A
+ 1229 SWAP1 [1148, 44] N/A N/A
+ 1230 PUSH1 [1148, 44] N/A N/A
+ 1232 ADD [1148, 44] N/A N/A
+ 1233 SWAP1 [1148, 44] N/A N/A
+ 1234 SWAP2 [1148, 44] N/A N/A
+ 1235 SWAP1 [1148, 44] N/A N/A
+ 1236 POP [1148, 44] N/A N/A
+ 1237 POP [1148, 44] N/A N/A
+ 1238 PUSH2 [1148, 44] N/A N/A
+ 1241 JUMP [1148, 44] N/A N/A
+ 1242 JUMPDEST [1148, 44] N/A N/A
+ 1243 PUSH1 [1148, 44] N/A N/A
+ 1245 MLOAD [1148, 44] N/A N/A
+ 1246 DUP1 [1148, 44] N/A N/A
+ 1247 DUP3 [1148, 44] N/A N/A
+ 1248 DUP2 [1148, 44] N/A N/A
+ 1249 MSTORE [1148, 44] N/A N/A
+ 1250 PUSH1 [1148, 44] N/A N/A
+ 1252 ADD [1148, 44] N/A N/A
+ 1253 SWAP2 [1148, 44] N/A N/A
+ 1254 POP [1148, 44] N/A N/A
+ 1255 POP [1148, 44] N/A N/A
+ 1256 PUSH1 [1148, 44] N/A N/A
+ 1258 MLOAD [1148, 44] N/A N/A
+ 1259 DUP1 [1148, 44] N/A N/A
+ 1260 SWAP2 [1148, 44] N/A N/A
+ 1261 SUB [1148, 44] N/A N/A
+ 1262 SWAP1 [1148, 44] N/A N/A
+ 1263 RETURN [1148, 44] N/A N/A
+ 1264 JUMPDEST [4615, 475] N/A N/A
+ 1265 CALLVALUE [4615, 475] N/A N/A
+ 1266 ISZERO [4615, 475] N/A N/A
+ 1267 PUSH2 [4615, 475] N/A N/A
+ 1270 JUMPI [4615, 475] N/A N/A
- 1271 PUSH1 [4615, 475] N/A N/A
- 1273 DUP1 [4615, 475] N/A N/A
- 1274 REVERT [4615, 475] N/A N/A
+ 1275 JUMPDEST [4615, 475] N/A N/A
+ 1276 PUSH2 [4615, 475] N/A N/A
+ 1279 PUSH1 [4615, 475] N/A N/A
+ 1281 DUP1 [4615, 475] N/A N/A
+ 1282 DUP1 [4615, 475] N/A N/A
+ 1283 CALLDATALOAD [4615, 475] N/A N/A
+ 1284 SWAP1 [4615, 475] N/A N/A
+ 1285 PUSH1 [4615, 475] N/A N/A
+ 1287 ADD [4615, 475] N/A N/A
+ 1288 SWAP1 [4615, 475] N/A N/A
+ 1289 SWAP2 [4615, 475] N/A N/A
+ 1290 SWAP1 [4615, 475] N/A N/A
+ 1291 POP [4615, 475] N/A N/A
+ 1292 POP [4615, 475] N/A N/A
+ 1293 PUSH2 [4615, 475] N/A N/A
+ 1296 JUMP [4615, 475] N/A N/A
+ 1297 JUMPDEST [4615, 475] N/A N/A
+ 1298 PUSH1 [4615, 475] N/A N/A
+ 1300 MLOAD [4615, 475] N/A N/A
+ 1301 DUP1 [4615, 475] N/A N/A
+ 1302 DUP3 [4615, 475] N/A N/A
+ 1303 ISZERO [4615, 475] N/A N/A
+ 1304 ISZERO [4615, 475] N/A N/A
+ 1305 ISZERO [4615, 475] N/A N/A
+ 1306 ISZERO [4615, 475] N/A N/A
+ 1307 DUP2 [4615, 475] N/A N/A
+ 1308 MSTORE [4615, 475] N/A N/A
+ 1309 PUSH1 [4615, 475] N/A N/A
+ 1311 ADD [4615, 475] N/A N/A
+ 1312 SWAP2 [4615, 475] N/A N/A
+ 1313 POP [4615, 475] N/A N/A
+ 1314 POP [4615, 475] N/A N/A
+ 1315 PUSH1 [4615, 475] N/A N/A
+ 1317 MLOAD [4615, 475] N/A N/A
+ 1318 DUP1 [4615, 475] N/A N/A
+ 1319 SWAP2 [4615, 475] N/A N/A
+ 1320 SUB [4615, 475] N/A N/A
+ 1321 SWAP1 [4615, 475] N/A N/A
+ 1322 RETURN [4615, 475] N/A N/A
+ 1323 JUMPDEST [1199, 66] N/A N/A
+ 1324 CALLVALUE [1199, 66] N/A N/A
+ 1325 ISZERO [1199, 66] N/A N/A
+ 1326 PUSH2 [1199, 66] N/A N/A
+ 1329 JUMPI [1199, 66] N/A N/A
- 1330 PUSH1 [1199, 66] N/A N/A
- 1332 DUP1 [1199, 66] N/A N/A
- 1333 REVERT [1199, 66] N/A N/A
+ 1334 JUMPDEST [1199, 66] N/A N/A
+ 1335 PUSH2 [1199, 66] N/A N/A
+ 1338 PUSH1 [1199, 66] N/A N/A
+ 1340 DUP1 [1199, 66] N/A N/A
+ 1341 DUP1 [1199, 66] N/A N/A
+ 1342 CALLDATALOAD [1199, 66] N/A N/A
+ 1343 PUSH20 [1199, 66] N/A N/A
+ 1364 AND [1199, 66] N/A N/A
+ 1365 SWAP1 [1199, 66] N/A N/A
+ 1366 PUSH1 [1199, 66] N/A N/A
+ 1368 ADD [1199, 66] N/A N/A
+ 1369 SWAP1 [1199, 66] N/A N/A
+ 1370 SWAP2 [1199, 66] N/A N/A
+ 1371 SWAP1 [1199, 66] N/A N/A
+ 1372 DUP1 [1199, 66] N/A N/A
+ 1373 CALLDATALOAD [1199, 66] N/A N/A
+ 1374 PUSH20 [1199, 66] N/A N/A
+ 1395 AND [1199, 66] N/A N/A
+ 1396 SWAP1 [1199, 66] N/A N/A
+ 1397 PUSH1 [1199, 66] N/A N/A
+ 1399 ADD [1199, 66] N/A N/A
+ 1400 SWAP1 [1199, 66] N/A N/A
+ 1401 SWAP2 [1199, 66] N/A N/A
+ 1402 SWAP1 [1199, 66] N/A N/A
+ 1403 POP [1199, 66] N/A N/A
+ 1404 POP [1199, 66] N/A N/A
+ 1405 PUSH2 [1199, 66] N/A N/A
+ 1408 JUMP [1199, 66] N/A N/A
+ 1409 JUMPDEST [1199, 66] N/A N/A
+ 1410 PUSH1 [1199, 66] N/A N/A
+ 1412 MLOAD [1199, 66] N/A N/A
+ 1413 DUP1 [1199, 66] N/A N/A
+ 1414 DUP3 [1199, 66] N/A N/A
+ 1415 DUP2 [1199, 66] N/A N/A
+ 1416 MSTORE [1199, 66] N/A N/A
+ 1417 PUSH1 [1199, 66] N/A N/A
+ 1419 ADD [1199, 66] N/A N/A
+ 1420 SWAP2 [1199, 66] N/A N/A
+ 1421 POP [1199, 66] N/A N/A
+ 1422 POP [1199, 66] N/A N/A
+ 1423 PUSH1 [1199, 66] N/A N/A
+ 1425 MLOAD [1199, 66] N/A N/A
+ 1426 DUP1 [1199, 66] N/A N/A
+ 1427 SWAP2 [1199, 66] N/A N/A
+ 1428 SUB [1199, 66] N/A N/A
+ 1429 SWAP1 [1199, 66] N/A N/A
+ 1430 RETURN [1199, 66] N/A N/A
+ 1431 JUMPDEST [898, 18] N/A N/A
+ 1432 PUSH1 [898, 18] N/A N/A
+ 1434 DUP1 [898, 18] N/A N/A
+ 1435 SLOAD [898, 18] N/A N/A
+ 1436 PUSH1 [898, 18] N/A N/A
+ 1438 DUP2 [898, 18] N/A N/A
+ 1439 PUSH1 [898, 18] N/A N/A
+ 1441 AND [898, 18] N/A N/A
+ 1442 ISZERO [898, 18] N/A N/A
+ 1443 PUSH2 [898, 18] N/A N/A
+ 1446 MUL [898, 18] N/A N/A
+ 1447 SUB [898, 18] N/A N/A
+ 1448 AND [898, 18] N/A N/A
+ 1449 PUSH1 [898, 18] N/A N/A
+ 1451 SWAP1 [898, 18] N/A N/A
+ 1452 DIV [898, 18] N/A N/A
+ 1453 DUP1 [898, 18] N/A N/A
+ 1454 PUSH1 [898, 18] N/A N/A
+ 1456 ADD [898, 18] N/A N/A
+ 1457 PUSH1 [898, 18] N/A N/A
+ 1459 DUP1 [898, 18] N/A N/A
+ 1460 SWAP2 [898, 18] N/A N/A
+ 1461 DIV [898, 18] N/A N/A
+ 1462 MUL [898, 18] N/A N/A
+ 1463 PUSH1 [898, 18] N/A N/A
+ 1465 ADD [898, 18] N/A N/A
+ 1466 PUSH1 [898, 18] N/A N/A
+ 1468 MLOAD [898, 18] N/A N/A
+ 1469 SWAP1 [898, 18] N/A N/A
+ 1470 DUP2 [898, 18] N/A N/A
+ 1471 ADD [898, 18] N/A N/A
+ 1472 PUSH1 [898, 18] N/A N/A
+ 1474 MSTORE [898, 18] N/A N/A
+ 1475 DUP1 [898, 18] N/A N/A
+ 1476 SWAP3 [898, 18] N/A N/A
+ 1477 SWAP2 [898, 18] N/A N/A
+ 1478 SWAP1 [898, 18] N/A N/A
+ 1479 DUP2 [898, 18] N/A N/A
+ 1480 DUP2 [898, 18] N/A N/A
+ 1481 MSTORE [898, 18] N/A N/A
+ 1482 PUSH1 [898, 18] N/A N/A
+ 1484 ADD [898, 18] N/A N/A
+ 1485 DUP3 [898, 18] N/A N/A
+ 1486 DUP1 [898, 18] N/A N/A
+ 1487 SLOAD [898, 18] N/A N/A
+ 1488 PUSH1 [898, 18] N/A N/A
+ 1490 DUP2 [898, 18] N/A N/A
+ 1491 PUSH1 [898, 18] N/A N/A
+ 1493 AND [898, 18] N/A N/A
+ 1494 ISZERO [898, 18] N/A N/A
+ 1495 PUSH2 [898, 18] N/A N/A
+ 1498 MUL [898, 18] N/A N/A
+ 1499 SUB [898, 18] N/A N/A
+ 1500 AND [898, 18] N/A N/A
+ 1501 PUSH1 [898, 18] N/A N/A
+ 1503 SWAP1 [898, 18] N/A N/A
+ 1504 DIV [898, 18] N/A N/A
+ 1505 DUP1 [898, 18] N/A N/A
+ 1506 ISZERO [898, 18] N/A N/A
+ 1507 PUSH2 [898, 18] N/A N/A
+ 1510 JUMPI [898, 18] N/A N/A
+ 1511 DUP1 [898, 18] N/A N/A
+ 1512 PUSH1 [898, 18] N/A N/A
+ 1514 LT [898, 18] N/A N/A
+ 1515 PUSH2 [898, 18] N/A N/A
+ 1518 JUMPI [898, 18] N/A N/A
+ 1519 PUSH2 [898, 18] N/A N/A
+ 1522 DUP1 [898, 18] N/A N/A
+ 1523 DUP4 [898, 18] N/A N/A
+ 1524 SLOAD [898, 18] N/A N/A
+ 1525 DIV [898, 18] N/A N/A
+ 1526 MUL [898, 18] N/A N/A
+ 1527 DUP4 [898, 18] N/A N/A
+ 1528 MSTORE [898, 18] N/A N/A
+ 1529 SWAP2 [898, 18] N/A N/A
+ 1530 PUSH1 [898, 18] N/A N/A
+ 1532 ADD [898, 18] N/A N/A
+ 1533 SWAP2 [898, 18] N/A N/A
+ 1534 PUSH2 [898, 18] N/A N/A
+ 1537 JUMP [898, 18] N/A N/A
- 1538 JUMPDEST [898, 18] N/A N/A
- 1539 DUP3 [898, 18] N/A N/A
- 1540 ADD [898, 18] N/A N/A
- 1541 SWAP2 [898, 18] N/A N/A
- 1542 SWAP1 [898, 18] N/A N/A
- 1543 PUSH1 [898, 18] N/A N/A
- 1545 MSTORE [898, 18] N/A N/A
- 1546 PUSH1 [898, 18] N/A N/A
- 1548 PUSH1 [898, 18] N/A N/A
- 1550 SHA3 [898, 18] N/A N/A
- 1551 SWAP1 [898, 18] N/A N/A
- 1552 JUMPDEST [898, 18] N/A N/A
- 1553 DUP2 [898, 18] N/A N/A
- 1554 SLOAD [898, 18] N/A N/A
- 1555 DUP2 [898, 18] N/A N/A
- 1556 MSTORE [898, 18] N/A N/A
- 1557 SWAP1 [898, 18] N/A N/A
- 1558 PUSH1 [898, 18] N/A N/A
- 1560 ADD [898, 18] N/A N/A
- 1561 SWAP1 [898, 18] N/A N/A
- 1562 PUSH1 [898, 18] N/A N/A
- 1564 ADD [898, 18] N/A N/A
- 1565 DUP1 [898, 18] N/A N/A
- 1566 DUP4 [898, 18] N/A N/A
- 1567 GT [898, 18] N/A N/A
- 1568 PUSH2 [898, 18] N/A N/A
- 1571 JUMPI [898, 18] N/A N/A
- 1572 DUP3 [898, 18] N/A N/A
- 1573 SWAP1 [898, 18] N/A N/A
- 1574 SUB [898, 18] N/A N/A
- 1575 PUSH1 [898, 18] N/A N/A
- 1577 AND [898, 18] N/A N/A
- 1578 DUP3 [898, 18] N/A N/A
- 1579 ADD [898, 18] N/A N/A
- 1580 SWAP2 [898, 18] N/A N/A
+ 1581 JUMPDEST [898, 18] N/A N/A
+ 1582 POP [898, 18] N/A N/A
+ 1583 POP [898, 18] N/A N/A
+ 1584 POP [898, 18] N/A N/A
+ 1585 POP [898, 18] N/A N/A
+ 1586 POP [898, 18] N/A N/A
+ 1587 DUP2 [898, 18] N/A N/A
+ 1588 JUMP [898, 18] N/A N/A
+ 1589 JUMPDEST [3151, 197] <approve(address,uint256) returns(bool)> "function approve(address _spender, uint256 _value) public"
+ 1590 PUSH1 [3223, 12] <approve(address,uint256) returns(bool)> "bool success"
+ 1592 DUP1 [3265, 1] <approve(address,uint256) returns(bool)> "0"
+ 1593 DUP3 [3256, 6] <approve(address,uint256) returns(bool)> "_value"
+ 1594 GT [3256, 10] <approve(address,uint256) returns(bool)> "_value > 0"
+ 1595 ISZERO [3248, 19] <approve(address,uint256) returns(bool)> "require(_value > 0)"
+ 1596 ISZERO [3248, 19] <approve(address,uint256) returns(bool)> "require(_value > 0)"
+ 1597 PUSH2 [3248, 19] <approve(address,uint256) returns(bool)> "require(_value > 0)"
+ 1600 JUMPI [3248, 19] <approve(address,uint256) returns(bool)> "require(_value > 0)"
+ 1601 PUSH1 [3248, 19] <approve(address,uint256) returns(bool)> "require(_value > 0)"
+ 1603 DUP1 [3248, 19] <approve(address,uint256) returns(bool)> "require(_value > 0)"
+ 1604 REVERT [3248, 19] <approve(address,uint256) returns(bool)> "require(_value > 0)"
+ 1605 JUMPDEST [3248, 19] <approve(address,uint256) returns(bool)> "require(_value > 0)"
+ 1606 DUP2 [3312, 6] <approve(address,uint256) returns(bool)> "_value"
+ 1607 PUSH1 [3278, 9] <approve(address,uint256) returns(bool)> "allowance"
+ 1609 PUSH1 [3278, 21] <approve(address,uint256) returns(bool)> "allowance[msg.sender]"
+ 1611 CALLER [3288, 10] <approve(address,uint256) returns(bool)> "msg.sender"
+ 1612 PUSH20 [3278, 21] <approve(address,uint256) returns(bool)> "allowance[msg.sender]"
+ 1633 AND [3278, 21] <approve(address,uint256) returns(bool)> "allowance[msg.sender]"
+ 1634 PUSH20 [3278, 21] <approve(address,uint256) returns(bool)> "allowance[msg.sender]"
+ 1655 AND [3278, 21] <approve(address,uint256) returns(bool)> "allowance[msg.sender]"
+ 1656 DUP2 [3278, 21] <approve(address,uint256) returns(bool)> "allowance[msg.sender]"
+ 1657 MSTORE [3278, 21] <approve(address,uint256) returns(bool)> "allowance[msg.sender]"
+ 1658 PUSH1 [3278, 21] <approve(address,uint256) returns(bool)> "allowance[msg.sender]"
+ 1660 ADD [3278, 21] <approve(address,uint256) returns(bool)> "allowance[msg.sender]"
+ 1661 SWAP1 [3278, 21] <approve(address,uint256) returns(bool)> "allowance[msg.sender]"
+ 1662 DUP2 [3278, 21] <approve(address,uint256) returns(bool)> "allowance[msg.sender]"
+ 1663 MSTORE [3278, 21] <approve(address,uint256) returns(bool)> "allowance[msg.sender]"
+ 1664 PUSH1 [3278, 21] <approve(address,uint256) returns(bool)> "allowance[msg.sender]"
+ 1666 ADD [3278, 21] <approve(address,uint256) returns(bool)> "allowance[msg.sender]"
+ 1667 PUSH1 [3278, 21] <approve(address,uint256) returns(bool)> "allowance[msg.sender]"
+ 1669 SHA3 [3278, 21] <approve(address,uint256) returns(bool)> "allowance[msg.sender]"
+ 1670 PUSH1 [3278, 31] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender]"
+ 1672 DUP6 [3300, 8] <approve(address,uint256) returns(bool)> "_spender"
+ 1673 PUSH20 [3278, 31] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender]"
+ 1694 AND [3278, 31] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender]"
+ 1695 PUSH20 [3278, 31] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender]"
+ 1716 AND [3278, 31] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender]"
+ 1717 DUP2 [3278, 31] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender]"
+ 1718 MSTORE [3278, 31] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender]"
+ 1719 PUSH1 [3278, 31] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender]"
+ 1721 ADD [3278, 31] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender]"
+ 1722 SWAP1 [3278, 31] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender]"
+ 1723 DUP2 [3278, 31] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender]"
+ 1724 MSTORE [3278, 31] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender]"
+ 1725 PUSH1 [3278, 31] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender]"
+ 1727 ADD [3278, 31] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender]"
+ 1728 PUSH1 [3278, 31] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender]"
+ 1730 SHA3 [3278, 31] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender]"
+ 1731 DUP2 [3278, 40] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender] = _value"
+ 1732 SWAP1 [3278, 40] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender] = _value"
+ 1733 SSTORE [3278, 40] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender] = _value"
+ 1734 POP [3278, 40] <approve(address,uint256) returns(bool)> "allowance[msg.sender][_spender] = _value"
+ 1735 PUSH1 [3336, 4] <approve(address,uint256) returns(bool)> "true"
+ 1737 SWAP1 [3329, 11] <approve(address,uint256) returns(bool)> "return true"
+ 1738 POP [3329, 11] <approve(address,uint256) returns(bool)> "return true"
+ 1739 JUMPDEST [3151, 197] <approve(address,uint256) returns(bool)> "function approve(address _spender, uint256 _value) public"
+ 1740 SWAP3 [3151, 197] <approve(address,uint256) returns(bool)> "function approve(address _spender, uint256 _value) public"
+ 1741 SWAP2 [3151, 197] <approve(address,uint256) returns(bool)> "function approve(address _spender, uint256 _value) public"
+ 1742 POP [3151, 197] <approve(address,uint256) returns(bool)> "function approve(address _spender, uint256 _value) public"
+ 1743 POP [3151, 197] <approve(address,uint256) returns(bool)> "function approve(address _spender, uint256 _value) public"
+ 1744 JUMP [3151, 197] <approve(address,uint256) returns(bool)> "function approve(address _spender, uint256 _value) public"
+ 1745 JUMPDEST [983, 26] N/A N/A
+ 1746 PUSH1 [983, 26] N/A N/A
+ 1748 SLOAD [983, 26] N/A N/A
+ 1749 DUP2 [983, 26] N/A N/A
+ 1750 JUMP [983, 26] N/A N/A
+ 1751 JUMPDEST [3406, 740] <transferFrom(address,address,uint256) returns(bool)> "function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {"
+ 1752 PUSH1 [3488, 12] <transferFrom(address,address,uint256) returns(bool)> "bool success"
+ 1754 DUP1 [3528, 3] <transferFrom(address,address,uint256) returns(bool)> "0x0"
+ 1755 DUP4 [3521, 3] <transferFrom(address,address,uint256) returns(bool)> "_to"
+ 1756 PUSH20 [3521, 10] <transferFrom(address,address,uint256) returns(bool)> "_to != 0x0"
+ 1777 AND [3521, 10] <transferFrom(address,address,uint256) returns(bool)> "_to != 0x0"
+ 1778 EQ [3521, 10] <transferFrom(address,address,uint256) returns(bool)> "_to != 0x0"
+ 1779 ISZERO [3521, 10] <transferFrom(address,address,uint256) returns(bool)> "_to != 0x0"
+ 1780 ISZERO [3513, 19] <transferFrom(address,address,uint256) returns(bool)> "require(_to != 0x0)"
+ 1781 ISZERO [3513, 19] <transferFrom(address,address,uint256) returns(bool)> "require(_to != 0x0)"
+ 1782 PUSH2 [3513, 19] <transferFrom(address,address,uint256) returns(bool)> "require(_to != 0x0)"
+ 1785 JUMPI [3513, 19] <transferFrom(address,address,uint256) returns(bool)> "require(_to != 0x0)"
- 1786 PUSH1 [3513, 19] <transferFrom(address,address,uint256) returns(bool)> "require(_to != 0x0)"
- 1788 DUP1 [3513, 19] <transferFrom(address,address,uint256) returns(bool)> "require(_to != 0x0)"
- 1789 REVERT [3513, 19] <transferFrom(address,address,uint256) returns(bool)> "require(_to != 0x0)"
+ 1790 JUMPDEST [3513, 19] <transferFrom(address,address,uint256) returns(bool)> "require(_to != 0x0)"
+ 1791 PUSH1 [3560, 1] <transferFrom(address,address,uint256) returns(bool)> "0"
+ 1793 DUP3 [3551, 6] <transferFrom(address,address,uint256) returns(bool)> "_value"
+ 1794 GT [3551, 10] <transferFrom(address,address,uint256) returns(bool)> "_value > 0"
+ 1795 ISZERO [3543, 19] <transferFrom(address,address,uint256) returns(bool)> "require(_value > 0)"
+ 1796 ISZERO [3543, 19] <transferFrom(address,address,uint256) returns(bool)> "require(_value > 0)"
+ 1797 PUSH2 [3543, 19] <transferFrom(address,address,uint256) returns(bool)> "require(_value > 0)"
+ 1800 JUMPI [3543, 19] <transferFrom(address,address,uint256) returns(bool)> "require(_value > 0)"
- 1801 PUSH1 [3543, 19] <transferFrom(address,address,uint256) returns(bool)> "require(_value > 0)"
- 1803 DUP1 [3543, 19] <transferFrom(address,address,uint256) returns(bool)> "require(_value > 0)"
- 1804 REVERT [3543, 19] <transferFrom(address,address,uint256) returns(bool)> "require(_value > 0)"
+ 1805 JUMPDEST [3543, 19] <transferFrom(address,address,uint256) returns(bool)> "require(_value > 0)"
+ 1806 DUP2 [3601, 6] <transferFrom(address,address,uint256) returns(bool)> "_value"
+ 1807 PUSH1 [3581, 9] <transferFrom(address,address,uint256) returns(bool)> "balanceOf"
+ 1809 PUSH1 [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1811 DUP7 [3591, 5] <transferFrom(address,address,uint256) returns(bool)> "_from"
+ 1812 PUSH20 [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1833 AND [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1834 PUSH20 [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1855 AND [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1856 DUP2 [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1857 MSTORE [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1858 PUSH1 [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1860 ADD [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1861 SWAP1 [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1862 DUP2 [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1863 MSTORE [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1864 PUSH1 [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1866 ADD [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1867 PUSH1 [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1869 SHA3 [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1870 SLOAD [3581, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 1871 LT [3581, 26] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from] >= _value"
+ 1872 ISZERO [3581, 26] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from] >= _value"
+ 1873 ISZERO [3573, 35] <transferFrom(address,address,uint256) returns(bool)> "require(balanceOf[_from] >= _value)"
+ 1874 ISZERO [3573, 35] <transferFrom(address,address,uint256) returns(bool)> "require(balanceOf[_from] >= _value)"
+ 1875 PUSH2 [3573, 35] <transferFrom(address,address,uint256) returns(bool)> "require(balanceOf[_from] >= _value)"
+ 1878 JUMPI [3573, 35] <transferFrom(address,address,uint256) returns(bool)> "require(balanceOf[_from] >= _value)"
- 1879 PUSH1 [3573, 35] <transferFrom(address,address,uint256) returns(bool)> "require(balanceOf[_from] >= _value)"
- 1881 DUP1 [3573, 35] <transferFrom(address,address,uint256) returns(bool)> "require(balanceOf[_from] >= _value)"
- 1882 REVERT [3573, 35] <transferFrom(address,address,uint256) returns(bool)> "require(balanceOf[_from] >= _value)"
+ 1883 JUMPDEST [3573, 35] <transferFrom(address,address,uint256) returns(bool)> "require(balanceOf[_from] >= _value)"
+ 1884 PUSH1 [3653, 9] <transferFrom(address,address,uint256) returns(bool)> "balanceOf"
+ 1886 PUSH1 [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1888 DUP5 [3663, 3] <transferFrom(address,address,uint256) returns(bool)> "_to"
+ 1889 PUSH20 [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1910 AND [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1911 PUSH20 [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1932 AND [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1933 DUP2 [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1934 MSTORE [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1935 PUSH1 [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1937 ADD [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1938 SWAP1 [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1939 DUP2 [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1940 MSTORE [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1941 PUSH1 [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1943 ADD [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1944 PUSH1 [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1946 SHA3 [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1947 SLOAD [3653, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1948 DUP3 [3644, 6] <transferFrom(address,address,uint256) returns(bool)> "_value"
+ 1949 PUSH1 [3627, 9] <transferFrom(address,address,uint256) returns(bool)> "balanceOf"
+ 1951 PUSH1 [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1953 DUP7 [3637, 3] <transferFrom(address,address,uint256) returns(bool)> "_to"
+ 1954 PUSH20 [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1975 AND [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1976 PUSH20 [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1997 AND [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1998 DUP2 [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 1999 MSTORE [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2000 PUSH1 [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2002 ADD [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2003 SWAP1 [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2004 DUP2 [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2005 MSTORE [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2006 PUSH1 [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2008 ADD [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2009 PUSH1 [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2011 SHA3 [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2012 SLOAD [3627, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2013 ADD [3627, 23] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to] + _value"
+ 2014 GT [3627, 40] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to] + _value > balanceOf[_to]"
+ 2015 ISZERO [3619, 49] <transferFrom(address,address,uint256) returns(bool)> "require(balanceOf[_to] + _value > balanceOf[_to])"
+ 2016 ISZERO [3619, 49] <transferFrom(address,address,uint256) returns(bool)> "require(balanceOf[_to] + _value > balanceOf[_to])"
+ 2017 PUSH2 [3619, 49] <transferFrom(address,address,uint256) returns(bool)> "require(balanceOf[_to] + _value > balanceOf[_to])"
+ 2020 JUMPI [3619, 49] <transferFrom(address,address,uint256) returns(bool)> "require(balanceOf[_to] + _value > balanceOf[_to])"
- 2021 PUSH1 [3619, 49] <transferFrom(address,address,uint256) returns(bool)> "require(balanceOf[_to] + _value > balanceOf[_to])"
- 2023 DUP1 [3619, 49] <transferFrom(address,address,uint256) returns(bool)> "require(balanceOf[_to] + _value > balanceOf[_to])"
- 2024 REVERT [3619, 49] <transferFrom(address,address,uint256) returns(bool)> "require(balanceOf[_to] + _value > balanceOf[_to])"
+ 2025 JUMPDEST [3619, 49] <transferFrom(address,address,uint256) returns(bool)> "require(balanceOf[_to] + _value > balanceOf[_to])"
+ 2026 PUSH1 [3697, 9] <transferFrom(address,address,uint256) returns(bool)> "allowance"
+ 2028 PUSH1 [3697, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2030 DUP6 [3707, 5] <transferFrom(address,address,uint256) returns(bool)> "_from"
+ 2031 PUSH20 [3697, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2052 AND [3697, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2053 PUSH20 [3697, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2074 AND [3697, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2075 DUP2 [3697, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2076 MSTORE [3697, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2077 PUSH1 [3697, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2079 ADD [3697, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2080 SWAP1 [3697, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2081 DUP2 [3697, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2082 MSTORE [3697, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2083 PUSH1 [3697, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2085 ADD [3697, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2086 PUSH1 [3697, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2088 SHA3 [3697, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2089 PUSH1 [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2091 CALLER [3714, 10] <transferFrom(address,address,uint256) returns(bool)> "msg.sender"
+ 2092 PUSH20 [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2113 AND [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2114 PUSH20 [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2135 AND [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2136 DUP2 [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2137 MSTORE [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2138 PUSH1 [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2140 ADD [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2141 SWAP1 [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2142 DUP2 [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2143 MSTORE [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2144 PUSH1 [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2146 ADD [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2147 PUSH1 [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2149 SHA3 [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2150 SLOAD [3697, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2151 DUP3 [3687, 6] <transferFrom(address,address,uint256) returns(bool)> "_value"
+ 2152 GT [3687, 38] <transferFrom(address,address,uint256) returns(bool)> "_value <= allowance[_from][msg.sender]"
+ 2153 ISZERO [3687, 38] <transferFrom(address,address,uint256) returns(bool)> "_value <= allowance[_from][msg.sender]"
+ 2154 ISZERO [3679, 47] <transferFrom(address,address,uint256) returns(bool)> "require(_value <= allowance[_from][msg.sender])"
+ 2155 ISZERO [3679, 47] <transferFrom(address,address,uint256) returns(bool)> "require(_value <= allowance[_from][msg.sender])"
+ 2156 PUSH2 [3679, 47] <transferFrom(address,address,uint256) returns(bool)> "require(_value <= allowance[_from][msg.sender])"
+ 2159 JUMPI [3679, 47] <transferFrom(address,address,uint256) returns(bool)> "require(_value <= allowance[_from][msg.sender])"
- 2160 PUSH1 [3679, 47] <transferFrom(address,address,uint256) returns(bool)> "require(_value <= allowance[_from][msg.sender])"
- 2162 DUP1 [3679, 47] <transferFrom(address,address,uint256) returns(bool)> "require(_value <= allowance[_from][msg.sender])"
- 2163 REVERT [3679, 47] <transferFrom(address,address,uint256) returns(bool)> "require(_value <= allowance[_from][msg.sender])"
+ 2164 JUMPDEST [3679, 47] <transferFrom(address,address,uint256) returns(bool)> "require(_value <= allowance[_from][msg.sender])"
+ 2165 PUSH2 [3756, 42] <transferFrom(address,address,uint256) returns(bool)> "SafeMath.safeSub(balanceOf[_from], _value)"
+ 2168 PUSH1 [3773, 9] <transferFrom(address,address,uint256) returns(bool)> "balanceOf"
+ 2170 PUSH1 [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2172 DUP7 [3783, 5] <transferFrom(address,address,uint256) returns(bool)> "_from"
+ 2173 PUSH20 [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2194 AND [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2195 PUSH20 [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2216 AND [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2217 DUP2 [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2218 MSTORE [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2219 PUSH1 [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2221 ADD [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2222 SWAP1 [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2223 DUP2 [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2224 MSTORE [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2225 PUSH1 [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2227 ADD [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2228 PUSH1 [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2230 SHA3 [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2231 SLOAD [3773, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2232 DUP4 [3791, 6] <transferFrom(address,address,uint256) returns(bool)> "_value"
+ 2233 PUSH2 [3756, 16] <transferFrom(address,address,uint256) returns(bool)> "SafeMath.safeSub"
+ 2236 JUMP [3756, 42] <transferFrom(address,address,uint256) returns(bool)> "SafeMath.safeSub(balanceOf[_from], _value)"
+ 2237 JUMPDEST [3756, 42] <transferFrom(address,address,uint256) returns(bool)> "SafeMath.safeSub(balanceOf[_from], _value)"
+ 2238 PUSH1 [3737, 9] <transferFrom(address,address,uint256) returns(bool)> "balanceOf"
+ 2240 PUSH1 [3737, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2242 DUP7 [3747, 5] <transferFrom(address,address,uint256) returns(bool)> "_from"
+ 2243 PUSH20 [3737, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2264 AND [3737, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2265 PUSH20 [3737, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2286 AND [3737, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2287 DUP2 [3737, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2288 MSTORE [3737, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2289 PUSH1 [3737, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2291 ADD [3737, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2292 SWAP1 [3737, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2293 DUP2 [3737, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2294 MSTORE [3737, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2295 PUSH1 [3737, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2297 ADD [3737, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2298 PUSH1 [3737, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2300 SHA3 [3737, 16] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from]"
+ 2301 DUP2 [3737, 61] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from] = SafeMath.safeSub(balanceOf[_from], _value)"
+ 2302 SWAP1 [3737, 61] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from] = SafeMath.safeSub(balanceOf[_from], _value)"
+ 2303 SSTORE [3737, 61] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from] = SafeMath.safeSub(balanceOf[_from], _value)"
+ 2304 POP [3737, 61] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_from] = SafeMath.safeSub(balanceOf[_from], _value)"
+ 2305 PUSH2 [3880, 40] <transferFrom(address,address,uint256) returns(bool)> "SafeMath.safeAdd(balanceOf[_to], _value)"
+ 2308 PUSH1 [3897, 9] <transferFrom(address,address,uint256) returns(bool)> "balanceOf"
+ 2310 PUSH1 [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2312 DUP6 [3907, 3] <transferFrom(address,address,uint256) returns(bool)> "_to"
+ 2313 PUSH20 [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2334 AND [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2335 PUSH20 [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2356 AND [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2357 DUP2 [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2358 MSTORE [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2359 PUSH1 [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2361 ADD [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2362 SWAP1 [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2363 DUP2 [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2364 MSTORE [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2365 PUSH1 [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2367 ADD [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2368 PUSH1 [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2370 SHA3 [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2371 SLOAD [3897, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2372 DUP4 [3913, 6] <transferFrom(address,address,uint256) returns(bool)> "_value"
+ 2373 PUSH2 [3880, 16] <transferFrom(address,address,uint256) returns(bool)> "SafeMath.safeAdd"
+ 2376 JUMP [3880, 40] <transferFrom(address,address,uint256) returns(bool)> "SafeMath.safeAdd(balanceOf[_to], _value)"
+ 2377 JUMPDEST [3880, 40] <transferFrom(address,address,uint256) returns(bool)> "SafeMath.safeAdd(balanceOf[_to], _value)"
+ 2378 PUSH1 [3863, 9] <transferFrom(address,address,uint256) returns(bool)> "balanceOf"
+ 2380 PUSH1 [3863, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2382 DUP6 [3873, 3] <transferFrom(address,address,uint256) returns(bool)> "_to"
+ 2383 PUSH20 [3863, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2404 AND [3863, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2405 PUSH20 [3863, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2426 AND [3863, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2427 DUP2 [3863, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2428 MSTORE [3863, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2429 PUSH1 [3863, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2431 ADD [3863, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2432 SWAP1 [3863, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2433 DUP2 [3863, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2434 MSTORE [3863, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2435 PUSH1 [3863, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2437 ADD [3863, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2438 PUSH1 [3863, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2440 SHA3 [3863, 14] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to]"
+ 2441 DUP2 [3863, 57] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to] = SafeMath.safeAdd(balanceOf[_to], _value)"
+ 2442 SWAP1 [3863, 57] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to] = SafeMath.safeAdd(balanceOf[_to], _value)"
+ 2443 SSTORE [3863, 57] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to] = SafeMath.safeAdd(balanceOf[_to], _value)"
+ 2444 POP [3863, 57] <transferFrom(address,address,uint256) returns(bool)> "balanceOf[_to] = SafeMath.safeAdd(balanceOf[_to], _value)"
+ 2445 PUSH2 [4023, 54] <transferFrom(address,address,uint256) returns(bool)> "SafeMath.safeSub(allowance[_from][msg.sender], _value)"
+ 2448 PUSH1 [4040, 9] <transferFrom(address,address,uint256) returns(bool)> "allowance"
+ 2450 PUSH1 [4040, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2452 DUP7 [4050, 5] <transferFrom(address,address,uint256) returns(bool)> "_from"
+ 2453 PUSH20 [4040, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2474 AND [4040, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2475 PUSH20 [4040, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2496 AND [4040, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2497 DUP2 [4040, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2498 MSTORE [4040, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2499 PUSH1 [4040, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2501 ADD [4040, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2502 SWAP1 [4040, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2503 DUP2 [4040, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2504 MSTORE [4040, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2505 PUSH1 [4040, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2507 ADD [4040, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2508 PUSH1 [4040, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2510 SHA3 [4040, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2511 PUSH1 [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2513 CALLER [4057, 10] <transferFrom(address,address,uint256) returns(bool)> "msg.sender"
+ 2514 PUSH20 [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2535 AND [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2536 PUSH20 [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2557 AND [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2558 DUP2 [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2559 MSTORE [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2560 PUSH1 [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2562 ADD [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2563 SWAP1 [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2564 DUP2 [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2565 MSTORE [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2566 PUSH1 [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2568 ADD [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2569 PUSH1 [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2571 SHA3 [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2572 SLOAD [4040, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2573 DUP4 [4070, 6] <transferFrom(address,address,uint256) returns(bool)> "_value"
+ 2574 PUSH2 [4023, 16] <transferFrom(address,address,uint256) returns(bool)> "SafeMath.safeSub"
+ 2577 JUMP [4023, 54] <transferFrom(address,address,uint256) returns(bool)> "SafeMath.safeSub(allowance[_from][msg.sender], _value)"
+ 2578 JUMPDEST [4023, 54] <transferFrom(address,address,uint256) returns(bool)> "SafeMath.safeSub(allowance[_from][msg.sender], _value)"
+ 2579 PUSH1 [3992, 9] <transferFrom(address,address,uint256) returns(bool)> "allowance"
+ 2581 PUSH1 [3992, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2583 DUP7 [4002, 5] <transferFrom(address,address,uint256) returns(bool)> "_from"
+ 2584 PUSH20 [3992, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2605 AND [3992, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2606 PUSH20 [3992, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2627 AND [3992, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2628 DUP2 [3992, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2629 MSTORE [3992, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2630 PUSH1 [3992, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2632 ADD [3992, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2633 SWAP1 [3992, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2634 DUP2 [3992, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2635 MSTORE [3992, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2636 PUSH1 [3992, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2638 ADD [3992, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2639 PUSH1 [3992, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2641 SHA3 [3992, 16] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from]"
+ 2642 PUSH1 [3992, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2644 CALLER [4009, 10] <transferFrom(address,address,uint256) returns(bool)> "msg.sender"
+ 2645 PUSH20 [3992, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2666 AND [3992, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2667 PUSH20 [3992, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2688 AND [3992, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2689 DUP2 [3992, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2690 MSTORE [3992, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2691 PUSH1 [3992, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2693 ADD [3992, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2694 SWAP1 [3992, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2695 DUP2 [3992, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2696 MSTORE [3992, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2697 PUSH1 [3992, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2699 ADD [3992, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2700 PUSH1 [3992, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2702 SHA3 [3992, 28] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender]"
+ 2703 DUP2 [3992, 85] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender] = SafeMath.safeSub(allowance[_from][msg.sender], _value)"
+ 2704 SWAP1 [3992, 85] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender] = SafeMath.safeSub(allowance[_from][msg.sender], _value)"
+ 2705 SSTORE [3992, 85] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender] = SafeMath.safeSub(allowance[_from][msg.sender], _value)"
+ 2706 POP [3992, 85] <transferFrom(address,address,uint256) returns(bool)> "allowance[_from][msg.sender] = SafeMath.safeSub(allowance[_from][msg.sender], _value)"
+ 2707 DUP3 [4104, 3] <transferFrom(address,address,uint256) returns(bool)> "_to"
+ 2708 PUSH20 [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2729 AND [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2730 DUP5 [4097, 5] <transferFrom(address,address,uint256) returns(bool)> "_from"
+ 2731 PUSH20 [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2752 AND [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2753 PUSH32 [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2786 DUP5 [4109, 6] <transferFrom(address,address,uint256) returns(bool)> "_value"
+ 2787 PUSH1 [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2789 MLOAD [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2790 DUP1 [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2791 DUP3 [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2792 DUP2 [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2793 MSTORE [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2794 PUSH1 [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2796 ADD [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2797 SWAP2 [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2798 POP [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2799 POP [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2800 PUSH1 [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2802 MLOAD [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2803 DUP1 [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2804 SWAP2 [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2805 SUB [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2806 SWAP1 [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2807 LOG3 [4088, 28] <transferFrom(address,address,uint256) returns(bool)> "Transfer(_from, _to, _value)"
+ 2808 PUSH1 [4134, 4] <transferFrom(address,address,uint256) returns(bool)> "true"
+ 2810 SWAP1 [4127, 11] <transferFrom(address,address,uint256) returns(bool)> "return true"
+ 2811 POP [4127, 11] <transferFrom(address,address,uint256) returns(bool)> "return true"
+ 2812 JUMPDEST [3406, 740] <transferFrom(address,address,uint256) returns(bool)> "function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {"
+ 2813 SWAP4 [3406, 740] <transferFrom(address,address,uint256) returns(bool)> "function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {"
+ 2814 SWAP3 [3406, 740] <transferFrom(address,address,uint256) returns(bool)> "function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {"
+ 2815 POP [3406, 740] <transferFrom(address,address,uint256) returns(bool)> "function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {"
+ 2816 POP [3406, 740] <transferFrom(address,address,uint256) returns(bool)> "function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {"
+ 2817 POP [3406, 740] <transferFrom(address,address,uint256) returns(bool)> "function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {"
+ 2818 JUMP [3406, 740] <transferFrom(address,address,uint256) returns(bool)> "function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {"
+ 2819 JUMPDEST [950, 26] N/A N/A
+ 2820 PUSH1 [950, 26] N/A N/A
+ 2822 PUSH1 [950, 26] N/A N/A
+ 2824 SWAP1 [950, 26] N/A N/A
+ 2825 SLOAD [950, 26] N/A N/A
+ 2826 SWAP1 [950, 26] N/A N/A
+ 2827 PUSH2 [950, 26] N/A N/A
+ 2830 EXP [950, 26] N/A N/A
+ 2831 SWAP1 [950, 26] N/A N/A
+ 2832 DIV [950, 26] N/A N/A
+ 2833 PUSH1 [950, 26] N/A N/A
+ 2835 AND [950, 26] N/A N/A
+ 2836 DUP2 [950, 26] N/A N/A
+ 2837 JUMP [950, 26] N/A N/A
+ 2838 JUMPDEST [5564, 126] <withdrawEther(uint256) returns()> "function withdrawEther(uint256 amount) public {"
+ 2839 PUSH1 [5643, 5] <withdrawEther(uint256) returns()> "owner"
+ 2841 PUSH1 [5643, 5] <withdrawEther(uint256) returns()> "owner"
+ 2843 SWAP1 [5643, 5] <withdrawEther(uint256) returns()> "owner"
+ 2844 SLOAD [5643, 5] <withdrawEther(uint256) returns()> "owner"
+ 2845 SWAP1 [5643, 5] <withdrawEther(uint256) returns()> "owner"
+ 2846 PUSH2 [5643, 5] <withdrawEther(uint256) returns()> "owner"
+ 2849 EXP [5643, 5] <withdrawEther(uint256) returns()> "owner"
+ 2850 SWAP1 [5643, 5] <withdrawEther(uint256) returns()> "owner"
+ 2851 DIV [5643, 5] <withdrawEther(uint256) returns()> "owner"
+ 2852 PUSH20 [5643, 5] <withdrawEther(uint256) returns()> "owner"
+ 2873 AND [5643, 5] <withdrawEther(uint256) returns()> "owner"
+ 2874 PUSH20 [5629, 19] <withdrawEther(uint256) returns()> "msg.sender == owner"
+ 2895 AND [5629, 19] <withdrawEther(uint256) returns()> "msg.sender == owner"
+ 2896 CALLER [5629, 10] <withdrawEther(uint256) returns()> "msg.sender"
+ 2897 PUSH20 [5629, 19] <withdrawEther(uint256) returns()> "msg.sender == owner"
+ 2918 AND [5629, 19] <withdrawEther(uint256) returns()> "msg.sender == owner"
+ 2919 EQ [5629, 19] <withdrawEther(uint256) returns()> "msg.sender == owner"
+ 2920 ISZERO [5621, 28] <withdrawEther(uint256) returns()> "require(msg.sender == owner)"
+ 2921 ISZERO [5621, 28] <withdrawEther(uint256) returns()> "require(msg.sender == owner)"
+ 2922 PUSH2 [5621, 28] <withdrawEther(uint256) returns()> "require(msg.sender == owner)"
+ 2925 JUMPI [5621, 28] <withdrawEther(uint256) returns()> "require(msg.sender == owner)"
+ 2926 PUSH1 [5621, 28] <withdrawEther(uint256) returns()> "require(msg.sender == owner)"
+ 2928 DUP1 [5621, 28] <withdrawEther(uint256) returns()> "require(msg.sender == owner)"
+ 2929 REVERT [5621, 28] <withdrawEther(uint256) returns()> "require(msg.sender == owner)"
+ 2930 JUMPDEST [5621, 28] <withdrawEther(uint256) returns()> "require(msg.sender == owner)"
+ 2931 PUSH1 [5660, 5] <withdrawEther(uint256) returns()> "owner"
+ 2933 PUSH1 [5660, 5] <withdrawEther(uint256) returns()> "owner"
+ 2935 SWAP1 [5660, 5] <withdrawEther(uint256) returns()> "owner"
+ 2936 SLOAD [5660, 5] <withdrawEther(uint256) returns()> "owner"
+ 2937 SWAP1 [5660, 5] <withdrawEther(uint256) returns()> "owner"
+ 2938 PUSH2 [5660, 5] <withdrawEther(uint256) returns()> "owner"
+ 2941 EXP [5660, 5] <withdrawEther(uint256) returns()> "owner"
+ 2942 SWAP1 [5660, 5] <withdrawEther(uint256) returns()> "owner"
+ 2943 DIV [5660, 5] <withdrawEther(uint256) returns()> "owner"
+ 2944 PUSH20 [5660, 5] <withdrawEther(uint256) returns()> "owner"
+ 2965 AND [5660, 5] <withdrawEther(uint256) returns()> "owner"
+ 2966 PUSH20 [5660, 14] <withdrawEther(uint256) returns()> "owner.transfer"
+ 2987 AND [5660, 14] <withdrawEther(uint256) returns()> "owner.transfer"
+ 2988 PUSH2 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 2991 DUP3 [5675, 6] <withdrawEther(uint256) returns()> "amount"
+ 2992 SWAP1 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 2993 DUP2 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 2994 ISZERO [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 2995 MUL [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 2996 SWAP1 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 2997 PUSH1 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 2999 MLOAD [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3000 PUSH1 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3002 PUSH1 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3004 MLOAD [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3005 DUP1 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3006 DUP4 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3007 SUB [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3008 DUP2 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3009 DUP6 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3010 DUP9 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3011 DUP9 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3012 CALL [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3013 SWAP4 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3014 POP [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3015 POP [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3016 POP [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3017 POP [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3018 ISZERO [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3019 ISZERO [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3020 PUSH2 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3023 JUMPI [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3024 PUSH1 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3026 DUP1 [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3027 REVERT [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3028 JUMPDEST [5660, 22] <withdrawEther(uint256) returns()> "owner.transfer(amount)"
+ 3029 JUMPDEST [5564, 126] <withdrawEther(uint256) returns()> "function withdrawEther(uint256 amount) public {"
+ 3030 POP [5564, 126] <withdrawEther(uint256) returns()> "function withdrawEther(uint256 amount) public {"
+ 3031 JUMP [5564, 126] <withdrawEther(uint256) returns()> "function withdrawEther(uint256 amount) public {"
+ 3032 JUMPDEST [4154, 453] <burn(uint256) returns(bool)> "function burn(uint256 _value) public returns (bool success) {"
+ 3033 PUSH1 [4200, 12] <burn(uint256) returns(bool)> "bool success"
+ 3035 DUP2 [4258, 6] <burn(uint256) returns(bool)> "_value"
+ 3036 PUSH1 [4233, 9] <burn(uint256) returns(bool)> "balanceOf"
+ 3038 PUSH1 [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3040 CALLER [4243, 10] <burn(uint256) returns(bool)> "msg.sender"
+ 3041 PUSH20 [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3062 AND [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3063 PUSH20 [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3084 AND [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3085 DUP2 [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3086 MSTORE [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3087 PUSH1 [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3089 ADD [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3090 SWAP1 [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3091 DUP2 [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3092 MSTORE [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3093 PUSH1 [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3095 ADD [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3096 PUSH1 [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3098 SHA3 [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3099 SLOAD [4233, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3100 LT [4233, 31] <burn(uint256) returns(bool)> "balanceOf[msg.sender] >= _value"
+ 3101 ISZERO [4233, 31] <burn(uint256) returns(bool)> "balanceOf[msg.sender] >= _value"
+ 3102 ISZERO [4225, 40] <burn(uint256) returns(bool)> "require(balanceOf[msg.sender] >= _value)"
+ 3103 ISZERO [4225, 40] <burn(uint256) returns(bool)> "require(balanceOf[msg.sender] >= _value)"
+ 3104 PUSH2 [4225, 40] <burn(uint256) returns(bool)> "require(balanceOf[msg.sender] >= _value)"
+ 3107 JUMPI [4225, 40] <burn(uint256) returns(bool)> "require(balanceOf[msg.sender] >= _value)"
+ 3108 PUSH1 [4225, 40] <burn(uint256) returns(bool)> "require(balanceOf[msg.sender] >= _value)"
+ 3110 DUP1 [4225, 40] <burn(uint256) returns(bool)> "require(balanceOf[msg.sender] >= _value)"
+ 3111 REVERT [4225, 40] <burn(uint256) returns(bool)> "require(balanceOf[msg.sender] >= _value)"
+ 3112 JUMPDEST [4225, 40] <burn(uint256) returns(bool)> "require(balanceOf[msg.sender] >= _value)"
+ 3113 PUSH1 [4293, 1] <burn(uint256) returns(bool)> "0"
+ 3115 DUP3 [4284, 6] <burn(uint256) returns(bool)> "_value"
+ 3116 GT [4284, 10] <burn(uint256) returns(bool)> "_value > 0"
+ 3117 ISZERO [4276, 19] <burn(uint256) returns(bool)> "require(_value > 0)"
+ 3118 ISZERO [4276, 19] <burn(uint256) returns(bool)> "require(_value > 0)"
+ 3119 PUSH2 [4276, 19] <burn(uint256) returns(bool)> "require(_value > 0)"
+ 3122 JUMPI [4276, 19] <burn(uint256) returns(bool)> "require(_value > 0)"
+ 3123 PUSH1 [4276, 19] <burn(uint256) returns(bool)> "require(_value > 0)"
+ 3125 DUP1 [4276, 19] <burn(uint256) returns(bool)> "require(_value > 0)"
+ 3126 REVERT [4276, 19] <burn(uint256) returns(bool)> "require(_value > 0)"
+ 3127 JUMPDEST [4276, 19] <burn(uint256) returns(bool)> "require(_value > 0)"
+ 3128 PUSH2 [4330, 47] <burn(uint256) returns(bool)> "SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 3131 PUSH1 [4347, 9] <burn(uint256) returns(bool)> "balanceOf"
+ 3133 PUSH1 [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3135 CALLER [4357, 10] <burn(uint256) returns(bool)> "msg.sender"
+ 3136 PUSH20 [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3157 AND [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3158 PUSH20 [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3179 AND [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3180 DUP2 [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3181 MSTORE [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3182 PUSH1 [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3184 ADD [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3185 SWAP1 [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3186 DUP2 [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3187 MSTORE [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3188 PUSH1 [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3190 ADD [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3191 PUSH1 [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3193 SHA3 [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3194 SLOAD [4347, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3195 DUP4 [4370, 6] <burn(uint256) returns(bool)> "_value"
+ 3196 PUSH2 [4330, 16] <burn(uint256) returns(bool)> "SafeMath.safeSub"
+ 3199 JUMP [4330, 47] <burn(uint256) returns(bool)> "SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 3200 JUMPDEST [4330, 47] <burn(uint256) returns(bool)> "SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 3201 PUSH1 [4306, 9] <burn(uint256) returns(bool)> "balanceOf"
+ 3203 PUSH1 [4306, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3205 CALLER [4316, 10] <burn(uint256) returns(bool)> "msg.sender"
+ 3206 PUSH20 [4306, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3227 AND [4306, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3228 PUSH20 [4306, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3249 AND [4306, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3250 DUP2 [4306, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3251 MSTORE [4306, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3252 PUSH1 [4306, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3254 ADD [4306, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3255 SWAP1 [4306, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3256 DUP2 [4306, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3257 MSTORE [4306, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3258 PUSH1 [4306, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3260 ADD [4306, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3261 PUSH1 [4306, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3263 SHA3 [4306, 21] <burn(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3264 DUP2 [4306, 71] <burn(uint256) returns(bool)> "balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 3265 SWAP1 [4306, 71] <burn(uint256) returns(bool)> "balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 3266 SSTORE [4306, 71] <burn(uint256) returns(bool)> "balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 3267 POP [4306, 71] <burn(uint256) returns(bool)> "balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 3268 PUSH2 [4451, 37] <burn(uint256) returns(bool)> "SafeMath.safeSub(totalSupply, _value)"
+ 3271 PUSH1 [4468, 11] <burn(uint256) returns(bool)> "totalSupply"
+ 3273 SLOAD [4468, 11] <burn(uint256) returns(bool)> "totalSupply"
+ 3274 DUP4 [4481, 6] <burn(uint256) returns(bool)> "_value"
+ 3275 PUSH2 [4451, 16] <burn(uint256) returns(bool)> "SafeMath.safeSub"
+ 3278 JUMP [4451, 37] <burn(uint256) returns(bool)> "SafeMath.safeSub(totalSupply, _value)"
+ 3279 JUMPDEST [4451, 37] <burn(uint256) returns(bool)> "SafeMath.safeSub(totalSupply, _value)"
+ 3280 PUSH1 [4437, 11] <burn(uint256) returns(bool)> "totalSupply"
+ 3282 DUP2 [4437, 51] <burn(uint256) returns(bool)> "totalSupply = SafeMath.safeSub(totalSupply, _value)"
+ 3283 SWAP1 [4437, 51] <burn(uint256) returns(bool)> "totalSupply = SafeMath.safeSub(totalSupply, _value)"
+ 3284 SSTORE [4437, 51] <burn(uint256) returns(bool)> "totalSupply = SafeMath.safeSub(totalSupply, _value)"
+ 3285 POP [4437, 51] <burn(uint256) returns(bool)> "totalSupply = SafeMath.safeSub(totalSupply, _value)"
+ 3286 CALLER [4558, 10] <burn(uint256) returns(bool)> "msg.sender"
+ 3287 PUSH20 [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3308 AND [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3309 PUSH32 [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3342 DUP4 [4570, 6] <burn(uint256) returns(bool)> "_value"
+ 3343 PUSH1 [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3345 MLOAD [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3346 DUP1 [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3347 DUP3 [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3348 DUP2 [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3349 MSTORE [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3350 PUSH1 [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3352 ADD [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3353 SWAP2 [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3354 POP [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3355 POP [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3356 PUSH1 [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3358 MLOAD [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3359 DUP1 [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3360 SWAP2 [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3361 SUB [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3362 SWAP1 [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3363 LOG2 [4553, 24] <burn(uint256) returns(bool)> "Burn(msg.sender, _value)"
+ 3364 PUSH1 [4595, 4] <burn(uint256) returns(bool)> "true"
+ 3366 SWAP1 [4588, 11] <burn(uint256) returns(bool)> "return true"
+ 3367 POP [4588, 11] <burn(uint256) returns(bool)> "return true"
+ 3368 JUMPDEST [4154, 453] <burn(uint256) returns(bool)> "function burn(uint256 _value) public returns (bool success) {"
+ 3369 SWAP2 [4154, 453] <burn(uint256) returns(bool)> "function burn(uint256 _value) public returns (bool success) {"
+ 3370 SWAP1 [4154, 453] <burn(uint256) returns(bool)> "function burn(uint256 _value) public returns (bool success) {"
+ 3371 POP [4154, 453] <burn(uint256) returns(bool)> "function burn(uint256 _value) public returns (bool success) {"
+ 3372 JUMP [4154, 453] <burn(uint256) returns(bool)> "function burn(uint256 _value) public returns (bool success) {"
+ 3373 JUMPDEST [5098, 424] <unfreeze(uint256) returns(bool)> "function unfreeze(uint256 _value) public returns (bool success) {"
+ 3374 PUSH1 [5148, 12] <unfreeze(uint256) returns(bool)> "bool success"
+ 3376 DUP2 [5205, 6] <unfreeze(uint256) returns(bool)> "_value"
+ 3377 PUSH1 [5181, 8] <unfreeze(uint256) returns(bool)> "freezeOf"
+ 3379 PUSH1 [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3381 CALLER [5190, 10] <unfreeze(uint256) returns(bool)> "msg.sender"
+ 3382 PUSH20 [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3403 AND [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3404 PUSH20 [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3425 AND [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3426 DUP2 [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3427 MSTORE [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3428 PUSH1 [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3430 ADD [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3431 SWAP1 [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3432 DUP2 [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3433 MSTORE [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3434 PUSH1 [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3436 ADD [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3437 PUSH1 [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3439 SHA3 [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3440 SLOAD [5181, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3441 LT [5181, 30] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender] >= _value"
+ 3442 ISZERO [5181, 30] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender] >= _value"
+ 3443 ISZERO [5173, 39] <unfreeze(uint256) returns(bool)> "require(freezeOf[msg.sender] >= _value)"
+ 3444 ISZERO [5173, 39] <unfreeze(uint256) returns(bool)> "require(freezeOf[msg.sender] >= _value)"
+ 3445 PUSH2 [5173, 39] <unfreeze(uint256) returns(bool)> "require(freezeOf[msg.sender] >= _value)"
+ 3448 JUMPI [5173, 39] <unfreeze(uint256) returns(bool)> "require(freezeOf[msg.sender] >= _value)"
+ 3449 PUSH1 [5173, 39] <unfreeze(uint256) returns(bool)> "require(freezeOf[msg.sender] >= _value)"
+ 3451 DUP1 [5173, 39] <unfreeze(uint256) returns(bool)> "require(freezeOf[msg.sender] >= _value)"
+ 3452 REVERT [5173, 39] <unfreeze(uint256) returns(bool)> "require(freezeOf[msg.sender] >= _value)"
+ 3453 JUMPDEST [5173, 39] <unfreeze(uint256) returns(bool)> "require(freezeOf[msg.sender] >= _value)"
+ 3454 PUSH1 [5240, 1] <unfreeze(uint256) returns(bool)> "0"
+ 3456 DUP3 [5231, 6] <unfreeze(uint256) returns(bool)> "_value"
+ 3457 GT [5231, 10] <unfreeze(uint256) returns(bool)> "_value > 0"
+ 3458 ISZERO [5223, 19] <unfreeze(uint256) returns(bool)> "require(_value > 0)"
+ 3459 ISZERO [5223, 19] <unfreeze(uint256) returns(bool)> "require(_value > 0)"
+ 3460 PUSH2 [5223, 19] <unfreeze(uint256) returns(bool)> "require(_value > 0)"
+ 3463 JUMPI [5223, 19] <unfreeze(uint256) returns(bool)> "require(_value > 0)"
+ 3464 PUSH1 [5223, 19] <unfreeze(uint256) returns(bool)> "require(_value > 0)"
+ 3466 DUP1 [5223, 19] <unfreeze(uint256) returns(bool)> "require(_value > 0)"
+ 3467 REVERT [5223, 19] <unfreeze(uint256) returns(bool)> "require(_value > 0)"
+ 3468 JUMPDEST [5223, 19] <unfreeze(uint256) returns(bool)> "require(_value > 0)"
+ 3469 PUSH2 [5276, 46] <unfreeze(uint256) returns(bool)> "SafeMath.safeSub(freezeOf[msg.sender], _value)"
+ 3472 PUSH1 [5293, 8] <unfreeze(uint256) returns(bool)> "freezeOf"
+ 3474 PUSH1 [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3476 CALLER [5302, 10] <unfreeze(uint256) returns(bool)> "msg.sender"
+ 3477 PUSH20 [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3498 AND [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3499 PUSH20 [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3520 AND [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3521 DUP2 [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3522 MSTORE [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3523 PUSH1 [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3525 ADD [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3526 SWAP1 [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3527 DUP2 [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3528 MSTORE [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3529 PUSH1 [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3531 ADD [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3532 PUSH1 [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3534 SHA3 [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3535 SLOAD [5293, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3536 DUP4 [5315, 6] <unfreeze(uint256) returns(bool)> "_value"
+ 3537 PUSH2 [5276, 16] <unfreeze(uint256) returns(bool)> "SafeMath.safeSub"
+ 3540 JUMP [5276, 46] <unfreeze(uint256) returns(bool)> "SafeMath.safeSub(freezeOf[msg.sender], _value)"
+ 3541 JUMPDEST [5276, 46] <unfreeze(uint256) returns(bool)> "SafeMath.safeSub(freezeOf[msg.sender], _value)"
+ 3542 PUSH1 [5253, 8] <unfreeze(uint256) returns(bool)> "freezeOf"
+ 3544 PUSH1 [5253, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3546 CALLER [5262, 10] <unfreeze(uint256) returns(bool)> "msg.sender"
+ 3547 PUSH20 [5253, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3568 AND [5253, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3569 PUSH20 [5253, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3590 AND [5253, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3591 DUP2 [5253, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3592 MSTORE [5253, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3593 PUSH1 [5253, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3595 ADD [5253, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3596 SWAP1 [5253, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3597 DUP2 [5253, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3598 MSTORE [5253, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3599 PUSH1 [5253, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3601 ADD [5253, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3602 PUSH1 [5253, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3604 SHA3 [5253, 20] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 3605 DUP2 [5253, 69] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender] = SafeMath.safeSub(freezeOf[msg.sender], _value)"
+ 3606 SWAP1 [5253, 69] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender] = SafeMath.safeSub(freezeOf[msg.sender], _value)"
+ 3607 SSTORE [5253, 69] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender] = SafeMath.safeSub(freezeOf[msg.sender], _value)"
+ 3608 POP [5253, 69] <unfreeze(uint256) returns(bool)> "freezeOf[msg.sender] = SafeMath.safeSub(freezeOf[msg.sender], _value)"
+ 3609 PUSH2 [5406, 47] <unfreeze(uint256) returns(bool)> "SafeMath.safeAdd(balanceOf[msg.sender], _value)"
+ 3612 PUSH1 [5423, 9] <unfreeze(uint256) returns(bool)> "balanceOf"
+ 3614 PUSH1 [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3616 CALLER [5433, 10] <unfreeze(uint256) returns(bool)> "msg.sender"
+ 3617 PUSH20 [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3638 AND [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3639 PUSH20 [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3660 AND [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3661 DUP2 [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3662 MSTORE [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3663 PUSH1 [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3665 ADD [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3666 SWAP1 [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3667 DUP2 [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3668 MSTORE [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3669 PUSH1 [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3671 ADD [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3672 PUSH1 [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3674 SHA3 [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3675 SLOAD [5423, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3676 DUP4 [5446, 6] <unfreeze(uint256) returns(bool)> "_value"
+ 3677 PUSH2 [5406, 16] <unfreeze(uint256) returns(bool)> "SafeMath.safeAdd"
+ 3680 JUMP [5406, 47] <unfreeze(uint256) returns(bool)> "SafeMath.safeAdd(balanceOf[msg.sender], _value)"
+ 3681 JUMPDEST [5406, 47] <unfreeze(uint256) returns(bool)> "SafeMath.safeAdd(balanceOf[msg.sender], _value)"
+ 3682 PUSH1 [5382, 9] <unfreeze(uint256) returns(bool)> "balanceOf"
+ 3684 PUSH1 [5382, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3686 CALLER [5392, 10] <unfreeze(uint256) returns(bool)> "msg.sender"
+ 3687 PUSH20 [5382, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3708 AND [5382, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3709 PUSH20 [5382, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3730 AND [5382, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3731 DUP2 [5382, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3732 MSTORE [5382, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3733 PUSH1 [5382, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3735 ADD [5382, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3736 SWAP1 [5382, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3737 DUP2 [5382, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3738 MSTORE [5382, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3739 PUSH1 [5382, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3741 ADD [5382, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3742 PUSH1 [5382, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3744 SHA3 [5382, 21] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 3745 DUP2 [5382, 71] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender] = SafeMath.safeAdd(balanceOf[msg.sender], _value)"
+ 3746 SWAP1 [5382, 71] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender] = SafeMath.safeAdd(balanceOf[msg.sender], _value)"
+ 3747 SSTORE [5382, 71] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender] = SafeMath.safeAdd(balanceOf[msg.sender], _value)"
+ 3748 POP [5382, 71] <unfreeze(uint256) returns(bool)> "balanceOf[msg.sender] = SafeMath.safeAdd(balanceOf[msg.sender], _value)"
+ 3749 CALLER [5473, 10] <unfreeze(uint256) returns(bool)> "msg.sender"
+ 3750 PUSH20 [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3771 AND [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3772 PUSH32 [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3805 DUP4 [5485, 6] <unfreeze(uint256) returns(bool)> "_value"
+ 3806 PUSH1 [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3808 MLOAD [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3809 DUP1 [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3810 DUP3 [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3811 DUP2 [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3812 MSTORE [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3813 PUSH1 [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3815 ADD [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3816 SWAP2 [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3817 POP [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3818 POP [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3819 PUSH1 [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3821 MLOAD [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3822 DUP1 [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3823 SWAP2 [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3824 SUB [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3825 SWAP1 [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3826 LOG2 [5464, 28] <unfreeze(uint256) returns(bool)> "Unfreeze(msg.sender, _value)"
+ 3827 PUSH1 [5510, 4] <unfreeze(uint256) returns(bool)> "true"
+ 3829 SWAP1 [5503, 11] <unfreeze(uint256) returns(bool)> "return true"
+ 3830 POP [5503, 11] <unfreeze(uint256) returns(bool)> "return true"
+ 3831 JUMPDEST [5098, 424] <unfreeze(uint256) returns(bool)> "function unfreeze(uint256 _value) public returns (bool success) {"
+ 3832 SWAP2 [5098, 424] <unfreeze(uint256) returns(bool)> "function unfreeze(uint256 _value) public returns (bool success) {"
+ 3833 SWAP1 [5098, 424] <unfreeze(uint256) returns(bool)> "function unfreeze(uint256 _value) public returns (bool success) {"
+ 3834 POP [5098, 424] <unfreeze(uint256) returns(bool)> "function unfreeze(uint256 _value) public returns (bool success) {"
+ 3835 JUMP [5098, 424] <unfreeze(uint256) returns(bool)> "function unfreeze(uint256 _value) public returns (bool success) {"
+ 3836 JUMPDEST [1096, 45] N/A N/A
+ 3837 PUSH1 [1096, 45] N/A N/A
+ 3839 PUSH1 [1096, 45] N/A N/A
+ 3841 MSTORE [1096, 45] N/A N/A
+ 3842 DUP1 [1096, 45] N/A N/A
+ 3843 PUSH1 [1096, 45] N/A N/A
+ 3845 MSTORE [1096, 45] N/A N/A
+ 3846 PUSH1 [1096, 45] N/A N/A
+ 3848 PUSH1 [1096, 45] N/A N/A
+ 3850 SHA3 [1096, 45] N/A N/A
+ 3851 PUSH1 [1096, 45] N/A N/A
+ 3853 SWAP2 [1096, 45] N/A N/A
+ 3854 POP [1096, 45] N/A N/A
+ 3855 SWAP1 [1096, 45] N/A N/A
+ 3856 POP [1096, 45] N/A N/A
+ 3857 SLOAD [1096, 45] N/A N/A
+ 3858 DUP2 [1096, 45] N/A N/A
+ 3859 JUMP [1096, 45] N/A N/A
+ 3860 JUMPDEST [1016, 20] N/A N/A
+ 3861 PUSH1 [1016, 20] N/A N/A
+ 3863 PUSH1 [1016, 20] N/A N/A
+ 3865 SWAP1 [1016, 20] N/A N/A
+ 3866 SLOAD [1016, 20] N/A N/A
+ 3867 SWAP1 [1016, 20] N/A N/A
+ 3868 PUSH2 [1016, 20] N/A N/A
+ 3871 EXP [1016, 20] N/A N/A
+ 3872 SWAP1 [1016, 20] N/A N/A
+ 3873 DIV [1016, 20] N/A N/A
+ 3874 PUSH20 [1016, 20] N/A N/A
+ 3895 AND [1016, 20] N/A N/A
+ 3896 DUP2 [1016, 20] N/A N/A
+ 3897 JUMP [1016, 20] N/A N/A
+ 3898 JUMPDEST [923, 20] N/A N/A
+ 3899 PUSH1 [923, 20] N/A N/A
+ 3901 DUP1 [923, 20] N/A N/A
+ 3902 SLOAD [923, 20] N/A N/A
+ 3903 PUSH1 [923, 20] N/A N/A
+ 3905 DUP2 [923, 20] N/A N/A
+ 3906 PUSH1 [923, 20] N/A N/A
+ 3908 AND [923, 20] N/A N/A
+ 3909 ISZERO [923, 20] N/A N/A
+ 3910 PUSH2 [923, 20] N/A N/A
+ 3913 MUL [923, 20] N/A N/A
+ 3914 SUB [923, 20] N/A N/A
+ 3915 AND [923, 20] N/A N/A
+ 3916 PUSH1 [923, 20] N/A N/A
+ 3918 SWAP1 [923, 20] N/A N/A
+ 3919 DIV [923, 20] N/A N/A
+ 3920 DUP1 [923, 20] N/A N/A
+ 3921 PUSH1 [923, 20] N/A N/A
+ 3923 ADD [923, 20] N/A N/A
+ 3924 PUSH1 [923, 20] N/A N/A
+ 3926 DUP1 [923, 20] N/A N/A
+ 3927 SWAP2 [923, 20] N/A N/A
+ 3928 DIV [923, 20] N/A N/A
+ 3929 MUL [923, 20] N/A N/A
+ 3930 PUSH1 [923, 20] N/A N/A
+ 3932 ADD [923, 20] N/A N/A
+ 3933 PUSH1 [923, 20] N/A N/A
+ 3935 MLOAD [923, 20] N/A N/A
+ 3936 SWAP1 [923, 20] N/A N/A
+ 3937 DUP2 [923, 20] N/A N/A
+ 3938 ADD [923, 20] N/A N/A
+ 3939 PUSH1 [923, 20] N/A N/A
+ 3941 MSTORE [923, 20] N/A N/A
+ 3942 DUP1 [923, 20] N/A N/A
+ 3943 SWAP3 [923, 20] N/A N/A
+ 3944 SWAP2 [923, 20] N/A N/A
+ 3945 SWAP1 [923, 20] N/A N/A
+ 3946 DUP2 [923, 20] N/A N/A
+ 3947 DUP2 [923, 20] N/A N/A
+ 3948 MSTORE [923, 20] N/A N/A
+ 3949 PUSH1 [923, 20] N/A N/A
+ 3951 ADD [923, 20] N/A N/A
+ 3952 DUP3 [923, 20] N/A N/A
+ 3953 DUP1 [923, 20] N/A N/A
+ 3954 SLOAD [923, 20] N/A N/A
+ 3955 PUSH1 [923, 20] N/A N/A
+ 3957 DUP2 [923, 20] N/A N/A
+ 3958 PUSH1 [923, 20] N/A N/A
+ 3960 AND [923, 20] N/A N/A
+ 3961 ISZERO [923, 20] N/A N/A
+ 3962 PUSH2 [923, 20] N/A N/A
+ 3965 MUL [923, 20] N/A N/A
+ 3966 SUB [923, 20] N/A N/A
+ 3967 AND [923, 20] N/A N/A
+ 3968 PUSH1 [923, 20] N/A N/A
+ 3970 SWAP1 [923, 20] N/A N/A
+ 3971 DIV [923, 20] N/A N/A
+ 3972 DUP1 [923, 20] N/A N/A
+ 3973 ISZERO [923, 20] N/A N/A
+ 3974 PUSH2 [923, 20] N/A N/A
+ 3977 JUMPI [923, 20] N/A N/A
+ 3978 DUP1 [923, 20] N/A N/A
+ 3979 PUSH1 [923, 20] N/A N/A
+ 3981 LT [923, 20] N/A N/A
+ 3982 PUSH2 [923, 20] N/A N/A
+ 3985 JUMPI [923, 20] N/A N/A
+ 3986 PUSH2 [923, 20] N/A N/A
+ 3989 DUP1 [923, 20] N/A N/A
+ 3990 DUP4 [923, 20] N/A N/A
+ 3991 SLOAD [923, 20] N/A N/A
+ 3992 DIV [923, 20] N/A N/A
+ 3993 MUL [923, 20] N/A N/A
+ 3994 DUP4 [923, 20] N/A N/A
+ 3995 MSTORE [923, 20] N/A N/A
+ 3996 SWAP2 [923, 20] N/A N/A
+ 3997 PUSH1 [923, 20] N/A N/A
+ 3999 ADD [923, 20] N/A N/A
+ 4000 SWAP2 [923, 20] N/A N/A
+ 4001 PUSH2 [923, 20] N/A N/A
+ 4004 JUMP [923, 20] N/A N/A
- 4005 JUMPDEST [923, 20] N/A N/A
- 4006 DUP3 [923, 20] N/A N/A
- 4007 ADD [923, 20] N/A N/A
- 4008 SWAP2 [923, 20] N/A N/A
- 4009 SWAP1 [923, 20] N/A N/A
- 4010 PUSH1 [923, 20] N/A N/A
- 4012 MSTORE [923, 20] N/A N/A
- 4013 PUSH1 [923, 20] N/A N/A
- 4015 PUSH1 [923, 20] N/A N/A
- 4017 SHA3 [923, 20] N/A N/A
- 4018 SWAP1 [923, 20] N/A N/A
- 4019 JUMPDEST [923, 20] N/A N/A
- 4020 DUP2 [923, 20] N/A N/A
- 4021 SLOAD [923, 20] N/A N/A
- 4022 DUP2 [923, 20] N/A N/A
- 4023 MSTORE [923, 20] N/A N/A
- 4024 SWAP1 [923, 20] N/A N/A
- 4025 PUSH1 [923, 20] N/A N/A
- 4027 ADD [923, 20] N/A N/A
- 4028 SWAP1 [923, 20] N/A N/A
- 4029 PUSH1 [923, 20] N/A N/A
- 4031 ADD [923, 20] N/A N/A
- 4032 DUP1 [923, 20] N/A N/A
- 4033 DUP4 [923, 20] N/A N/A
- 4034 GT [923, 20] N/A N/A
- 4035 PUSH2 [923, 20] N/A N/A
- 4038 JUMPI [923, 20] N/A N/A
- 4039 DUP3 [923, 20] N/A N/A
- 4040 SWAP1 [923, 20] N/A N/A
- 4041 SUB [923, 20] N/A N/A
- 4042 PUSH1 [923, 20] N/A N/A
- 4044 AND [923, 20] N/A N/A
- 4045 DUP3 [923, 20] N/A N/A
- 4046 ADD [923, 20] N/A N/A
- 4047 SWAP2 [923, 20] N/A N/A
+ 4048 JUMPDEST [923, 20] N/A N/A
+ 4049 POP [923, 20] N/A N/A
+ 4050 POP [923, 20] N/A N/A
+ 4051 POP [923, 20] N/A N/A
+ 4052 POP [923, 20] N/A N/A
+ 4053 POP [923, 20] N/A N/A
+ 4054 DUP2 [923, 20] N/A N/A
+ 4055 JUMP [923, 20] N/A N/A
+ 4056 JUMPDEST [2463, 610] <transfer(address,uint256) returns()> "function transfer(address _to, uint256 _value) public {"
+ 4057 PUSH1 [2543, 3] <transfer(address,uint256) returns()> "0x0"
+ 4059 DUP3 [2536, 3] <transfer(address,uint256) returns()> "_to"
+ 4060 PUSH20 [2536, 10] <transfer(address,uint256) returns()> "_to != 0x0"
+ 4081 AND [2536, 10] <transfer(address,uint256) returns()> "_to != 0x0"
+ 4082 EQ [2536, 10] <transfer(address,uint256) returns()> "_to != 0x0"
+ 4083 ISZERO [2536, 10] <transfer(address,uint256) returns()> "_to != 0x0"
+ 4084 ISZERO [2528, 19] <transfer(address,uint256) returns()> "require(_to != 0x0)"
+ 4085 ISZERO [2528, 19] <transfer(address,uint256) returns()> "require(_to != 0x0)"
+ 4086 PUSH2 [2528, 19] <transfer(address,uint256) returns()> "require(_to != 0x0)"
+ 4089 JUMPI [2528, 19] <transfer(address,uint256) returns()> "require(_to != 0x0)"
- 4090 PUSH1 [2528, 19] <transfer(address,uint256) returns()> "require(_to != 0x0)"
- 4092 DUP1 [2528, 19] <transfer(address,uint256) returns()> "require(_to != 0x0)"
- 4093 REVERT [2528, 19] <transfer(address,uint256) returns()> "require(_to != 0x0)"
+ 4094 JUMPDEST [2528, 19] <transfer(address,uint256) returns()> "require(_to != 0x0)"
+ 4095 PUSH1 [2575, 1] <transfer(address,uint256) returns()> "0"
+ 4097 DUP2 [2566, 6] <transfer(address,uint256) returns()> "_value"
+ 4098 GT [2566, 10] <transfer(address,uint256) returns()> "_value > 0"
+ 4099 ISZERO [2558, 19] <transfer(address,uint256) returns()> "require(_value > 0)"
+ 4100 ISZERO [2558, 19] <transfer(address,uint256) returns()> "require(_value > 0)"
+ 4101 PUSH2 [2558, 19] <transfer(address,uint256) returns()> "require(_value > 0)"
+ 4104 JUMPI [2558, 19] <transfer(address,uint256) returns()> "require(_value > 0)"
- 4105 PUSH1 [2558, 19] <transfer(address,uint256) returns()> "require(_value > 0)"
- 4107 DUP1 [2558, 19] <transfer(address,uint256) returns()> "require(_value > 0)"
- 4108 REVERT [2558, 19] <transfer(address,uint256) returns()> "require(_value > 0)"
+ 4109 JUMPDEST [2558, 19] <transfer(address,uint256) returns()> "require(_value > 0)"
+ 4110 DUP1 [2621, 6] <transfer(address,uint256) returns()> "_value"
+ 4111 PUSH1 [2596, 9] <transfer(address,uint256) returns()> "balanceOf"
+ 4113 PUSH1 [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4115 CALLER [2606, 10] <transfer(address,uint256) returns()> "msg.sender"
+ 4116 PUSH20 [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4137 AND [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4138 PUSH20 [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4159 AND [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4160 DUP2 [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4161 MSTORE [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4162 PUSH1 [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4164 ADD [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4165 SWAP1 [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4166 DUP2 [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4167 MSTORE [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4168 PUSH1 [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4170 ADD [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4171 PUSH1 [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4173 SHA3 [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4174 SLOAD [2596, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4175 LT [2596, 31] <transfer(address,uint256) returns()> "balanceOf[msg.sender] >= _value"
+ 4176 ISZERO [2596, 31] <transfer(address,uint256) returns()> "balanceOf[msg.sender] >= _value"
+ 4177 ISZERO [2588, 40] <transfer(address,uint256) returns()> "require(balanceOf[msg.sender] >= _value)"
+ 4178 ISZERO [2588, 40] <transfer(address,uint256) returns()> "require(balanceOf[msg.sender] >= _value)"
+ 4179 PUSH2 [2588, 40] <transfer(address,uint256) returns()> "require(balanceOf[msg.sender] >= _value)"
+ 4182 JUMPI [2588, 40] <transfer(address,uint256) returns()> "require(balanceOf[msg.sender] >= _value)"
- 4183 PUSH1 [2588, 40] <transfer(address,uint256) returns()> "require(balanceOf[msg.sender] >= _value)"
- 4185 DUP1 [2588, 40] <transfer(address,uint256) returns()> "require(balanceOf[msg.sender] >= _value)"
- 4186 REVERT [2588, 40] <transfer(address,uint256) returns()> "require(balanceOf[msg.sender] >= _value)"
+ 4187 JUMPDEST [2588, 40] <transfer(address,uint256) returns()> "require(balanceOf[msg.sender] >= _value)"
+ 4188 PUSH1 [2673, 9] <transfer(address,uint256) returns()> "balanceOf"
+ 4190 PUSH1 [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4192 DUP4 [2683, 3] <transfer(address,uint256) returns()> "_to"
+ 4193 PUSH20 [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4214 AND [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4215 PUSH20 [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4236 AND [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4237 DUP2 [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4238 MSTORE [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4239 PUSH1 [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4241 ADD [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4242 SWAP1 [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4243 DUP2 [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4244 MSTORE [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4245 PUSH1 [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4247 ADD [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4248 PUSH1 [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4250 SHA3 [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4251 SLOAD [2673, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4252 DUP2 [2664, 6] <transfer(address,uint256) returns()> "_value"
+ 4253 PUSH1 [2647, 9] <transfer(address,uint256) returns()> "balanceOf"
+ 4255 PUSH1 [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4257 DUP6 [2657, 3] <transfer(address,uint256) returns()> "_to"
+ 4258 PUSH20 [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4279 AND [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4280 PUSH20 [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4301 AND [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4302 DUP2 [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4303 MSTORE [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4304 PUSH1 [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4306 ADD [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4307 SWAP1 [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4308 DUP2 [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4309 MSTORE [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4310 PUSH1 [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4312 ADD [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4313 PUSH1 [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4315 SHA3 [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4316 SLOAD [2647, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4317 ADD [2647, 23] <transfer(address,uint256) returns()> "balanceOf[_to] + _value"
+ 4318 GT [2647, 40] <transfer(address,uint256) returns()> "balanceOf[_to] + _value > balanceOf[_to]"
+ 4319 ISZERO [2639, 49] <transfer(address,uint256) returns()> "require(balanceOf[_to] + _value > balanceOf[_to])"
+ 4320 ISZERO [2639, 49] <transfer(address,uint256) returns()> "require(balanceOf[_to] + _value > balanceOf[_to])"
+ 4321 PUSH2 [2639, 49] <transfer(address,uint256) returns()> "require(balanceOf[_to] + _value > balanceOf[_to])"
+ 4324 JUMPI [2639, 49] <transfer(address,uint256) returns()> "require(balanceOf[_to] + _value > balanceOf[_to])"
+ 4325 PUSH1 [2639, 49] <transfer(address,uint256) returns()> "require(balanceOf[_to] + _value > balanceOf[_to])"
+ 4327 DUP1 [2639, 49] <transfer(address,uint256) returns()> "require(balanceOf[_to] + _value > balanceOf[_to])"
+ 4328 REVERT [2639, 49] <transfer(address,uint256) returns()> "require(balanceOf[_to] + _value > balanceOf[_to])"
+ 4329 JUMPDEST [2639, 49] <transfer(address,uint256) returns()> "require(balanceOf[_to] + _value > balanceOf[_to])"
+ 4330 PUSH2 [2723, 47] <transfer(address,uint256) returns()> "SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 4333 PUSH1 [2740, 9] <transfer(address,uint256) returns()> "balanceOf"
+ 4335 PUSH1 [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4337 CALLER [2750, 10] <transfer(address,uint256) returns()> "msg.sender"
+ 4338 PUSH20 [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4359 AND [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4360 PUSH20 [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4381 AND [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4382 DUP2 [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4383 MSTORE [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4384 PUSH1 [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4386 ADD [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4387 SWAP1 [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4388 DUP2 [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4389 MSTORE [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4390 PUSH1 [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4392 ADD [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4393 PUSH1 [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4395 SHA3 [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4396 SLOAD [2740, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4397 DUP3 [2763, 6] <transfer(address,uint256) returns()> "_value"
+ 4398 PUSH2 [2723, 16] <transfer(address,uint256) returns()> "SafeMath.safeSub"
+ 4401 JUMP [2723, 47] <transfer(address,uint256) returns()> "SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 4402 JUMPDEST [2723, 47] <transfer(address,uint256) returns()> "SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 4403 PUSH1 [2699, 9] <transfer(address,uint256) returns()> "balanceOf"
+ 4405 PUSH1 [2699, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4407 CALLER [2709, 10] <transfer(address,uint256) returns()> "msg.sender"
+ 4408 PUSH20 [2699, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4429 AND [2699, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4430 PUSH20 [2699, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4451 AND [2699, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4452 DUP2 [2699, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4453 MSTORE [2699, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4454 PUSH1 [2699, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4456 ADD [2699, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4457 SWAP1 [2699, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4458 DUP2 [2699, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4459 MSTORE [2699, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4460 PUSH1 [2699, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4462 ADD [2699, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4463 PUSH1 [2699, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4465 SHA3 [2699, 21] <transfer(address,uint256) returns()> "balanceOf[msg.sender]"
+ 4466 DUP2 [2699, 71] <transfer(address,uint256) returns()> "balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 4467 SWAP1 [2699, 71] <transfer(address,uint256) returns()> "balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 4468 SSTORE [2699, 71] <transfer(address,uint256) returns()> "balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 4469 POP [2699, 71] <transfer(address,uint256) returns()> "balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 4470 PUSH2 [2846, 40] <transfer(address,uint256) returns()> "SafeMath.safeAdd(balanceOf[_to], _value)"
+ 4473 PUSH1 [2863, 9] <transfer(address,uint256) returns()> "balanceOf"
+ 4475 PUSH1 [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4477 DUP5 [2873, 3] <transfer(address,uint256) returns()> "_to"
+ 4478 PUSH20 [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4499 AND [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4500 PUSH20 [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4521 AND [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4522 DUP2 [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4523 MSTORE [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4524 PUSH1 [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4526 ADD [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4527 SWAP1 [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4528 DUP2 [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4529 MSTORE [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4530 PUSH1 [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4532 ADD [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4533 PUSH1 [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4535 SHA3 [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4536 SLOAD [2863, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4537 DUP3 [2879, 6] <transfer(address,uint256) returns()> "_value"
+ 4538 PUSH2 [2846, 16] <transfer(address,uint256) returns()> "SafeMath.safeAdd"
+ 4541 JUMP [2846, 40] <transfer(address,uint256) returns()> "SafeMath.safeAdd(balanceOf[_to], _value)"
+ 4542 JUMPDEST [2846, 40] <transfer(address,uint256) returns()> "SafeMath.safeAdd(balanceOf[_to], _value)"
+ 4543 PUSH1 [2829, 9] <transfer(address,uint256) returns()> "balanceOf"
+ 4545 PUSH1 [2829, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4547 DUP5 [2839, 3] <transfer(address,uint256) returns()> "_to"
+ 4548 PUSH20 [2829, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4569 AND [2829, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4570 PUSH20 [2829, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4591 AND [2829, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4592 DUP2 [2829, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4593 MSTORE [2829, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4594 PUSH1 [2829, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4596 ADD [2829, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4597 SWAP1 [2829, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4598 DUP2 [2829, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4599 MSTORE [2829, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4600 PUSH1 [2829, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4602 ADD [2829, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4603 PUSH1 [2829, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4605 SHA3 [2829, 14] <transfer(address,uint256) returns()> "balanceOf[_to]"
+ 4606 DUP2 [2829, 57] <transfer(address,uint256) returns()> "balanceOf[_to] = SafeMath.safeAdd(balanceOf[_to], _value)"
+ 4607 SWAP1 [2829, 57] <transfer(address,uint256) returns()> "balanceOf[_to] = SafeMath.safeAdd(balanceOf[_to], _value)"
+ 4608 SSTORE [2829, 57] <transfer(address,uint256) returns()> "balanceOf[_to] = SafeMath.safeAdd(balanceOf[_to], _value)"
+ 4609 POP [2829, 57] <transfer(address,uint256) returns()> "balanceOf[_to] = SafeMath.safeAdd(balanceOf[_to], _value)"
+ 4610 DUP2 [2978, 3] <transfer(address,uint256) returns()> "_to"
+ 4611 PUSH20 [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4632 AND [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4633 CALLER [2966, 10] <transfer(address,uint256) returns()> "msg.sender"
+ 4634 PUSH20 [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4655 AND [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4656 PUSH32 [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4689 DUP4 [2983, 6] <transfer(address,uint256) returns()> "_value"
+ 4690 PUSH1 [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4692 MLOAD [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4693 DUP1 [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4694 DUP3 [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4695 DUP2 [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4696 MSTORE [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4697 PUSH1 [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4699 ADD [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4700 SWAP2 [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4701 POP [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4702 POP [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4703 PUSH1 [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4705 MLOAD [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4706 DUP1 [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4707 SWAP2 [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4708 SUB [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4709 SWAP1 [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4710 LOG3 [2957, 33] <transfer(address,uint256) returns()> "Transfer(msg.sender, _to, _value)"
+ 4711 JUMPDEST [2463, 610] <transfer(address,uint256) returns()> "function transfer(address _to, uint256 _value) public {"
+ 4712 POP [2463, 610] <transfer(address,uint256) returns()> "function transfer(address _to, uint256 _value) public {"
+ 4713 POP [2463, 610] <transfer(address,uint256) returns()> "function transfer(address _to, uint256 _value) public {"
+ 4714 JUMP [2463, 610] <transfer(address,uint256) returns()> "function transfer(address _to, uint256 _value) public {"
+ 4715 JUMPDEST [1148, 44] N/A N/A
+ 4716 PUSH1 [1148, 44] N/A N/A
+ 4718 PUSH1 [1148, 44] N/A N/A
+ 4720 MSTORE [1148, 44] N/A N/A
+ 4721 DUP1 [1148, 44] N/A N/A
+ 4722 PUSH1 [1148, 44] N/A N/A
+ 4724 MSTORE [1148, 44] N/A N/A
+ 4725 PUSH1 [1148, 44] N/A N/A
+ 4727 PUSH1 [1148, 44] N/A N/A
+ 4729 SHA3 [1148, 44] N/A N/A
+ 4730 PUSH1 [1148, 44] N/A N/A
+ 4732 SWAP2 [1148, 44] N/A N/A
+ 4733 POP [1148, 44] N/A N/A
+ 4734 SWAP1 [1148, 44] N/A N/A
+ 4735 POP [1148, 44] N/A N/A
+ 4736 SLOAD [1148, 44] N/A N/A
+ 4737 DUP2 [1148, 44] N/A N/A
+ 4738 JUMP [1148, 44] N/A N/A
+ 4739 JUMPDEST [4615, 475] <freeze(uint256) returns(bool)> "function freeze(uint256 _value) public returns (bool success) {"
+ 4740 PUSH1 [4663, 12] <freeze(uint256) returns(bool)> "bool success"
+ 4742 DUP2 [4721, 6] <freeze(uint256) returns(bool)> "_value"
+ 4743 PUSH1 [4696, 9] <freeze(uint256) returns(bool)> "balanceOf"
+ 4745 PUSH1 [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4747 CALLER [4706, 10] <freeze(uint256) returns(bool)> "msg.sender"
+ 4748 PUSH20 [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4769 AND [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4770 PUSH20 [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4791 AND [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4792 DUP2 [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4793 MSTORE [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4794 PUSH1 [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4796 ADD [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4797 SWAP1 [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4798 DUP2 [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4799 MSTORE [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4800 PUSH1 [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4802 ADD [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4803 PUSH1 [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4805 SHA3 [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4806 SLOAD [4696, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4807 LT [4696, 31] <freeze(uint256) returns(bool)> "balanceOf[msg.sender] >= _value"
+ 4808 ISZERO [4696, 31] <freeze(uint256) returns(bool)> "balanceOf[msg.sender] >= _value"
+ 4809 ISZERO [4688, 40] <freeze(uint256) returns(bool)> "require(balanceOf[msg.sender] >= _value)"
+ 4810 ISZERO [4688, 40] <freeze(uint256) returns(bool)> "require(balanceOf[msg.sender] >= _value)"
+ 4811 PUSH2 [4688, 40] <freeze(uint256) returns(bool)> "require(balanceOf[msg.sender] >= _value)"
+ 4814 JUMPI [4688, 40] <freeze(uint256) returns(bool)> "require(balanceOf[msg.sender] >= _value)"
+ 4815 PUSH1 [4688, 40] <freeze(uint256) returns(bool)> "require(balanceOf[msg.sender] >= _value)"
+ 4817 DUP1 [4688, 40] <freeze(uint256) returns(bool)> "require(balanceOf[msg.sender] >= _value)"
+ 4818 REVERT [4688, 40] <freeze(uint256) returns(bool)> "require(balanceOf[msg.sender] >= _value)"
+ 4819 JUMPDEST [4688, 40] <freeze(uint256) returns(bool)> "require(balanceOf[msg.sender] >= _value)"
+ 4820 PUSH1 [4756, 1] <freeze(uint256) returns(bool)> "0"
+ 4822 DUP3 [4747, 6] <freeze(uint256) returns(bool)> "_value"
+ 4823 GT [4747, 10] <freeze(uint256) returns(bool)> "_value > 0"
+ 4824 ISZERO [4739, 19] <freeze(uint256) returns(bool)> "require(_value > 0)"
+ 4825 ISZERO [4739, 19] <freeze(uint256) returns(bool)> "require(_value > 0)"
+ 4826 PUSH2 [4739, 19] <freeze(uint256) returns(bool)> "require(_value > 0)"
+ 4829 JUMPI [4739, 19] <freeze(uint256) returns(bool)> "require(_value > 0)"
+ 4830 PUSH1 [4739, 19] <freeze(uint256) returns(bool)> "require(_value > 0)"
+ 4832 DUP1 [4739, 19] <freeze(uint256) returns(bool)> "require(_value > 0)"
+ 4833 REVERT [4739, 19] <freeze(uint256) returns(bool)> "require(_value > 0)"
+ 4834 JUMPDEST [4739, 19] <freeze(uint256) returns(bool)> "require(_value > 0)"
+ 4835 PUSH2 [4793, 47] <freeze(uint256) returns(bool)> "SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 4838 PUSH1 [4810, 9] <freeze(uint256) returns(bool)> "balanceOf"
+ 4840 PUSH1 [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4842 CALLER [4820, 10] <freeze(uint256) returns(bool)> "msg.sender"
+ 4843 PUSH20 [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4864 AND [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4865 PUSH20 [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4886 AND [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4887 DUP2 [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4888 MSTORE [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4889 PUSH1 [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4891 ADD [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4892 SWAP1 [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4893 DUP2 [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4894 MSTORE [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4895 PUSH1 [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4897 ADD [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4898 PUSH1 [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4900 SHA3 [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4901 SLOAD [4810, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4902 DUP4 [4833, 6] <freeze(uint256) returns(bool)> "_value"
+ 4903 PUSH2 [4793, 16] <freeze(uint256) returns(bool)> "SafeMath.safeSub"
+ 4906 JUMP [4793, 47] <freeze(uint256) returns(bool)> "SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 4907 JUMPDEST [4793, 47] <freeze(uint256) returns(bool)> "SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 4908 PUSH1 [4769, 9] <freeze(uint256) returns(bool)> "balanceOf"
+ 4910 PUSH1 [4769, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4912 CALLER [4779, 10] <freeze(uint256) returns(bool)> "msg.sender"
+ 4913 PUSH20 [4769, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4934 AND [4769, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4935 PUSH20 [4769, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4956 AND [4769, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4957 DUP2 [4769, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4958 MSTORE [4769, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4959 PUSH1 [4769, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4961 ADD [4769, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4962 SWAP1 [4769, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4963 DUP2 [4769, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4964 MSTORE [4769, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4965 PUSH1 [4769, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4967 ADD [4769, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4968 PUSH1 [4769, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4970 SHA3 [4769, 21] <freeze(uint256) returns(bool)> "balanceOf[msg.sender]"
+ 4971 DUP2 [4769, 71] <freeze(uint256) returns(bool)> "balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 4972 SWAP1 [4769, 71] <freeze(uint256) returns(bool)> "balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 4973 SSTORE [4769, 71] <freeze(uint256) returns(bool)> "balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 4974 POP [4769, 71] <freeze(uint256) returns(bool)> "balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value)"
+ 4975 PUSH2 [4923, 46] <freeze(uint256) returns(bool)> "SafeMath.safeAdd(freezeOf[msg.sender], _value)"
+ 4978 PUSH1 [4940, 8] <freeze(uint256) returns(bool)> "freezeOf"
+ 4980 PUSH1 [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 4982 CALLER [4949, 10] <freeze(uint256) returns(bool)> "msg.sender"
+ 4983 PUSH20 [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5004 AND [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5005 PUSH20 [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5026 AND [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5027 DUP2 [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5028 MSTORE [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5029 PUSH1 [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5031 ADD [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5032 SWAP1 [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5033 DUP2 [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5034 MSTORE [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5035 PUSH1 [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5037 ADD [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5038 PUSH1 [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5040 SHA3 [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5041 SLOAD [4940, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5042 DUP4 [4962, 6] <freeze(uint256) returns(bool)> "_value"
+ 5043 PUSH2 [4923, 16] <freeze(uint256) returns(bool)> "SafeMath.safeAdd"
+ 5046 JUMP [4923, 46] <freeze(uint256) returns(bool)> "SafeMath.safeAdd(freezeOf[msg.sender], _value)"
+ 5047 JUMPDEST [4923, 46] <freeze(uint256) returns(bool)> "SafeMath.safeAdd(freezeOf[msg.sender], _value)"
+ 5048 PUSH1 [4900, 8] <freeze(uint256) returns(bool)> "freezeOf"
+ 5050 PUSH1 [4900, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5052 CALLER [4909, 10] <freeze(uint256) returns(bool)> "msg.sender"
+ 5053 PUSH20 [4900, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5074 AND [4900, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5075 PUSH20 [4900, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5096 AND [4900, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5097 DUP2 [4900, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5098 MSTORE [4900, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5099 PUSH1 [4900, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5101 ADD [4900, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5102 SWAP1 [4900, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5103 DUP2 [4900, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5104 MSTORE [4900, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5105 PUSH1 [4900, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5107 ADD [4900, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5108 PUSH1 [4900, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5110 SHA3 [4900, 20] <freeze(uint256) returns(bool)> "freezeOf[msg.sender]"
+ 5111 DUP2 [4900, 69] <freeze(uint256) returns(bool)> "freezeOf[msg.sender] = SafeMath.safeAdd(freezeOf[msg.sender], _value)"
+ 5112 SWAP1 [4900, 69] <freeze(uint256) returns(bool)> "freezeOf[msg.sender] = SafeMath.safeAdd(freezeOf[msg.sender], _value)"
+ 5113 SSTORE [4900, 69] <freeze(uint256) returns(bool)> "freezeOf[msg.sender] = SafeMath.safeAdd(freezeOf[msg.sender], _value)"
+ 5114 POP [4900, 69] <freeze(uint256) returns(bool)> "freezeOf[msg.sender] = SafeMath.safeAdd(freezeOf[msg.sender], _value)"
+ 5115 CALLER [5041, 10] <freeze(uint256) returns(bool)> "msg.sender"
+ 5116 PUSH20 [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5137 AND [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5138 PUSH32 [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5171 DUP4 [5053, 6] <freeze(uint256) returns(bool)> "_value"
+ 5172 PUSH1 [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5174 MLOAD [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5175 DUP1 [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5176 DUP3 [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5177 DUP2 [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5178 MSTORE [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5179 PUSH1 [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5181 ADD [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5182 SWAP2 [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5183 POP [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5184 POP [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5185 PUSH1 [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5187 MLOAD [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5188 DUP1 [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5189 SWAP2 [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5190 SUB [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5191 SWAP1 [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5192 LOG2 [5034, 26] <freeze(uint256) returns(bool)> "Freeze(msg.sender, _value)"
+ 5193 PUSH1 [5078, 4] <freeze(uint256) returns(bool)> "true"
+ 5195 SWAP1 [5071, 11] <freeze(uint256) returns(bool)> "return true"
+ 5196 POP [5071, 11] <freeze(uint256) returns(bool)> "return true"
+ 5197 JUMPDEST [4615, 475] <freeze(uint256) returns(bool)> "function freeze(uint256 _value) public returns (bool success) {"
+ 5198 SWAP2 [4615, 475] <freeze(uint256) returns(bool)> "function freeze(uint256 _value) public returns (bool success) {"
+ 5199 SWAP1 [4615, 475] <freeze(uint256) returns(bool)> "function freeze(uint256 _value) public returns (bool success) {"
+ 5200 POP [4615, 475] <freeze(uint256) returns(bool)> "function freeze(uint256 _value) public returns (bool success) {"
+ 5201 JUMP [4615, 475] <freeze(uint256) returns(bool)> "function freeze(uint256 _value) public returns (bool success) {"
+ 5202 JUMPDEST [1199, 66] N/A N/A
+ 5203 PUSH1 [1199, 66] N/A N/A
+ 5205 PUSH1 [1199, 66] N/A N/A
+ 5207 MSTORE [1199, 66] N/A N/A
+ 5208 DUP2 [1199, 66] N/A N/A
+ 5209 PUSH1 [1199, 66] N/A N/A
+ 5211 MSTORE [1199, 66] N/A N/A
+ 5212 PUSH1 [1199, 66] N/A N/A
+ 5214 PUSH1 [1199, 66] N/A N/A
+ 5216 SHA3 [1199, 66] N/A N/A
+ 5217 PUSH1 [1199, 66] N/A N/A
+ 5219 MSTORE [1199, 66] N/A N/A
+ 5220 DUP1 [1199, 66] N/A N/A
+ 5221 PUSH1 [1199, 66] N/A N/A
+ 5223 MSTORE [1199, 66] N/A N/A
+ 5224 PUSH1 [1199, 66] N/A N/A
+ 5226 PUSH1 [1199, 66] N/A N/A
+ 5228 SHA3 [1199, 66] N/A N/A
+ 5229 PUSH1 [1199, 66] N/A N/A
+ 5231 SWAP2 [1199, 66] N/A N/A
+ 5232 POP [1199, 66] N/A N/A
+ 5233 SWAP2 [1199, 66] N/A N/A
+ 5234 POP [1199, 66] N/A N/A
+ 5235 POP [1199, 66] N/A N/A
+ 5236 SLOAD [1199, 66] N/A N/A
+ 5237 DUP2 [1199, 66] N/A N/A
+ 5238 JUMP [1199, 66] N/A N/A
+ 5239 JUMPDEST [566, 127] <safeSub(uint256,uint256) returns(uint256)> "function safeSub(uint256 a, uint256 b) internal pure returns (uint256) {"
+ 5240 PUSH1 [628, 7] <safeSub(uint256,uint256) returns(uint256)> "uint256"
+ 5242 DUP3 [660, 1] <safeSub(uint256,uint256) returns(uint256)> "a"
+ 5243 DUP3 [655, 1] <safeSub(uint256,uint256) returns(uint256)> "b"
+ 5244 GT [655, 6] <safeSub(uint256,uint256) returns(uint256)> "b <= a"
+ 5245 ISZERO [655, 6] <safeSub(uint256,uint256) returns(uint256)> "b <= a"
+ 5246 ISZERO [648, 14] <safeSub(uint256,uint256) returns(uint256)> "assert(b <= a)"
+ 5247 ISZERO [648, 14] <safeSub(uint256,uint256) returns(uint256)> "assert(b <= a)"
+ 5248 PUSH2 [648, 14] <safeSub(uint256,uint256) returns(uint256)> "assert(b <= a)"
+ 5251 JUMPI [648, 14] <safeSub(uint256,uint256) returns(uint256)> "assert(b <= a)"
- 5252 INVALID [648, 14] <safeSub(uint256,uint256) returns(uint256)> "assert(b <= a)"
+ 5253 JUMPDEST [648, 14] <safeSub(uint256,uint256) returns(uint256)> "assert(b <= a)"
+ 5254 DUP2 [684, 1] <safeSub(uint256,uint256) returns(uint256)> "b"
+ 5255 DUP4 [680, 1] <safeSub(uint256,uint256) returns(uint256)> "a"
+ 5256 SUB [680, 5] <safeSub(uint256,uint256) returns(uint256)> "a - b"
+ 5257 SWAP1 [673, 12] <safeSub(uint256,uint256) returns(uint256)> "return a - b"
+ 5258 POP [673, 12] <safeSub(uint256,uint256) returns(uint256)> "return a - b"
+ 5259 JUMPDEST [566, 127] <safeSub(uint256,uint256) returns(uint256)> "function safeSub(uint256 a, uint256 b) internal pure returns (uint256) {"
+ 5260 SWAP3 [566, 127] <safeSub(uint256,uint256) returns(uint256)> "function safeSub(uint256 a, uint256 b) internal pure returns (uint256) {"
+ 5261 SWAP2 [566, 127] <safeSub(uint256,uint256) returns(uint256)> "function safeSub(uint256 a, uint256 b) internal pure returns (uint256) {"
+ 5262 POP [566, 127] <safeSub(uint256,uint256) returns(uint256)> "function safeSub(uint256 a, uint256 b) internal pure returns (uint256) {"
+ 5263 POP [566, 127] <safeSub(uint256,uint256) returns(uint256)> "function safeSub(uint256 a, uint256 b) internal pure returns (uint256) {"
+ 5264 JUMP [566, 127] <safeSub(uint256,uint256) returns(uint256)> "function safeSub(uint256 a, uint256 b) internal pure returns (uint256) {"
+ 5265 JUMPDEST [701, 157] <safeAdd(uint256,uint256) returns(uint256)> "function safeAdd(uint256 a, uint256 b) internal pure returns (uint256) {"
+ 5266 PUSH1 [763, 7] <safeAdd(uint256,uint256) returns(uint256)> "uint256"
+ 5268 DUP1 [783, 9] <safeAdd(uint256,uint256) returns(uint256)> "uint256 c"
+ 5269 DUP3 [799, 1] <safeAdd(uint256,uint256) returns(uint256)> "b"
+ 5270 DUP5 [795, 1] <safeAdd(uint256,uint256) returns(uint256)> "a"
+ 5271 ADD [795, 5] <safeAdd(uint256,uint256) returns(uint256)> "a + b"
+ 5272 SWAP1 [783, 17] <safeAdd(uint256,uint256) returns(uint256)> "uint256 c = a + b"
+ 5273 POP [783, 17] <safeAdd(uint256,uint256) returns(uint256)> "uint256 c = a + b"
+ 5274 DUP4 [821, 1] <safeAdd(uint256,uint256) returns(uint256)> "a"
+ 5275 DUP2 [818, 1] <safeAdd(uint256,uint256) returns(uint256)> "c"
+ 5276 LT [818, 4] <safeAdd(uint256,uint256) returns(uint256)> "c>=a"
+ 5277 ISZERO [818, 4] <safeAdd(uint256,uint256) returns(uint256)> "c>=a"
+ 5278 DUP1 [818, 12] <safeAdd(uint256,uint256) returns(uint256)> "c>=a && c>=b"
+ 5279 ISZERO [818, 12] <safeAdd(uint256,uint256) returns(uint256)> "c>=a && c>=b"
+ 5280 PUSH2 [818, 12] <safeAdd(uint256,uint256) returns(uint256)> "c>=a && c>=b"
+ 5283 JUMPI [818, 12] <safeAdd(uint256,uint256) returns(uint256)> "c>=a && c>=b"
+ 5284 POP [818, 12] <safeAdd(uint256,uint256) returns(uint256)> "c>=a && c>=b"
+ 5285 DUP3 [829, 1] <safeAdd(uint256,uint256) returns(uint256)> "b"
+ 5286 DUP2 [826, 1] <safeAdd(uint256,uint256) returns(uint256)> "c"
+ 5287 LT [826, 4] <safeAdd(uint256,uint256) returns(uint256)> "c>=b"
+ 5288 ISZERO [826, 4] <safeAdd(uint256,uint256) returns(uint256)> "c>=b"
+ 5289 JUMPDEST [818, 12] <safeAdd(uint256,uint256) returns(uint256)> "c>=a && c>=b"
+ 5290 ISZERO [811, 20] <safeAdd(uint256,uint256) returns(uint256)> "assert(c>=a && c>=b)"
+ 5291 ISZERO [811, 20] <safeAdd(uint256,uint256) returns(uint256)> "assert(c>=a && c>=b)"
+ 5292 PUSH2 [811, 20] <safeAdd(uint256,uint256) returns(uint256)> "assert(c>=a && c>=b)"
+ 5295 JUMPI [811, 20] <safeAdd(uint256,uint256) returns(uint256)> "assert(c>=a && c>=b)"
- 5296 INVALID [811, 20] <safeAdd(uint256,uint256) returns(uint256)> "assert(c>=a && c>=b)"
+ 5297 JUMPDEST [811, 20] <safeAdd(uint256,uint256) returns(uint256)> "assert(c>=a && c>=b)"
+ 5298 DUP1 [849, 1] <safeAdd(uint256,uint256) returns(uint256)> "c"
+ 5299 SWAP2 [842, 8] <safeAdd(uint256,uint256) returns(uint256)> "return c"
+ 5300 POP [842, 8] <safeAdd(uint256,uint256) returns(uint256)> "return c"
+ 5301 JUMPDEST [701, 157] <safeAdd(uint256,uint256) returns(uint256)> "function safeAdd(uint256 a, uint256 b) internal pure returns (uint256) {"
+ 5302 POP [701, 157] <safeAdd(uint256,uint256) returns(uint256)> "function safeAdd(uint256 a, uint256 b) internal pure returns (uint256) {"
+ 5303 SWAP3 [701, 157] <safeAdd(uint256,uint256) returns(uint256)> "function safeAdd(uint256 a, uint256 b) internal pure returns (uint256) {"
+ 5304 SWAP2 [701, 157] <safeAdd(uint256,uint256) returns(uint256)> "function safeAdd(uint256 a, uint256 b) internal pure returns (uint256) {"
+ 5305 POP [701, 157] <safeAdd(uint256,uint256) returns(uint256)> "function safeAdd(uint256 a, uint256 b) internal pure returns (uint256) {"
+ 5306 POP [701, 157] <safeAdd(uint256,uint256) returns(uint256)> "function safeAdd(uint256 a, uint256 b) internal pure returns (uint256) {"
+ 5307 JUMP [701, 157] <safeAdd(uint256,uint256) returns(uint256)> "function safeAdd(uint256 a, uint256 b) internal pure returns (uint256) {"
- 5308 STOP N/A N/A N/A
- 5309 LOG1 N/A N/A N/A
- 5310 PUSH6 N/A N/A N/A
- 5317 SHA3 N/A N/A N/A
- 5318 INVALID N/A N/A N/A
- 5319 PUSH25 N/A N/A N/A