/usr/share/doc/tkgate-data/examples/verga/spec.out

   0: a=0 b=0 c=0 - x=z y=z z=z
   8: a=0 b=0 c=0 - x=x y=z z=z
  11: a=0 b=0 c=0 - x=x y=0 z=z
  12: a=0 b=0 c=0 - x=0 y=0 z=z
  18: a=0 b=0 c=0 - x=0 y=0 z=0
  50: a=0 b=0 c=1 - x=0 y=0 z=0
 100: a=0 b=1 c=0 - x=0 y=0 z=0
 112: a=0 b=1 c=0 - x=1 y=0 z=0
 150: a=0 b=1 c=1 - x=1 y=0 z=0
 168: a=0 b=1 c=1 - x=1 y=0 z=1
 200: a=1 b=0 c=0 - x=1 y=0 z=1
 211: a=1 b=0 c=0 - x=1 y=1 z=1
 216: a=1 b=0 c=0 - x=1 y=0 z=1
 218: a=1 b=0 c=0 - x=1 y=0 z=0
 250: a=1 b=0 c=1 - x=1 y=0 z=0
 266: a=1 b=0 c=1 - x=1 y=1 z=0
 300: a=1 b=1 c=0 - x=1 y=1 z=0
 312: a=1 b=1 c=0 - x=0 y=1 z=0
 316: a=1 b=1 c=0 - x=0 y=0 z=0
 350: a=1 b=1 c=1 - x=0 y=0 z=0
 358: a=1 b=1 c=1 - x=1 y=0 z=0
 366: a=1 b=1 c=1 - x=1 y=1 z=0
 368: a=1 b=1 c=1 - x=1 y=1 z=1

Generated by dwww version 1.15 on Mon Jun 24 14:59:59 CEST 2024.