-- DynamicBitsXXXImpl.meta
-- Copyright (C) 1984, 1985, Xerox Corporation.  All rights reserved.
-- Michael Plass, November 6, 1985 9:52:38 am PST
-- PARAMETERS sKernelRadius, fKernelRadius, sModelRadius, fModelRadius, swathSize

DIRECTORY DynamicBits, Basics, ImagerPixelMap, ImagerSample, PixelMapOps;

DynamicBits202Impl: CEDAR PROGRAM
IMPORTS Basics, ImagerPixelMap, ImagerSample, PixelMapOps, DynamicBits
~ BEGIN OPEN DynamicBits;
	
	
	KernelArray: TYPE ~ ARRAY [(-2)..3) OF ARRAY [(-2)..3) OF INTEGER;
	
	SampleBuffer: TYPE ~ ImagerSample.SampleBuffer;
	
	PixelRow: TYPE ~ RECORD[sOrigin, fOrigin: INTEGER, sample: SampleBuffer];
	
	CreatePixelRow: PROC [s, f: INTEGER, size: NAT] RETURNS [PixelRow] ~ {
		buffer: SampleBuffer ~ ImagerSample.NewBuffer[iSize: 1, jSize: size];
		RETURN [[sOrigin: s, fOrigin: f, sample: buffer]]
		};
	
	CopyPixelRow: PROC [old: PixelRow] RETURNS [PixelRow] ~ {
		new: PixelRow ~ CreatePixelRow[old.sOrigin, old.fOrigin, old.sample.jSize];
		PixelMapOps.CopySamples[buffer: new.sample, bi: 0, bj: 0, count: old.sample.jSize, source: old.sample, si: 0, sj: 0];
		RETURN [new]
		};
	
	ModelData: TYPE ~ REF ModelDataRep;
	ModelDataRep: TYPE ~ ARRAY [0..2) OF REF ModelDataItem;
	ModelDataItem: TYPE ~ RECORD [
		intensity: Intensity,
		noisePenalty: NoisePenalty,
		a: KernelArray
		];
	
	ModelParameterFault: PUBLIC ERROR [data: REF] ~ CODE;
	
	neighborhoodBounds: DeviceRectangle ~ [0, 0, 1, 1];
	CheckNeighborhood: PROC [neighborhood: DeviceRectangle] ~ {
		IF neighborhood # neighborhoodBounds THEN ModelParameterFault[$neighborhood];
		};
	
	kernelBounds: DeviceRectangle ~ [(-2), (-2), 5, 5];
	CheckKernel: PROC [bounds: DeviceRectangle] ~ {
		IF bounds # kernelBounds THEN ModelParameterFault[$kernel];
		};
	
	ArrayFromKernel: PROC [kernel: Kernel] RETURNS [kernelArray: KernelArray]  ~ {
		CheckKernel[kernel.Window];
		FOR s: INTEGER IN [(-2)..3) DO
			FOR f: INTEGER IN [(-2)..3) DO
				kernelArray[s][f] ← LOOPHOLE[kernel.GetPixel[s, f], INTEGER];
				ENDLOOP;
			ENDLOOP;
		};
	
	CreatePrinterModel: PROC [neighborhood: DeviceRectangle, printerModel: PrinterModel, kernel: PixelMap] RETURNS [model: Model] ~ {
		bitmap: PixelMap ← ImagerPixelMap.Create[0, neighborhood];
		data: ModelData ← NEW[ModelDataRep];
		kernelArray: KernelArray ← ArrayFromKernel[kernel];
		CheckNeighborhood[neighborhood];
		model ← NEW[ModelRep];
		FOR encoding: CARDINAL IN [0..2) DO
			intensity: Intensity;
			noisePenalty: NoisePenalty;
			scaledArray: KernelArray;
			TRUSTED {
				t: CARDINAL ← Basics.BITSHIFT[encoding, Basics.bitsPerWord-1];
				bitmap ← MakePixelMapFromBits[@t, 1, neighborhoodBounds, bitmap.refRep];
				};
			[intensity, noisePenalty] ← printerModel[bitmap, encoding];
			FOR s: INTEGER IN [(-2)..3) DO
				FOR f: INTEGER IN [(-2)..3) DO
					k: INTEGER ← kernelArray[s][f];
					scaledArray[s][f] ←
					IF k>=0 THEN (Basics.LongMult[k, intensity]+127)/255
					ELSE -((Basics.LongMult[-k, intensity]+127)/255);
					ENDLOOP;
				ENDLOOP;
			data[encoding] ← NEW[ModelDataItem ← [intensity, noisePenalty, scaledArray]];
			ENDLOOP;
		model.neighborhood ← neighborhood;
		model.kernel ← kernel.Copy;
		model.data ← data;
		};
	
	DoWithPrinterModel: PROC [model: Model, action: PROC[PrinterModel]] ~ {
		data: ModelData ~ NARROW[model.data];
		printerModel: PROC [bitmap: PixelMap, encoding: CARDINAL] RETURNS [Intensity, NoisePenalty] ~ {
			item: REF ModelDataItem ~ data↑[encoding];
			RETURN [item.intensity, item.noisePenalty];
			};
		action[printerModel];
		};
	
	StorePixelRow: PROC [p: PixelRow, pixelMap: PixelMap] ~ {
		fMin: INTEGER ← MAX[p.fOrigin, pixelMap.fOrigin+pixelMap.fMin];
		fMax: INTEGER ← MIN[p.fOrigin+p.sample.jSize, pixelMap.fOrigin+pixelMap.fMin+pixelMap.fSize];
		IF fMax<=fMin THEN RETURN;
		PixelMapOps.PutF[pixelMap: pixelMap, s: p.sOrigin, f: fMin, buffer: p.sample, bi: 0, bj: fMin-p.fOrigin, count: fMax-fMin];
		};
	
	Load: PROC [p: PixelRow, pixelMap: PixelMap] ~ {
		-- Takes care of boundary conditions
		fMin: INTEGER ← MAX[p.fOrigin, pixelMap.fOrigin+pixelMap.fMin];
		fMax: INTEGER ← MIN[p.fOrigin+p.sample.jSize, pixelMap.fOrigin+pixelMap.fMin+pixelMap.fSize];
		sMin: INTEGER ← MIN[MAX[p.sOrigin, pixelMap.sOrigin+pixelMap.sMin], pixelMap.sOrigin+pixelMap.sMin+pixelMap.sSize-1];
		IF fMax<=fMin THEN {PixelMapOps.ClearSamples[buffer: p.sample, count: p.sample.jSize]; RETURN};
		PixelMapOps.GetF[pixelMap: pixelMap, s: sMin, f: fMin, buffer: p.sample, bi: 0, bj: fMin-p.fOrigin, count: fMax-fMin];
		FOR i: INTEGER IN [0..fMin-p.fOrigin) DO
			p.sample[i] ← p.sample[fMin-p.fOrigin];
			ENDLOOP;
		FOR i: INTEGER IN [fMax-p.fOrigin..p.sample.jSize) DO
			p.sample[i] ← p.sample[fMax-1-p.fOrigin];
			ENDLOOP;
		};
	
	Convolve: PROC [pixelMap: PixelMap, kernel: Kernel, unitIntensity: CARDINAL] ~ {
		bounds: DeviceRectangle ← pixelMap.BoundedWindow;
		kernelArray: KernelArray ← ArrayFromKernel[kernel];
		p: ARRAY [(-2)..3) OF PixelRow ← CreatePixelRows[];
		CreatePixelRows: PROC RETURNS[p: ARRAY[(-2)..3) OF PixelRow]~{
			FOR i: INTEGER IN [(-2)..3) DO
				p[i] ← CreatePixelRow[bounds.sMin+i, bounds.fMin+(-2), bounds.fSize+5-1];
				ENDLOOP;
			};
		q: PixelRow ← CopyPixelRow[p[0]];
		kernelMag: INTEGER ← KernelWeight[kernel];
		halfUnit: CARDINAL ← unitIntensity/2;
		maxMag: INT ← Basics.LongMult[ABS[kernelMag], INT[unitIntensity]]+halfUnit;
		Cd: PROC [i: INTEGER] RETURNS [CARDINAL] ~ INLINE {RETURN [LOOPHOLE[i]]};
		short: BOOLEAN ← maxMag < CARDINAL.LAST;
		FOR ss: INT IN [(-2)..3) DO
			FOR ff: INT IN [(-2)..3) DO
				short ← short AND kernelArray[ss][ff] >= 0;
				ENDLOOP;
			ENDLOOP;
		FOR i: INTEGER IN [(-2)..3) DO Load[p[i], pixelMap] ENDLOOP;
		THROUGH [0..bounds.sSize) DO
			IF short THEN {
				-- Use 16-bit arithemetic for greater speed.
				FOR f: NAT IN [-(-2)..bounds.fSize-(-2)) DO
					pix: CARDINAL ← p[-(-2)].sample[f-(-2)]*Cd[kernelArray[(-2)][(-2)]] + p[-(-2)].sample[f-(-1)]*Cd[kernelArray[(-2)][(-1)]] + p[-(-2)].sample[f-0]*Cd[kernelArray[(-2)][0]] + p[-(-2)].sample[f-1]*Cd[kernelArray[(-2)][1]] + p[-(-2)].sample[f-2]*Cd[kernelArray[(-2)][2]] + p[-(-1)].sample[f-(-2)]*Cd[kernelArray[(-1)][(-2)]] + p[-(-1)].sample[f-(-1)]*Cd[kernelArray[(-1)][(-1)]] + p[-(-1)].sample[f-0]*Cd[kernelArray[(-1)][0]] + p[-(-1)].sample[f-1]*Cd[kernelArray[(-1)][1]] + p[-(-1)].sample[f-2]*Cd[kernelArray[(-1)][2]] + p[-0].sample[f-(-2)]*Cd[kernelArray[0][(-2)]] + p[-0].sample[f-(-1)]*Cd[kernelArray[0][(-1)]] + p[-0].sample[f-0]*Cd[kernelArray[0][0]] + p[-0].sample[f-1]*Cd[kernelArray[0][1]] + p[-0].sample[f-2]*Cd[kernelArray[0][2]] + p[-1].sample[f-(-2)]*Cd[kernelArray[1][(-2)]] + p[-1].sample[f-(-1)]*Cd[kernelArray[1][(-1)]] + p[-1].sample[f-0]*Cd[kernelArray[1][0]] + p[-1].sample[f-1]*Cd[kernelArray[1][1]] + p[-1].sample[f-2]*Cd[kernelArray[1][2]] + p[-2].sample[f-(-2)]*Cd[kernelArray[2][(-2)]] + p[-2].sample[f-(-1)]*Cd[kernelArray[2][(-1)]] + p[-2].sample[f-0]*Cd[kernelArray[2][0]] + p[-2].sample[f-1]*Cd[kernelArray[2][1]] + p[-2].sample[f-2]*Cd[kernelArray[2][2]] +  0;
					q.sample[f] ← (pix+halfUnit)/unitIntensity;
					ENDLOOP;
				}
			ELSE {
				FOR f: NAT IN [-(-2)..bounds.fSize-(-2)) DO
					pix: INT ← 0;
					FOR ss: INT IN [(-2)..3) DO
						FOR ff: INT IN [(-2)..3) DO
							pix ← pix + p[-ss].sample[f-ff]*INT[kernelArray[ss][ff]];
							ENDLOOP;
						ENDLOOP;
					q.sample[f] ← (pix+halfUnit)/unitIntensity;
					ENDLOOP;
				};
			StorePixelRow[q, pixelMap];
			{t: PixelRow ← p[(-2)]; p[(-2)] ← p[(-1)]; p[(-1)] ← p[0]; p[0] ← p[1]; p[1] ← p[2]; p[3-1] ← t};
			p[3-1].sOrigin ← p[3-1].sOrigin + (3-(-2));
			Load[p[3-1], pixelMap];
			q.sOrigin ← p[0].sOrigin;
			ENDLOOP;
		};
	
	ApplyModel: PROC [bitmap: PixelMap, model: Model] RETURNS [PixelMap] ~ {
		w: DeviceRectangle ← bitmap.Window;
		gray: PixelMap ← ImagerPixelMap.Create[3, w];
		bitRow: PixelRow ← CreatePixelRow[w.sMin+0, w.fMin+0, w.fSize+1];
		indexRow: PixelRow ← CreatePixelRow[w.sMin, w.fMin, w.fSize];
		destRow: PixelRow ← CopyPixelRow[indexRow];
		data: ModelData ← NARROW[model.data];
		MergeBits: PROC ~ {
			FOR f: NAT IN [0..indexRow.sample.jSize) DO
				k: CARDINAL ← 0;
				FOR ff: NAT IN [f..f+1) DO
					k ← k*2+bitRow.sample[ff];
					ENDLOOP;
				indexRow.sample[f] ← (indexRow.sample[f] * 2 + k) MOD 2;
				ENDLOOP;
			};
		PixelMapOps.ClearSamples[buffer: bitRow.sample, count: bitRow.sample.jSize];
		PixelMapOps.ClearSamples[buffer: indexRow.sample, count: indexRow.sample.jSize];
		PixelMapOps.ClearSamples[buffer: destRow.sample, count: destRow.sample.jSize];
		FOR i: NAT IN [0..1) DO
			Load[bitRow, bitmap];
			MergeBits[];
			bitRow.sOrigin ← bitRow.sOrigin + 1;
			ENDLOOP;
		FOR s: NAT IN [0..w.sSize) DO
			FOR f: NAT IN [0..destRow.sample.jSize) DO
				destRow.sample[f] ← data[indexRow.sample[f]].intensity;
				ENDLOOP;
			StorePixelRow[destRow, gray];
			destRow.sOrigin ← destRow.sOrigin + 1;
			Load[bitRow, bitmap];
			MergeBits[];
			bitRow.sOrigin ← bitRow.sOrigin + 1;
			ENDLOOP;
		RETURN [gray]
		};
	
	TuneSwath: PROC [gray: PixelMap, bitmap: PixelMap, fixedBits: PixelMap, swath: DeviceRectangle, model: Model, scratch: REF] RETURNS [newScratch: REF] ~ {
		
		
		-- Make sure the swath has the right fSize
		xxx: [0..0] ← swath.fSize-2;
		-- sOrigin and fOrigin give the position of the origin of the local swatch in the bitmap coordinate system.
		sOrigin: INTEGER ← swath.sMin-1-2;
		fOrigin: INTEGER ← swath.fMin;
		pixelRow: PixelRow ← CreatePixelRow[sOrigin, fOrigin+(-4), 6-(-4)];
		swathRow: PixelRow ← CreatePixelRow[sOrigin, fOrigin, 2];
		bit: ARRAY [(-2)..3) OF ARRAY [(-4)..6) OF [0..1];
		-- The current bits from the bitmap within the swatch
		index: ARRAY [(-2)..3) OF ARRAY [(-4)..6) OF [0..2);
		-- The current bits, packed up into indices into the model array
		fixed: ARRAY [(-2)..3) OF ARRAY [0..2) OF [0..1];
		-- A local copy of a piece of fixedBits
		target: ARRAY [(-2)..4) OF INTEGER;
		-- A local copy of a piece of gray
		trial: ARRAY [(-2)..4) OF INTEGER;
		-- The partially computed approximation to the gray
		modelData: ModelData ← NARROW[model.data];
		
		nonFixedBitCount: NAT ← 0;
		SF: TYPE ~ RECORD [s: [(-2)..3), f: [0..2)];
		nonFixedBitIndex: ARRAY [0..(3-(-2))*2) OF SF;
		
		questionBits: [0..4);
		-- The bits that need to be determined for a given context.
		contextBits: [0..256);
		-- The context bits in the swath.
		prevContextBits: [0..256);
		-- The context bits for the previous subproblem.
		
		SubproblemSolution: TYPE ~ RECORD [
			setting: [0..4),
			-- The setting of questionBits that achieves the lowest total penalty for the swath so far.
			minErrHighHalf: [0..CARDINAL.LAST/4],
			minErrLowHalf: CARDINAL
			-- The lowest total penalty for the swath so far.
			-- Packed so the whole thing fits in two words, since there are a lot of them.
			];
		
		MakeSubproblemSolution: PROC [setting: [0..4), minErr: INT] RETURNS [SubproblemSolution] ~ INLINE BEGIN
			long: Basics.LongNumber ← [li[minErr]];
			RETURN [[setting: setting, minErrHighHalf: long.highbits, minErrLowHalf: long.lowbits]]
			END;
		
		MinErr: PROC [s: SubproblemSolution] RETURNS [INT] ~ INLINE BEGIN
			long: Basics.LongNumber ← [num[lowbits: s.minErrLowHalf, highbits: s.minErrHighHalf]];
			RETURN [long.li]
			END;
		
		PerSwatchTable: TYPE ~ ARRAY [0..256) OF SubproblemSolution;
		
		avail: LIST OF REF PerSwatchTable ← NARROW[scratch];
		
		subproblemTable: LIST OF REF PerSwatchTable ← NIL;
		
		Alloc: PROC RETURNS [new: LIST OF REF PerSwatchTable] ~ BEGIN
			IF avail = NIL THEN new ← LIST[NEW[PerSwatchTable]]
			ELSE {
				new ← avail;
				avail ← avail.rest;
				new.rest ← NIL;
				};
			new.first↑ ← ALL[[0, CARDINAL.LAST/4, CARDINAL.LAST]];
			END;
		
		ComputeFixedIndex: PROC ~ BEGIN
			nonFixedBitCount ← 0;
			FOR s: [(-2)..3) IN [(-2)..3) DO
				FOR f: [0..2) IN [0..2) DO
					IF fixed[s][f] = 0 THEN {
						nonFixedBitIndex[nonFixedBitCount] ← [s,f];
						nonFixedBitCount ← nonFixedBitCount + 1;
						};
					ENDLOOP;
				ENDLOOP;
			END;
		
		Initialize: PROC ~ BEGIN
			FOR s: [(-2)..3) IN [(-2)..3) DO
				pixelRow.sOrigin ← sOrigin+s;
				Load[pixelRow, bitmap];
				FOR f: [(-4)..6) IN [(-4)..6) DO
					bit[s][f] ← pixelRow.sample[f+fOrigin-pixelRow.fOrigin];
					ENDLOOP;
				IF s+sOrigin NOT IN [swath.sMin..swath.sMin+swath.sSize)
				THEN fixed[s] ← ALL[1]
				ELSE {
					swathRow.sOrigin ← sOrigin+s;
					Load[swathRow, fixedBits];
					FOR f: [0..2) IN [0..2) DO
						fixed[s][f] ← swathRow.sample[f+fOrigin-swathRow.fOrigin];
						ENDLOOP;
					};
				ENDLOOP;
			pixelRow.sOrigin ← sOrigin;
			Load[pixelRow, gray];
			FOR f: INTEGER IN [(-2)..4) DO
				target[f] ← pixelRow.sample[f+fOrigin-pixelRow.fOrigin];
				ENDLOOP;
			ComputeOuterModelIndices[];
			ComputePartialTrial[];
			ComputeFixedIndex[];
			END;
		
		Advance: PROC ~ BEGIN
			sOrigin ← sOrigin + 1;
			FOR s: [(-2)..3) IN [(-2)..3-1) DO
				bit[s] ← bit[s+1];
				fixed[s] ← fixed[s+1];
				ENDLOOP;
			pixelRow.sOrigin ← sOrigin+3-1;
			Load[pixelRow, bitmap];
			FOR f: [(-4)..6) IN [(-4)..6) DO
				bit[3-1][f] ← pixelRow.sample[f+fOrigin-pixelRow.fOrigin];
				ENDLOOP;
			IF 3-1+sOrigin NOT IN [swath.sMin..swath.sMin+swath.sSize)
			THEN fixed[3-1] ← ALL[1]
			ELSE {
				swathRow.sOrigin ← sOrigin+3-1;
				Load[swathRow, fixedBits];
				FOR f: [0..2) IN [0..2) DO
					fixed[3-1][f] ← swathRow.sample[f+fOrigin-swathRow.fOrigin];
					ENDLOOP;
				};
			pixelRow.sOrigin ← sOrigin;
			Load[pixelRow, gray];
			FOR f: INTEGER IN [(-2)..4) DO
				target[f] ← pixelRow.sample[f+fOrigin-pixelRow.fOrigin];
				ENDLOOP;
			ComputeOuterModelIndices[];
			ComputePartialTrial[];
			ComputeFixedIndex[];
			END;
		
		ComputeOuterModelIndices: PROC ~ BEGIN
			index[(-2)][(-4)] ← bit[(-2)][(-4)];
			index[(-2)][(-3)] ← bit[(-2)][(-3)];
			index[(-2)][(-2)] ← bit[(-2)][(-2)];
			index[(-2)][(-1)] ← bit[(-2)][(-1)];
			index[(-2)][2] ← bit[(-2)][2];
			index[(-2)][3] ← bit[(-2)][3];
			index[(-2)][4] ← bit[(-2)][4];
			index[(-2)][5] ← bit[(-2)][5];
			index[(-1)][(-4)] ← bit[(-1)][(-4)];
			index[(-1)][(-3)] ← bit[(-1)][(-3)];
			index[(-1)][(-2)] ← bit[(-1)][(-2)];
			index[(-1)][(-1)] ← bit[(-1)][(-1)];
			index[(-1)][2] ← bit[(-1)][2];
			index[(-1)][3] ← bit[(-1)][3];
			index[(-1)][4] ← bit[(-1)][4];
			index[(-1)][5] ← bit[(-1)][5];
			index[0][(-4)] ← bit[0][(-4)];
			index[0][(-3)] ← bit[0][(-3)];
			index[0][(-2)] ← bit[0][(-2)];
			index[0][(-1)] ← bit[0][(-1)];
			index[0][2] ← bit[0][2];
			index[0][3] ← bit[0][3];
			index[0][4] ← bit[0][4];
			index[0][5] ← bit[0][5];
			index[1][(-4)] ← bit[1][(-4)];
			index[1][(-3)] ← bit[1][(-3)];
			index[1][(-2)] ← bit[1][(-2)];
			index[1][(-1)] ← bit[1][(-1)];
			index[1][2] ← bit[1][2];
			index[1][3] ← bit[1][3];
			index[1][4] ← bit[1][4];
			index[1][5] ← bit[1][5];
			index[2][(-4)] ← bit[2][(-4)];
			index[2][(-3)] ← bit[2][(-3)];
			index[2][(-2)] ← bit[2][(-2)];
			index[2][(-1)] ← bit[2][(-1)];
			index[2][2] ← bit[2][2];
			index[2][3] ← bit[2][3];
			index[2][4] ← bit[2][4];
			index[2][5] ← bit[2][5];
			
			END;
		
		ComputeInnerModelIndices: PROC ~ BEGIN
			index[(-2)][0] ← bit[(-2)][0];
			index[(-2)][1] ← bit[(-2)][1];
			index[(-1)][0] ← bit[(-1)][0];
			index[(-1)][1] ← bit[(-1)][1];
			index[0][0] ← bit[0][0];
			index[0][1] ← bit[0][1];
			index[1][0] ← bit[1][0];
			index[1][1] ← bit[1][1];
			index[2][0] ← bit[2][0];
			index[2][1] ← bit[2][1];
			
			END;
		
		ComputePartialTrial: PROC ~ BEGIN
			-- From the index values
			t: REF ModelDataItem ← NIL;
			trial ← ALL[0];
			t ← modelData[index[(-2)][(-4)]];
			trial[(-2)] ← trial[(-2)] + t.a[2][2];
			t ← modelData[index[(-2)][(-3)]];
			trial[(-2)] ← trial[(-2)] + t.a[2][1];
			trial[(-1)] ← trial[(-1)] + t.a[2][2];
			t ← modelData[index[(-2)][(-2)]];
			trial[(-2)] ← trial[(-2)] + t.a[2][0];
			trial[(-1)] ← trial[(-1)] + t.a[2][1];
			trial[0] ← trial[0] + t.a[2][2];
			t ← modelData[index[(-2)][(-1)]];
			trial[(-2)] ← trial[(-2)] + t.a[2][(-1)];
			trial[(-1)] ← trial[(-1)] + t.a[2][0];
			trial[0] ← trial[0] + t.a[2][1];
			trial[1] ← trial[1] + t.a[2][2];
			t ← modelData[index[(-2)][2]];
			trial[0] ← trial[0] + t.a[2][(-2)];
			trial[1] ← trial[1] + t.a[2][(-1)];
			trial[2] ← trial[2] + t.a[2][0];
			trial[3] ← trial[3] + t.a[2][1];
			t ← modelData[index[(-2)][3]];
			trial[1] ← trial[1] + t.a[2][(-2)];
			trial[2] ← trial[2] + t.a[2][(-1)];
			trial[3] ← trial[3] + t.a[2][0];
			t ← modelData[index[(-2)][4]];
			trial[2] ← trial[2] + t.a[2][(-2)];
			trial[3] ← trial[3] + t.a[2][(-1)];
			t ← modelData[index[(-2)][5]];
			trial[3] ← trial[3] + t.a[2][(-2)];
			t ← modelData[index[(-1)][(-4)]];
			trial[(-2)] ← trial[(-2)] + t.a[1][2];
			t ← modelData[index[(-1)][(-3)]];
			trial[(-2)] ← trial[(-2)] + t.a[1][1];
			trial[(-1)] ← trial[(-1)] + t.a[1][2];
			t ← modelData[index[(-1)][(-2)]];
			trial[(-2)] ← trial[(-2)] + t.a[1][0];
			trial[(-1)] ← trial[(-1)] + t.a[1][1];
			trial[0] ← trial[0] + t.a[1][2];
			t ← modelData[index[(-1)][(-1)]];
			trial[(-2)] ← trial[(-2)] + t.a[1][(-1)];
			trial[(-1)] ← trial[(-1)] + t.a[1][0];
			trial[0] ← trial[0] + t.a[1][1];
			trial[1] ← trial[1] + t.a[1][2];
			t ← modelData[index[(-1)][2]];
			trial[0] ← trial[0] + t.a[1][(-2)];
			trial[1] ← trial[1] + t.a[1][(-1)];
			trial[2] ← trial[2] + t.a[1][0];
			trial[3] ← trial[3] + t.a[1][1];
			t ← modelData[index[(-1)][3]];
			trial[1] ← trial[1] + t.a[1][(-2)];
			trial[2] ← trial[2] + t.a[1][(-1)];
			trial[3] ← trial[3] + t.a[1][0];
			t ← modelData[index[(-1)][4]];
			trial[2] ← trial[2] + t.a[1][(-2)];
			trial[3] ← trial[3] + t.a[1][(-1)];
			t ← modelData[index[(-1)][5]];
			trial[3] ← trial[3] + t.a[1][(-2)];
			t ← modelData[index[0][(-4)]];
			trial[(-2)] ← trial[(-2)] + t.a[0][2];
			t ← modelData[index[0][(-3)]];
			trial[(-2)] ← trial[(-2)] + t.a[0][1];
			trial[(-1)] ← trial[(-1)] + t.a[0][2];
			t ← modelData[index[0][(-2)]];
			trial[(-2)] ← trial[(-2)] + t.a[0][0];
			trial[(-1)] ← trial[(-1)] + t.a[0][1];
			trial[0] ← trial[0] + t.a[0][2];
			t ← modelData[index[0][(-1)]];
			trial[(-2)] ← trial[(-2)] + t.a[0][(-1)];
			trial[(-1)] ← trial[(-1)] + t.a[0][0];
			trial[0] ← trial[0] + t.a[0][1];
			trial[1] ← trial[1] + t.a[0][2];
			t ← modelData[index[0][2]];
			trial[0] ← trial[0] + t.a[0][(-2)];
			trial[1] ← trial[1] + t.a[0][(-1)];
			trial[2] ← trial[2] + t.a[0][0];
			trial[3] ← trial[3] + t.a[0][1];
			t ← modelData[index[0][3]];
			trial[1] ← trial[1] + t.a[0][(-2)];
			trial[2] ← trial[2] + t.a[0][(-1)];
			trial[3] ← trial[3] + t.a[0][0];
			t ← modelData[index[0][4]];
			trial[2] ← trial[2] + t.a[0][(-2)];
			trial[3] ← trial[3] + t.a[0][(-1)];
			t ← modelData[index[0][5]];
			trial[3] ← trial[3] + t.a[0][(-2)];
			t ← modelData[index[1][(-4)]];
			trial[(-2)] ← trial[(-2)] + t.a[(-1)][2];
			t ← modelData[index[1][(-3)]];
			trial[(-2)] ← trial[(-2)] + t.a[(-1)][1];
			trial[(-1)] ← trial[(-1)] + t.a[(-1)][2];
			t ← modelData[index[1][(-2)]];
			trial[(-2)] ← trial[(-2)] + t.a[(-1)][0];
			trial[(-1)] ← trial[(-1)] + t.a[(-1)][1];
			trial[0] ← trial[0] + t.a[(-1)][2];
			t ← modelData[index[1][(-1)]];
			trial[(-2)] ← trial[(-2)] + t.a[(-1)][(-1)];
			trial[(-1)] ← trial[(-1)] + t.a[(-1)][0];
			trial[0] ← trial[0] + t.a[(-1)][1];
			trial[1] ← trial[1] + t.a[(-1)][2];
			t ← modelData[index[1][2]];
			trial[0] ← trial[0] + t.a[(-1)][(-2)];
			trial[1] ← trial[1] + t.a[(-1)][(-1)];
			trial[2] ← trial[2] + t.a[(-1)][0];
			trial[3] ← trial[3] + t.a[(-1)][1];
			t ← modelData[index[1][3]];
			trial[1] ← trial[1] + t.a[(-1)][(-2)];
			trial[2] ← trial[2] + t.a[(-1)][(-1)];
			trial[3] ← trial[3] + t.a[(-1)][0];
			t ← modelData[index[1][4]];
			trial[2] ← trial[2] + t.a[(-1)][(-2)];
			trial[3] ← trial[3] + t.a[(-1)][(-1)];
			t ← modelData[index[1][5]];
			trial[3] ← trial[3] + t.a[(-1)][(-2)];
			t ← modelData[index[2][(-4)]];
			trial[(-2)] ← trial[(-2)] + t.a[(-2)][2];
			t ← modelData[index[2][(-3)]];
			trial[(-2)] ← trial[(-2)] + t.a[(-2)][1];
			trial[(-1)] ← trial[(-1)] + t.a[(-2)][2];
			t ← modelData[index[2][(-2)]];
			trial[(-2)] ← trial[(-2)] + t.a[(-2)][0];
			trial[(-1)] ← trial[(-1)] + t.a[(-2)][1];
			trial[0] ← trial[0] + t.a[(-2)][2];
			t ← modelData[index[2][(-1)]];
			trial[(-2)] ← trial[(-2)] + t.a[(-2)][(-1)];
			trial[(-1)] ← trial[(-1)] + t.a[(-2)][0];
			trial[0] ← trial[0] + t.a[(-2)][1];
			trial[1] ← trial[1] + t.a[(-2)][2];
			t ← modelData[index[2][2]];
			trial[0] ← trial[0] + t.a[(-2)][(-2)];
			trial[1] ← trial[1] + t.a[(-2)][(-1)];
			trial[2] ← trial[2] + t.a[(-2)][0];
			trial[3] ← trial[3] + t.a[(-2)][1];
			t ← modelData[index[2][3]];
			trial[1] ← trial[1] + t.a[(-2)][(-2)];
			trial[2] ← trial[2] + t.a[(-2)][(-1)];
			trial[3] ← trial[3] + t.a[(-2)][0];
			t ← modelData[index[2][4]];
			trial[2] ← trial[2] + t.a[(-2)][(-2)];
			trial[3] ← trial[3] + t.a[(-2)][(-1)];
			t ← modelData[index[2][5]];
			trial[3] ← trial[3] + t.a[(-2)][(-2)];
			 
			END;
		
		ComputeRowPenalty: PROC RETURNS [penalty: CARDINAL] ~ BEGIN
			-- From the index values
			t: REF ModelDataItem ← NIL;
			try: ARRAY [(-2)..4) OF INTEGER ← trial;
			t ← modelData[index[(-2)][0]];
			try[(-2)] ← try[(-2)] + t.a[2][(-2)];
			try[(-1)] ← try[(-1)] + t.a[2][(-1)];
			try[0] ← try[0] + t.a[2][0];
			try[1] ← try[1] + t.a[2][1];
			try[2] ← try[2] + t.a[2][2];
			t ← modelData[index[(-2)][1]];
			try[(-1)] ← try[(-1)] + t.a[2][(-2)];
			try[0] ← try[0] + t.a[2][(-1)];
			try[1] ← try[1] + t.a[2][0];
			try[2] ← try[2] + t.a[2][1];
			try[3] ← try[3] + t.a[2][2];
			t ← modelData[index[(-1)][0]];
			try[(-2)] ← try[(-2)] + t.a[1][(-2)];
			try[(-1)] ← try[(-1)] + t.a[1][(-1)];
			try[0] ← try[0] + t.a[1][0];
			try[1] ← try[1] + t.a[1][1];
			try[2] ← try[2] + t.a[1][2];
			t ← modelData[index[(-1)][1]];
			try[(-1)] ← try[(-1)] + t.a[1][(-2)];
			try[0] ← try[0] + t.a[1][(-1)];
			try[1] ← try[1] + t.a[1][0];
			try[2] ← try[2] + t.a[1][1];
			try[3] ← try[3] + t.a[1][2];
			t ← modelData[index[0][0]];
			try[(-2)] ← try[(-2)] + t.a[0][(-2)];
			try[(-1)] ← try[(-1)] + t.a[0][(-1)];
			try[0] ← try[0] + t.a[0][0];
			try[1] ← try[1] + t.a[0][1];
			try[2] ← try[2] + t.a[0][2];
			t ← modelData[index[0][1]];
			try[(-1)] ← try[(-1)] + t.a[0][(-2)];
			try[0] ← try[0] + t.a[0][(-1)];
			try[1] ← try[1] + t.a[0][0];
			try[2] ← try[2] + t.a[0][1];
			try[3] ← try[3] + t.a[0][2];
			t ← modelData[index[1][0]];
			try[(-2)] ← try[(-2)] + t.a[(-1)][(-2)];
			try[(-1)] ← try[(-1)] + t.a[(-1)][(-1)];
			try[0] ← try[0] + t.a[(-1)][0];
			try[1] ← try[1] + t.a[(-1)][1];
			try[2] ← try[2] + t.a[(-1)][2];
			t ← modelData[index[1][1]];
			try[(-1)] ← try[(-1)] + t.a[(-1)][(-2)];
			try[0] ← try[0] + t.a[(-1)][(-1)];
			try[1] ← try[1] + t.a[(-1)][0];
			try[2] ← try[2] + t.a[(-1)][1];
			try[3] ← try[3] + t.a[(-1)][2];
			t ← modelData[index[2][0]];
			try[(-2)] ← try[(-2)] + t.a[(-2)][(-2)];
			try[(-1)] ← try[(-1)] + t.a[(-2)][(-1)];
			try[0] ← try[0] + t.a[(-2)][0];
			try[1] ← try[1] + t.a[(-2)][1];
			try[2] ← try[2] + t.a[(-2)][2];
			t ← modelData[index[2][1]];
			try[(-1)] ← try[(-1)] + t.a[(-2)][(-2)];
			try[0] ← try[0] + t.a[(-2)][(-1)];
			try[1] ← try[1] + t.a[(-2)][0];
			try[2] ← try[2] + t.a[(-2)][1];
			try[3] ← try[3] + t.a[(-2)][2];
			penalty ← 0 + ABS[try[(-2)]-target[(-2)]] + modelData[index[0][(-2)]].noisePenalty + ABS[try[(-1)]-target[(-1)]] + modelData[index[0][(-1)]].noisePenalty + ABS[try[0]-target[0]] + modelData[index[0][0]].noisePenalty + ABS[try[1]-target[1]] + modelData[index[0][1]].noisePenalty + ABS[try[2]-target[2]] + modelData[index[0][2]].noisePenalty + ABS[try[3]-target[3]] + modelData[index[0][3]].noisePenalty;
			END;
		
		SetCombination: PROC [k: CARDINAL] ~ BEGIN
			-- k is a packed version of the non-fixed bits
			-- Sets questionBits and contextBits
			FOR i: NAT IN [0..nonFixedBitCount) DO
				sf: SF ← nonFixedBitIndex[i];
				bit[sf.s][sf.f] ← k MOD 2;
				k ← k/2;
				ENDLOOP;
			questionBits ← (bit[(-2)][0]*2 + bit[(-2)][1]);
			contextBits ← (((((((bit[(-1)][0]*2 + bit[(-1)][1])*2 + bit[0][0])*2 + bit[0][1])*2 + bit[1][0])*2 + bit[1][1])*2 + bit[2][0])*2 + bit[2][1]);
			
			IF k # 0 THEN ERROR;
			prevContextBits ← contextBits/4 + 
			questionBits*(256/4);
			END;
		
		UnpackBits: PROC [questionBits, contextBits: CARDINAL] ~ BEGIN
			-- Unpacks the args into the swath portion of the bit array
			k: CARDINAL ← contextBits+questionBits*256;
			bit[2][1] ← k MOD 2;
			k ← k / 2;
			bit[2][0] ← k MOD 2;
			k ← k / 2;
			bit[1][1] ← k MOD 2;
			k ← k / 2;
			bit[1][0] ← k MOD 2;
			k ← k / 2;
			bit[0][1] ← k MOD 2;
			k ← k / 2;
			bit[0][0] ← k MOD 2;
			k ← k / 2;
			bit[(-1)][1] ← k MOD 2;
			k ← k / 2;
			bit[(-1)][0] ← k MOD 2;
			k ← k / 2;
			bit[(-2)][1] ← k MOD 2;
			k ← k / 2;
			bit[(-2)][0] ← k MOD 2;
			k ← k / 2;
			
			END;
		
		DoDynamicProgramming: PROC ~ {
			-- If subproblemTable#NIL, subproblemTable.first gives the best ways to color the pixels up to sOrigin
			UNTIL sOrigin = swath.sMin+swath.sSize DO
				Initialize[];
				BEGIN
					nComb: NAT ← Basics.BITSHIFT[1, nonFixedBitCount];
					new: LIST OF REF PerSwatchTable ← Alloc[];
					pst: REF PerSwatchTable ← new.first;
					prevPST: REF PerSwatchTable ← NIL;
					IF subproblemTable # NIL THEN prevPST ← subproblemTable.first;
					FOR k: NAT IN [0..nComb) DO
						totBad: INT ← 0;
						SetCombination[k];
						ComputeInnerModelIndices[];
						IF prevPST # NIL THEN totBad ← MinErr[prevPST[prevContextBits]];
						totBad ← totBad+ComputeRowPenalty[];
						IF totBad < MinErr[pst[contextBits]] THEN {
							pst[contextBits] ← MakeSubproblemSolution[questionBits, totBad];
							};
						ENDLOOP;
					new.rest ← subproblemTable;
					subproblemTable ← new;
					END;
				sOrigin ← sOrigin + 1;
				ENDLOOP;
			};
		
		Traceback: PROC ~ {
			lowestPenalty: INT ← MinErr[subproblemTable.first[0]];
			contextBits ← 0;
			-- First look through the most recent subproblem to find the best entry.
			FOR i: NAT IN (0..256) DO
				err: INT ← MinErr[subproblemTable.first[i]];
				IF err < lowestPenalty THEN {
					lowestPenalty ← err;
					contextBits ← i;
					};
				ENDLOOP;
			sOrigin ← swath.sMin+swath.sSize;
			FOR t: LIST OF REF PerSwatchTable ← subproblemTable, t.rest WHILE sOrigin-2 > swath.sMin DO
				questionBits ← t.first[contextBits].setting;
				sOrigin ← sOrigin - 1;
				UnpackBits[questionBits, contextBits];
				swathRow.sOrigin ← sOrigin;
				FOR j: NAT IN [0..swathRow.sample.jSize) DO
					swathRow.sample[j] ← bit[0][j];
					ENDLOOP;
				StorePixelRow[swathRow, bitmap];
				contextBits ← contextBits/4 + 
				questionBits*(256/4);
				ENDLOOP;
			};
		
		DoDynamicProgramming[];
		Traceback[];
		newScratch ← subproblemTable;
		 
		};
	
	
	
	DynamicBits.RegisterImpl[[
			sKernelRadius: 2,
			fKernelRadius: 2,
			sModelRadius: 0,
			fModelRadius: 0,
			swathSize: 2,
			CreatePrinterModel: CreatePrinterModel,
			DoWithPrinterModel: DoWithPrinterModel,
			Convolve: Convolve,
			ApplyModel: ApplyModel,
			TuneSwath: TuneSwath
			]];
	
	END.