|
DataMuseum.dkPresents historical artifacts from the history of: RegneCentralen GIER Computer |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about RegneCentralen GIER Computer Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 6935 (0x1b17)
Description: Bits:30000761 B1 m indlæsprog. Hjælp Strimmelulæselig; knækket flere gange
Types: 8-hole paper tape
Notes: Bad Chars, Gier Text
i=10 vk16,lk983 vy32,sy72 vk0,sy58 hs1010 qq20,hv10 i=20t _[ t a b ] 0[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯ ⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OO[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯O ⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OOO[ t a b ] ∧⨯⨯O⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯O ⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OO O[ t a b ] ∧⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OO OO[ t a b ] ∧⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯O ⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OO O[ t a b ] ∧⨯⨯ ⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯O⨯ ⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OO O[ t a b ] ∧⨯⨯ ⨯ ⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯O ⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ O O[ t a b ] ∧⨯⨯ ⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯O ⨯ ⨯⨯⨯⨯⨯⨯O ⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ O O[ t a b ] ∧⨯⨯ ⨯ ⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯O ⨯ ⨯⨯⨯⨯⨯⨯O ⨯ ⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ O O[ t a b ] ∧⨯⨯⨯ ⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯O ⨯ ⨯⨯⨯⨯⨯⨯O ⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ O O[ t a b ] ∧⨯⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯O ⨯⨯⨯⨯⨯⨯⨯O ⨯ ⨯⨯⨯⨯⨯⨯[ t a b ] ∧ O[ t a b ] ∧⨯⨯⨯ ⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯O ⨯ ⨯⨯⨯⨯⨯⨯O ⨯ ⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯ ⨯ ⨯ ⨯O ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯ ⨯ ⨯ ⨯O ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯O ⨯O ⨯ ⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯O ⨯⨯ ⨯O ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯O ⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯[ t a b ] ∧ O O O[ t a b ] ∧⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯O ⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯O ⨯O ⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OO OOO ⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯O⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯O ⨯ ⨯⨯⨯O ⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OOO OO OO OO[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯O⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯O⨯O ⨯ ⨯⨯O ⨯⨯O ⨯ ⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ O O OO O[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯O⨯⨯ ⨯⨯ ⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯O ⨯⨯⨯O⨯⨯⨯O ⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OO O O O[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯ ⨯O⨯O ⨯⨯⨯O⨯⨯⨯O ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OO OO O[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯⨯O ⨯⨯ ⨯ ⨯O ⨯O ⨯⨯O ⨯⨯⨯⨯O⨯⨯⨯O ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ O O OO[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯O⨯ ⨯⨯⨯O ⨯⨯⨯⨯O⨯O ⨯O ⨯⨯⨯⨯⨯ ⨯⨯⨯O ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OO OO OO O O[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯⨯⨯O ⨯ ⨯⨯⨯⨯⨯O⨯O ⨯O⨯⨯⨯⨯⨯⨯ ⨯O⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OO OOOO O[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯O⨯⨯⨯O⨯⨯⨯O ⨯O⨯O⨯⨯O⨯O ⨯⨯⨯⨯ ⨯O ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OO O O[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯O ⨯⨯O ⨯ ⨯⨯ ⨯ ⨯ ⨯ ⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OO O[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯ ⨯⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯⨯ ⨯ ⨯⨯ ⨯⨯ ⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯ ⨯ ⨯ ⨯ ⨯ ⨯⨯ ⨯ ⨯ ⨯⨯ ⨯ ⨯⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯⨯ ⨯ ⨯⨯ ⨯⨯ ⨯ ⨯ ⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯⨯ ⨯⨯⨯⨯⨯ ⨯ ⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯ ⨯⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯⨯ ⨯ ⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯ ⨯ ⨯⨯ ⨯⨯ ⨯ ⨯ ⨯ ⨯⨯⨯ ⨯⨯⨯ ⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ O OOOOO[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯ ⨯ ⨯⨯⨯ ⨯ ⨯ ⨯ ⨯⨯ ⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯O ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OOO OOOOOO[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯ ⨯ ⨯⨯ ⨯ ⨯ ⨯⨯⨯ ⨯⨯⨯ ⨯⨯ ⨯⨯O⨯⨯⨯⨯⨯⨯O ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OOOOO O OOOOO[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯ ⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯O⨯⨯⨯⨯⨯⨯⨯⨯O ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OOOOOO OOOOOOO[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯O⨯⨯⨯⨯⨯ ⨯⨯⨯⨯ ⨯⨯ ⨯ ⨯ ⨯⨯ ⨯⨯⨯⨯ ⨯ ⨯O⨯⨯⨯⨯⨯⨯⨯⨯O ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OOOO OOOOOOO[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯O⨯⨯⨯⨯ ⨯⨯ ⨯⨯⨯⨯⨯ ⨯ ⨯⨯ ⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯O ⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OOO OOOOOOOO[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯O⨯⨯⨯O⨯ ⨯ ⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯ ⨯⨯⨯⨯ ⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯O ⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ OO OOOOOO[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯O⨯ ⨯ ⨯ ⨯⨯⨯ ⨯⨯ ⨯⨯ ⨯⨯ ⨯ ⨯ ⨯⨯ ⨯⨯⨯⨯⨯⨯⨯O ⨯ ⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ O OOOOO[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯ ⨯⨯ ⨯ ⨯ ⨯ ⨯ ⨯⨯O⨯ ⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ O[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯ ⨯ ⨯⨯⨯ ⨯⨯⨯ ⨯ ⨯⨯⨯⨯ ⨯⨯ ⨯ ⨯O ⨯ ⨯ ⨯ ⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧ O[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯ ⨯ ⨯ ⨯ ⨯⨯⨯ ⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯ ⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯⨯ ⨯ ⨯⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯ ⨯⨯⨯⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯ ⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯⨯ ⨯ ⨯ ⨯ ⨯ ⨯⨯⨯ ⨯⨯ ⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯ ⨯ ⨯⨯ ⨯ ⨯ ⨯ ⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯ ⨯⨯ ⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯ ⨯ ⨯⨯ ⨯ ⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯ ⨯ ⨯⨯⨯ ⨯⨯ ⨯ ⨯ ⨯ ⨯ ⨯⨯⨯⨯ ⨯⨯⨯ ⨯⨯ ⨯ ⨯⨯ ⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯ ⨯⨯⨯⨯⨯ ⨯ ⨯⨯ ⨯ ⨯ ⨯ ⨯⨯ ⨯ ⨯⨯⨯ ⨯ ⨯⨯ ⨯ ⨯⨯ ⨯⨯⨯⨯⨯⨯[ t a b ] ∧⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯⨯ ⨯ ⨯⨯⨯⨯⨯⨯ ⨯⨯⨯ ⨯ ⨯ ⨯⨯⨯