[ { "name": "s", "uid": "s.p.136_138_75_203_172_174_111_239_128_130_67_195_148_150_87_215_168_170_107_235_140_142_79_207_152_154_91_219_156_158_95_223_180_182_119_247_164_166_103_231_144_146_83_211_132_134_71_199_188_190_127_255_160_162_99_227_184_186_123_251_176_178_115_243_202_200_74_10_238_236_110_46_194_192_66_2_214_212_86_22_234_232_106_42_206_204_78_14_218_216_90_26_222_220_94_30_246_244_118_54_230_228_102_38_210_208_82_18_198_196_70_6_254_252_126_62_226_224_98_34_250_248_122_58_242_240_114_50_8_137_9_139_44_173_45_175_0_129_1_131_20_149_21_151_40_169_41_171_12_141_13_143_24_153_25_155_28_157_29_159_52_181_53_183_36_165_37_167_16_145_17_147_4_133_5_135_60_189_61_191_32_161_33_163_56_185_57_187_48_177_49_179_73_201_72_11_109_237_108_47_65_193_64_3_85_213_84_23_105_233_104_43_77_205_76_15_89_217_88_27_93_221_92_31_117_245_116_55_101_229_100_39_81_209_80_19_69_197_68_7_125_253_124_63_97_225_96_35_121_249_120_59_113_241_112_51.i.0_255.o.0_255", "tuples": [ { "t": [ 0, 1 ], "nb": 1 }, { "t": [ 1, 0 ], "nb": 1 }, { "t": [ 1, 1 ], "nb": 254 } ] }, { "name": "mc", "uid": "mc.p.2_3_1_1+1_2_3_1+1_1_2_3+3_1_1_2.i.0_255.0_255.0_255.0_255.o.0_255.0_255.0_255.0_255", "tuples": [ { "t": [ 0, 1, 1, 1, 0, 1, 1, 0 ], "nb": 255 }, { "t": [ 0, 1, 1, 1, 0, 1, 1, 1 ], "nb": 64005 }, { "t": [ 1, 1, 0, 0, 1, 1, 0, 1 ], "nb": 255 }, { "t": [ 0, 0, 0, 1, 1, 1, 1, 1 ], "nb": 255 }, { "t": [ 1, 1, 1, 1, 1, 0, 0, 0 ], "nb": 255 }, { "t": [ 0, 1, 1, 1, 1, 0, 1, 0 ], "nb": 255 }, { "t": [ 0, 1, 1, 1, 1, 0, 1, 1 ], "nb": 64005 }, { "t": [ 0, 1, 1, 1, 1, 1, 0, 0 ], "nb": 255 }, { "t": [ 0, 1, 0, 1, 1, 1, 1, 0 ], "nb": 255 }, { "t": [ 0, 1, 0, 1, 1, 1, 1, 1 ], "nb": 64005 }, { "t": [ 0, 1, 1, 1, 1, 1, 0, 1 ], "nb": 64005 }, { "t": [ 1, 0, 1, 0, 1, 1, 0, 1 ], "nb": 255 }, { "t": [ 1, 0, 1, 1, 0, 1, 1, 0 ], "nb": 255 }, { "t": [ 1, 0, 1, 1, 0, 1, 1, 1 ], "nb": 64005 }, { "t": [ 1, 1, 0, 1, 0, 1, 0, 1 ], "nb": 255 }, { "t": [ 1, 1, 1, 0, 0, 0, 1, 1 ], "nb": 255 }, { "t": [ 1, 1, 1, 1, 1, 0, 0, 1 ], "nb": 64005 }, { "t": [ 1, 1, 1, 1, 1, 1, 1, 0 ], "nb": 16323825 }, { "t": [ 1, 1, 1, 1, 0, 1, 0, 0 ], "nb": 255 }, { "t": [ 0, 1, 1, 1, 0, 0, 1, 1 ], "nb": 255 }, { "t": [ 1, 1, 1, 1, 0, 1, 0, 1 ], "nb": 64005 }, { "t": [ 0, 1, 1, 1, 0, 1, 0, 1 ], "nb": 255 }, { "t": [ 1, 1, 0, 1, 1, 0, 0, 1 ], "nb": 255 }, { "t": [ 1, 1, 1, 0, 0, 1, 1, 0 ], "nb": 255 }, { "t": [ 1, 1, 1, 0, 0, 1, 1, 1 ], "nb": 64005 }, { "t": [ 1, 1, 1, 1, 1, 0, 1, 0 ], "nb": 64005 }, { "t": [ 1, 0, 0, 0, 1, 1, 1, 1 ], "nb": 255 }, { "t": [ 0, 1, 0, 1, 1, 0, 1, 1 ], "nb": 255 }, { "t": [ 1, 1, 0, 0, 0, 1, 1, 1 ], "nb": 255 }, { "t": [ 0, 1, 0, 1, 1, 1, 0, 1 ], "nb": 255 }, { "t": [ 1, 0, 1, 0, 1, 1, 1, 0 ], "nb": 255 }, { "t": [ 1, 0, 1, 0, 1, 1, 1, 1 ], "nb": 64005 }, { "t": [ 1, 0, 1, 1, 0, 1, 0, 1 ], "nb": 255 }, { "t": [ 1, 1, 1, 1, 1, 0, 1, 1 ], "nb": 16323825 }, { "t": [ 1, 1, 1, 0, 1, 0, 0, 1 ], "nb": 255 }, { "t": [ 1, 1, 1, 1, 1, 1, 0, 0 ], "nb": 64005 }, { "t": [ 1, 1, 1, 0, 1, 1, 1, 0 ], "nb": 64005 }, { "t": [ 1, 1, 1, 0, 1, 1, 1, 1 ], "nb": 16323825 }, { "t": [ 1, 1, 1, 1, 1, 1, 0, 1 ], "nb": 16323825 }, { "t": [ 0, 0, 1, 1, 1, 0, 1, 1 ], "nb": 255 }, { "t": [ 1, 1, 1, 1, 0, 1, 1, 0 ], "nb": 64005 }, { "t": [ 1, 1, 1, 1, 0, 1, 1, 1 ], "nb": 16323825 }, { "t": [ 0, 1, 1, 0, 1, 1, 0, 1 ], "nb": 255 }, { "t": [ 1, 1, 0, 1, 1, 0, 1, 0 ], "nb": 255 }, { "t": [ 1, 1, 0, 1, 1, 0, 1, 1 ], "nb": 64005 }, { "t": [ 1, 1, 1, 0, 0, 1, 0, 1 ], "nb": 255 }, { "t": [ 0, 1, 1, 0, 0, 1, 1, 1 ], "nb": 255 }, { "t": [ 1, 1, 1, 1, 1, 1, 1, 1 ], "nb": 4162570275 }, { "t": [ 0, 1, 0, 1, 0, 1, 1, 1 ], "nb": 255 }, { "t": [ 1, 0, 1, 1, 1, 1, 0, 0 ], "nb": 255 }, { "t": [ 1, 0, 1, 1, 1, 1, 0, 1 ], "nb": 64005 }, { "t": [ 1, 1, 0, 1, 0, 0, 1, 1 ], "nb": 255 }, { "t": [ 1, 1, 1, 0, 1, 0, 1, 0 ], "nb": 255 }, { "t": [ 1, 1, 1, 0, 1, 0, 1, 1 ], "nb": 64005 }, { "t": [ 1, 1, 1, 0, 1, 1, 0, 0 ], "nb": 255 }, { "t": [ 1, 1, 1, 0, 1, 1, 0, 1 ], "nb": 64005 }, { "t": [ 0, 1, 1, 0, 1, 1, 1, 1 ], "nb": 64005 }, { "t": [ 0, 1, 1, 0, 1, 1, 1, 0 ], "nb": 255 }, { "t": [ 0, 0, 1, 0, 1, 1, 1, 1 ], "nb": 255 }, { "t": [ 1, 1, 0, 1, 1, 1, 1, 0 ], "nb": 64005 }, { "t": [ 1, 0, 1, 0, 0, 1, 1, 1 ], "nb": 255 }, { "t": [ 1, 0, 1, 1, 1, 1, 1, 0 ], "nb": 64005 }, { "t": [ 1, 0, 1, 1, 1, 1, 1, 1 ], "nb": 16323825 }, { "t": [ 1, 1, 0, 0, 1, 0, 1, 1 ], "nb": 255 }, { "t": [ 1, 1, 0, 1, 1, 1, 1, 1 ], "nb": 16323825 }, { "t": [ 1, 0, 0, 1, 1, 1, 0, 1 ], "nb": 255 }, { "t": [ 0, 0, 0, 0, 0, 0, 0, 0 ], "nb": 1 }, { "t": [ 0, 1, 0, 0, 1, 1, 1, 1 ], "nb": 255 }, { "t": [ 0, 0, 1, 1, 0, 1, 1, 1 ], "nb": 255 }, { "t": [ 1, 0, 0, 1, 0, 1, 1, 1 ], "nb": 255 }, { "t": [ 1, 0, 1, 0, 1, 0, 1, 1 ], "nb": 255 }, { "t": [ 1, 0, 1, 1, 0, 0, 1, 1 ], "nb": 255 }, { "t": [ 1, 1, 0, 1, 1, 1, 0, 0 ], "nb": 255 }, { "t": [ 1, 1, 0, 1, 1, 1, 0, 1 ], "nb": 64005 }, { "t": [ 0, 0, 1, 1, 1, 1, 1, 0 ], "nb": 255 }, { "t": [ 0, 0, 1, 1, 1, 1, 1, 1 ], "nb": 64005 }, { "t": [ 1, 1, 1, 1, 0, 0, 1, 0 ], "nb": 255 }, { "t": [ 1, 0, 0, 1, 1, 1, 1, 0 ], "nb": 255 }, { "t": [ 1, 0, 0, 1, 1, 1, 1, 1 ], "nb": 64005 }, { "t": [ 1, 0, 1, 1, 1, 0, 1, 0 ], "nb": 255 }, { "t": [ 1, 0, 1, 1, 1, 0, 1, 1 ], "nb": 64005 }, { "t": [ 1, 1, 0, 0, 1, 1, 1, 0 ], "nb": 255 }, { "t": [ 1, 1, 0, 0, 1, 1, 1, 1 ], "nb": 64005 }, { "t": [ 1, 1, 1, 1, 0, 0, 1, 1 ], "nb": 64005 }, { "t": [ 0, 1, 1, 1, 1, 0, 0, 1 ], "nb": 255 }, { "t": [ 0, 1, 1, 1, 1, 1, 1, 0 ], "nb": 64005 }, { "t": [ 0, 1, 1, 1, 1, 1, 1, 1 ], "nb": 16323825 }, { "t": [ 1, 0, 0, 1, 1, 0, 1, 1 ], "nb": 255 }, { "t": [ 1, 1, 0, 1, 0, 1, 1, 0 ], "nb": 255 }, { "t": [ 1, 1, 0, 1, 0, 1, 1, 1 ], "nb": 64005 }, { "t": [ 0, 0, 1, 1, 1, 1, 0, 1 ], "nb": 255 }, { "t": [ 1, 1, 1, 1, 0, 0, 0, 1 ], "nb": 255 }, { "t": [ 0, 1, 1, 0, 1, 0, 1, 1 ], "nb": 255 }, { "t": [ 1, 0, 1, 1, 1, 0, 0, 1 ], "nb": 255 } ] }, { "name": "Xor", "uid": "Xor.i.0_255.0_255.o.0_255", "tuples": [ { "t": [ 0, 1, 1 ], "nb": 255 }, { "t": [ 1, 1, 1 ], "nb": 64770 }, { "t": [ 0, 0, 0 ], "nb": 1 }, { "t": [ 1, 1, 0 ], "nb": 255 }, { "t": [ 1, 0, 1 ], "nb": 255 } ] }, { "name": "B2n", "uid": "B2n.i.0_255.o.0_15.0_15", "tuples": [ { "t": [ 1, 1, 1 ], "nb": 225 }, { "t": [ 0, 0, 0 ], "nb": 1 }, { "t": [ 1, 1, 0 ], "nb": 15 }, { "t": [ 1, 0, 1 ], "nb": 15 } ] }, { "name": "s", "uid": "s.p.101_76_106_66_75_99_67_107_85_117_90_122_83_115_91_123_53_140_58_129_137_51_128_59_149_37_152_42_144_35_153_43_229_204_232_193_201_224_192_233_213_245_216_248_208_240_217_249_165_28_168_18_27_160_19_169_5_181_10_184_3_176_11_185_50_136_60_133_141_52_132_61_145_34_156_44_148_36_157_45_98_74_108_69_77_100_68_109_82_114_92_124_84_116_93_125_161_26_172_21_29_164_20_173_2_177_12_188_4_180_13_189_225_200_236_197_205_228_196_237_209_241_220_252_212_244_221_253_54_142_56_130_139_48_131_57_150_38_154_40_147_32_155_41_102_78_104_65_73_96_64_105_86_118_88_120_80_112_89_121_166_30_170_17_25_163_16_171_6_182_8_186_0_179_9_187_230_206_234_194_203_227_195_235_214_246_218_250_211_243_219_251_49_138_62_134_143_55_135_63_146_33_158_46_151_39_159_47_97_72_110_70_79_103_71_111_81_113_94_126_87_119_95_127_162_24_174_22_31_167_23_175_1_178_14_190_7_183_15_191_226_202_238_198_207_231_199_239_210_242_222_254_215_247_223_255.i.0_255.o.0_255", "tuples": [ { "t": [ 0, 1 ], "nb": 1 }, { "t": [ 1, 0 ], "nb": 1 }, { "t": [ 1, 1 ], "nb": 254 } ] }, { "name": "s", "uid": "s.p.34_43_32_41_162_171_38_47_75_11_73_9_203_139_79_15_178_187_52_61_50_59_54_63_219_155_93_29_91_27_95_31_2_67_0_65_130_195_6_71_66_3_64_1_194_131_70_7_146_211_20_85_18_83_22_87_210_147_84_21_82_19_86_23_42_35_40_33_170_163_46_39_107_10_105_8_235_138_111_14_186_179_60_53_58_51_62_55_251_154_125_28_123_26_127_30_98_99_96_97_226_227_102_103_106_74_104_72_234_202_110_78_242_243_116_117_114_115_118_119_250_218_124_92_122_90_126_94_180_189_36_45_182_191_166_175_221_157_77_13_223_159_207_143_176_185_48_57_160_169_164_173_217_153_89_25_201_137_205_141_148_213_4_69_150_215_134_199_212_149_68_5_214_151_198_135_144_209_16_81_128_193_132_197_208_145_80_17_192_129_196_133_188_181_44_37_190_183_174_167_253_156_109_12_255_158_239_142_184_177_56_49_168_161_172_165_249_152_121_24_233_136_237_140_244_245_100_101_246_247_230_231_252_220_108_76_254_222_238_206_240_241_112_113_224_225_228_229_248_216_120_88_232_200_236_204.i.0_255.o.0_255", "tuples": [ { "t": [ 0, 1 ], "nb": 1 }, { "t": [ 1, 0 ], "nb": 1 }, { "t": [ 1, 1 ], "nb": 254 } ] }, { "name": "s", "uid": "s.p.12_6_9_0_1_10_2_11_3_8_5_13_4_14_7_15.i.0_15.o.0_15", "tuples": [ { "t": [ 0, 1 ], "nb": 1 }, { "t": [ 1, 0 ], "nb": 1 }, { "t": [ 1, 1 ], "nb": 14 } ] }, { "name": "eq", "uid": "eq.i.0_15.o.0_15", "tuples": [ { "t": [ 0, 0 ], "nb": 1 }, { "t": [ 1, 1 ], "nb": 15 } ] }, { "name": "lsfr", "uid": "lsfr.p.0_3+0+1+2.i.0_15.o.0_15", "tuples": [ { "t": [ 0, 0 ], "nb": 1 }, { "t": [ 1, 1 ], "nb": 15 } ] }, { "name": "mc", "uid": "mc.p.0_1_1_1+1_0_1_1+1_1_0_1+1_1_1_0.i.0_255.0_255.0_255.0_255.o.0_255.0_255.0_255.0_255", "tuples": [ { "t": [ 0, 1, 1, 1, 0, 1, 1, 1 ], "nb": 64770 }, { "t": [ 0, 1, 1, 0, 1, 1, 1, 1 ], "nb": 64770 }, { "t": [ 1, 1, 1, 1, 1, 0, 0, 1 ], "nb": 64770 }, { "t": [ 0, 0, 1, 1, 0, 0, 1, 1 ], "nb": 255 }, { "t": [ 0, 1, 1, 1, 1, 0, 1, 1 ], "nb": 64770 }, { "t": [ 1, 1, 1, 1, 1, 1, 1, 0 ], "nb": 16322040 }, { "t": [ 0, 1, 1, 1, 1, 1, 0, 1 ], "nb": 64770 }, { "t": [ 0, 1, 0, 1, 1, 1, 1, 1 ], "nb": 64770 }, { "t": [ 1, 0, 1, 1, 0, 1, 1, 1 ], "nb": 64770 }, { "t": [ 1, 1, 0, 1, 1, 1, 1, 0 ], "nb": 64770 }, { "t": [ 0, 1, 0, 1, 0, 1, 0, 1 ], "nb": 255 }, { "t": [ 1, 0, 0, 1, 1, 0, 0, 1 ], "nb": 255 }, { "t": [ 1, 0, 1, 1, 1, 1, 1, 0 ], "nb": 64770 }, { "t": [ 1, 0, 1, 1, 1, 1, 1, 1 ], "nb": 16322040 }, { "t": [ 1, 1, 0, 1, 1, 1, 1, 1 ], "nb": 16322040 }, { "t": [ 1, 1, 1, 1, 1, 1, 1, 1 ], "nb": 4162573845 }, { "t": [ 1, 1, 1, 1, 0, 1, 0, 1 ], "nb": 64770 }, { "t": [ 0, 1, 0, 0, 1, 0, 1, 1 ], "nb": 255 }, { "t": [ 0, 0, 0, 0, 0, 0, 0, 0 ], "nb": 1 }, { "t": [ 1, 1, 1, 0, 0, 1, 1, 1 ], "nb": 64770 }, { "t": [ 1, 1, 1, 1, 1, 0, 1, 0 ], "nb": 64770 }, { "t": [ 1, 1, 1, 1, 1, 0, 1, 1 ], "nb": 16322040 }, { "t": [ 1, 1, 1, 1, 1, 1, 0, 0 ], "nb": 64770 }, { "t": [ 1, 1, 1, 1, 1, 1, 0, 1 ], "nb": 16322040 }, { "t": [ 0, 0, 1, 0, 1, 1, 0, 1 ], "nb": 255 }, { "t": [ 1, 0, 1, 0, 1, 0, 1, 0 ], "nb": 255 }, { "t": [ 1, 0, 1, 1, 0, 1, 0, 0 ], "nb": 255 }, { "t": [ 1, 0, 1, 0, 1, 1, 1, 1 ], "nb": 64770 }, { "t": [ 1, 1, 0, 1, 1, 1, 0, 1 ], "nb": 64770 }, { "t": [ 1, 1, 1, 0, 1, 1, 1, 0 ], "nb": 64770 }, { "t": [ 1, 1, 1, 0, 1, 1, 1, 1 ], "nb": 16322040 }, { "t": [ 0, 0, 1, 1, 1, 1, 1, 1 ], "nb": 64770 }, { "t": [ 1, 1, 1, 1, 0, 0, 1, 1 ], "nb": 64770 }, { "t": [ 1, 0, 0, 0, 0, 1, 1, 1 ], "nb": 255 }, { "t": [ 1, 0, 0, 1, 1, 1, 1, 1 ], "nb": 64770 }, { "t": [ 1, 0, 1, 1, 1, 0, 1, 1 ], "nb": 64770 }, { "t": [ 1, 1, 0, 0, 1, 1, 1, 1 ], "nb": 64770 }, { "t": [ 1, 1, 0, 1, 1, 0, 1, 1 ], "nb": 64770 }, { "t": [ 1, 1, 1, 1, 0, 1, 1, 0 ], "nb": 64770 }, { "t": [ 1, 1, 1, 1, 0, 1, 1, 1 ], "nb": 16322040 }, { "t": [ 0, 1, 1, 1, 1, 0, 0, 0 ], "nb": 255 }, { "t": [ 0, 1, 1, 0, 0, 1, 1, 0 ], "nb": 255 }, { "t": [ 0, 1, 1, 1, 1, 1, 1, 0 ], "nb": 64770 }, { "t": [ 0, 1, 1, 1, 1, 1, 1, 1 ], "nb": 16322040 }, { "t": [ 1, 1, 1, 0, 0, 0, 0, 1 ], "nb": 255 }, { "t": [ 1, 0, 1, 1, 1, 1, 0, 1 ], "nb": 64770 }, { "t": [ 1, 1, 1, 0, 1, 0, 1, 1 ], "nb": 64770 }, { "t": [ 1, 1, 0, 1, 0, 1, 1, 1 ], "nb": 64770 }, { "t": [ 1, 1, 0, 1, 0, 0, 1, 0 ], "nb": 255 }, { "t": [ 1, 1, 1, 0, 1, 1, 0, 1 ], "nb": 64770 }, { "t": [ 0, 0, 0, 1, 1, 1, 1, 0 ], "nb": 255 }, { "t": [ 1, 1, 0, 0, 1, 1, 0, 0 ], "nb": 255 } ] }, { "name": "s", "uid": "s.p.68_195_71_67_64_192_194_66_84_211_87_83_80_208_210_82_60_187_63_59_56_184_186_58_124_251_127_123_120_248_250_122_116_243_119_115_112_240_242_114_100_227_103_99_96_224_226_98_52_179_55_51_48_176_178_50_20_147_23_19_16_144_146_18_4_131_7_3_0_128_130_2_76_203_79_75_72_200_202_74_12_139_15_11_8_136_138_10_92_219_95_91_88_216_218_90_44_171_47_43_40_168_170_42_108_235_111_107_104_232_234_106_36_163_39_35_32_160_162_34_28_155_31_27_24_152_154_26_69_199_70_65_196_197_198_193_85_215_86_81_212_213_214_209_61_191_62_57_188_189_190_185_125_255_126_121_252_253_254_249_117_247_118_113_244_245_246_241_101_231_102_97_228_229_230_225_53_183_54_49_180_181_182_177_21_151_22_17_148_149_150_145_5_135_6_1_132_133_134_129_77_207_78_73_204_205_206_201_13_143_14_9_140_141_142_137_93_223_94_89_220_221_222_217_45_175_46_41_172_173_174_169_109_239_110_105_236_237_238_233_37_167_38_33_164_165_166_161_29_159_30_25_156_157_158_153.i.0_255.o.0_255", "tuples": [ { "t": [ 0, 1 ], "nb": 1 }, { "t": [ 1, 0 ], "nb": 1 }, { "t": [ 1, 1 ], "nb": 254 } ] }, { "name": "s", "uid": "s.p.17_16_81_80_180_48_244_112_89_88_25_24_252_120_188_56_1_0_19_18_164_32_182_50_11_10_27_26_174_42_190_58_21_49_85_113_181_53_245_117_93_121_29_57_253_125_189_61_5_33_23_51_165_37_183_55_15_43_31_59_175_47_191_63_75_74_91_90_238_106_254_122_73_72_65_64_236_104_228_96_3_2_83_82_166_34_246_114_9_8_67_66_172_40_230_98_79_107_95_123_239_111_255_127_77_105_69_97_237_109_229_101_7_35_87_115_167_39_247_119_13_41_71_99_173_45_231_103_149_176_213_240_148_144_212_208_221_248_157_184_220_216_156_152_133_160_151_178_132_128_150_146_143_170_159_186_142_138_158_154_145_177_209_241_20_52_84_116_217_249_153_185_92_124_28_60_129_161_147_179_4_36_22_54_139_171_155_187_14_46_30_62_207_234_223_250_206_202_222_218_205_232_197_224_204_200_196_192_135_162_215_242_134_130_214_210_141_168_199_226_140_136_198_194_203_235_219_251_78_110_94_126_201_233_193_225_76_108_68_100_131_163_211_243_6_38_86_118_137_169_195_227_12_44_70_102.i.0_255.o.0_255", "tuples": [ { "t": [ 0, 1 ], "nb": 1 }, { "t": [ 1, 0 ], "nb": 1 }, { "t": [ 1, 1 ], "nb": 254 } ] }, { "name": "Xor", "uid": "Xor.i.0_255.0_255.0_255.o.0_255", "tuples": [ { "t": [ 0, 0, 0, 0 ], "nb": 1 }, { "t": [ 0, 1, 1, 0 ], "nb": 255 }, { "t": [ 0, 1, 1, 1 ], "nb": 64770 }, { "t": [ 1, 0, 0, 1 ], "nb": 255 }, { "t": [ 0, 0, 1, 1 ], "nb": 255 }, { "t": [ 1, 1, 1, 0 ], "nb": 64770 }, { "t": [ 1, 0, 1, 0 ], "nb": 255 }, { "t": [ 0, 1, 0, 1 ], "nb": 255 }, { "t": [ 1, 0, 1, 1 ], "nb": 64770 }, { "t": [ 1, 1, 0, 0 ], "nb": 255 }, { "t": [ 1, 1, 0, 1 ], "nb": 64770 }, { "t": [ 1, 1, 1, 1 ], "nb": 16516605 } ] }, { "name": "eq", "uid": "eq.i.0_255.o.0_255", "tuples": [ { "t": [ 0, 0 ], "nb": 1 }, { "t": [ 1, 1 ], "nb": 255 } ] }, { "name": "Xor", "uid": "Xor.i.0_255.0_255.0_255.0_255.o.0_255", "tuples": [ { "t": [ 0, 0, 0, 0, 0 ], "nb": 1 }, { "t": [ 1, 0, 1, 1, 1 ], "nb": 16516605 }, { "t": [ 1, 1, 0, 1, 1 ], "nb": 16516605 }, { "t": [ 0, 1, 0, 1, 1 ], "nb": 64770 }, { "t": [ 0, 0, 1, 1, 1 ], "nb": 64770 }, { "t": [ 0, 0, 1, 0, 1 ], "nb": 255 }, { "t": [ 1, 1, 0, 1, 0 ], "nb": 64770 }, { "t": [ 1, 1, 1, 0, 1 ], "nb": 16516605 }, { "t": [ 1, 1, 1, 0, 0 ], "nb": 64770 }, { "t": [ 1, 1, 1, 1, 0 ], "nb": 16516605 }, { "t": [ 1, 0, 0, 1, 1 ], "nb": 64770 }, { "t": [ 1, 1, 1, 1, 1 ], "nb": 4211734020 }, { "t": [ 0, 1, 0, 1, 0 ], "nb": 255 }, { "t": [ 1, 0, 1, 0, 1 ], "nb": 64770 }, { "t": [ 0, 1, 0, 0, 1 ], "nb": 255 }, { "t": [ 0, 1, 1, 1, 1 ], "nb": 16516605 }, { "t": [ 0, 0, 0, 1, 1 ], "nb": 255 }, { "t": [ 0, 1, 1, 0, 0 ], "nb": 255 }, { "t": [ 1, 0, 1, 1, 0 ], "nb": 64770 }, { "t": [ 1, 1, 0, 0, 0 ], "nb": 255 }, { "t": [ 0, 0, 1, 1, 0 ], "nb": 255 }, { "t": [ 1, 0, 1, 0, 0 ], "nb": 255 }, { "t": [ 1, 1, 0, 0, 1 ], "nb": 64770 }, { "t": [ 0, 1, 1, 1, 0 ], "nb": 64770 }, { "t": [ 1, 0, 0, 0, 1 ], "nb": 255 }, { "t": [ 0, 1, 1, 0, 1 ], "nb": 64770 }, { "t": [ 1, 0, 0, 1, 0 ], "nb": 255 } ] }, { "name": "Xor", "uid": "Xor.i.0_15.0_15.0_15.0_15.o.0_15", "tuples": [ { "t": [ 0, 0, 0, 0, 0 ], "nb": 1 }, { "t": [ 1, 0, 1, 1, 1 ], "nb": 3165 }, { "t": [ 1, 1, 0, 1, 1 ], "nb": 3165 }, { "t": [ 0, 1, 0, 1, 1 ], "nb": 210 }, { "t": [ 0, 0, 1, 1, 1 ], "nb": 210 }, { "t": [ 0, 0, 1, 0, 1 ], "nb": 15 }, { "t": [ 1, 1, 0, 1, 0 ], "nb": 210 }, { "t": [ 1, 1, 1, 0, 1 ], "nb": 3165 }, { "t": [ 1, 1, 1, 0, 0 ], "nb": 210 }, { "t": [ 1, 1, 1, 1, 0 ], "nb": 3165 }, { "t": [ 1, 0, 0, 1, 1 ], "nb": 210 }, { "t": [ 1, 1, 1, 1, 1 ], "nb": 47460 }, { "t": [ 0, 1, 0, 1, 0 ], "nb": 15 }, { "t": [ 1, 0, 1, 0, 1 ], "nb": 210 }, { "t": [ 0, 1, 0, 0, 1 ], "nb": 15 }, { "t": [ 0, 1, 1, 1, 1 ], "nb": 3165 }, { "t": [ 0, 0, 0, 1, 1 ], "nb": 15 }, { "t": [ 0, 1, 1, 0, 0 ], "nb": 15 }, { "t": [ 1, 0, 1, 1, 0 ], "nb": 210 }, { "t": [ 1, 1, 0, 0, 0 ], "nb": 15 }, { "t": [ 0, 0, 1, 1, 0 ], "nb": 15 }, { "t": [ 1, 0, 1, 0, 0 ], "nb": 15 }, { "t": [ 1, 1, 0, 0, 1 ], "nb": 210 }, { "t": [ 0, 1, 1, 1, 0 ], "nb": 210 }, { "t": [ 1, 0, 0, 0, 1 ], "nb": 15 }, { "t": [ 0, 1, 1, 0, 1 ], "nb": 210 }, { "t": [ 1, 0, 0, 1, 0 ], "nb": 15 } ] }, { "name": "lsfr", "uid": "lsfr.p.1+2+3+0_1.i.0_15.o.0_15", "tuples": [ { "t": [ 0, 0 ], "nb": 1 }, { "t": [ 1, 1 ], "nb": 15 } ] }, { "name": "s", "uid": "s.p.99_124_119_123_242_107_111_197_48_1_103_43_254_215_171_118_202_130_201_125_250_89_71_240_173_212_162_175_156_164_114_192_183_253_147_38_54_63_247_204_52_165_229_241_113_216_49_21_4_199_35_195_24_150_5_154_7_18_128_226_235_39_178_117_9_131_44_26_27_110_90_160_82_59_214_179_41_227_47_132_83_209_0_237_32_252_177_91_106_203_190_57_74_76_88_207_208_239_170_251_67_77_51_133_69_249_2_127_80_60_159_168_81_163_64_143_146_157_56_245_188_182_218_33_16_255_243_210_205_12_19_236_95_151_68_23_196_167_126_61_100_93_25_115_96_129_79_220_34_42_144_136_70_238_184_20_222_94_11_219_224_50_58_10_73_6_36_92_194_211_172_98_145_149_228_121_231_200_55_109_141_213_78_169_108_86_244_234_101_122_174_8_186_120_37_46_28_166_180_198_232_221_116_31_75_189_139_138_112_62_181_102_72_3_246_14_97_53_87_185_134_193_29_158_225_248_152_17_105_217_142_148_155_30_135_233_206_85_40_223_140_161_137_13_191_230_66_104_65_153_45_15_176_84_187_22.i.0_255.o.0_255", "tuples": [ { "t": [ 0, 1 ], "nb": 1 }, { "t": [ 1, 0 ], "nb": 1 }, { "t": [ 1, 1 ], "nb": 254 } ] }, { "name": "mc", "uid": "mc.p.0_1_1_1+1_0_1_1+1_1_0_1+1_1_1_0.i.0_15.0_15.0_15.0_15.o.0_15.0_15.0_15.0_15", "tuples": [ { "t": [ 0, 1, 1, 1, 0, 1, 1, 1 ], "nb": 210 }, { "t": [ 0, 1, 1, 0, 1, 1, 1, 1 ], "nb": 210 }, { "t": [ 1, 1, 1, 1, 1, 0, 0, 1 ], "nb": 210 }, { "t": [ 0, 0, 1, 1, 0, 0, 1, 1 ], "nb": 15 }, { "t": [ 0, 1, 1, 1, 1, 0, 1, 1 ], "nb": 210 }, { "t": [ 1, 1, 1, 1, 1, 1, 1, 0 ], "nb": 2520 }, { "t": [ 0, 1, 1, 1, 1, 1, 0, 1 ], "nb": 210 }, { "t": [ 0, 1, 0, 1, 1, 1, 1, 1 ], "nb": 210 }, { "t": [ 1, 0, 1, 1, 0, 1, 1, 1 ], "nb": 210 }, { "t": [ 1, 1, 0, 1, 1, 1, 1, 0 ], "nb": 210 }, { "t": [ 0, 1, 0, 1, 0, 1, 0, 1 ], "nb": 15 }, { "t": [ 1, 0, 0, 1, 1, 0, 0, 1 ], "nb": 15 }, { "t": [ 1, 0, 1, 1, 1, 1, 1, 0 ], "nb": 210 }, { "t": [ 1, 0, 1, 1, 1, 1, 1, 1 ], "nb": 2520 }, { "t": [ 1, 1, 0, 1, 1, 1, 1, 1 ], "nb": 2520 }, { "t": [ 1, 1, 1, 1, 1, 1, 1, 1 ], "nb": 39285 }, { "t": [ 1, 1, 1, 1, 0, 1, 0, 1 ], "nb": 210 }, { "t": [ 0, 1, 0, 0, 1, 0, 1, 1 ], "nb": 15 }, { "t": [ 0, 0, 0, 0, 0, 0, 0, 0 ], "nb": 1 }, { "t": [ 1, 1, 1, 0, 0, 1, 1, 1 ], "nb": 210 }, { "t": [ 1, 1, 1, 1, 1, 0, 1, 0 ], "nb": 210 }, { "t": [ 1, 1, 1, 1, 1, 0, 1, 1 ], "nb": 2520 }, { "t": [ 1, 1, 1, 1, 1, 1, 0, 0 ], "nb": 210 }, { "t": [ 1, 1, 1, 1, 1, 1, 0, 1 ], "nb": 2520 }, { "t": [ 0, 0, 1, 0, 1, 1, 0, 1 ], "nb": 15 }, { "t": [ 1, 0, 1, 0, 1, 0, 1, 0 ], "nb": 15 }, { "t": [ 1, 0, 1, 1, 0, 1, 0, 0 ], "nb": 15 }, { "t": [ 1, 0, 1, 0, 1, 1, 1, 1 ], "nb": 210 }, { "t": [ 1, 1, 0, 1, 1, 1, 0, 1 ], "nb": 210 }, { "t": [ 1, 1, 1, 0, 1, 1, 1, 0 ], "nb": 210 }, { "t": [ 1, 1, 1, 0, 1, 1, 1, 1 ], "nb": 2520 }, { "t": [ 0, 0, 1, 1, 1, 1, 1, 1 ], "nb": 210 }, { "t": [ 1, 1, 1, 1, 0, 0, 1, 1 ], "nb": 210 }, { "t": [ 1, 0, 0, 0, 0, 1, 1, 1 ], "nb": 15 }, { "t": [ 1, 0, 0, 1, 1, 1, 1, 1 ], "nb": 210 }, { "t": [ 1, 0, 1, 1, 1, 0, 1, 1 ], "nb": 210 }, { "t": [ 1, 1, 0, 0, 1, 1, 1, 1 ], "nb": 210 }, { "t": [ 1, 1, 0, 1, 1, 0, 1, 1 ], "nb": 210 }, { "t": [ 1, 1, 1, 1, 0, 1, 1, 0 ], "nb": 210 }, { "t": [ 1, 1, 1, 1, 0, 1, 1, 1 ], "nb": 2520 }, { "t": [ 0, 1, 1, 1, 1, 0, 0, 0 ], "nb": 15 }, { "t": [ 0, 1, 1, 0, 0, 1, 1, 0 ], "nb": 15 }, { "t": [ 0, 1, 1, 1, 1, 1, 1, 0 ], "nb": 210 }, { "t": [ 0, 1, 1, 1, 1, 1, 1, 1 ], "nb": 2520 }, { "t": [ 1, 1, 1, 0, 0, 0, 0, 1 ], "nb": 15 }, { "t": [ 1, 0, 1, 1, 1, 1, 0, 1 ], "nb": 210 }, { "t": [ 1, 1, 1, 0, 1, 0, 1, 1 ], "nb": 210 }, { "t": [ 1, 1, 0, 1, 0, 1, 1, 1 ], "nb": 210 }, { "t": [ 1, 1, 0, 1, 0, 0, 1, 0 ], "nb": 15 }, { "t": [ 1, 1, 1, 0, 1, 1, 0, 1 ], "nb": 210 }, { "t": [ 0, 0, 0, 1, 1, 1, 1, 0 ], "nb": 15 }, { "t": [ 1, 1, 0, 0, 1, 1, 0, 0 ], "nb": 15 } ] }, { "name": "s", "uid": "s.p.12_10_13_3_14_11_15_7_8_9_1_5_0_2_4_6.i.0_15.o.0_15", "tuples": [ { "t": [ 0, 1 ], "nb": 1 }, { "t": [ 1, 0 ], "nb": 1 }, { "t": [ 1, 1 ], "nb": 14 } ] }, { "name": "Xor", "uid": "Xor.i.0_15.0_15.o.0_15", "tuples": [ { "t": [ 0, 1, 1 ], "nb": 15 }, { "t": [ 1, 1, 1 ], "nb": 210 }, { "t": [ 0, 0, 0 ], "nb": 1 }, { "t": [ 1, 1, 0 ], "nb": 15 }, { "t": [ 1, 0, 1 ], "nb": 15 } ] }, { "name": "mc", "uid": "mc.p.1_0_1_1+1_0_0_0+0_1_1_0+1_0_1_0.i.0_15.0_15.0_15.0_15.o.0_15.0_15.0_15.0_15", "tuples": [ { "t": [ 0, 0, 1, 1, 0, 0, 1, 1 ], "nb": 15 }, { "t": [ 0, 1, 1, 1, 1, 0, 1, 1 ], "nb": 2940 }, { "t": [ 0, 1, 0, 0, 0, 0, 1, 0 ], "nb": 15 }, { "t": [ 0, 0, 1, 0, 1, 0, 1, 1 ], "nb": 15 }, { "t": [ 1, 0, 0, 1, 0, 1, 0, 1 ], "nb": 15 }, { "t": [ 1, 0, 1, 1, 0, 1, 1, 1 ], "nb": 210 }, { "t": [ 1, 1, 0, 1, 1, 1, 1, 1 ], "nb": 3150 }, { "t": [ 1, 0, 1, 0, 0, 1, 1, 0 ], "nb": 15 }, { "t": [ 1, 0, 1, 1, 1, 1, 1, 0 ], "nb": 225 }, { "t": [ 1, 0, 1, 1, 1, 1, 1, 1 ], "nb": 2940 }, { "t": [ 1, 1, 1, 1, 1, 1, 1, 0 ], "nb": 3150 }, { "t": [ 1, 1, 1, 1, 1, 1, 1, 1 ], "nb": 41160 }, { "t": [ 1, 1, 1, 1, 0, 1, 0, 1 ], "nb": 210 }, { "t": [ 0, 1, 1, 0, 1, 0, 0, 1 ], "nb": 15 }, { "t": [ 0, 1, 1, 1, 0, 0, 1, 1 ], "nb": 210 }, { "t": [ 0, 0, 0, 0, 0, 0, 0, 0 ], "nb": 1 }, { "t": [ 1, 0, 0, 1, 1, 1, 0, 1 ], "nb": 210 }, { "t": [ 1, 1, 1, 0, 0, 1, 1, 0 ], "nb": 210 }, { "t": [ 1, 1, 1, 1, 1, 1, 0, 0 ], "nb": 225 }, { "t": [ 1, 1, 1, 1, 1, 1, 0, 1 ], "nb": 2940 }, { "t": [ 0, 1, 0, 1, 1, 0, 1, 0 ], "nb": 225 }, { "t": [ 1, 0, 1, 0, 1, 1, 1, 1 ], "nb": 210 }, { "t": [ 1, 1, 1, 0, 1, 1, 1, 1 ], "nb": 2940 }, { "t": [ 0, 0, 1, 1, 1, 0, 1, 1 ], "nb": 210 }, { "t": [ 1, 1, 1, 1, 0, 1, 1, 1 ], "nb": 2940 }, { "t": [ 1, 1, 0, 0, 1, 1, 1, 1 ], "nb": 225 }, { "t": [ 1, 1, 1, 0, 0, 1, 0, 0 ], "nb": 15 }, { "t": [ 1, 0, 0, 0, 1, 1, 0, 1 ], "nb": 15 }, { "t": [ 0, 1, 1, 1, 1, 0, 0, 1 ], "nb": 210 }, { "t": [ 1, 1, 0, 1, 0, 1, 1, 1 ], "nb": 225 }, { "t": [ 1, 1, 1, 0, 1, 1, 0, 1 ], "nb": 210 }, { "t": [ 0, 0, 0, 1, 1, 0, 0, 0 ], "nb": 15 }, { "t": [ 0, 1, 1, 0, 1, 0, 1, 1 ], "nb": 210 }, { "t": [ 0, 1, 1, 1, 0, 0, 0, 1 ], "nb": 15 } ] } ]