时空限制：

还没想好

题目描述：

（以下描述与游戏本体并不完全相同）
众所周知，Grand/Fate Order 是Grand世界的一款卡牌游戏。而作为一个月批，wzx对这款游戏情有独钟。
在这款游戏中，玩家（Master）需要选择一些从者（Servant）来进行战斗。那么相对应的，从者的等级就变得十分重要。
当一个从者达到一定等级后，就会达到等级上限。这个时候，需要提升从者的等级上限，才能继续升级从者。我们把这个过程叫做“灵基再临”（以下简称“再临”）。
而最让wzx苦恼的是，每次再临都需要消耗一定的材料。而作为一个懒狗，他并没有足够的时间去刷取材料。也就是说，wzx现在一个材料也没有。
所幸，在GFO七周年的时候，YLSFM在游戏中实装了一个新功能：每次对从者进行再临后，都可以获得一个“白方块”。而使用白方块，可以兑换一些材料。
具体地说，材料分为三种：铜材料，银材料和金材料。而兑换一个铜材料，银材料或金材料分别需要1,2,3个白方块。
而每个从者最多可以进行四次再临。需要注意的是，每次再临需要的材料种类和数量并不一定相同。而且，对于一个从者来说，如果想进行第i次再临，必须先完成前面的i-1次再临。
现在，wzx将给你一些数据，包括从者数量n，每个从者每次再临需要的材料种类与数量，wzx库存的白方块个数m，请你求出wzx最多可以进行多少次再临。

输入格式：

第1行包含2个整数n，m；
第2行到第4*n+1行，每4行表示一个从者的数据，每行包含3个整数，分别表示一个从者第1,2,3,4次再临所需的铜，银，金材料数量。

输出格式：

输出一行，包含一个整数，表示wzx最多可以进行的再临次数。

数据范围：

还没想好