def read_abc_triples_bin(F):
  from struct import unpack
  f = open(F, 'rb')
  R = []
  while True:
    try:
      L = f.read(16)
      (c,a) = unpack('<QQ', L)
      b = c - a
      if b < a:
        t = a
        a = b
        b = t
      R.append( (a,b,c) )
    except:
      break
  f.close()
  return R