![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| goal_state.p | 2024-10-04 18:29 | 110 | |
| ifeq_axiom.p | 2024-10-04 18:29 | 132 | |
| initial_state.p | 2024-10-04 18:29 | 166 | |
| two_blacks_out_one_black_in.p | 2024-10-04 18:29 | 169 | |
| two_whites_out_one_black_in.p | 2024-10-04 18:29 | 169 | |
| two_different_balls_out_one_white_in.p | 2024-10-04 18:29 | 178 | |