% khf7_teszteset(Sorszam, FLeiro, TV, Ered):
% Ha tekercs_szukites(FLeiro, TV, SzTV) meghiúsul, akkor Ered = false, egyébként Ered = SzTV.

khf7_teszteset(01, szt(nil,1,nil),[[0,1],[0,1],1,[1],[0,1],1,[1],[0,1],[0,1],1], [[0,1],[0,1],1,[1],[0,1],1,[1],[0,1],[0,1],1]).
khf7_teszteset(02, szt(nil,2,nil),[[0,1,2],[0,1,2],[1,2],[1,2],[0,1,2],[1],[1,2],[0,1,2],[0,1,2],[1,2]], [[0,1],[0,1,2],[1,2],[1,2],[0,1,2],[1],[2],[0,1],[0,1,2],[1,2]]).
khf7_teszteset(03, szt(nil,2,nil),[[1,2],[0,1,2],[0,1,2],[1,2],[1],[0,1,2],[1,2],[1,2],[1,2],[1]], [[1],[0,2],[0,1,2],[1,2],[1],[0,2],[1,2],[1,2],[1,2],[1]]).
khf7_teszteset(04, szt(nil,2,nil),[[1,2],[1,2],[1,2],[1,2],[1,2],[1,2],[1,2],[1,2],[1,2],2], [[1],[2],[1],[2],[1],[2],[1],[2],[1],2]).
khf7_teszteset(05, szt(nil,2,nil),[[1],[0,1,2],[1,2],[1,2],[0,1,2],[1],[1,2],[0,1,2],[0,1,2],[1,2]], [[1],[0,2],[1,2],[1,2],[0,1,2],[1],[2],[0,1],[0,1,2],[1,2]]).
khf7_teszteset(06, szt(nil,2,nil),[[1],[1,2],[1,2],[1,2],[0,1,2],[1],[1,2],[0,1,2],[0,1,2],[1,2]], [[1],[2],[1],[2],[0,1],[1],[2],[0,1],[0,1,2],[1,2]]).
khf7_teszteset(07, szt(nil,3,nil),[[1,2,3],[0,1,2,3],[1,2,3],[1,2,3],[0,1,2,3],[0,1,3],[1],[0,1,2,3],[1,2,3],1], [[1],[0,2],[2,3],[1,3],[0,1,2],[0,1,3],[1],[0,2],[2,3],1]).
khf7_teszteset(08, szt(nil,3,nil),[[1,2,3],[0,1,2,3],[1,2,3],[1,2,3],[0,1,2,3],[1,2,3],[1],[0,1,2,3],[1,2,3],[1]], [[1],[0,2],[2,3],[1,3],[0,1,2],[1,2,3],[1],[0,2],[2,3],[1]]).
khf7_teszteset(09, szt(nil,3,nil),[[1,2,3],[0,1,2,3],[1,2,3],[1,2,3],[0,1,2,3],[1,2,3],[1],[1,2],[1,2,3],[1]], [[1],[0,2],[2,3],[1,3],[0,1,2],[1,2,3],[1],[2],[3],[1]]).
khf7_teszteset(10, szt(nil,3,nil),[[1],[1,2,3],[0,1,2,3],[1],[0,1,3],[0,1,2,3],[1,2,3],[1,2,3],[0,1,2,3],[1,2,3]], [[1],[2],[0,3],[1],[0],[0,2],[2,3],[1,3],[0,1,2],[1,2,3]]).
khf7_teszteset(11, szt(nil,3,nil),[[1],[1,2,3],[0,1,2,3],3,[0,1,3],[0,1,2,3],[1,2,3],[1,2,3],[0,1,2,3],[1,2,3]], [[1],[2],[0,3],3,[0,1],[0,1,2],[1,2,3],[1,2,3],[0,1,2,3],[1,2,3]]).
khf7_teszteset(12, szt(nil,3,nil),[[1],[1,2,3],[0,1,2,3],[3],[0,3],[0,1,2,3],[1,2,3],[1,2,3],[0,1,2,3],[1,2,3]], [[1],[2],[0,3],[3],[0],[0,1],[1,2],[2,3],[0,1,3],[1,2,3]]).
khf7_teszteset(13, szt(nil,3,nil),[[1],[1,2,3],[0,1,2],[1,2],[1,2,3],[0,1,2,3],[1,2,3],[1,2,3],[0,1,2,3],[1,2,3]],false).
khf7_teszteset(14, szt(nil,3,nil),[[1],[1,2,3],[1,2,3],[1],[1,2,3],[0,1,2,3],[1,2,3],[1,2,3],[0,1,2,3],[1,2,3]], [[1],[2],[3],[1],[2],[0,3],[1,3],[1,2],[0,2,3],[1,2,3]]).
khf7_teszteset(15, szt(nil,3,nil),[[1],[1,2,3],[1,2],1,[1,2,3],[0,1,2,3],[1,2,3],[1,2,3],[0,1,2,3],[1,2,3]],false).
khf7_teszteset(16, szt(nil,4,nil),[[0,1,2,3,4],[0,1,2,3,4],[1,2,3,4],[1,2,3,4],[0,1,2,3,4],[1,2],[1,2,3,4],[0,1,2,3,4],[0,1,2,3,4],[1,2,3,4]], [[0,1],[0,1,2],[1,2,3],[2,3,4],[0,1,3,4],[1,2],[2,3],[0,3,4],[0,1,3,4],[1,2,3,4]]).
khf7_teszteset(17, szt(nil,4,nil),[[0,1,2,3,4],[1,2,3,4],[0,1,2,3,4],[1,2,3,4],[0,1,2,3,4],[1,2,3,4],[0,1,2,3,4],[1,2,3,4],[0,1,2,3,4],[1,2,3,4]], [[0,1],[1,2],[0,2,3],[2,3,4],[0,1,3,4],[1,2,3,4],[0,1,2,3,4],[1,2,3,4],[0,1,2,3,4],[1,2,3,4]]).
khf7_teszteset(18, szt(nil,4,nil),[[0,1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[0,1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[0,1,2,3,4],[1,2,3,4]], [[0,1],[1,2],[2,3],[3,4],[0,1,4],[1,2,4],[1,2,3],[2,3,4],[0,1,3,4],[1,2,3,4]]).
khf7_teszteset(19, szt(nil,4,nil),[[0,1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[0,1,2,3,4],[1,2],[1,2,3,4],[1,2,3,4],[0,1,2,3,4],[1,2,3,4]], [[0,1],[1,2],[2,3],[3,4],[0,1,4],[1,2],[2,3],[3,4],[0,1,4],[1,2,4]]).
khf7_teszteset(20, szt(nil,4,nil),[[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4]], [[1],[2],[3],[4],[1],[2],[3],[4],[1],[2]]).
khf7_teszteset(21, szt(nil,4,nil),[[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4]], [[1],[2],[3],[4],[1],[2],[3],[4],[1],[2]]).
khf7_teszteset(22, szt(nil,8,nil),[[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8]], [[0,1],[1,2],[2,3],[3,4],[0,4,5],[4,5,6],[5,6,7],[6,7,8],[0,1,7,8],[1,2,7,8]]).
khf7_teszteset(23, szt(nil,8,nil),[[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8]], [[0,1],[1,2],[2,3],[3,4],[0,4,5],[4,5,6],[5,6,7],[6],[0,7],[7,8]]).
khf7_teszteset(24, szt(nil,8,nil),[[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8]],false).
khf7_teszteset(25, szt(nil,8,nil),[[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[0,1,2,3,4,5,6,7,8],[1,2],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8]],false).
khf7_teszteset(26, szt(nil,8,nil),[[1,2,3,4,5,6,7,8],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8]], [[1],[0,2],[2,3],[3,4],[4,5],[0,5,6],[5,6,7],[6,7,8],[1,7,8],[1,2,8]]).
khf7_teszteset(27, szt(nil,8,nil),[[1,2,3,4,5,6,7,8],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8]], [[1],[0,2],[2,3],[3,4],[4,5],[5,6],[6,7],[7,8],[1,8],[1,2]]).
khf7_teszteset(28, szt(nil,8,nil),[[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8]], [[1],[2],[3],[4],[0,5],[5,6],[6,7],[7,8],[0,1,8],[1,2,8]]).
khf7_teszteset(29, szt(nil,8,nil),[[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8]],false).
khf7_teszteset(30, szt(nil,8,nil),[[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[8],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8]], [[1],[2],[3],[4],[0,5],[5,6],[6,7],[8],[0,1],[1,2]]).
khf7_teszteset(31, szt(nil,8,nil),[[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8],[0,1,2,3,4,5,6,7,8],[1,2,3,4,5,6,7,8]], [[1],[2],[3],[4],[5],[6],[7],[8],[0,1],[1,2]]).
khf7_teszteset(32, szt(nil,12,nil),[[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12]], [[0,1],[0,1,2],[0,1,2,3],[0,1,2,3,4],[0,1,2,3,4,5],[0,1,2,3,4,5,6],[0,1,2,3,4,5,6,7],[0,1,2,3,4,5,6,7,8],[0,1,2,3,4,5,6,7,8,9],[0,1,2,3,4,5,6,7,8,9,10],[0,1,2,3,4,5,6,7,8,9,10,11],[0,1,2,3,4,5,6,7,8,9,10,11,12]]).
khf7_teszteset(33, szt(nil,12,nil),[[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12]], [[0,1],[0,1,2],[0,1,2,3],[0,1,2,3,4],[0,1,2,3,4,5],[1,2,3,4,5,6],[0,2,3,4,5,6,7],[2,3,4,5,6,7,8],[0,3,4,5,6,7,8,9],[3,4,5,6,7,8,9,10],[0,4,5,6,7,8,9,10,11],[4,5,6,7,8,9,10,11,12]]).
khf7_teszteset(34, szt(nil,12,nil),[[0,1,2,3,4,5,6,7,8,9,10,11],[0,1,2,3,4,5,6,7,8,9,10,11],[0,1,2,3,4,5,6,7,8,9,10,11],[0,1,2,3,4,5,6,7,8,9,10,11],[0,1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[0,1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[0,1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[0,1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11]], [[0,1],[0,1,2],[0,1,2,3],[0,1,2,3,4],[0,1,2,3,4,5],[1,2,3,4,5,6],[0,2,3,4,5,6,7],[2,3,4,5,6,7,8],[0,3,4,5,6,7,8,9],[3,4,5,6,7,8,9,10],[0,4,5,6,7,8,9,10,11],[4,5,6,7,8,9,10,11]]).
khf7_teszteset(35, szt(nil,12,nil),[[1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12]], [[1],[0,2],[2,3],[0,3,4],[3,4,5],[0,4,5,6],[4,5,6,7],[0,5,6,7,8],[0,5,6,7,8,9],[0,5,6,7,8,9,10],[0,5,6,7,8,9,10,11],[0,5,6,7,8,9,10,11,12]]).
khf7_teszteset(36, szt(nil,12,nil),[[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12]], [[1],[2],[3],[0,4],[4,5],[5,6],[6,7],[7,8],[8,9],[9,10],[10,11],[11,12]]).
khf7_teszteset(37, szt(nil,12,nil),[[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[0,1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12]], [[1],[2],[3],[4],[5],[6],[7],[8],[0,9],[9,10],[10,11],[11,12]]).
khf7_teszteset(38, szt(nil,12,nil),[[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12]], [[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12]]).
khf7_teszteset(39, szt(nil,12,nil),[[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[0,1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11]], [[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[0,11],[11]]).
khf7_teszteset(40, szt(nil,12,nil),[[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11]],false).