#lang racket

(require "solution.rkt")
(require "props.rkt")