Home
last modified time | relevance | path

Searched refs:x5 (Results 251 – 275 of 23750) sorted by relevance

1...<<11121314151617181920>>...950

/dports/sysutils/u-boot-wandboard/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-tools/u-boot-2020.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-bananapim2/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-rpi4/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-sopine-spi/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-beaglebone/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-rpi3-32/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-sifive-fu540/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-rockpro64/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-rpi-arm64/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-qemu-arm64/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-qemu-arm/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-rpi/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-riotboard/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-rpi2/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-rock-pi-4/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-rock64/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/sysutils/u-boot-rpi3/u-boot-2021.07/arch/arm/dts/
H A Dimx53-cx9020.dts108 MX53_PAD_DI0_PIN15__IPU_DI0_PIN15 0x5
109 MX53_PAD_DI0_PIN2__IPU_DI0_PIN2 0x5
110 MX53_PAD_DI0_PIN3__IPU_DI0_PIN3 0x5
111 MX53_PAD_DI0_PIN4__IPU_DI0_PIN4 0x5
112 MX53_PAD_DISP0_DAT0__IPU_DISP0_DAT_0 0x5
113 MX53_PAD_DISP0_DAT1__IPU_DISP0_DAT_1 0x5
114 MX53_PAD_DISP0_DAT2__IPU_DISP0_DAT_2 0x5
115 MX53_PAD_DISP0_DAT3__IPU_DISP0_DAT_3 0x5
116 MX53_PAD_DISP0_DAT4__IPU_DISP0_DAT_4 0x5
117 MX53_PAD_DISP0_DAT5__IPU_DISP0_DAT_5 0x5
[all …]
/dports/multimedia/libv4l/linux-5.13-rc2/arch/arm/boot/dts/
H A Dimx51-apf51dev.dts184 MX51_PAD_DISP1_DAT0__DISP1_DAT0 0x5
185 MX51_PAD_DISP1_DAT1__DISP1_DAT1 0x5
186 MX51_PAD_DISP1_DAT2__DISP1_DAT2 0x5
187 MX51_PAD_DISP1_DAT3__DISP1_DAT3 0x5
188 MX51_PAD_DISP1_DAT4__DISP1_DAT4 0x5
189 MX51_PAD_DISP1_DAT5__DISP1_DAT5 0x5
190 MX51_PAD_DISP1_DAT6__DISP1_DAT6 0x5
191 MX51_PAD_DISP1_DAT7__DISP1_DAT7 0x5
192 MX51_PAD_DISP1_DAT8__DISP1_DAT8 0x5
208 MX51_PAD_DI1_PIN2__DI1_PIN2 0x5
[all …]
/dports/multimedia/v4l-utils/linux-5.13-rc2/arch/arm/boot/dts/
H A Dimx51-apf51dev.dts184 MX51_PAD_DISP1_DAT0__DISP1_DAT0 0x5
185 MX51_PAD_DISP1_DAT1__DISP1_DAT1 0x5
186 MX51_PAD_DISP1_DAT2__DISP1_DAT2 0x5
187 MX51_PAD_DISP1_DAT3__DISP1_DAT3 0x5
188 MX51_PAD_DISP1_DAT4__DISP1_DAT4 0x5
189 MX51_PAD_DISP1_DAT5__DISP1_DAT5 0x5
190 MX51_PAD_DISP1_DAT6__DISP1_DAT6 0x5
191 MX51_PAD_DISP1_DAT7__DISP1_DAT7 0x5
192 MX51_PAD_DISP1_DAT8__DISP1_DAT8 0x5
208 MX51_PAD_DI1_PIN2__DI1_PIN2 0x5
[all …]
/dports/multimedia/v4l_compat/linux-5.13-rc2/arch/arm/boot/dts/
H A Dimx51-apf51dev.dts184 MX51_PAD_DISP1_DAT0__DISP1_DAT0 0x5
185 MX51_PAD_DISP1_DAT1__DISP1_DAT1 0x5
186 MX51_PAD_DISP1_DAT2__DISP1_DAT2 0x5
187 MX51_PAD_DISP1_DAT3__DISP1_DAT3 0x5
188 MX51_PAD_DISP1_DAT4__DISP1_DAT4 0x5
189 MX51_PAD_DISP1_DAT5__DISP1_DAT5 0x5
190 MX51_PAD_DISP1_DAT6__DISP1_DAT6 0x5
191 MX51_PAD_DISP1_DAT7__DISP1_DAT7 0x5
192 MX51_PAD_DISP1_DAT8__DISP1_DAT8 0x5
208 MX51_PAD_DI1_PIN2__DI1_PIN2 0x5
[all …]
/dports/math/giacxcas/giac-1.6.0/examples/groebner/
H A Dkatsura121 …x5 + 2*x6 + 2*x7 + 2*x8 + 2*x9 + 2*x10 + 2*x11 + 2*x12 - 1, x1^2 + 2*x2^2 + 2*x3^2 + 2*x4^2 + 2*x5…
3 time(H:=gbasis(kat12 ,[x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12],revlex,modular_check));
H A Dkatsura101 …x5 + 2*x6 + 2*x7 + 2*x8 + 2*x9 + 2*x10 - 1, x1^2 + 2*x2^2 + 2*x3^2 + 2*x4^2 + 2*x5^2 + 2*x6^2 + 2*…
3 time(H:=gbasis(kat10 ,[x1,x2,x3,x4,x5,x6,x7,x8,x9,x10],revlex));
4 time(H:=gbasis(kat10 ,[x1,x2,x3,x4,x5,x6,x7,x8,x9,x10],revlex,modular_check));
/dports/science/bagel/bagel-1.2.2/src/smith/mrci/
H A DMRCI_tasks4.cc265 const Index x5 = b(1); in compute() local
292 const Index x5 = b(1); in compute() local
321 const Index x5 = b(1); in compute() local
384 const Index x5 = b(0); in compute() local
448 const Index x5 = b(0); in compute() local
517 const Index x5 = b(5); in compute() local
567 const Index x5 = b(5); in compute() local
631 const Index x5 = b(5); in compute() local
695 const Index x5 = b(5); in compute() local
753 const Index x5 = b(3); in compute() local
[all …]
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/push-pop/
H A Dfuzz_5.smt223 (declare-fun x5 () Bool)
25 … x4) (or x3 x3))))) (and (and (not (not (or x5 x3))) (or (or (and x5 x1) (not x4)) (and (or x4 x3)…
29 (assert (or (not (not (or x4 x3))) (or (not (and x4 x4)) (not (or x3 x5)))))
36 …x5))) (and (not (and x5 x4)) (not (or x1 x0)))) (not (and (or (or x2 x4) (not x4)) (or (and x3 x6)…
41 …x5 x1))))) (or (or (and (or (and x3 x6) (and x3 x1)) (not (or x1 x4))) (and (or (not x5) (not x0))…
47 …x6) (or x3 x1)) (not (and x4 x5))) (or (not (not x3)) (and (not x6) (and x3 x6)))) (and (and (not …
54 …x5 x2)) (and (not x2) (not x1))))) (or (and (not (and (and x2 x2) (not x3))) (not (or (or x4 x2) (…
55 …x5 x0)) (or (or x6 x0) (not x0))))) (or (or (not (and (and x5 x4) (not x5))) (or (or (or x4 x1) (a…
63 (assert (not (or (or (or x6 x6) (or x1 x5)) (and (not x2) (and x2 x3)))))

1...<<11121314151617181920>>...950