 H9-7/ 
    |-- Readme-J                                   ܥե
    |-- Readme-E                                   ܥեαѸ
    |
    |-- documents/ 
    |     |-- manual.ps                            MGTPѥޥ˥奢
    |
    |-- nseq/                                      N༡ʬMGTPǥȥ
    |     |-- klic/                                KLICǥǥ쥯ȥ
    |     |     |-- mgtp-NS-pim7-noRTF6.kl1        ʬMGTP
    |     |     |-- dom.kl1                        domҸץ
    |     |     |-- mg2kl1.kl1                     Ѵץ
    |     |     |-- rangeCheck.kl1                 Ͱץ
    |     |     |-- SYN002-1.007:008.mg            
    |     |     |-- SYN006-1dom.mg                 //
    |     |-- pim/                                 PIMǥǥ쥯ȥ
    |           |-- mgtpNS7.kl1                    ʬMGTP
    |           |-- QG5_5c_merc.kl1                (KL1)
    |           |-- QG5_7c_merc.kl1                //
    |           |-- SYN002-1-020dom_merc.kl1       //
    |           |-- SYN009-1dom_merc.kl1           //
    |           |-- SYN036-4dom_merc.kl1           //
    |           |-- test2_445.kl1                  //
    |           |-- gc.sav                         GCưưץ
    |           |-- Nseq.com                       ޥɥե
    |           |-- aliases.com                    //
    |
    |-- Java-MGTP/                                 JavaMGTPǥȥ  
    |     |-- ASCII_UCodeESC_CharStream.java       javaץ
    |     |-- MGTP.java                             //   
    |     |-- MGTPClauses.java                      //
    |     |-- MGTPDict.java                         //
    |     |-- MGTPExternal.java                     //
    |     |-- MGTPExternal.java                     //
    |     |-- MGTPParser.java                       //
    |     |-- MGTPExternal.java                     //
    |     |-- MGTPParserConstants.java              //      
    |     |-- MGTPParserTokenManager.java           //
    |     |-- MGTPPre.java                          //
    |     |-- MGTPPreConstants.java                 // 
    |     |-- MGTPPreTokenManager.java              //           
    |     |-- MGTPTerms.java                        //
    |     |-- ParseError.java                       //
    |     |-- Token.java                            //
    |     |-- excode.mg                            
    |     |-- test.mg                               //
    |     |-- test1.mg                              //
    |     |-- fib.mg                                //
    |     |-- SYN009-1.mg                           //
    |     |-- SYN059-1.mg                           //
    |
    |-- PTV/                                       PTVǥȥ
    |     |-- ASCII_UCodeESC_CharStream.java       javaץ
    |     |-- MGTP.java                             //
    |     |-- MGTPClasses.java                      //
    |     |-- MGTPClauses.java                      //
    |     |-- MGTPDict.java                         //
    |     |-- MGTPExternal.java                     //
    |     |-- MGTPParser.java                       //
    |     |-- MGTPParserConstants.java              //
    |     |-- MGTPParserTokenManager.java           //
    |     |-- MGTPPreConstants.java                 //
    |     |-- MGTPPreTokenManager.java              //
    |     |-- MGTPStat.java                         //
    |     |-- MGTPTerms.java                        //
    |     |-- NodeW.java                            //
    |     |-- PTVisualizer.java                     //
    |     |-- ParseError.java                       //
    |     |-- Token.java                            //
    |
    |-- Simplify/                                  PTV(ڴ)ǥȥ
          |-- ASCII_UCodeESC_CharStream.java       javaץ
          |-- Counter.java			    //
          |-- ETerm.java			    //
          |-- MGTP.java                             //
          |-- MGTPClauses.java                      //
          |-- MGTPDict.java                         //
          |-- MGTPParser.java                       //
          |-- MGTPParserConstants.java              //
          |-- MGTPParserTokenManager.java           //
          |-- Model.java                            //
          |-- NodeW.java                            //
          |-- PTVisualizer.java                     //
          |-- ParseError.java                       //
          |-- Token.java                            //
          |-- classes.java                          //


