# $ echo  "$d_txted"  "'""$d_SAMSUNG_G4""Meth8-VL4/Meth8-VL4 installation instructions.txt""'"  |  xargs  -0  sh  -c  & 
www.BillHowell.ca  06May2020 initial
/media/bill/SAMSUNG_G4/Meth8-VL4/Meth8-VL4 installation instructions.txt



Installation steps : 
1.  Create a directory (example : "200426 Meth8-VL4 system")

2.  unzip "M8 $147 production.ZIP" (or similar name), as provided by cec-services.com into the directory

3.  Create a subdirectory "Copies"
      - copy all files with filenamkes including "- Copy" to this sub-directory
      - if machine.exe is present, move it to the "Copy" sub-directory too
      - set files permissions to "read-only" to protect these files in case they are corrupted at some point

4.  in the directory "200426 Meth8-VL4 system" (or whatever you called it) : 
      - run "M8_installer.exe"  (or similar name like "M8_INSTALLER_1.85S.EXE")
      - if you receive the code error "164a' during the installation, it may mean that your computer is too slow for the normal installation.  Notify info@cec-services.com, and a modified installation program with a longer install time will be provided.

5. upon successful installation, you should see a new (overwritten) file "machine.txt"
   This should look similar to  :
+-----+
MACAddress         
                   
D0:53:49:29:A8:9B  
12:53:49:29:A8:9B  
C4:54:44:EE:22:32  
D0:53:49:29:C3:5D  
22:53:49:29:A8:9B  
                   
                   
                   
                   
                   
F2:10:20:52:41:53  
F6:D5:20:52:41:53  
FE:0C:20:52:41:53  
Product  
UI2H     
ProcessorId       
BFEBFBFF00030678  
+-----+

6. you should also see a file "KEY_FILE.txt" - this is half the key that you will need.
      send it to cec-services.com, who will email back the full key so that you can use the Meth8-VL4 system.

7. while waiting for the full key, you should now be able to run "M8_02.demo.exe"
      - do so, and this should generate a results file named "VL4.20200506.14.02.32.TXT" (or similar name)
      - this should have results something like : 
+-----+
Output file location: VL4.20200506.14.02.32.txt

Test input as accepted  is:  (~(~p+q)+~(~p+~q))=p
Test input as processed is: ((~(~p+q)+~(~p+~q))=p)

FCNT is: False (Contradiction), Contingent (Falsity), Non contingent (Truthity), True (designated Proof value).  
UIPE is: Unevaluated, Improper, Permissible, Evaluated.

Model 1               Model 2.1             Model 2.2             Model 2.3.1           Model 2.3.2           

~p
TFTF TFTF TFTF TFTF   EUEU EUEU EUEU EUEU   EUEU EUEU EUEU EUEU   EUEU EUEU EUEU EUEU   EUEU EUEU EUEU EUEU   
~p   Step: 1

q
FFTT FFTT FFTT FFTT   UUEE UUEE UUEE UUEE   UUEE UUEE UUEE UUEE   UUEE UUEE UUEE UUEE   UUEE UUEE UUEE UUEE   
q   Step: 2

~p
TFTF TFTF TFTF TFTF   EUEU EUEU EUEU EUEU   EUEU EUEU EUEU EUEU   EUEU EUEU EUEU EUEU   EUEU EUEU EUEU EUEU   
~p   Step: 3

~q
TTFF TTFF TTFF TTFF   EEUU EEUU EEUU EEUU   EEUU EEUU EEUU EEUU   EEUU EEUU EEUU EEUU   EEUU EEUU EEUU EEUU   
~q   Step: 4

~(~p+q)
FTFF FTFF FTFF FTFF   UEUU UEUU UEUU UEUU   UEUU UEUU UEUU UEUU   UEUU UEUU UEUU UEUU   UEUU UEUU UEUU UEUU   
~(~p+q)   Step: 5

~(~p+~q)
FFFT FFFT FFFT FFFT   UUUE UUUE UUUE UUUE   UUUE UUUE UUUE UUUE   UUUE UUUE UUUE UUUE   UUUE UUUE UUUE UUUE   
~(~p+~q)   Step: 6

(~(~p+q)+~(~p+~q))
FTFT FTFT FTFT FTFT   UEUE UEUE UEUE UEUE   UEUE UEUE UEUE UEUE   UEUE UEUE UEUE UEUE   UEUE UEUE UEUE UEUE   
(~(~p+q)+~(~p+~q))   Step: 7

p
FTFT FTFT FTFT FTFT   UEUE UEUE UEUE UEUE   UEUE UEUE UEUE UEUE   UEUE UEUE UEUE UEUE   UEUE UEUE UEUE UEUE   
p   Step: 8

(~(~p+q)+~(~p+~q))=p
TTTT TTTT TTTT TTTT   EEEE EEEE EEEE EEEE   EEEE EEEE EEEE EEEE   EEEE EEEE EEEE EEEE   EEEE EEEE EEEE EEEE   
(~(~p+q)+~(~p+~q))=p   Step: 9
Model 1               Model 2.1             Model 2.2             Model 2.3.1           Model 2.3.2           
+-----+

8. Upon receipt of the full key file, run the licensed programs :
      M8_04.exe for 4-variables (p,q,r,s) or 4-theorems (A,B,C,D) or
      M8_00.exe for 11-variables (p,q,r,s,t,u,v,w,x,y,z) - if you have paid for this version of the program  
     - these files require : 
        - "meth8_parameter_file.txt"  (or similar name)
        - "METH8_INPUT_FILE.txt"      (or probably those of your making as well?)
+-----+
(~(~p+q)+~(~p+~q))=p ;			TTTT TTTT TTTT TTTT	Confirmation of Huntington's equation
((p>q)&(q>p))&((~p>~q)&(~q>~p)) ;	TFFT TFFT TFFT TFFT	Refutation of paraconsistent logic
#(#p>p)>#p ;				CTCT CTCT CTCT CTCT	Refutation of the Goedel-Loeb GL axiom
+-----+





# enddoc