Density threshold in pinwheel scheduling

This page provides the supporting data for Lemma 5 of my paper “Proof of the Density Threshold Conjecture for Pinwheel Scheduling”, which proves the “5/6 conjecture” for pinwheel scheduling.

The lemma states that all pinwheel instances consisting of integers up to 21 and satisfying a certain modified density bound are schedulable. Let 𝓑 be the (finite) set of such instances. Rather than listing schedules for all 25592971 instances in 𝓑, we give schedules for a set 𝓒 of 5852 instances such that for each 𝐵 in 𝓑, there is 𝐶𝐵 in 𝓒 such that 𝐵 can be obtained from 𝐶𝐵 using the two operations in Lemma 3: first splitting some tasks (part (2) of the lemma) several times, and then increasing the periods of some tasks (part (1)).