Proof_Techniques	cardset0	cardset1	cardset10	cardset2
cardset3	cardset4	cardset5	cardset6	cardset7
cardset8	cardset9