OpenLLM-France/wikimedia huggingface dataset:
# Boolf prop/3-ary/sub-prefect

Number of blocks: 32 Integer partition: 32⋅8
| # | sub-prefect | block |
| 8 | 0, 00 | [0, 3, 5, 6, 17, 18, 20, 23] |
| 8 | 8, 1¬8 | [1, 2, 4, 7, 16, 19, 21, 22] |
| 8 | 12, 012 | [8, 11, 13, 14, 25, 26, 28, 31] |
| 8 | 4, 1¬4 | [9, 10, 12, 15, 24, 27, 29, 30] |
| 8 | 10, 010 | [32, 35, 37, 38, 49, 50, 52, 55] |
| 8 | 2, 1¬2 | [33, 34, 36, 39, 48, 51, 53, 54] |
| 8 | 6, 06 | [40, 43, 45, 46, 57, 58, 60, 63] |
| 8 | 14, 1¬14 | [41, 42, 44, 47, 56, 59, 61, 62] |
| 8 | 9, 09 | [64, 67, 69, 70, 81, 82, 84, 87] |
| 8 | 1, 1¬1 | [65, 66, 68, 71, 80, 83, 85, 86] |
| 8 | 5, 05 | [72, 75, 77, 78, 89, 90, 92, 95] |
| 8 | 13, 1¬13 | [73, 74, 76, 79, 88, 91, 93, 94] |
| 8 | 3, 03 | [96, 99, 101, 102, 113, 114, 116, 119] |
| 8 | 11, 1¬11 | [97, 98, 100, 103, 112, 115, 117, 118] |
| 8 | 15, 015 | [104, 107, 109, 110, 121, 122, 124, 127] |
| 8 | 7, 1¬7 | [105, 106, 108, 111, 120, 123, 125, 126] |
| 8 | 15, 1¬15 | [128, 131, 133, 134, 145, 146, 148, 151] |
| 8 | 7, 07 | [129, 130, 132, 135, 144, 147, 149, 150] |
| 8 | 3, 1¬3 | [136, 139, 141, 142, 153, 154, 156, 159] |
| 8 | 11, 011 | [137, 138, 140, 143, 152, 155, 157, 158] |
| 8 | 5, 1¬5 | [160, 163, 165, 166, 177, 178, 180, 183] |
| 8 | 13, 013 | [161, 162, 164, 167, 176, 179, 181, 182] |
| 8 | 9, 1¬9 | [168, 171, 173, 174, 185, 186, 188, 191] |
| 8 | 1, 01 | [169, 170, 172, 175, 184, 187, 189, 190] |
| 8 | 6, 1¬6 | [192, 195, 197, 198, 209, 210, 212, 215] |
| 8 | 14, 014 | [193, 194, 196, 199, 208, 211, 213, 214] |
| 8 | 10, 1¬10 | [200, 203, 205, 206, 217, 218, 220, 223] |
| 8 | 2, 02 | [201, 202, 204, 207, 216, 219, 221, 222] |
| 8 | 12, 1¬12 | [224, 227, 229, 230, 241, 242, 244, 247] |
| 8 | 4, 04 | [225, 226, 228, 231, 240, 243, 245, 246] |
| 8 | 0, 1¬0 | [232, 235, 237, 238, 249, 250, 252, 255] |
| 8 | 8, 08 | [233, 234, 236, 239, 248, 251, 253, 254] |
# Boolf prop/3-ary/sub-prefect weight

Number of blocks: 5 Integer partition: 2⋅16 + 2⋅64 + 1⋅96
| # | sub-prefect weight | block |
| 16 | 0 | [0, 3, 5, 6, 17, 18, 20, 23, 232, 235, 237, 238, 249, 250, 252, 255] |
| 64 | 1 | [1, 2, 4, 7, 9, 10, 12, 15, 16, 19, 21, 22, 24, 27, 29, 30, 33, 34, 36, 39, 48, 51, 53, 54, 65, 66, 68, 71, 80, 83, 85, 86, 169, 170, 172, 175, 184, 187, 189, 190, 201, 202, 204, 207, 216, 219, 221, 222, 225, 226, 228, 231, 233, 234, 236, 239, 240, 243, 245, 246, 248, 251, 253, 254]File:Set of 3-ary Boolean functions 47679407360046751459449159553119551746180450264090652545212951202400846845590.svg |
| 96 | 2 | |
| 64 | 3 | [41, 42, 44, 47, 56, 59, 61, 62, 73, 74, 76, 79, 88, 91, 93, 94, 97, 98, 100, 103, 105, 106, 108, 111, 112, 115, 117, 118, 120, 123, 125, 126, 129, 130, 132, 135, 137, 138, 140, 143, 144, 147, 149, 150, 152, 155, 157, 158, 161, 162, 164, 167, 176, 179, 181, 182, 193, 194, 196, 199, 208, 211, 213, 214] |
| 16 | 4 | [104, 107, 109, 110, 121, 122, 124, 127, 128, 131, 133, 134, 145, 146, 148, 151] |
# Boolf prop/3-ary/great sub-prefect

Number of blocks: 8 Integer partition: 8⋅32
| # | great sub-prefect | block |
| 32 | 0 | [0, 3, 5, 6, 17, 18, 20, 23, 65, 66, 68, 71, 80, 83, 85, 86, 169, 170, 172, 175, 184, 187, 189, 190, 232, 235, 237, 238, 249, 250, 252, 255] |
| 32 | 8 | [1, 2, 4, 7, 16, 19, 21, 22, 64, 67, 69, 70, 81, 82, 84, 87, 168, 171, 173, 174, 185, 186, 188, 191, 233, 234, 236, 239, 248, 251, 253, 254] |
| 32 | 12 | [8, 11, 13, 14, 25, 26, 28, 31, 73, 74, 76, 79, 88, 91, 93, 94, 161, 162, 164, 167, 176, 179, 181, 182, 224, 227, 229, 230, 241, 242, 244, 247] |
| 32 | 4 | [9, 10, 12, 15, 24, 27, 29, 30, 72, 75, 77, 78, 89, 90, 92, 95, 160, 163, 165, 166, 177, 178, 180, 183, 225, 226, 228, 231, 240, 243, 245, 246] |
| 32 | 10 | [32, 35, 37, 38, 49, 50, 52, 55, 97, 98, 100, 103, 112, 115, 117, 118, 137, 138, 140, 143, 152, 155, 157, 158, 200, 203, 205, 206, 217, 218, 220, 223] |
| 32 | 2 | [33, 34, 36, 39, 48, 51, 53, 54, 96, 99, 101, 102, 113, 114, 116, 119, 136, 139, 141, 142, 153, 154, 156, 159, 201, 202, 204, 207, 216, 219, 221, 222] |
| 32 | 6 | [40, 43, 45, 46, 57, 58, 60, 63, 105, 106, 108, 111, 120, 123, 125, 126, 129, 130, 132, 135, 144, 147, 149, 150, 192, 195, 197, 198, 209, 210, 212, 215] |
| 32 | 14 | [41, 42, 44, 47, 56, 59, 61, 62, 104, 107, 109, 110, 121, 122, 124, 127, 128, 131, 133, 134, 145, 146, 148, 151, 193, 194, 196, 199, 208, 211, 213, 214]File:Set of 3-ary Boolean functions 43195436194941966612027664119358381096274017589960961383800504320.svg |
# Boolf prop/3-ary/weight

Number of blocks: 9 Integer partition: 2⋅1 + 2⋅8 + 2⋅28 + 2⋅56 + 1⋅70
| # | weight | block |
| 1 | 0 | [0] |
| 8 | 1 | [1, 2, 4, 8, 16, 32, 64, 128] |
| 28 | 2 | [3, 5, 6, 9, 10, 12, 17, 18, 20, 24, 33, 34, 36, 40, 48, 65, 66, 68, 72, 80, 96, 129, 130, 132, 136, 144, 160, 192] |
| 56 | 3 | [7, 11, 13, 14, 19, 21, 22, 25, 26, 28, 35, 37, 38, 41, 42, 44, 49, 50, 52, 56, 67, 69, 70, 73, 74, 76, 81, 82, 84, 88, 97, 98, 100, 104, 112, 131, 133, 134, 137, 138, 140, 145, 146, 148, 152, 161, 162, 164, 168, 176, 193, 194, 196, 200, 208, 224] |
| 70 | 4 | [15, 23, 27, 29, 30, 39, 43, 45, 46, 51, 53, 54, 57, 58, 60, 71, 75, 77, 78, 83, 85, 86, 89, 90, 92, 99, 101, 102, 105, 106, 108, 113, 114, 116, 120, 135, 139, 141, 142, 147, 149, 150, 153, 154, 156, 163, 165, 166, 169, 170, 172, 177, 178, 180, 184, 195, 197, 198, 201, 202, 204, 209, 210, 212, 216, 225, 226, 228, 232, 240] |
| 56 | 5 | [31, 47, 55, 59, 61, 62, 79, 87, 91, 93, 94, 103, 107, 109, 110, 115, 117, 118, 121, 122, 124, 143, 151, 155, 157, 158, 167, 171, 173, 174, 179, 181, 182, 185, 186, 188, 199, 203, 205, 206, 211, 213, 214, 217, 218, 220, 227, 229, 230, 233, 234, 236, 241, 242, 244, 248] |
| 28 | 6 | [63, 95, 111, 119, 123, 125, 126, 159, 175, 183, 187, 189, 190, 207, 215, 219, 221, 222, 231, 235, 237, 238, 243, 245, 246, 249, 250, 252] |
| 8 | 7 | [127, 191, 223, 239, 247, 251, 253, 254] |
| 1 | 8 | [255] |
# Boolf prop/3-ary/honesty and gender

Number of blocks: 3 Integer partition: 1⋅40 + 1⋅57 + 1⋅159
| # | honesty and gender | block |
| 57 | dishonest female | [0, 23, 27, 29, 30, 39, 43, 45, 46, 53, 54, 57, 58, 71, 75, 77, 78, 83, 86, 89, 92, 99, 101, 106, 108, 113, 114, 116, 120, 135, 139, 141, 142, 147, 149, 154, 156, 163, 166, 169, 172, 177, 178, 180, 184, 197, 198, 201, 202, 209, 210, 212, 216, 225, 226, 228, 232] |
| 159 | honest male | |
| 40 | honest female | [6, 9, 18, 20, 24, 33, 36, 40, 60, 65, 66, 72, 90, 96, 102, 105, 111, 123, 125, 126, 129, 130, 132, 144, 150, 153, 159, 165, 183, 189, 190, 195, 215, 219, 222, 231, 235, 237, 246, 249] |
# Boolf prop/3-ary/zhegalkin deviation weight

Number of blocks: 5 Integer partition: 2⋅16 + 2⋅64 + 1⋅96
| # | zhegalkin deviation weight | block |
| 16 | 0 | [0, 15, 51, 60, 85, 90, 102, 105, 150, 153, 165, 170, 195, 204, 240, 255] |
| 16 | 4 | [1, 14, 50, 61, 84, 91, 103, 104, 151, 152, 164, 171, 194, 205, 241, 254] |
| 64 | 3 | [2, 4, 11, 13, 16, 23, 24, 31, 35, 36, 43, 44, 49, 55, 56, 62, 66, 69, 74, 77, 81, 87, 88, 94, 98, 100, 107, 109, 113, 118, 121, 126, 129, 134, 137, 142, 146, 148, 155, 157, 161, 167, 168, 174, 178, 181, 186, 189, 193, 199, 200, 206, 211, 212, 219, 220, 224, 231, 232, 239, 242, 244, 251, 253] |
| 64 | 1 | [3, 5, 10, 12, 17, 22, 25, 30, 34, 37, 42, 45, 48, 54, 57, 63, 67, 68, 75, 76, 80, 86, 89, 95, 99, 101, 106, 108, 112, 119, 120, 127, 128, 135, 136, 143, 147, 149, 154, 156, 160, 166, 169, 175, 179, 180, 187, 188, 192, 198, 201, 207, 210, 213, 218, 221, 225, 230, 233, 238, 243, 245, 250, 252] |
| 96 | 2 | |
# Boolf prop/3-ary/nonlinearity

Number of blocks: 3 Integer partition: 1⋅16 + 1⋅112 + 1⋅128
| # | nonlinearity | block |
| 16 | 0 | [0, 15, 51, 60, 85, 90, 102, 105, 150, 153, 165, 170, 195, 204, 240, 255] |
| 128 | 1 | |
| 112 | 2 | |
# Boolf prop/3-ary/zhegalkin weight

Number of blocks: 9 Integer partition: 2⋅1 + 2⋅8 + 2⋅28 + 2⋅56 + 1⋅70
| # | zhegalkin weight | block |
| 1 | 0 | [0] |
| 1 | 8 | [1] |
| 70 | 4 | |
| 28 | 2 | [8, 10, 12, 15, 32, 34, 40, 42, 48, 51, 60, 63, 64, 68, 72, 76, 80, 85, 90, 95, 96, 102, 106, 108, 112, 119, 120, 127] |
| 28 | 6 | [9, 11, 13, 14, 33, 35, 41, 43, 49, 50, 61, 62, 65, 69, 73, 77, 81, 84, 91, 94, 97, 103, 107, 109, 113, 118, 121, 126] |
| 8 | 1 | [128, 136, 160, 170, 192, 204, 240, 255] |
| 8 | 7 | [129, 137, 161, 171, 193, 205, 241, 254] |
| 56 | 3 | [130, 132, 135, 138, 140, 143, 144, 147, 149, 150, 153, 154, 156, 159, 162, 165, 166, 168, 172, 175, 176, 179, 180, 183, 184, 187, 188, 191, 195, 196, 198, 200, 202, 207, 208, 210, 213, 215, 216, 218, 221, 223, 224, 226, 228, 230, 232, 234, 236, 238, 243, 245, 247, 248, 250, 252] |
| 56 | 5 | [131, 133, 134, 139, 141, 142, 145, 146, 148, 151, 152, 155, 157, 158, 163, 164, 167, 169, 173, 174, 177, 178, 181, 182, 185, 186, 189, 190, 194, 197, 199, 201, 203, 206, 209, 211, 212, 214, 217, 219, 220, 222, 225, 227, 229, 231, 233, 235, 237, 239, 242, 244, 246, 249, 251, 253] |
# Haskell programming in plain view
## Introduction

* Overview I (pdf)
* Overview II (pdf)
* Overview III (pdf)
* Overview IV (pdf)
* Overview V (pdf)

## Applications

* Sudoku Background (pdf)
* Bird's Implementation
    - Specification (pdf)
    - Rules (pdf)
    - Pruning (pdf)
    - Expanding (pdf)

## Using GHCi

* Getting started (pdf)

## Using Libraries

* Library (pdf)

## Types

* Constructors (pdf)
* TypeClasses (pdf)
* Types (pdf)
* Primitive Types (pdf)
* Polymorphic Types (pdf)

## Functions

* Functions (pdf)
* Operators (pdf)
* Continuation Passing Style (pdf)

## Expressions

* Expressions I (pdf)
* Expressions II (pdf)
* Non-terminating Expressions (pdf)

## Lambda Calculus

* Lambda Calculus - informal description (pdf)
* Lambda Calculus - Formal definition (pdf)
* Expression Reduction (pdf)
* Normal Forms (pdf)
* Encoding Datatypes
    - Church Numerals (pdf)
    - Church Booleans (pdf)
    - Functions (pdf)
    - Combinators (pdf)
    - Recursions (pdf)

## Function Oriented Typeclasses
### Functors

* Functor Overview (pdf)
* Function Functor (pdf)
* Functor Lifting (pdf)

### Applicatives

* Applicatives Overview (pdf)
* Applicatives Methods (pdf)
* Function Applicative (pdf)
* Applicatives Sequencing (pdf)

### Monads I : Background

* Side Effects (pdf)
* Monad Overview (pdf)
* Monadic Operations (pdf)
* Maybe Monad (pdf)
* IO Actions (pdf)
* Several Monad Types (pdf)

### Monads II : State Transformer Monads

* State Transformer
    - State Transformer Basics (pdf)
    - State Transformer Generic Monad (pdf)
    - State Transformer Monads (pdf)
* State Monad
    - State Monad Basics (pdf)
    - State Monad Methods (pdf)
    - State Monad Examples (pdf)

### Monads III : Mutable State Monads

* Mutability Background
    - Inhabitedness (pdf)
    - Existential Types (pdf)
    - forall Keyword (pdf)
    - Mutability and Strictness (pdf)
    - Strict and Lazy Packages (pdf)
* Mutable Objects
    - Mutable Variables (pdf)
    - Mutable Data Structures (pdf)
* IO Monad
    - IO Monad Basics (pdf)
    - IO Monad Methods (pdf)
    - IORef Mutable Variable (pdf)
* ST Monad
    - ST Monad Basics (pdf)
    - ST Monad Methods (pdf)
    - STRef Mutable Variable (pdf)

### Monads IV : Reader and Writer Monads

* Function Monad (pdf)
* Monad Transformer (pdf)
* MonadState Class
       - State & StateT Monads (pdf)
       - MonadReader Class (pdf)
* MonadReader Class
       - Reader & ReaderT Monads (pdf)
       - MonadReader Class (pdf)
* Control Monad (pdf)

### Monoid

* Monoids (pdf)

### Arrow

* Arrows (pdf)

## Polymorphism

* Polymorphism Overview (pdf)

## Concurrent Haskell

go to [ Electrical_&_Computer_Engineering_Studies ]
# Boolf prop/3-ary/platoon

Number of blocks: 13 Integer partition: 2⋅4 + 1⋅8 + 2⋅12 + 7⋅24 + 1⋅48
| # | platoon | block |
| 4 | 0 | [0, 1, 254, 255] |
| 24 | 170 | [2, 3, 4, 5, 14, 15, 16, 17, 50, 51, 84, 85, 170, 171, 204, 205, 238, 239, 240, 241, 250, 251, 252, 253] |
| 24 | 153 | [6, 7, 18, 19, 20, 21, 60, 61, 90, 91, 102, 103, 152, 153, 164, 165, 194, 195, 234, 235, 236, 237, 248, 249] |
| 24 | 136 | [8, 9, 32, 33, 62, 63, 64, 65, 94, 95, 118, 119, 136, 137, 160, 161, 190, 191, 192, 193, 222, 223, 246, 247] |
| 24 | 10 | [10, 11, 12, 13, 34, 35, 48, 49, 68, 69, 80, 81, 174, 175, 186, 187, 206, 207, 220, 221, 242, 243, 244, 245] |
| 8 | 150 | [22, 23, 104, 105, 150, 151, 232, 233] |
| 24 | 135 | [24, 25, 36, 37, 66, 67, 106, 107, 108, 109, 120, 121, 134, 135, 146, 147, 148, 149, 188, 189, 218, 219, 230, 231] |
| 48 | 45 | [26, 27, 28, 29, 38, 39, 44, 45, 52, 53, 56, 57, 70, 71, 74, 75, 82, 83, 88, 89, 98, 99, 100, 101, 154, 155, 156, 157, 166, 167, 172, 173, 180, 181, 184, 185, 198, 199, 202, 203, 210, 211, 216, 217, 226, 227, 228, 229] |
| 12 | 30 | [30, 31, 54, 55, 86, 87, 168, 169, 200, 201, 224, 225] |
| 12 | 40 | [40, 41, 72, 73, 96, 97, 158, 159, 182, 183, 214, 215] |
| 24 | 130 | [42, 43, 76, 77, 110, 111, 112, 113, 122, 123, 124, 125, 130, 131, 132, 133, 142, 143, 144, 145, 178, 179, 212, 213] |
| 24 | 46 | [46, 47, 58, 59, 78, 79, 92, 93, 114, 115, 116, 117, 138, 139, 140, 141, 162, 163, 176, 177, 196, 197, 208, 209] |
| 4 | 126 | [126, 127, 128, 129] |
# Boolf prop/3-ary/chunky burden

Number of blocks: 13 Integer partition: 2⋅4 + 6⋅12 + 2⋅24 + 2⋅36 + 1⋅56
| # | chunky burden | block |
| 4 | (0, 0), (1, 1), (1, 8), (2, 7) | [0, 1, 128, 129] |
| 12 | (1, 4), (2, 3), (2, 4), (3, 5) | [2, 3, 4, 5, 16, 17, 130, 131, 132, 133, 144, 145] |
| 24 | (2, 4), (3, 4), (3, 5), (4, 3) | [6, 7, 18, 19, 20, 21, 24, 25, 36, 37, 66, 67, 134, 135, 146, 147, 148, 149, 152, 153, 164, 165, 194, 195] |
| 12 | (1, 2), (2, 1), (2, 6), (3, 7) | [8, 9, 32, 33, 64, 65, 136, 137, 160, 161, 192, 193] |
| 36 | (2, 2), (3, 3), (3, 6), (4, 5) | [10, 11, 12, 13, 34, 35, 40, 41, 48, 49, 68, 69, 72, 73, 80, 81, 96, 97, 138, 139, 140, 141, 162, 163, 168, 169, 176, 177, 196, 197, 200, 201, 208, 209, 224, 225] |
| 12 | (3, 6), (4, 2), (4, 5), (5, 3) | [14, 15, 50, 51, 84, 85, 142, 143, 178, 179, 212, 213] |
| 56 | (3, 4), (4, 3), (4, 4), (5, 5) | [22, 23, 26, 27, 28, 29, 38, 39, 44, 45, 52, 53, 56, 57, 70, 71, 74, 75, 82, 83, 88, 89, 98, 99, 100, 101, 104, 105, 150, 151, 154, 155, 156, 157, 166, 167, 172, 173, 180, 181, 184, 185, 198, 199, 202, 203, 210, 211, 216, 217, 226, 227, 228, 229, 232, 233] |
| 36 | (4, 4), (5, 4), (5, 5), (6, 3) | [30, 31, 46, 47, 54, 55, 58, 59, 78, 79, 86, 87, 92, 93, 114, 115, 116, 117, 158, 159, 174, 175, 182, 183, 186, 187, 206, 207, 214, 215, 220, 221, 242, 243, 244, 245] |
| 12 | (3, 2), (4, 1), (4, 6), (5, 7) | [42, 43, 76, 77, 112, 113, 170, 171, 204, 205, 240, 241] |
| 24 | (4, 2), (5, 3), (5, 6), (6, 5) | [60, 61, 90, 91, 102, 103, 106, 107, 108, 109, 120, 121, 188, 189, 218, 219, 230, 231, 234, 235, 236, 237, 248, 249] |
| 12 | (5, 6), (6, 2), (6, 5), (7, 3) | [62, 63, 94, 95, 118, 119, 190, 191, 222, 223, 246, 247] |
| 12 | (5, 4), (6, 3), (6, 4), (7, 5) | [110, 111, 122, 123, 124, 125, 238, 239, 250, 251, 252, 253] |
| 4 | (6, 6), (7, 2), (7, 7), (8, 1) | [126, 127, 254, 255] |
# Boolf prop/3-ary/super chunky burden

Number of blocks: 7 Integer partition: 1⋅8 + 3⋅24 + 1⋅48 + 1⋅56 + 1⋅72
| # | super chunky burden | block |
| 8 | (0, 0), (1, 1), (1, 8), (2, 7), (6, 6), (7, 2), (7, 7), (8, 1) | [0, 1, 126, 127, 128, 129, 254, 255] |
| 24 | (1, 4), (2, 3), (2, 4), (3, 5), (5, 4), (6, 3), (6, 4), (7, 5) | [2, 3, 4, 5, 16, 17, 110, 111, 122, 123, 124, 125, 130, 131, 132, 133, 144, 145, 238, 239, 250, 251, 252, 253] |
| 48 | (2, 4), (3, 4), (3, 5), (4, 2), (4, 3), (5, 3), (5, 6), (6, 5) | [6, 7, 18, 19, 20, 21, 24, 25, 36, 37, 60, 61, 66, 67, 90, 91, 102, 103, 106, 107, 108, 109, 120, 121, 134, 135, 146, 147, 148, 149, 152, 153, 164, 165, 188, 189, 194, 195, 218, 219, 230, 231, 234, 235, 236, 237, 248, 249] |
| 24 | (1, 2), (2, 1), (2, 6), (3, 7), (5, 6), (6, 2), (6, 5), (7, 3) | [8, 9, 32, 33, 62, 63, 64, 65, 94, 95, 118, 119, 136, 137, 160, 161, 190, 191, 192, 193, 222, 223, 246, 247] |
| 72 | (2, 2), (3, 3), (3, 6), (4, 4), (4, 5), (5, 4), (5, 5), (6, 3) | |
| 24 | (3, 2), (3, 6), (4, 1), (4, 2), (4, 5), (4, 6), (5, 3), (5, 7) | [14, 15, 42, 43, 50, 51, 76, 77, 84, 85, 112, 113, 142, 143, 170, 171, 178, 179, 204, 205, 212, 213, 240, 241] |
| 56 | (3, 4), (3, 4), (4, 3), (4, 3), (4, 4), (4, 4), (5, 5), (5, 5) | [22, 23, 26, 27, 28, 29, 38, 39, 44, 45, 52, 53, 56, 57, 70, 71, 74, 75, 82, 83, 88, 89, 98, 99, 100, 101, 104, 105, 150, 151, 154, 155, 156, 157, 166, 167, 172, 173, 180, 181, 184, 185, 198, 199, 202, 203, 210, 211, 216, 217, 226, 227, 228, 229, 232, 233] |
# Boolf prop/3-ary/super great twin mentor

Number of blocks: 8 Integer partition: 8⋅32
| # | super great twin mentor | leveled praetor sword | block |
| 32 | 0 | 0 | [0, 1, 30, 31, 40, 41, 54, 55, 72, 73, 86, 87, 96, 97, 126, 127, 128, 129, 158, 159, 168, 169, 182, 183, 200, 201, 214, 215, 224, 225, 254, 255] |
| 32 | 190 | 2 | [2, 3, 28, 29, 42, 43, 52, 53, 74, 75, 84, 85, 98, 99, 124, 125, 130, 131, 156, 157, 170, 171, 180, 181, 202, 203, 212, 213, 226, 227, 252, 253] |
| 32 | 222 | 4 | [4, 5, 26, 27, 44, 45, 50, 51, 76, 77, 82, 83, 100, 101, 122, 123, 132, 133, 154, 155, 172, 173, 178, 179, 204, 205, 210, 211, 228, 229, 250, 251] |
| 32 | 96 | 6 | [6, 7, 24, 25, 46, 47, 48, 49, 78, 79, 80, 81, 102, 103, 120, 121, 134, 135, 152, 153, 174, 175, 176, 177, 206, 207, 208, 209, 230, 231, 248, 249] |
| 32 | 150 | 8 | [8, 9, 22, 23, 32, 33, 62, 63, 64, 65, 94, 95, 104, 105, 118, 119, 136, 137, 150, 151, 160, 161, 190, 191, 192, 193, 222, 223, 232, 233, 246, 247] |
| 32 | 40 | 10 | [10, 11, 20, 21, 34, 35, 60, 61, 66, 67, 92, 93, 106, 107, 116, 117, 138, 139, 148, 149, 162, 163, 188, 189, 194, 195, 220, 221, 234, 235, 244, 245] |
| 32 | 72 | 12 | [12, 13, 18, 19, 36, 37, 58, 59, 68, 69, 90, 91, 108, 109, 114, 115, 140, 141, 146, 147, 164, 165, 186, 187, 196, 197, 218, 219, 236, 237, 242, 243] |
| 32 | 246 | 14 | [14, 15, 16, 17, 38, 39, 56, 57, 70, 71, 88, 89, 110, 111, 112, 113, 142, 143, 144, 145, 166, 167, 184, 185, 198, 199, 216, 217, 238, 239, 240, 241] |
# Boolf prop/3-ary/prefect weight

Number of blocks: 4 Integer partition: 2⋅32 + 2⋅96
| # | prefect weight | block |
| 32 | 0 | [0, 1, 2, 3, 4, 5, 6, 7, 16, 17, 18, 19, 20, 21, 22, 23, 232, 233, 234, 235, 236, 237, 238, 239, 248, 249, 250, 251, 252, 253, 254, 255] |
| 96 | 1 | |
| 96 | 2 | |
| 32 | 3 | [104, 105, 106, 107, 108, 109, 110, 111, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 144, 145, 146, 147, 148, 149, 150, 151] |
# Network+/Objectives/Network Security
#### 4.1 Explain the importance of basic network security concepts.

* Remote access service (RAS)
* Wireless LAN controller (WLC)
# Network+/Further reading

This page includes links to pages relevant to material covered on the exam.
* Virtualization
* Videoconferencing

### Software based firewalls

* Netfilter (iptables)
* ipfirewall
* PF (firewall)

## Cloud concepts

* Cloud computing
# Network+/Objectives/Networking Concepts
### 1.1 Explain concepts related to the Open Systems Interconnection (OSI) reference model.

* OSI model
* Layer 1 - Physical
* Layer 2 - Data link
* Layer 3 - Network
* Layer 4 - Transport
* Layer 5 - Session
* Layer 6 - Presentation
* Layer 7 - Application

### 1.3 Summarize cloud concepts and connectivity options.

* Web service
* Unified communications

### 1.4 Explain common networking ports, protocols, services, and traffic types.

See Quizlet. :
| Protocols | Ports |
| File Transfer Protocol (FTP) | 20/21 |
| Secure File Transfer Protocol (SFTP) | 22 |
| Secure Shell (SSH) | 22 |
| Telnet | 23 |
| Simple Mail Transfer Protocol (SMTP) | 25 |
| Domain Name System (DNS) | 53 |
| Dynamic Host Configuration Protocol (DHCP) | 67/68 |
| Trivial File Transfer Protocol (TFTP) | 69 |
| Hypertext Transfer Protocol (HTTP) | 80 |
| Network Time Protocol (NTP) | 123 |
| Simple Network Management Protocol (SNMP) | 161/162 |
| Lightweight Directory Access Protocol (LDAP) | 389 |
| Hypertext Transfer Protocol Secure (HTTPS) | 443 |
| Server Message Block (SMB) | 445 |
| Syslog | 514 |
| Simple Mail Transfer Protocol Secure (SMTPS) | 587 |
| Lightweight Directory Access Protocol over SSL (LDAPS) | 636 |
| Structured Query Language (SQL) Server | 1433 |
| Remote Desktop Protocol (RDP) | 3389 |
| Session Initiation Protocol (SIP) | 5060/5061 |
* Internet Protocol (IP) types
** Internet Control Message Protocol (ICMP)
** Transmission Control Protocol (TCP)
** User Datagram Protocol (UDP)
** Generic Routing Encapsulation (GRE)
** Internet Protocol Security (IPSec)
*** Authentication Header (AH)
*** Encapsulating Security Payload (ESP)
*** Internet Key Exchange (IKE)
* Traffic types
** Unicast
** Multicast
** Anycast
** Broadcast

### 1.5 Compare and contrast transmission media and transceivers.

* Optical fiber connector
* Fiber-optic cable
* Fiber media converter
* D-sub
* Networking cable
* Broadband over power lines
* Patch panel
* Wire stripper
* Punch down tool
* Punch down block
* 110 block
* Crimp connection

### 1.8 Summarize evolving use cases for modern network environments

* IPv6
* Computer network
* Private network
* Area networks
- Local area network (LAN) - Wide area network (WAN) - Wireless LAN (WLAN) - Personal area network (PAN)
# Network+/Old guides/Ethernet

Ethernet is a family of frame-based computer networking technologies for local area networks (LANs). The name comes from the physical concept of the ether. It defines a number of wiring and signaling standards for the physical layer, through means of network access at the Media Access Control (MAC)/Data Link Layer, and a common addressing format.
Ethernet is standardized as IEEE 802.3. The combination of the twisted pair versions of Ethernet for connecting end systems to the network, along with the fiber optic versions for site backbones, is the most widespread wired LAN technology. It has been in use from the 1990s to the present, largely replacing competing LAN standards such as token ring, FDDI, and ARCNET. In recent years, Wi-Fi, the wireless LAN standardized by IEEE 802.11, is prevalent in home and small office networks and augmenting Ethernet in larger installations.
Ethernet is used in most, but not all, computer networking situations. It is a standard which defines rules that all computers follow to allow successful and efficient communication.
# Introduction to graph theory
## Introduction to Graph Theory

An introductory course from the School of Mathematics
This course aims to provide a thorough introduction to the subject of graph theory.

## Course requirements

The following knowledge is required or desirable on commencement of study of this course:
* knowledge of basic methods of proof
* knowledge of basic probability

## Course outline

This is an approximate depiction of the course:
* Definitions
* Bipartite Graphs
* Hamilton Cycles and Eulerian Circuits
* Planar Graphs
** Statement of Kuratowski's Theorem
* Matchings in Bipartite Graphs
** Hall's Theorem
* Connectivity
** Menger's Theorem
* Extremal Graph Theory
** Hamilton and other cycles
** Turan's Theorem
* Ramsey's Theorem
* Graph Colourings
** Chromatic Polynomial
** Vizing's Theorem
** Four-Colour and Five-Colour Theorems
*** Extensions to other surfaces
* Eigenvalues
** Applications to Strongly Regular Graphs
* The Probabilistic Method
** Lower bounds for Ramsey numbers
** Graphs with large girth and chromatic number

## Lecture series

* Lecture 1 Introduction and Definitions
* Lecture 2 Bipartite Graphs and Trees
* Lecture 3 Hamilton Cycles and Eulerian Circuits
* Lecture 4 Graph Traversal
* Lecture 5 Flows and Cuts
* Lecture 6 Planar Graphs
List of Definitions

## Assignments

* Problems 1 (on Lectures 1-5)
* Problems 2 (on Lectures 6-10)