存在証明

 
      
     
 = 192

                  

0 0 0 0 0 8 8 8 8 8 8 8 5 5 5 5 5 5 5 5 10 10
0 0 0 0 0 8 8 8 8 8 8 8 5 5 5 5 5 5 5 5 10 10

             
            
5

      
      
 2
0 0 0 0 0 8 8 8 8 8 8 8 5 5 5 5 5 3 3 3 3 1 1
0 0 0 0 0 8 8 8 8 8 8 8 5 5 5 5 5 3 3 3 3 1 1

               
                
9

 7 0 9 0 10 0 9 0 7 0 9 0 10 0 9 0 7 0 9 0 10 0 9 0 14 0 9 0 10 0 9 0

           full
                  
13

 
 

full

7 0 9 0 10 0 9 0 7 0 9 0 10 0 9 0 7 0 9 0 10 0 9 0 14 0 9 0 9
0 0 0
0 0 0


                       
18

                   


(0) 0 0 3 3 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 10
(0) 0 0 3 3 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 10
2

                     
23

        


(10) 10 10 10 10 10 10 10 10 10 10 10 5 7 0 0 0 0 0 3 3
(10) 10 10 10 10 10 10 10 10 10 10 10 5 7 0 0 0 0 0 3 3

                          
 
28

                    

5 5 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 10 10 10 10 10 10 10 10
5 5 5 5 5 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 10 10 10 10 10 10 10 10

P.M. P.M.

          
                               
32

 

10 10 10 10 10 10 10 10 0 0 0 0 0 0 8 8 8 8 8 8 8 8 10 10 10 10 10 10 3
10 10 10 10 10 10 10 10 0 0 0 0 0 0 8 8 8 8 8 8 8 8 10 10 10 10 10 10 3

                     
36

                         p p p  p

(3) 3 3 3 3 3 3 3 0 0 0 0 0 0 8 8 8 8 8 8 8 8 5 0 7 0 8 0 10 0
(3) 3 3 3 3 3 3 3 0 0 0 0 0 0 8 8 8 8 8 8 8 8

  
               
40

                       
     
 7 10
7 10
0 0 0 0 0 0 8 8 8 8 8 8 8 8 10 10 10 10 10 10 3
0 0 0 0 0 0 8 8 8 8 8 8 8 8 10 10 10 10 10 10 3
 3

                 
44

                        

(3) 3 3 3 3 3 3 3 0 0 0 0 0 0 8 8 8 8 8 8 8 8 10 10 10 10 10 10 10
(3) 3 3 3 3 3 3 3 0 0 0 0 0 0 8 8 8 8 8 8 8 8 10 10 10 10 10 10 10

             
               
48

 

p p

2 7 9 0 10 0 9 0 7 0 9 0 10 0 9 0 7 0 9 0 10 0 9 0

10 7 10 7 10

                  full
                  
52


full

14 0 9 0 10 0 9 0 7 0 9 0 10 0 9 0 7 0 9 0 10 0 9 0 7 0 9 0 10 0 9 0 14 0 9 0 9

                  
57

                   

 9
10
9
0 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 10
0 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 10

              
63

             

(10) 10 10 10 10 10 10 10 10 10 10 10 5 7 × × 0 × × 0 × × 0 × × 0
(10) 10 10 10 10 10 10 10 10 10 10 10 5 7 × × 0 × × 0 × × 0 × × 0
4

                  
67

                       
 7
5
7
× × 0 × × 0 × × 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 10
× × 0 × × 0 × × 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 10


                  
71

                     

     
 14
(10) 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 0 0 8 8 8 8 8 8 8 8
(10) 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 0 0 8 8 8 8 8 8 8 8

  
                               
75

          

10 10 10 10 10 10 3 3 3 3 3 3 3 3 0 0 0 0 0 0 8 8 8 8 8 8 8 8
10 10 10 10 10 10 3 3 3 3 3 3 3 3 0 0 0 0 0 0 8 8 8 8 8 8 8 8


              
79

                    

p p p p

7 10
7 10
5 0 7 0 8 0 10 0 0 0 0 0 0 0 8 8 8 8 8 8 8 8
0 0 0 0 0 0 8 8 8 8 8 8 8 8

  
                               
83

          

10 10 10 10 10 10 3 3 3 3 3 3 3 3 0 0 0 0 0 0 8 8 8 8 8 8 8 8
10 10 10 10 10 10 3 3 3 3 3 3 3 3 0 0 0 0 0 0 8 8 8 8 8 8 8 8
 5

           
87

           

p p p p

10 10 10 10 10 10 10 0
10 10 10 10 10 10 10 10 7 10 7 10 7 10 7 0

                                
97


12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12
12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12

                                
P.M.
101


12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12
12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12

                        
105

                

12 10 11 12 10 11 12 10 11 12 3 3 3 3 12 10 11 12 10 11 12
12 10 11 12 10 11 12 10 11 12 3 3 3 3 12 10 11 12 10 11 12

     
              
108

                     

10 11 12 3 3 3 3 12 10 11 12 10 11 12 10 11 12 3 3 3 10
10 11 12 3 3 3 3 12 10 11 12 10 11 12 10 11 12 3 3 3 10


                     
111

            
     
 14
(10) 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 0 0 8 8 8 8 8 8 8 8
(10) 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 0 0 8 8 8 8 8 8 8 8
6

                        
115

                      
      

10 10 10 10 10 10 3 3 3 3 3 3 3 3 0 0 0 0 0 0 8 8 8 8 8 8 8 8
10 10 10 10 10 10 3 3 3 3 3 3 3 3 0 0 0 0 0 0 8 8 8 8 8 8 8 8


              
119

                
     

p p p p

7 10
7 10
5 0 7 0 8 0 10 0 0 0 0 0 0 0 8 8 8 8 8 8 8 8
0 0 0 0 0 0 8 8 8 8 8 8 8 8

                        
123

                      
      

10 10 10 10 10 10 3 3 3 3 3 3 3 3 0 0 0 0 0 0 8 8 8 8 8 8 8 8
10 10 10 10 10 10 3 3 3 3 3 3 3 3 0 0 0 0 0 0 8 8 8 8 8 8 8 8

           

127

           


p p

2 7 9 0 10 0 9 0 7 0 9 0 10 0 9 0
10 10 10 10 10 10 10
10 10 10 10 10 10 10 10 7 10 7 10

            

                  
131

 7 0 9 0 10 0 9 0 14 0 9 0 10 0 9 0 7 9 0 10 0 9 0 7 0 9 0 10 0 9 0
               
7


                 
135

 7 0 9 0 10 0 9 0 14 0 9 0 10 0 9 0 7 9 0 10 0 9 0 7 0 9 0 10 0 9 0

               
                
139

 7 0 9 0 10 0 9 0 14 0 9 0 10 0 9 0 7 9 0 10 0 9 0 7 0 9 0 10 0 9 0

     
            
143 full

   
   


full

7 0 9 0 10 0 9 0 14 0 9 0 9 7
0 0 0
0 0 0