title: Read from text file as different types- Python
body: <p>I have a text file "input.txt". It looks like this :</p>
  
  <pre><code>3
  
  
  a b c
  d e f 
  g h i
  </code></pre>
  
  <p>I want to write a python program which reads the 3 as integer and the rest into a list. How can I achieve this? Any suggestions?</p>
  
  <p>Thanks in advance.</p>