\(\(\( (*\ 
      Inspct . \(nb\ --\) - \(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(--\(---\)\)\)\)\)\)\)\)\)\)\)\)\)\)\)\)\)\)\)\)\)\)\)\)\)\)\)\)\ *) \)\(
\)\(
\)\( (*\ 
      Used\ to\ inspect\ the\ contents\ of\ a\ file . \ \ Displays\ a\ sample\ of\ the\ file\ 
	
        including\ at\ least\ the\ first\ 2\ and\ last\ 2\ \(\(lines\)\(.\)\)\ *) \)\(
\)\(
\)\( (*\ User\ sets\ the\ directory, \ 
      the\ input\ family\ and\ the\ size\ of\ posets\ and\ the\ 
	
        number\ of\ pairs\ of\ lines\ to\ be\ displayed\ beyond\ the\ first\ and\ last\ 2. \ *) \)\(
\)\(
\)\( (*\ 
      Change\ \(\(Directory\)\(:\)\)\ *) \)\(\ \ \ \ \ \ \)\(
\)\(\(SetDirectory["G:/.isis/home/c/a/cagann/public_html/Posets"];\)\(\ \)\(
\)\(
\)
    \( (*\ 
      Change\ input\ \(\(family\)\(:\)\)\ *) \)\(\ \ \ \)\(fam\  = \ "Connets/connets";\)\(\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \)\(
\)
    \( (*\ Change\ poset\ \(\(size\)\(:\)\)\ *) \)\(\ \ \ \ \ \)\(nc\  = \ 
        9;\)\(\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \)\(
\)\(
\)\( (*\ 
      Input\ file\ is\ read\ in\ and\ the\ length\ is\ \(\(reported\)\(.\)\)\ *) \)\(
\)\( (*\ 
      Need\ ReadList[\ \(,\)\(String\)]\ for\ stdisos*\ 
        and\ lookups* . \ *) \)\(
\)
    \(inptfl\  = \ ReadList[StringJoin[fam, \ ToString[nc]], String];\)\(
\)
    \(leng\  = \ Length[inptfl];\)\(
\)
    \(Print[StringJoin["Length of file = ", ToString[leng]]];\)\(
\)
    \(\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \)\( (*\ 
      End\ of\ 1  st\ \(\(cell\)\(.\)\)\ *) \)\)\)\)

\(\(\(
\)\( (*\ 
      Change\ number\ of\ additional\ pairs\ of\ lines\ to\ be\ \(\(displayed\)\(.\)\)\ *) \)\(
\)\(\(addpairs\  = \ 0;\)\(
\)\(
\)\( (*\ 
      A\ sample\ of\ the\ contents\ of\ the\ input\ file\ is\ \(\(displayed\)\(.\)\)\ *) \)\(
\)
    \(Print["Lines 1 and 2:"];\)\(
\)
    \(Print[inptfl[\([1]\)]];\)\(
\)
    \(Print[inptfl[\([2]\)]];\)\(
\)\(
\)
    \(skp\  = \ Floor[\((leng - 4)\)/\((addpairs + 1)\)];\)\(
\)
    \(ind\  = \ 2\  + \ skp;\)\(
\)
    \(While[addpairs\  ≠ \ 0, 
	
      Print[StringJoin["Lines ", ToString[ind], " and ", 
          ToString[ind + 1], ":"]]; 
	Print[inptfl[\([ind]\)]]; 
	
      Print[inptfl[\([ind + 1]\)]]; 
	
      ind\  = \ ind + skp; 
	\(addpairs--\);
]\)\(
\)\(
\)
    \(Print[
        StringJoin["Lines ", ToString[leng - 1], " and ", 
          ToString[leng], ":"]];\)\(
\)
    \(Print[inptfl[\([leng - 1]\)]];\)\(
\)
    \(Print[inptfl[\([leng]\)]];\)\(
\)\(
\)
    \(\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \)\( (*\ 
      End\ of\ 2  nd/last\ \(\(cell\)\(.\)\)\ *) \)\)\)\)