Proof_Techniques	cardset0	cardset1	cardset10	cardset11
cardset12	cardset13	cardset14	cardset15	cardset16
cardset17	cardset18	cardset2	cardset3	cardset4
cardset5	cardset6	cardset7	cardset8	cardset8bk
cardset9	cd