00200	XSETDIP∀~∧2∀74S00∀
00300	XSETDIP∀~∨2∀74S00∀
00400	XSETDIP∀~∧3∀74S10∀
00500	XSETDIP∀~∨3∀74S10∀
00600	XSETDIP∀~∧4∀74S20∀
00700	XSETDIP∀~∨4∀74S20∀
00800	XSETDIP∀~∧B∀74S133∀
00900	XSETDIP∀~∨B∀74S133∀
01000	XSETDIP∀~∧BB∀74S133∀
01100	XSETDIP∀AOI∀74S64∀
01200	XSETDIP∀AOI1∀74S64∀
01300	XSETDIP∀AOI2∀74S64∀
01400	XSETDIP∀AOI3∀74S64∀
01500	XSETDIP∀AOI4∀74S64∀
01550	XSETDIP∀S64∀74S64∀
01600	XSETDIP∀AOI5∀74H55∀
01700	XSETDIP∀S140∀74S140∀
01800	XSETDIP∀INV∀74S04∀
01900	XSETDIP∀∧∀74S11∀
02000	XSETDIP∀~∨~∀74S11∀
02100	XSETDIP∀TYPED∀74S74∀
02200	XSETDIP∀JK∀74S112∀
02300	XSETDIP∀74183∀74H183∀
02400	XSETDIP∀74180∀74S180∀
02500	XSETDIP∀74153∀74S153∀
02600	XSETDIP∀74151∀74S151∀
02700	XSETDIP∀74175∀74S175∀
02800	XSETDIP∀74157∀74S157∀
02900	XSETDIP∀74158∀74S158∀
03000	XSETDIP∀74174∀74S174∀
03100	XSETDIP∀SEL8∀74S151∀
03200	XSETDIP∀1503∀1503∀
03300	XSETDIP∀3404A∀3404∀
03400	XSETDIP∀OS∀74 123∀
03500	XSETDIP∀74200∀74 200∀
03600	XSETDIP∀3404∀3404∀
03700	XSETDIP∀3101A∀3101A∀
03800	XSETDIP∀ADDER∀74S181∀
03900	XSETDIP∀74161∀74 161∀
04000	XSETDIP∀7485∀74 85∀