liamzebedee · April 6, 2025 06:09
diff --git a/janest-layer4.py b/janest-layer4.py
 def l4_0(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[0] + 128.0*x[56] + -256.0*x[112] + 128.0*x[168])
 def l4_1(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[1] + 128.0*x[57] + -256.0*x[113] + 128.0*x[169])
 def l4_2(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[2] + 128.0*x[58] + -256.0*x[114] + 128.0*x[170])
 def l4_3(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[3] + 128.0*x[59] + -256.0*x[115] + 128.0*x[171])
 def l4_4(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[4] + 128.0*x[60] + -256.0*x[116] + 128.0*x[172])
 def l4_5(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[5] + 128.0*x[61] + -256.0*x[117] + 128.0*x[173])
 def l4_6(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[6] + 128.0*x[62] + -256.0*x[118] + 128.0*x[174])
 def l4_7(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[7] + 128.0*x[63] + -256.0*x[119] + 128.0*x[175])
 def l4_8(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[8] + 128.0*x[64] + -256.0*x[120] + 128.0*x[176])
 def l4_9(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[9] + 128.0*x[65] + -256.0*x[121] + 128.0*x[177])
 def l4_10(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[10] + 128.0*x[66] + -256.0*x[122] + 128.0*x[178])
 def l4_11(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[11] + 128.0*x[67] + -256.0*x[123] + 128.0*x[179])
 def l4_12(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[12] + 128.0*x[68] + -256.0*x[124] + 128.0*x[180])
 def l4_13(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[13] + 128.0*x[69] + -256.0*x[125] + 128.0*x[181])
 def l4_14(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[14] + 128.0*x[70] + -256.0*x[126] + 128.0*x[182])
 def l4_15(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[15] + 128.0*x[71] + -256.0*x[127] + 128.0*x[183])
 def l4_16(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[16] + 128.0*x[72] + -256.0*x[128] + 128.0*x[184])
 def l4_17(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[17] + 128.0*x[73] + -256.0*x[129] + 128.0*x[185])
 def l4_18(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[18] + 128.0*x[74] + -256.0*x[130] + 128.0*x[186])
 def l4_19(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[19] + 128.0*x[75] + -256.0*x[131] + 128.0*x[187])
 def l4_20(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[20] + 128.0*x[76] + -256.0*x[132] + 128.0*x[188])
 def l4_21(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[21] + 128.0*x[77] + -256.0*x[133] + 128.0*x[189])
 def l4_22(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[22] + 128.0*x[78] + -256.0*x[134] + 128.0*x[190])
 def l4_23(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[23] + 128.0*x[79] + -256.0*x[135] + 128.0*x[191])
 def l4_24(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[24] + 128.0*x[80] + -256.0*x[136] + 128.0*x[192])
 def l4_25(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[25] + 128.0*x[81] + -256.0*x[137] + 128.0*x[193])
 def l4_26(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[26] + 128.0*x[82] + -256.0*x[138] + 128.0*x[194])
 def l4_27(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[27] + 128.0*x[83] + -256.0*x[139] + 128.0*x[195])
 def l4_28(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[28] + 128.0*x[84] + -256.0*x[140] + 128.0*x[196])
 def l4_29(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[29] + 128.0*x[85] + -256.0*x[141] + 128.0*x[197])
 def l4_30(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[30] + 128.0*x[86] + -256.0*x[142] + 128.0*x[198])
 def l4_31(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[31] + 128.0*x[87] + -256.0*x[143] + 128.0*x[199])
 def l4_32(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[32] + 128.0*x[88] + -256.0*x[144] + 128.0*x[200])
 def l4_33(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[33] + 128.0*x[89] + -256.0*x[145] + 128.0*x[201])
 def l4_34(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[34] + 128.0*x[90] + -256.0*x[146] + 128.0*x[202])
 def l4_35(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[35] + 128.0*x[91] + -256.0*x[147] + 128.0*x[203])
 def l4_36(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[36] + 128.0*x[92] + -256.0*x[148] + 128.0*x[204])
 def l4_37(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[37] + 128.0*x[93] + -256.0*x[149] + 128.0*x[205])
 def l4_38(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[38] + 128.0*x[94] + -256.0*x[150] + 128.0*x[206])
 def l4_39(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[39] + 128.0*x[95] + -256.0*x[151] + 128.0*x[207])
 def l4_40(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[40] + 128.0*x[96] + -256.0*x[152] + 128.0*x[208])
 def l4_41(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[41] + 128.0*x[97] + -256.0*x[153] + 128.0*x[209])
 def l4_42(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[42] + 128.0*x[98] + -256.0*x[154] + 128.0*x[210])
 def l4_43(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[43] + 128.0*x[99] + -256.0*x[155] + 128.0*x[211])
 def l4_44(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[44] + 128.0*x[100] + -256.0*x[156] + 128.0*x[212])
 def l4_45(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[45] + 128.0*x[101] + -256.0*x[157] + 128.0*x[213])
 def l4_46(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[46] + 128.0*x[102] + -256.0*x[158] + 128.0*x[214])
 def l4_47(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[47] + 128.0*x[103] + -256.0*x[159] + 128.0*x[215])
 def l4_48(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[48] + 128.0*x[104] + -256.0*x[160] + 128.0*x[216])
 def l4_49(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[49] + 128.0*x[105] + -256.0*x[161] + 128.0*x[217])
 def l4_50(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[50] + 128.0*x[106] + -256.0*x[162] + 128.0*x[218])
 def l4_51(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[51] + 128.0*x[107] + -256.0*x[163] + 128.0*x[219])
 def l4_52(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[52] + 128.0*x[108] + -256.0*x[164] + 128.0*x[220])
 def l4_53(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[53] + 128.0*x[109] + -256.0*x[165] + 128.0*x[221])
 def l4_54(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[54] + 128.0*x[110] + -256.0*x[166] + 128.0*x[222])
 def l4_55(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[55] + 128.0*x[111] + -256.0*x[167] + 128.0*x[223])
 def l4_56(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[224])
 def l4_57(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[225])
 def l4_58(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[226])
 def l4_59(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[227])
 def l4_60(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[228])
 def l4_61(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[229])
 def l4_62(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[230])
 def l4_63(x):
    # x is a list (or vector) of length 232
    return max(0, 1.0*x[231])
 def l4(x):
    # x is a list (or vector) of length 232
    return [
        l4_0(x),
        l4_1(x),
        l4_2(x),
        l4_3(x),
        l4_4(x),
        l4_5(x),
        l4_6(x),
        l4_7(x),
        l4_8(x),
        l4_9(x),
        l4_10(x),
        l4_11(x),
        l4_12(x),
        l4_13(x),
        l4_14(x),
        l4_15(x),
        l4_16(x),
        l4_17(x),
        l4_18(x),
        l4_19(x),
        l4_20(x),
        l4_21(x),
        l4_22(x),
        l4_23(x),
        l4_24(x),
        l4_25(x),
        l4_26(x),
        l4_27(x),
        l4_28(x),
        l4_29(x),
        l4_30(x),
        l4_31(x),
        l4_32(x),
        l4_33(x),
        l4_34(x),
        l4_35(x),
        l4_36(x),
        l4_37(x),
        l4_38(x),
        l4_39(x),
        l4_40(x),
        l4_41(x),
        l4_42(x),
        l4_43(x),
        l4_44(x),
        l4_45(x),
        l4_46(x),
        l4_47(x),
        l4_48(x),
        l4_49(x),
        l4_50(x),
        l4_51(x),
        l4_52(x),
        l4_53(x),
        l4_54(x),
        l4_55(x),
        l4_56(x),
        l4_57(x),
        l4_58(x),
        l4_59(x),
        l4_60(x),
        l4_61(x),
        l4_62(x),
        l4_63(x),
    ]

 # Test the function
 # Generate a random 232-bit input
 import random
 x = [random.randint(0, 1) for _ in range(232)]
 y = l4(x)


 def convert_vec_to_bin(y):
    # Sanity check: y should be a list of integers
    for i in range(len(y)):
        if not isinstance(y[i], int):
            if y[i] % 1 != 0:
                print(f"Element {i} is not an integer: {y[i]}")
    y_int = int("".join(str(int(y[i])) for i in range(len(y))))
    y_str = "".join(chr(int(y[i])) for i in range(len(y)))
    print(y_str)
    y_hex = hex(y_int)
    return y_hex

 import numpy as np

 def human_l4(x: np.ndarray) -> np.ndarray:
    """
    Implements the bitwise logic equivalent of layer 4.
    Input:
      x - a numpy array of shape (232,) with dtype=np.float32.
    Output:
      A numpy array of shape (64,) representing the layer output.
    
    For i = 0 to 55:
      output[i] = max(0, 1*x[i] + 128*x[i+56] - 256*x[i+112] + 128*x[i+168])
    For i = 56 to 63:
      output[i] = max(0, 1*x[i+168])
    """
    out = np.empty(64, dtype=np.float32)
    
    # First 56 outputs
    for i in range(56):
        s = (1.0 * x[i] +
             128.0 * x[i + 56] +
            -256.0 * x[i + 112] +
             128.0 * x[i + 168])
        out[i] = s if s > 0 else 0.0  # ReLU
    
    # Last 8 outputs
    for i in range(56, 64):
        s = 1.0 * x[i + 168]  # For i=56, x[224] ... for i=63, x[231]
        out[i] = s if s > 0 else 0.0  # ReLU
    
    return out

 print(convert_vec_to_bin(y))
 print(convert_vec_to_bin(human_l4(x)))
	def l4_0(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[0] + 128.0x[56] + -256.0x[112] + 128.0x[168])
	def l4_1(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[1] + 128.0x[57] + -256.0x[113] + 128.0x[169])
	def l4_2(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[2] + 128.0x[58] + -256.0x[114] + 128.0x[170])
	def l4_3(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[3] + 128.0x[59] + -256.0x[115] + 128.0x[171])
	def l4_4(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[4] + 128.0x[60] + -256.0x[116] + 128.0x[172])
	def l4_5(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[5] + 128.0x[61] + -256.0x[117] + 128.0x[173])
	def l4_6(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[6] + 128.0x[62] + -256.0x[118] + 128.0x[174])
	def l4_7(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[7] + 128.0x[63] + -256.0x[119] + 128.0x[175])
	def l4_8(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[8] + 128.0x[64] + -256.0x[120] + 128.0x[176])
	def l4_9(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[9] + 128.0x[65] + -256.0x[121] + 128.0x[177])
	def l4_10(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[10] + 128.0x[66] + -256.0x[122] + 128.0x[178])
	def l4_11(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[11] + 128.0x[67] + -256.0x[123] + 128.0x[179])
	def l4_12(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[12] + 128.0x[68] + -256.0x[124] + 128.0x[180])
	def l4_13(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[13] + 128.0x[69] + -256.0x[125] + 128.0x[181])
	def l4_14(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[14] + 128.0x[70] + -256.0x[126] + 128.0x[182])
	def l4_15(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[15] + 128.0x[71] + -256.0x[127] + 128.0x[183])
	def l4_16(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[16] + 128.0x[72] + -256.0x[128] + 128.0x[184])
	def l4_17(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[17] + 128.0x[73] + -256.0x[129] + 128.0x[185])
	def l4_18(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[18] + 128.0x[74] + -256.0x[130] + 128.0x[186])
	def l4_19(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[19] + 128.0x[75] + -256.0x[131] + 128.0x[187])
	def l4_20(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[20] + 128.0x[76] + -256.0x[132] + 128.0x[188])
	def l4_21(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[21] + 128.0x[77] + -256.0x[133] + 128.0x[189])
	def l4_22(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[22] + 128.0x[78] + -256.0x[134] + 128.0x[190])
	def l4_23(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[23] + 128.0x[79] + -256.0x[135] + 128.0x[191])
	def l4_24(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[24] + 128.0x[80] + -256.0x[136] + 128.0x[192])
	def l4_25(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[25] + 128.0x[81] + -256.0x[137] + 128.0x[193])
	def l4_26(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[26] + 128.0x[82] + -256.0x[138] + 128.0x[194])
	def l4_27(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[27] + 128.0x[83] + -256.0x[139] + 128.0x[195])
	def l4_28(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[28] + 128.0x[84] + -256.0x[140] + 128.0x[196])
	def l4_29(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[29] + 128.0x[85] + -256.0x[141] + 128.0x[197])
	def l4_30(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[30] + 128.0x[86] + -256.0x[142] + 128.0x[198])
	def l4_31(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[31] + 128.0x[87] + -256.0x[143] + 128.0x[199])
	def l4_32(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[32] + 128.0x[88] + -256.0x[144] + 128.0x[200])
	def l4_33(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[33] + 128.0x[89] + -256.0x[145] + 128.0x[201])
	def l4_34(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[34] + 128.0x[90] + -256.0x[146] + 128.0x[202])
	def l4_35(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[35] + 128.0x[91] + -256.0x[147] + 128.0x[203])
	def l4_36(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[36] + 128.0x[92] + -256.0x[148] + 128.0x[204])
	def l4_37(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[37] + 128.0x[93] + -256.0x[149] + 128.0x[205])
	def l4_38(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[38] + 128.0x[94] + -256.0x[150] + 128.0x[206])
	def l4_39(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[39] + 128.0x[95] + -256.0x[151] + 128.0x[207])
	def l4_40(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[40] + 128.0x[96] + -256.0x[152] + 128.0x[208])
	def l4_41(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[41] + 128.0x[97] + -256.0x[153] + 128.0x[209])
	def l4_42(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[42] + 128.0x[98] + -256.0x[154] + 128.0x[210])
	def l4_43(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[43] + 128.0x[99] + -256.0x[155] + 128.0x[211])
	def l4_44(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[44] + 128.0x[100] + -256.0x[156] + 128.0x[212])
	def l4_45(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[45] + 128.0x[101] + -256.0x[157] + 128.0x[213])
	def l4_46(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[46] + 128.0x[102] + -256.0x[158] + 128.0x[214])
	def l4_47(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[47] + 128.0x[103] + -256.0x[159] + 128.0x[215])
	def l4_48(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[48] + 128.0x[104] + -256.0x[160] + 128.0x[216])
	def l4_49(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[49] + 128.0x[105] + -256.0x[161] + 128.0x[217])
	def l4_50(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[50] + 128.0x[106] + -256.0x[162] + 128.0x[218])
	def l4_51(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[51] + 128.0x[107] + -256.0x[163] + 128.0x[219])
	def l4_52(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[52] + 128.0x[108] + -256.0x[164] + 128.0x[220])
	def l4_53(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[53] + 128.0x[109] + -256.0x[165] + 128.0x[221])
	def l4_54(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[54] + 128.0x[110] + -256.0x[166] + 128.0x[222])
	def l4_55(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0x[55] + 128.0x[111] + -256.0x[167] + 128.0x[223])
	def l4_56(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0*x[224])
	def l4_57(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0*x[225])
	def l4_58(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0*x[226])
	def l4_59(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0*x[227])
	def l4_60(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0*x[228])
	def l4_61(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0*x[229])
	def l4_62(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0*x[230])
	def l4_63(x):
	# x is a list (or vector) of length 232
	return max(0, 1.0*x[231])
	def l4(x):
	# x is a list (or vector) of length 232
	return [
	l4_0(x),
	l4_1(x),
	l4_2(x),
	l4_3(x),
	l4_4(x),
	l4_5(x),
	l4_6(x),
	l4_7(x),
	l4_8(x),
	l4_9(x),
	l4_10(x),
	l4_11(x),
	l4_12(x),
	l4_13(x),
	l4_14(x),
	l4_15(x),
	l4_16(x),
	l4_17(x),
	l4_18(x),
	l4_19(x),
	l4_20(x),
	l4_21(x),
	l4_22(x),
	l4_23(x),
	l4_24(x),
	l4_25(x),
	l4_26(x),
	l4_27(x),
	l4_28(x),
	l4_29(x),
	l4_30(x),
	l4_31(x),
	l4_32(x),
	l4_33(x),
	l4_34(x),
	l4_35(x),
	l4_36(x),
	l4_37(x),
	l4_38(x),
	l4_39(x),
	l4_40(x),
	l4_41(x),
	l4_42(x),
	l4_43(x),
	l4_44(x),
	l4_45(x),
	l4_46(x),
	l4_47(x),
	l4_48(x),
	l4_49(x),
	l4_50(x),
	l4_51(x),
	l4_52(x),
	l4_53(x),
	l4_54(x),
	l4_55(x),
	l4_56(x),
	l4_57(x),
	l4_58(x),
	l4_59(x),
	l4_60(x),
	l4_61(x),
	l4_62(x),
	l4_63(x),
	]

	# Test the function
	# Generate a random 232-bit input
	import random
	x = [random.randint(0, 1) for _ in range(232)]
	y = l4(x)


	def convert_vec_to_bin(y):
	# Sanity check: y should be a list of integers
	for i in range(len(y)):
	if not isinstance(y[i], int):
	if y[i] % 1 != 0:
	print(f"Element {i} is not an integer: {y[i]}")
	y_int = int("".join(str(int(y[i])) for i in range(len(y))))
	y_str = "".join(chr(int(y[i])) for i in range(len(y)))
	print(y_str)
	y_hex = hex(y_int)
	return y_hex

	import numpy as np

	def human_l4(x: np.ndarray) -> np.ndarray:
	"""
	Implements the bitwise logic equivalent of layer 4.
	Input:
	x - a numpy array of shape (232,) with dtype=np.float32.
	Output:
	A numpy array of shape (64,) representing the layer output.

	For i = 0 to 55:
	output[i] = max(0, 1x[i] + 128x[i+56] - 256x[i+112] + 128x[i+168])
	For i = 56 to 63:
	output[i] = max(0, 1*x[i+168])
	"""
	out = np.empty(64, dtype=np.float32)

	# First 56 outputs
	for i in range(56):
	s = (1.0 * x[i] +
	128.0 * x[i + 56] +
	-256.0 * x[i + 112] +
	128.0 * x[i + 168])
	out[i] = s if s > 0 else 0.0 # ReLU

	# Last 8 outputs
	for i in range(56, 64):
	s = 1.0 * x[i + 168] # For i=56, x[224] ... for i=63, x[231]
	out[i] = s if s > 0 else 0.0 # ReLU

	return out

	print(convert_vec_to_bin(y))
	print(convert_vec_to_bin(human_l4(x)))