54 : xa 5 xb 1 xc 3 xd 4 za 8 zc 4 ya 6 yc 7 (n-4)/4 12 (n-2)/4 13 bool_4k+2 1 bool_2p 0 bool_2c-imp 1 n/4 13pi(x/2) 9pi(x) 16 n-1 premier n+1 composé n/2 composé (n+2)/2 composé d_za -1 d_zc 0 d_ya -1 d_yc 1 d_zc-za 1 d_za-ya 0 d_yc-zc 1 d_zc-ya 1 d_yc-za 2 d_xd-xa 2 90 : xa 9 xb 0 xc 4 xd 9 za 13 zc 8 ya 9 yc 13 (n-4)/4 21 (n-2)/4 22 bool_4k+2 1 bool_2p 0 bool_2c-imp 1 n/4 22pi(x/2) 14pi(x) 24 n-1 premier n+1 composé n/2 composé (n+2)/2 composé d_za -1 d_zc 0 d_ya -1 d_yc 1 d_zc-za 1 d_za-ya 0 d_yc-zc 1 d_zc-ya 1 d_yc-za 2 d_xd-xa 2 98 : xa 3 xb 6 xc 11 xd 4 za 14 zc 9 ya 9 yc 15 (n-4)/4 23 (n-2)/4 24 bool_4k+2 1 bool_2p 0 bool_2c-imp 1 n/4 24pi(x/2) 15pi(x) 25 n-1 premier n+1 composé n/2 composé (n+2)/2 composé d_za -1 d_zc 0 d_ya -1 d_yc 1 d_zc-za 1 d_za-ya 0 d_yc-zc 1 d_zc-ya 1 d_yc-za 2 d_xd-xa 2 110 : xa 6 xb 6 xc 9 xd 6 za 15 zc 11 ya 12 yc 15 (n-4)/4 26 (n-2)/4 27 bool_4k+2 1 bool_2p 0 bool_2c-imp 1 n/4 27pi(x/2) 16pi(x) 29 n-1 premier n+1 composé n/2 composé (n+2)/2 composé d_za -1 d_zc 0 d_ya -1 d_yc 1 d_zc-za 1 d_za-ya 0 d_yc-zc 1 d_zc-ya 1 d_yc-za 2 d_xd-xa 2 114 : xa 10 xb 3 xc 5 xd 10 za 15 zc 12 ya 13 yc 15 (n-4)/4 27 (n-2)/4 28 bool_4k+2 1 bool_2p 0 bool_2c-imp 1 n/4 28pi(x/2) 16pi(x) 30 n-1 premier n+1 composé n/2 composé (n+2)/2 composé d_za -1 d_zc 0 d_ya -1 d_yc 1 d_zc-za 1 d_za-ya 0 d_yc-zc 1 d_zc-ya 1 d_yc-za 2 d_xd-xa 2 174 : xa 11 xb 5 xc 11 xd 16 za 22 zc 20 ya 16 yc 27 (n-4)/4 42 (n-2)/4 43 bool_4k+2 1 bool_2p 0 bool_2c-imp 1 n/4 43pi(x/2) 23pi(x) 40 n-1 premier n+1 composé n/2 composé (n+2)/2 composé d_za -1 d_zc 0 d_ya -1 d_yc 1 d_zc-za 1 d_za-ya 0 d_yc-zc 1 d_zc-ya 1 d_yc-za 2 d_xd-xa 2 182 : xa 6 xb 11 xc 17 xd 11 za 23 zc 21 ya 17 yc 28 (n-4)/4 44 (n-2)/4 45

bool_4k+2 1 bool_2p 0 bool_2c-imp 1 n/4 45pi(x/2) 24pi(x) 42 n-1 premier n+1 composé n/2 composé (n+2)/2 composé d_za -1 d_zc 0 d_ya -1 d_yc 1 d_zc-za 1 d_za-ya 0 d_yc-zc 1 d_zc-ya 1 d_yc-za 2 d_xd-xa 2 230 : xa 9 xb 10 xc 20 xd 18 za 29 zc 27 ya 19 yc 38 (n-4)/4 56 (n-2)/4 57 bool_4k+2 1 bool_2p 0 bool_2c-imp 1 n/4 57pi(x/2) 30pi(x) 50 n-1 premier n+1 composé n/2 composé (n+2)/2 composé d_za -1 d_zc 0 d_ya -1 d_yc 1 d_zc-za 1 d_za-ya 0 d_yc-zc 1 d_zc-ya 1 d_yc-za 2 d_xd-xa 2 234 : xa 15 xb 5 xc 14 xd 24 za 29 zc 28 ya 20 yc 38 (n-4)/4 57 (n-2)/4 58 bool_4k+2 1 bool_2p 0 bool_2c-imp 1 n/4 58pi(x/2) 30pi(x) 51 n-1 premier n+1 composé n/2 composé (n+2)/2 composé d_za -1 d_zc 0 d_ya -1 d_yc 1 d_zc-za 1 d_za-ya 0 d_yc-zc 1 d_zc-ya 1 d_yc-za 2 d_xd-xa 2 242 : xa 8 xb 14 xc 21 xd 17 za 29 zc 30 ya 22 yc 38 (n-4)/4 59 (n-2)/4 60 bool_4k+2 1 bool_2p 0 bool_2c-imp 1 n/4 60pi(x/2) 30pi(x) 53 n-1 premier n+1 composé n/2 composé (n+2)/2 composé d_za -1 d_zc 0 d_ya -1 d_yc 1 d_zc-za 1 d_za-ya 0 d_yc-zc 1 d_zc-ya 1 d_yc-za 2 d_xd-xa 2