Set: pp::colors
  Set: pp::unicode
  Assumed: x
Variable x : ℤ
Variable y_1 : ℤ
Variable y_2 : ℤ
Variable y_3 : ℤ
Variable y_4 : ℤ
Variable y_5 : ℤ
Variable y_6 : ℤ
Variable y_7 : ℤ
Variable y_8 : ℤ
Variable y_9 : ℤ
Variable y_10 : ℤ
Variable y_11 : ℤ
Variable y_12 : ℤ
Variable y_13 : ℤ
Variable y_14 : ℤ
Variable y_15 : ℤ
Variable y_16 : ℤ
Variable y_17 : ℤ
Variable y_18 : ℤ
Variable y_19 : ℤ
Variable y_20 : ℤ
Variable y_21 : ℤ
Variable y_22 : ℤ
Variable y_23 : ℤ
Variable y_24 : ℤ
Variable y_25 : ℤ
Variable y_26 : ℤ
Variable y_27 : ℤ
Variable y_28 : ℤ
Variable y_29 : ℤ
Variable y_30 : ℤ
Variable y_31 : ℤ
Variable y_32 : ℤ
Variable y_33 : ℤ
Variable y_34 : ℤ
Variable y_35 : ℤ
Variable y_36 : ℤ
Variable y_37 : ℤ
Variable y_38 : ℤ
Variable y_39 : ℤ
Variable y_40 : ℤ
Variable y_41 : ℤ
Variable y_42 : ℤ
Variable y_43 : ℤ
Variable y_44 : ℤ
Variable y_45 : ℤ
Variable y_46 : ℤ
Variable y_47 : ℤ
Variable y_48 : ℤ
Variable y_49 : ℤ
Variable y_50 : ℤ
Variable y_51 : ℤ
Variable y_52 : ℤ
Variable y_53 : ℤ
Variable y_54 : ℤ
Variable y_55 : ℤ
Variable y_56 : ℤ
Variable y_57 : ℤ
Variable y_58 : ℤ
Variable y_59 : ℤ
Variable y_60 : ℤ
Variable y_61 : ℤ
Variable y_62 : ℤ
Variable y_63 : ℤ
Variable y_64 : ℤ
Variable y_65 : ℤ
Variable y_66 : ℤ
Variable y_67 : ℤ
Variable y_68 : ℤ
Variable y_69 : ℤ
Variable y_70 : ℤ
Variable y_71 : ℤ
Variable y_72 : ℤ
Variable y_73 : ℤ
Variable y_74 : ℤ
Variable y_75 : ℤ
Variable y_76 : ℤ
Variable y_77 : ℤ
Variable y_78 : ℤ
Variable y_79 : ℤ
Variable y_80 : ℤ
Variable y_81 : ℤ
Variable y_82 : ℤ
Variable y_83 : ℤ
Variable y_84 : ℤ
Variable y_85 : ℤ
Variable y_86 : ℤ
Variable y_87 : ℤ
Variable y_88 : ℤ
Variable y_89 : ℤ
Variable y_90 : ℤ
Variable y_91 : ℤ
Variable y_92 : ℤ
Variable y_93 : ℤ
Variable y_94 : ℤ
Variable y_95 : ℤ
Variable y_96 : ℤ
Variable y_97 : ℤ
Variable y_98 : ℤ
Variable y_99 : ℤ
Variable y_100 : ℤ
x + y_1 + y_2 : ℤ