type: TI
runs: 0
type: TI
runs: 1
type: TI
runs: 0
type: TI
runs: 1
type: TI
runs: 0
type: TI
runs: 1
type: TI
runs: 1
solved for the first world