Z3Mapping x 4quan1sm | ScratchStats