Warning: session_start(): open(/var/lib/php/sessions/sess_a0a34q1o5qbvl5llf00knsmbmh, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
srecord noeq CheckLSFRTriplet(int bits, int[] triplet) { settable bool verbose; TripletLSFR lsfr; int n; bool get() { lsfr = new TripletLSFR(bits, triplet[0], triplet[1], triplet[2]); int cycleLength = (1 << bits)-1; assertEquals(cycleLength, lsr.cycleLength()); new BitSet bs; for (n = 0; n < cycleLength; n++) { int i = lsfr.next(); if (verbose) print(+i); assertBetween(1, cycleLength, i); if (bs.get(i)) false; bs.set(i); } true; } }