From 4d65a1a89dcee0ac81f7f55d74872844442a407f Mon Sep 17 00:00:00 2001 From: Vasilev Dmitrii Date: Thu, 6 Aug 2026 23:05:41 +0700 Subject: [PATCH] feat(spec): end-to-end GF-T classifier (MLP -> GF-T logits -> argmax -> class) specs/ternary/gft_classifier4.t27 (GftClassifier4): the capstone -- four GF-T16 activations -> hidden layer (2 BitNet neurons, sign->trit) -> re-embed -> output layer of 4 LOGIT-neurons (raw signed GF-T sum, no activation -> a real-valued GF-T logit per class) -> argmax over the 4 logits -> predicted class index {0,1,2,3}. Fuses gft_mlp3 (deep BitNet x GF-T inference) with gft_argmax4 (the classification head) into one module. Bit-exact to the ideal oracle over 400 vectors (tests/gft_classifier4_vectors.txt), iverilog $fscanf. Doubly-grounded oracle: integer HW model AND exact-float64 logit-sum + argmax agree (re-embedded hidden acts are exact +/-1.0/0 so output sums are exact in float64 -> non-circular; 0/400 disagreements). No compiler change (on_comb, 20 ports). Fresh seal (seal --verify MATCH). Refs #1764 Co-Authored-By: Claude Opus 4.8 --- .trinity/seals/ternary_GftClassifier4.json | 11 + bootstrap/tests/gft_classifier4.rs | 90 ++ bootstrap/tests/gft_classifier4_vectors.txt | 1500 +++++++++++++++++++ docs/NOW.md | 15 + specs/ternary/gft_classifier4.t27 | 147 ++ 5 files changed, 1763 insertions(+) create mode 100644 .trinity/seals/ternary_GftClassifier4.json create mode 100644 bootstrap/tests/gft_classifier4.rs create mode 100644 bootstrap/tests/gft_classifier4_vectors.txt create mode 100644 specs/ternary/gft_classifier4.t27 diff --git a/.trinity/seals/ternary_GftClassifier4.json b/.trinity/seals/ternary_GftClassifier4.json new file mode 100644 index 000000000..f354893dd --- /dev/null +++ b/.trinity/seals/ternary_GftClassifier4.json @@ -0,0 +1,11 @@ +{ + "gen_hash_c": "sha256:f75066b2cb76484193fb3eb727c36b5da46cff7e0c65e5a21f59ede67157c3b3", + "gen_hash_rust": "sha256:2681704656cf2890e273ca94180dee8df83e0fb3dbe239d296c7f7e5bf289cfc", + "gen_hash_verilog": "sha256:6af26958c700eec02e2e8bf1b8b7a330e55b4facd278a714b0aa38aee0bdf526", + "gen_hash_zig": "sha256:2ef9d4c30371c2e5a79966a0741af216b7d7fe30c57f35c8a5bb16ba18fc97c1", + "module": "GftClassifier4", + "ring": 12, + "sealed_at": "2026-08-06T16:05:08Z", + "spec_hash": "sha256:1a29b2d28e2a54cbf689bccf038987c6f266fe2cc63cc7f6e32cab317f2ef2e5", + "spec_path": "specs/ternary/gft_classifier4.t27" +} \ No newline at end of file diff --git a/bootstrap/tests/gft_classifier4.rs b/bootstrap/tests/gft_classifier4.rs new file mode 100644 index 000000000..d454b2eef --- /dev/null +++ b/bootstrap/tests/gft_classifier4.rs @@ -0,0 +1,90 @@ +// ============================================================================ +// Check for the spec-first CAPSTONE GF-T classifier (specs/ternary/ +// gft_classifier4.t27): 4 GF-T16 activations -> hidden layer (2 BitNet neurons, +// sign->trit) -> re-embed -> output layer of 4 LOGIT-neurons (raw signed GF-T sum) +// -> argmax over the 4 logits -> class index {0,1,2,3}. Combines the deep MLP with +// the argmax head. Bit-exact to the ideal oracle over 1500 vectors +// (tests/gft_classifier4_vectors.txt). +// ============================================================================ + +use std::env; +use std::fs; +use std::path::PathBuf; +use std::process::Command; + +fn t27c() -> &'static str { env!("CARGO_BIN_EXE_t27c") } +fn spec_path() -> PathBuf { + PathBuf::from(env!("CARGO_MANIFEST_DIR")).join("..").join("specs").join("ternary").join("gft_classifier4.t27") +} +fn vectors_path() -> PathBuf { + PathBuf::from(env!("CARGO_MANIFEST_DIR")).join("tests").join("gft_classifier4_vectors.txt") +} +fn tool_available(t: &str) -> bool { + Command::new(t).arg("-V").output().map(|o| o.status.success()).unwrap_or(false) +} + +#[test] +fn spec_first_gft_classifier4_matches_oracle() { + let gen = Command::new(t27c()).arg("gen-verilog").arg(spec_path()).output().expect("gen-verilog"); + assert!(gen.status.success(), "gen-verilog failed:\n{}", String::from_utf8_lossy(&gen.stderr)); + let v = String::from_utf8_lossy(&gen.stdout).into_owned(); + assert!( + v.contains("input wire [7:0] wh0_0") && v.contains("input wire [31:0] a3") + && v.contains("output wire [7:0] result"), + "classifier4 missing weight/activation -> class-index interface:\n{}", v + ); + + if !tool_available("iverilog") || !tool_available("vvp") { + eprintln!("SKIP: iverilog/vvp not on PATH; skipping classifier4 check"); + return; + } + + let vectors = fs::read_to_string(vectors_path()).expect("read vectors"); + let n = vectors.lines().filter(|l| !l.trim().is_empty()).count(); + let dir = env::temp_dir().join(format!("t27_cls4_{}", std::process::id())); + let _ = fs::remove_dir_all(&dir); + fs::create_dir_all(&dir).unwrap(); + fs::write(dir.join("spec.v"), &gen.stdout).unwrap(); + fs::write(dir.join("vec.txt"), &vectors).unwrap(); + + let tb = format!( + r#"`timescale 1ns/1ps +module tb; + reg [7:0] wh0_0,wh0_1,wh0_2,wh0_3,wh1_0,wh1_1,wh1_2,wh1_3; + reg [7:0] wo0_0,wo0_1,wo1_0,wo1_1,wo2_0,wo2_1,wo3_0,wo3_1; + reg [31:0] a0,a1,a2,a3; wire [7:0] y; integer fails,nn,fd,code; reg [7:0] exp; + GftClassifier4 dut(.clk(1'b0),.rst_n(1'b1),.en(1'b1), + .wh0_0(wh0_0),.wh0_1(wh0_1),.wh0_2(wh0_2),.wh0_3(wh0_3), + .wh1_0(wh1_0),.wh1_1(wh1_1),.wh1_2(wh1_2),.wh1_3(wh1_3), + .wo0_0(wo0_0),.wo0_1(wo0_1),.wo1_0(wo1_0),.wo1_1(wo1_1), + .wo2_0(wo2_0),.wo2_1(wo2_1),.wo3_0(wo3_0),.wo3_1(wo3_1), + .a0(a0),.a1(a1),.a2(a2),.a3(a3),.ready(),.result(y)); + initial begin + fails=0; nn=0; fd=$fopen("{}","r"); + while(!$feof(fd)) begin + code=$fscanf(fd,"%d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %h %h %h %h %d\n", + wh0_0,wh0_1,wh0_2,wh0_3,wh1_0,wh1_1,wh1_2,wh1_3, + wo0_0,wo0_1,wo1_0,wo1_1,wo2_0,wo2_1,wo3_0,wo3_1,a0,a1,a2,a3,exp); + if(code==21) begin #1; nn=nn+1; + if(y!==exp) begin fails=fails+1; if(fails<=6)$display("FAIL y=%0d exp=%0d",y,exp); end + end end + $fclose(fd); + if(fails==0)$display("ALL_PASS %0d",nn); else $display("FAILED %0d/%0d",fails,nn); + $finish; + end +endmodule +"#, + dir.join("vec.txt").to_str().unwrap() + ); + fs::write(dir.join("tb.v"), tb).unwrap(); + + let vvp = dir.join("sim.vvp"); + let compile = Command::new("iverilog").args(["-g2012", "-o", vvp.to_str().unwrap()]) + .arg(dir.join("spec.v")).arg(dir.join("tb.v")).output().unwrap(); + assert!(compile.status.success(), "iverilog compile failed:\n{}", String::from_utf8_lossy(&compile.stderr)); + let run = Command::new("vvp").arg(&vvp).output().unwrap(); + let stdout = String::from_utf8_lossy(&run.stdout).into_owned(); + let _ = fs::remove_dir_all(&dir); + assert!(stdout.contains(&format!("ALL_PASS {}", n)), "classifier4 differs from the oracle:\n{}", stdout); + assert!(!stdout.contains("FAIL"), "classifier4 mismatch:\n{}", stdout); +} diff --git a/bootstrap/tests/gft_classifier4_vectors.txt b/bootstrap/tests/gft_classifier4_vectors.txt new file mode 100644 index 000000000..bd4075976 --- /dev/null +++ b/bootstrap/tests/gft_classifier4_vectors.txt @@ -0,0 +1,1500 @@ +0 1 1 0 2 0 2 2 1 1 1 2 0 0 0 1 15891 05bbc 045f4 15fbb 0 +1 1 1 2 0 1 2 1 1 1 2 1 1 1 2 0 14df3 1531e 1541e 1510d 0 +0 1 0 0 0 2 0 2 2 2 0 2 1 2 0 1 058f1 15772 155df 1581d 0 +1 0 0 1 2 0 0 0 0 2 2 0 0 2 1 0 14f67 04b08 0575c 04924 3 +2 2 2 2 0 0 2 0 2 0 1 0 1 1 2 2 15918 14689 00000 15988 2 +0 0 1 2 0 2 0 2 0 2 1 2 2 2 2 0 04f2f 14a73 1552d 149c0 0 +1 1 0 2 2 1 1 1 0 1 0 1 0 0 1 1 00000 04b46 0566d 058d7 3 +0 0 1 1 0 2 0 1 1 0 0 1 2 1 1 1 052c2 00000 00000 14897 0 +2 0 2 2 0 1 1 2 0 0 1 0 1 0 2 0 04be6 1526d 14562 053e5 3 +1 1 1 1 1 2 2 2 1 0 1 1 2 0 2 2 00000 0499e 05a73 152e7 3 +0 1 1 0 0 2 2 1 2 1 2 1 2 2 0 2 04850 05170 04e79 1524d 2 +2 1 2 1 0 2 2 1 0 0 0 0 0 1 0 2 1496f 153c5 14c89 14b89 0 +1 2 0 2 2 1 0 1 2 0 2 0 2 2 0 2 147a3 152e3 15e40 00000 2 +1 2 2 2 2 2 1 0 0 1 2 0 0 0 2 1 14f8b 04d5d 04edc 15449 0 +1 1 1 0 0 2 1 2 2 1 0 1 1 1 1 1 05c12 00000 0448c 15c0d 0 +1 1 0 1 1 2 0 1 1 0 2 0 1 1 2 0 059ed 1548a 14c40 05496 1 +1 0 2 0 0 1 2 2 1 2 0 1 0 1 2 1 148fb 05685 15023 00000 1 +0 2 1 1 1 2 0 1 0 0 1 1 2 2 1 0 04a85 159e9 0551c 1483b 0 +1 0 1 0 2 0 1 1 2 1 0 1 2 2 2 2 00000 05000 05200 15000 0 +2 2 2 0 0 0 2 0 1 0 2 0 2 1 2 0 1559f 04a8c 0547e 04ec5 0 +1 2 1 0 1 0 0 0 1 1 1 0 0 1 1 0 154b6 14cb1 05133 14c64 1 +1 0 0 2 0 1 1 0 1 1 0 1 1 2 2 0 14dd8 05d88 05f0e 15b45 1 +2 1 2 2 1 1 0 2 2 1 0 2 1 0 2 0 14e12 00000 14be9 15032 2 +2 2 0 2 1 1 1 1 0 0 2 2 1 2 2 2 05213 14fe0 00000 00000 1 +2 2 2 0 1 0 2 2 1 1 2 1 1 0 0 0 0580e 050d8 055a2 05514 1 +0 2 1 1 2 2 2 1 0 2 1 1 1 1 1 0 1544b 05607 04d63 1597d 0 +1 2 2 1 2 2 1 2 2 1 2 2 1 0 2 1 00000 05067 04fe7 14a88 1 +1 1 0 2 2 0 0 2 0 2 1 1 0 1 1 1 0561a 05851 14ef1 053ed 1 +1 0 2 2 0 0 2 1 1 2 0 0 0 0 0 0 15728 153a9 04994 14389 0 +2 0 1 2 0 0 2 1 0 0 1 1 2 0 1 0 05200 05000 00000 05200 2 +1 1 1 2 0 1 1 1 0 2 0 0 0 0 0 1 14bac 052f5 058b5 048c7 0 +2 1 1 0 2 0 1 1 2 2 0 1 1 2 1 1 159ab 14a0d 145e0 147b1 1 +0 1 2 2 0 1 1 1 2 1 2 1 1 1 2 2 00000 05200 00000 05000 0 +0 2 1 1 1 2 2 1 1 2 1 2 0 0 2 1 15000 05000 00000 05000 0 +1 1 2 1 2 0 0 1 1 2 2 1 1 2 0 1 054b2 0493f 00000 04b7f 0 +1 1 0 2 1 0 2 1 2 1 2 0 1 2 2 0 053ac 14db0 152df 15cef 1 +1 2 2 2 1 1 2 1 0 0 2 0 2 0 0 2 054df 059cc 054c1 04c75 1 +0 0 2 2 2 0 0 0 0 2 2 0 1 1 0 2 05200 00000 05000 15000 0 +0 0 1 0 0 1 0 1 2 1 2 2 1 0 2 0 00000 05d73 14b60 0457f 1 +0 0 2 1 0 2 2 0 2 1 1 0 2 1 2 2 049b0 04c27 00000 04fec 1 +0 2 0 1 1 1 2 1 2 2 0 2 2 2 2 1 146bd 00000 151f3 05db6 3 +0 2 1 2 0 0 0 2 0 1 0 1 0 0 0 1 04b64 14ccc 0538b 04953 2 +2 1 0 1 0 2 1 1 2 2 0 1 2 2 0 1 05776 04ec8 04b72 0490c 0 +1 2 1 2 2 2 1 2 0 0 1 1 2 0 1 1 05590 15945 14c22 00000 0 +0 1 1 2 0 1 0 1 1 2 0 1 1 1 1 0 1559a 05828 14d6b 158b2 0 +2 1 0 0 1 1 2 1 1 1 1 1 1 0 0 2 04a40 04d24 00000 04784 0 +2 0 2 2 1 1 0 2 0 1 2 1 1 0 2 0 00000 14bb4 1599b 059cf 1 +1 2 2 0 1 1 0 1 2 2 1 2 2 1 0 0 04b97 0517b 050db 0438c 2 +1 1 0 0 0 1 0 1 1 0 2 2 0 2 1 0 04981 1489a 051e8 05539 0 +2 0 1 0 1 1 2 2 0 1 1 0 0 2 0 2 05298 0502c 1585f 14bff 1 +0 2 2 1 1 2 1 1 1 2 0 0 1 1 2 0 14aed 142c6 147de 048d0 3 +0 2 2 1 1 1 0 0 1 2 2 2 2 1 2 2 14b3a 04a30 14864 04a5c 2 +1 0 0 1 1 1 0 2 0 1 0 1 1 1 0 1 05dda 04de9 00000 04f98 0 +1 0 1 0 1 2 0 1 1 1 0 1 2 0 1 1 15aea 142d3 14838 05fbb 1 +2 0 0 2 1 0 2 0 2 1 2 2 2 1 1 1 14ad7 14f50 00000 05243 0 +0 2 1 2 0 2 0 0 1 1 2 1 1 0 2 1 0585c 14dc3 14a4f 00000 2 +2 1 2 1 0 0 2 2 1 2 0 1 0 2 1 0 15593 0514b 1535d 054d7 2 +1 0 0 1 0 0 1 1 1 0 0 1 1 2 0 2 055fe 1513a 0597f 04fb7 0 +0 1 2 1 0 1 2 2 1 2 0 1 0 2 0 1 04f4a 0527b 14dff 149de 1 +0 1 1 0 1 0 1 2 1 2 1 2 1 2 1 2 14f8f 00000 14da5 1525b 0 +0 2 1 1 2 1 1 0 2 1 0 2 1 1 1 1 14ec5 14544 15252 15225 0 +2 0 2 1 2 2 0 2 2 2 1 0 2 2 1 0 14a4c 14a51 15de2 05787 0 +1 0 2 0 2 0 0 2 2 2 0 0 2 1 2 0 05200 00000 15000 05200 0 +2 1 0 1 0 1 2 2 2 1 0 0 1 0 2 0 153a0 0455b 05327 15bfe 1 +1 2 0 2 0 2 1 1 0 2 1 2 1 1 2 1 14a9b 04caa 0481d 157b4 0 +2 2 2 2 2 0 0 1 1 1 1 1 2 1 2 2 15510 0549e 1577a 14d66 0 +1 1 1 2 2 1 2 1 0 2 2 0 0 2 0 2 0507d 05890 057b8 00000 0 +0 2 1 0 2 0 1 2 1 1 2 2 0 2 2 1 00000 05200 15000 00000 3 +2 2 2 0 2 0 2 1 2 2 1 2 1 1 0 1 04fa4 14891 04fab 0518f 1 +1 2 2 0 2 2 1 1 1 2 1 2 0 2 0 0 0549b 1521b 0582b 14c72 0 +2 1 1 0 1 0 1 1 1 0 2 2 1 2 1 1 050e4 152e8 048fc 0552f 2 +0 1 0 2 2 1 1 2 2 1 2 1 2 1 1 1 042e4 00000 05468 0534c 3 +0 2 0 2 1 1 2 2 0 2 2 1 2 2 1 0 0554a 15340 04a44 00000 0 +1 1 1 0 2 2 0 2 0 1 2 0 1 0 0 0 05686 15356 157bc 00000 0 +2 0 0 0 0 1 2 2 2 0 0 0 0 2 0 1 146b3 00000 1490c 00000 0 +1 1 2 0 0 2 0 1 0 0 1 2 0 0 1 2 1517d 00000 00000 15e47 1 +0 0 0 0 0 1 0 0 1 2 2 1 2 0 2 0 15848 0587f 1445e 00000 0 +1 0 2 2 0 1 1 0 1 2 0 2 2 2 1 1 05036 04ba7 15625 15490 1 +2 1 0 1 0 0 0 2 2 1 1 1 0 0 1 1 05000 15000 05200 05200 2 +1 1 1 2 0 0 2 0 0 0 2 0 0 1 1 2 00000 05200 15000 05000 1 +0 2 1 0 2 0 0 2 2 0 0 1 0 0 1 2 15079 15fbb 00000 00000 1 +2 0 0 2 0 0 2 1 2 0 0 0 2 2 0 2 05921 14ba6 054f0 15336 0 +2 1 0 0 1 2 1 0 1 1 0 1 2 1 2 2 14ca0 0513d 00000 156a9 3 +0 1 0 0 1 1 2 1 1 0 1 1 1 1 0 2 15666 04210 00000 15b93 0 +1 2 1 1 1 2 2 1 2 0 0 2 1 1 0 2 14bd1 159c7 04b50 00000 0 +1 1 0 2 1 0 1 1 0 2 1 0 1 0 2 2 15813 156d2 05cf5 14935 0 +2 1 0 1 0 1 2 2 1 2 1 1 1 2 0 1 14eff 1525f 1588b 15102 1 +2 0 1 1 1 1 0 2 1 0 2 2 1 2 0 0 00000 14e13 1533b 0527b 1 +2 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 14e8f 15771 00000 0507c 1 +2 1 0 1 2 2 2 1 1 2 2 2 0 0 0 0 053a3 04dfe 152d2 04921 1 +1 0 1 2 1 0 2 2 2 2 0 0 0 1 0 2 05418 042b8 0498a 05c85 0 +0 1 2 2 2 0 2 1 2 2 1 1 0 0 1 0 00000 14588 0574c 04dbe 0 +0 0 1 1 1 0 0 0 2 0 2 0 0 2 0 1 14c46 051f3 14abb 15436 2 +2 1 2 0 0 2 0 1 2 0 1 0 2 2 1 0 00000 00000 059d2 0480f 0 +1 2 0 2 0 0 0 2 2 1 0 2 2 0 2 0 14a5f 15368 14a50 151f1 1 +0 1 2 2 1 2 1 2 1 0 0 1 2 0 2 2 14f64 149b2 05927 14df7 2 +2 0 1 0 0 2 0 2 1 1 1 1 0 2 0 1 00000 054a6 05a4c 0477f 3 +0 1 0 2 2 2 2 1 1 2 2 0 0 1 2 1 0505c 04b79 14f2a 04d57 0 +2 0 0 0 2 0 1 0 1 1 1 1 1 1 1 0 04d56 14f0c 048af 04d5d 0 +2 2 2 1 2 2 2 2 1 1 1 2 1 2 1 2 1483b 059ba 15326 04274 1 +2 0 0 2 0 2 0 0 2 1 1 1 0 1 0 2 05453 055f6 157e5 04bc9 0 +1 2 1 2 1 1 2 1 2 2 1 2 2 2 1 1 04f1f 14c6a 04c5d 1561d 1 +1 2 0 2 1 1 2 2 2 0 2 2 0 0 2 1 04ef7 14ac1 152c3 050eb 0 +2 1 2 2 2 0 1 1 2 1 0 1 2 1 2 2 00000 14893 14986 14b87 1 +0 1 0 2 1 1 0 1 2 2 2 0 1 1 2 1 1494f 14dfc 04b65 04e44 1 +1 2 0 1 0 0 1 1 0 0 0 0 1 1 0 2 148a0 05737 04e05 04dfd 0 +1 2 0 0 0 0 0 2 0 2 2 2 0 0 1 1 052ef 1492f 05668 14889 2 +2 0 2 1 1 1 1 2 1 2 1 2 0 1 2 2 0526c 04da3 15421 05bc0 0 +2 1 0 1 2 1 0 1 0 1 0 2 0 0 1 0 151cf 15364 05924 00000 2 +2 2 1 0 0 1 1 1 0 0 0 2 0 0 0 2 05658 053a6 0494c 00000 0 +2 0 2 1 1 1 1 1 2 2 0 1 2 2 0 1 00000 00000 14a75 15854 1 +0 0 2 1 2 1 0 0 0 0 1 0 1 2 2 2 04fcb 15627 15297 00000 3 +1 0 1 0 0 1 0 1 0 2 1 2 1 1 1 1 04c44 15563 14761 00000 2 +2 0 0 1 2 0 1 0 0 1 1 1 0 2 1 0 00000 04c82 04e23 1552e 2 +0 0 2 1 0 1 1 1 2 2 1 1 1 1 1 2 00000 00000 04de1 05798 0 +1 0 2 2 1 2 0 1 0 0 1 2 0 1 1 0 04c59 00000 04f9b 00000 3 +2 2 1 2 2 2 1 2 2 1 0 2 1 0 1 0 15000 15000 00000 15000 2 +1 1 1 1 1 1 1 0 0 0 0 2 1 2 2 1 05200 00000 15000 00000 0 +0 2 1 0 1 1 2 1 0 2 1 0 1 2 2 0 14b93 04db0 00000 04b12 3 +1 2 2 0 0 2 1 0 0 0 2 1 1 2 2 0 00000 05000 05200 05000 1 +2 1 0 0 2 2 1 1 2 1 2 2 2 0 0 2 05200 00000 15000 15000 1 +1 1 1 2 2 1 0 1 1 0 0 0 0 1 2 1 15a25 155eb 00000 04fd4 0 +0 0 0 0 1 2 0 2 2 0 2 0 2 1 2 1 14791 15fcc 155d6 147de 0 +1 2 1 1 2 0 0 0 2 2 1 0 0 1 1 2 04d52 05c8c 04d92 00000 1 +0 0 0 2 1 1 0 1 0 2 0 2 0 1 1 2 14915 04fbc 00000 14e0e 0 +2 2 2 1 1 0 2 1 1 1 0 1 1 0 2 1 00000 14870 04c9f 14e6c 3 +2 0 2 0 0 2 1 2 0 2 0 0 2 0 1 0 15000 15000 00000 00000 0 +1 2 0 2 2 2 0 2 0 1 0 0 1 1 1 2 14b46 04cdf 1491e 0517e 3 +1 1 0 1 1 2 2 0 1 1 0 0 2 2 1 0 15c7c 058bc 05404 00000 0 +2 0 2 0 0 1 1 0 2 0 2 2 0 0 1 1 051bb 152b6 15dd3 00000 2 +1 2 0 2 2 2 1 2 2 1 1 0 0 0 0 1 15398 055a6 04dd9 148d2 0 +2 1 1 1 1 1 0 0 1 1 2 0 0 1 0 1 00000 05000 05000 15000 0 +2 2 1 1 1 2 1 0 0 0 0 2 2 2 1 1 157f0 148cd 00000 1537c 1 +1 0 2 0 0 1 0 1 2 2 1 0 2 1 0 2 00000 057df 057c1 14818 1 +0 0 2 1 0 0 1 2 2 1 0 2 0 0 2 0 0583a 1510d 04caf 15414 2 +2 1 1 1 0 1 2 1 2 1 1 2 0 0 1 2 05868 04b4d 158b6 00000 0 +1 2 1 2 2 1 0 1 0 2 1 2 1 1 2 2 00000 15618 0541a 14f93 0 +1 2 0 1 2 2 0 0 0 2 1 2 1 1 1 1 1545b 14e6c 05506 05283 0 +0 0 2 2 2 2 2 2 2 2 0 1 2 1 1 2 14efa 00000 04c4b 04ab2 2 +1 2 0 0 2 2 2 1 2 1 0 0 2 0 0 2 1589c 04b3c 153d1 05956 1 +1 2 2 0 0 0 1 0 0 2 2 1 2 0 1 0 15172 0512c 00000 04d5a 2 +2 1 2 1 1 0 2 0 1 1 1 0 1 2 2 1 15000 05000 00000 05200 1 +0 2 1 2 2 0 2 1 2 0 0 0 0 1 0 2 05000 15000 15000 00000 3 +1 0 2 1 2 2 0 2 0 2 2 0 1 2 1 1 057e3 057ee 04a1e 15087 0 +0 2 2 0 1 2 1 0 1 2 1 2 0 0 1 2 155b6 14537 15cbe 0450d 2 +1 1 0 2 0 1 2 1 2 2 1 1 2 2 0 1 14a71 0533e 04e92 14bca 3 +2 0 0 2 0 0 1 0 0 2 1 0 1 1 0 1 1452f 04491 056be 04bf6 1 +0 0 1 1 2 0 0 0 1 0 1 0 0 1 1 0 04c71 14f29 150b2 15052 0 +1 2 1 0 1 1 1 2 1 1 1 0 2 2 0 0 14596 14f16 050d5 04ce2 0 +1 2 2 0 1 1 1 2 0 2 1 2 0 1 0 2 049a3 14a27 15044 057cb 0 +2 0 2 2 0 2 1 2 1 0 0 2 2 2 0 1 04a15 15ead 15373 05f68 2 +1 0 1 2 2 1 1 1 0 2 1 0 2 2 2 0 15622 14d6b 14ce9 055b9 3 +1 2 1 0 0 2 2 0 0 0 0 2 0 1 0 0 15000 00000 00000 15000 1 +1 2 2 0 2 1 1 0 1 0 1 0 0 0 2 1 05200 05000 00000 15000 3 +0 2 0 2 1 0 2 0 2 1 0 1 2 0 0 1 0543d 152a1 05079 0556c 1 +0 2 1 2 0 2 1 1 1 0 1 0 1 0 1 0 0544c 158e0 0587d 15068 0 +2 2 1 0 1 1 2 1 1 1 0 1 2 2 2 2 0552a 0490e 14f56 04970 0 +1 2 0 1 2 0 1 1 2 1 0 2 1 0 1 0 0574b 058fc 15739 04f1e 0 +0 2 1 0 2 0 0 2 2 0 2 1 0 0 2 2 1539c 04d54 04859 05624 2 +1 2 1 0 0 2 1 2 2 1 1 1 0 2 1 0 05200 00000 00000 15000 0 +1 2 0 2 2 2 0 2 2 1 2 0 1 2 0 1 052c5 051cb 0539c 048c0 2 +0 0 0 2 0 2 1 1 2 1 2 2 1 1 0 0 00000 14da7 14fad 0488d 0 +2 1 1 1 0 1 0 1 1 1 2 1 2 2 2 0 00000 00000 15000 05200 2 +2 0 2 2 0 2 0 0 1 2 2 0 1 0 2 2 153d7 1539f 00000 159db 0 +2 1 0 1 2 1 2 1 1 1 0 0 1 1 1 1 14c5b 0576b 14800 1516a 1 +2 1 1 0 1 0 2 2 2 1 2 1 0 2 0 2 00000 14d9d 1542e 04e45 2 +2 0 0 2 2 0 1 1 0 2 2 1 0 1 1 1 1508a 1533c 1590d 00000 1 +0 0 2 2 2 2 2 1 0 1 2 0 2 2 0 2 158e9 055ad 00000 0546b 1 +0 1 2 0 0 2 2 1 0 2 2 2 2 1 1 1 00000 05200 05000 00000 1 +1 0 0 2 1 2 2 0 2 0 2 0 0 0 0 0 15e1b 05b23 04ad4 14ee9 2 +0 2 0 0 1 2 2 0 1 2 2 0 1 1 0 0 00000 05000 05000 05200 3 +0 0 2 2 0 2 2 2 2 0 1 2 0 1 0 0 04495 00000 142e9 1472f 3 +0 2 0 1 0 1 2 2 0 0 2 0 1 2 2 1 05613 05376 05318 14f6c 0 +0 0 1 1 2 0 2 1 2 0 2 1 1 2 1 0 153fe 1531f 159a2 05690 0 +2 1 1 1 0 2 0 2 2 1 2 1 2 0 1 2 154d2 1505c 14967 1583b 2 +0 2 0 0 0 1 0 1 2 1 1 2 2 1 0 1 05cbf 045fb 00000 15ded 0 +2 0 0 1 0 2 1 2 0 0 1 0 2 1 2 1 05000 00000 05200 00000 0 +0 1 2 1 0 0 1 0 1 2 0 1 1 0 1 0 058aa 00000 00000 04bcd 1 +0 0 2 0 0 2 1 1 0 0 1 1 0 2 2 2 05dd2 054b1 05559 05f19 0 +2 2 0 1 1 0 2 1 0 0 2 2 1 0 2 2 055c2 05204 057ed 048c8 0 +0 0 2 2 0 0 1 2 2 0 0 2 1 1 2 2 054bc 14ce6 15ac0 042ce 0 +0 1 0 1 0 2 0 1 0 1 2 1 0 1 1 1 15983 14505 05124 00000 1 +1 1 2 0 0 2 2 0 0 0 2 1 1 2 1 2 155ed 1527e 059d9 04ac4 1 +0 1 1 1 1 0 0 0 1 2 1 0 2 1 2 2 15000 00000 15000 00000 3 +0 0 0 0 2 1 0 1 2 1 0 2 0 0 2 1 053c0 04d37 15453 0525e 1 +2 2 0 2 1 0 1 1 2 1 0 1 1 2 1 0 15889 058ca 14b4c 14bdb 0 +0 0 0 2 0 2 0 1 1 1 0 2 2 0 1 1 05200 00000 05200 15000 0 +2 0 0 1 2 0 2 2 0 2 0 1 0 0 2 1 05e83 15729 00000 05e08 3 +0 2 2 1 1 1 1 0 2 2 0 0 2 2 1 0 15729 05174 15c12 14b4c 0 +2 2 2 0 1 0 1 0 0 0 0 0 2 0 2 0 14d84 05f67 05d75 04dbe 2 +0 0 2 0 0 1 1 2 2 2 0 2 0 1 1 2 05200 05200 00000 05200 1 +1 1 1 1 1 0 2 0 1 1 1 2 2 2 2 0 046bf 14f5d 1540a 00000 3 +0 1 0 0 0 0 1 1 1 2 1 1 0 0 0 0 14d92 15342 04a16 04d8b 0 +1 0 2 0 0 1 1 1 2 2 2 2 0 2 0 0 1558a 15160 05669 04fcd 0 +0 1 1 1 0 1 0 1 1 0 1 1 2 2 1 2 00000 1459b 15b41 14a63 2 +1 0 2 2 0 1 1 2 1 1 0 2 0 2 2 1 14b91 150ed 00000 14804 3 +2 1 1 2 1 2 2 2 2 0 2 0 0 2 2 0 04ac7 04be1 14865 15041 0 +0 2 0 0 1 0 0 2 2 0 2 0 2 2 2 1 054cb 05382 049ee 05163 0 +0 0 0 1 1 2 0 0 1 1 0 2 2 1 0 0 05b32 0595f 00000 15b8e 1 +2 0 0 1 2 0 1 2 1 1 1 2 2 0 2 2 1422b 15bed 05501 14bcc 3 +2 2 1 1 0 0 0 2 1 0 2 2 0 1 0 0 05000 05200 05000 05000 0 +1 2 1 1 2 0 2 2 1 2 1 0 0 1 0 0 050ce 055e4 05589 14859 0 +1 2 0 2 0 1 1 1 0 2 1 0 2 0 0 0 00000 153ea 00000 147d4 0 +1 1 1 1 0 1 2 2 1 1 0 1 1 2 2 0 14c1c 054b5 00000 05517 2 +1 2 0 2 1 0 0 2 2 0 1 2 1 1 1 2 04a2e 04981 14a95 155ba 0 +2 0 1 0 0 0 1 2 2 2 0 2 2 1 1 0 15867 14b43 04f5a 00000 1 +0 1 2 1 2 0 2 1 0 2 2 2 1 0 1 2 055f1 044c1 15052 05713 0 +0 1 0 0 1 1 1 1 0 2 1 2 1 1 0 1 143b4 15db1 14f44 14843 1 +0 0 2 1 0 2 0 0 2 1 0 2 2 1 2 0 153a4 04daf 15063 052fd 0 +1 2 1 2 0 1 0 2 2 1 2 0 1 1 1 1 04b40 00000 04ca5 152ed 1 +1 0 1 2 0 0 2 0 0 2 2 0 2 1 0 0 14e98 05040 153cd 057c6 1 +0 1 1 1 2 0 2 2 2 0 1 2 0 0 1 2 045bd 14b79 05e8e 05828 1 +0 0 0 1 1 1 0 1 0 2 0 2 0 2 2 2 052e1 0495d 0491e 05718 0 +1 1 1 1 2 1 1 1 1 2 1 1 1 0 0 0 056ae 1580b 159fd 0497e 0 +0 1 0 1 2 0 0 1 0 2 2 2 2 0 0 2 1493f 00000 050e1 15711 0 +0 1 1 1 1 0 1 0 1 1 0 2 2 1 2 0 14840 15067 057ce 149f0 2 +1 0 2 2 2 0 0 0 0 0 2 0 1 0 0 1 1581b 00000 147e3 14438 0 +0 0 0 2 0 2 2 0 2 1 0 1 0 0 2 1 00000 1517a 04889 05980 0 +1 2 1 0 0 0 2 2 2 0 0 2 0 0 2 0 057be 151fc 00000 14b08 2 +1 0 1 1 1 0 0 2 1 2 0 1 0 0 1 0 1584b 14d87 05093 052fa 0 +0 0 0 0 2 2 1 2 2 2 2 0 1 2 1 1 14fe2 00000 049e0 00000 1 +0 0 1 0 0 2 0 0 2 2 1 0 1 1 2 0 049c3 05526 158b5 056b7 0 +0 2 0 2 0 0 1 0 1 2 1 2 0 0 1 2 158c8 0468d 147c7 1530e 0 +2 2 1 0 1 1 1 2 2 1 0 1 2 2 2 2 159cd 14b66 04f85 14ad6 1 +0 1 1 0 0 1 2 2 2 1 1 0 1 1 1 2 05000 15000 00000 15000 1 +1 2 2 2 1 0 2 0 2 1 1 2 1 1 1 1 04b15 00000 14e37 04878 2 +1 1 0 1 1 2 1 2 0 0 0 2 2 2 0 1 053d2 153a9 0512e 151eb 0 +0 1 1 0 2 0 2 2 2 2 0 2 0 2 0 2 1522a 15288 04cb5 04bb9 0 +2 0 1 0 2 0 0 2 1 1 2 0 2 1 0 0 1530b 0596d 00000 00000 3 +1 2 1 2 2 1 0 1 1 0 1 1 0 2 1 2 00000 14b9b 151bf 05311 3 +1 2 0 0 0 2 0 0 1 1 1 1 2 2 0 1 0537a 1585a 00000 05bc1 3 +2 2 1 1 1 0 0 2 2 0 2 0 2 0 1 2 15000 05200 15000 05000 0 +1 1 1 0 2 2 0 1 0 2 2 0 2 2 1 0 159d4 15d3a 1489c 14f05 1 +2 2 0 1 0 0 2 0 0 0 1 1 2 0 2 1 14e47 1487f 14ec7 159f0 3 +2 1 0 1 2 2 2 2 1 2 0 2 1 2 1 2 04304 159ae 1429d 05af4 0 +0 2 0 1 2 0 1 2 1 1 0 0 2 0 2 1 148c2 05263 155b0 154cc 2 +0 2 0 2 0 0 2 1 1 2 1 1 2 1 0 2 0499a 1532a 0524b 155b3 3 +0 0 2 2 2 2 1 1 1 0 2 2 0 2 2 2 1563e 14dc2 0563f 04e46 0 +1 2 1 0 0 2 0 1 0 0 1 0 2 1 0 0 14d71 15898 14bfe 1538c 0 +1 1 2 0 2 0 1 2 2 2 0 0 0 0 1 1 14dca 04a97 00000 04d6b 1 +1 1 1 0 2 2 0 1 1 1 2 2 2 2 1 2 152bf 053e0 00000 04f73 3 +1 2 1 2 0 2 1 0 2 0 0 2 2 2 2 1 148a6 1585c 05834 152db 0 +2 1 2 0 1 2 0 2 0 0 1 1 0 1 2 1 00000 05200 00000 00000 1 +1 1 2 1 2 1 0 0 0 1 0 2 0 2 1 1 04d21 052d1 05bb6 04813 3 +0 0 2 0 2 0 2 0 0 1 0 0 2 0 1 0 15fa6 04c42 153ee 00000 2 +0 0 1 1 0 0 0 1 2 2 2 2 0 1 2 2 14c2c 0508a 15f2f 14d3a 2 +1 1 2 1 0 0 0 2 2 1 2 0 1 2 1 1 15000 15000 00000 05200 2 +0 1 0 0 0 0 1 1 0 2 0 1 2 1 1 1 15472 04b40 053bf 154b1 2 +1 0 0 1 2 1 1 1 1 2 1 1 0 2 2 2 15000 05000 05200 00000 1 +2 2 2 0 0 2 1 1 2 1 2 2 1 0 1 1 1497e 058aa 0596d 00000 1 +0 1 0 1 0 1 2 2 2 2 0 2 2 2 0 0 156a8 142fc 00000 14a0d 0 +0 1 1 2 0 2 2 2 1 0 2 1 0 0 1 0 04b05 054d0 05533 04e76 1 +1 0 0 0 2 0 2 1 0 2 1 1 1 1 2 2 14a95 15389 14b44 047db 3 +1 0 0 2 0 1 0 1 2 1 2 1 1 2 2 0 1579e 15282 15385 052b4 0 +1 2 0 2 2 1 0 1 0 1 2 1 0 1 1 0 00000 05000 00000 00000 1 +0 1 0 0 0 0 1 1 2 2 1 1 2 0 1 2 050b4 14842 150ac 05396 1 +1 1 0 2 2 2 2 2 1 1 2 0 1 1 1 2 14452 04f0c 15e6a 04563 1 +2 2 1 2 1 2 0 1 0 2 2 0 0 0 1 1 04605 04af1 145f5 05526 0 +2 0 2 1 0 2 2 0 0 2 1 0 1 0 0 2 14b0f 1436d 15e0b 15362 1 +2 0 0 1 2 0 2 0 1 0 0 0 2 1 0 1 00000 04dcc 148f1 04a77 1 +0 2 1 0 0 2 1 0 2 1 1 0 2 0 2 0 05000 05200 00000 00000 0 +2 0 1 2 2 2 1 2 1 1 0 2 2 0 1 0 15314 04f72 05672 04dc6 3 +2 1 0 0 1 2 0 0 2 1 1 2 2 0 1 1 14d49 15667 156cd 1534b 0 +2 0 2 0 0 2 2 0 0 1 0 2 1 2 0 1 05064 14cdc 1498c 04882 0 +0 2 0 2 2 0 2 1 1 0 0 2 2 0 1 2 04f5b 14cf0 04b14 050c1 1 +0 2 2 0 0 0 1 1 0 1 1 1 2 2 0 0 0541c 00000 054aa 0500f 1 +2 1 1 2 1 1 2 2 0 2 2 2 2 2 1 0 00000 00000 05200 05200 1 +2 1 1 0 2 2 1 0 2 1 0 2 2 2 0 1 1573f 04bfe 14dcc 050fb 3 +1 0 0 0 1 1 0 0 0 1 2 2 1 0 1 1 1473a 156cf 048c1 0544c 2 +2 1 1 1 2 0 1 0 2 0 1 0 2 1 1 0 04496 0433b 14964 050cd 0 +2 0 0 1 0 1 2 0 2 0 2 1 1 0 2 1 148a5 05063 14d2e 1579f 1 +0 1 0 1 1 0 2 0 0 1 1 0 2 1 1 0 150a9 00000 159bb 155f0 1 +0 1 2 2 1 2 0 2 1 2 2 1 1 0 2 2 14c13 0429a 1458a 0434e 3 +0 2 1 1 1 0 1 2 0 2 2 0 0 1 1 2 00000 04a96 1555a 1495f 1 +1 2 1 2 2 0 0 1 1 2 0 0 2 2 0 0 00000 059bc 05597 05484 1 +2 2 1 2 0 1 1 0 2 1 1 0 0 1 0 2 00000 00000 05200 00000 0 +0 0 1 1 0 0 0 0 2 2 0 2 2 2 0 2 047e9 15fc1 0488b 150d7 0 +0 0 1 1 2 2 2 1 0 1 0 1 0 1 0 1 153fd 149e0 00000 04af6 0 +1 0 1 1 1 0 2 0 0 1 1 2 0 0 2 0 04295 0430b 00000 04778 2 +0 2 2 2 1 0 2 0 2 0 0 1 1 2 2 0 14c36 14bfa 1590c 157cc 1 +1 2 2 2 1 0 1 2 0 2 2 1 2 2 1 2 04241 05116 15e05 04481 0 +1 1 1 1 1 1 2 0 1 1 1 2 2 1 0 2 14df3 04ad5 00000 05366 0 +0 1 0 2 2 1 1 2 1 0 2 1 1 2 1 1 00000 05200 05000 05000 2 +0 1 1 2 0 1 0 2 0 1 0 0 1 0 1 2 056ba 055ad 04e71 00000 1 +0 2 2 1 1 1 0 0 2 1 2 0 1 0 2 0 15ae8 1523c 04dfe 05e19 1 +1 0 1 0 1 2 0 1 1 0 1 2 1 2 2 2 04cc7 156d9 14e28 04923 0 +1 2 0 2 1 0 0 0 0 1 1 1 1 1 0 2 053be 0491a 14d73 05378 1 +0 2 0 0 1 0 0 0 0 2 1 2 0 2 2 0 15c9e 0581c 04f63 1452d 3 +2 2 2 0 0 0 1 0 2 0 2 1 1 1 1 2 04c41 155ac 05664 00000 1 +0 1 2 1 1 0 2 0 2 0 0 0 0 2 1 0 14b5c 00000 155b0 05108 1 +0 0 2 2 2 2 0 1 1 0 1 2 1 2 2 2 15986 153f4 04d06 15753 0 +1 1 1 2 0 2 2 0 1 0 1 2 1 1 0 1 00000 1514b 05293 04ada 1 +1 0 2 2 2 0 1 2 1 0 1 2 2 1 2 0 05f27 1550a 00000 00000 1 +0 0 0 1 2 0 0 1 0 0 2 0 2 1 1 1 15f4c 00000 05071 056f0 1 +2 2 1 2 1 1 1 1 1 2 0 1 2 0 2 1 058c7 15873 15392 1491f 2 +1 2 1 1 2 2 2 0 0 2 2 1 0 0 0 2 1450b 05d34 142a7 053f5 1 +1 2 0 0 2 2 0 2 2 2 1 0 1 2 1 2 05200 00000 05200 00000 1 +1 1 2 2 1 2 2 2 2 0 0 2 0 0 0 0 05398 159e7 04bd3 15a31 2 +0 2 1 1 2 2 2 0 1 0 0 1 2 2 2 1 14a52 15641 04f92 15971 1 +2 1 1 1 0 2 1 1 1 1 1 1 1 0 1 1 057e5 14372 15e87 04961 2 +2 0 1 1 1 0 0 0 2 0 1 0 0 0 0 1 05deb 154fd 1527c 14470 0 +2 0 0 2 2 0 0 2 0 2 0 1 1 0 2 1 04e35 04c61 14ab3 15279 1 +1 1 1 1 2 2 0 0 0 0 2 1 1 1 2 0 00000 0564f 0488d 04bc7 1 +2 0 1 0 1 2 2 0 2 1 0 2 2 2 1 2 14692 00000 15b66 15001 0 +2 2 0 0 0 2 2 1 0 0 0 2 0 0 0 1 04d7a 051cc 043f6 15705 1 +2 1 1 0 0 1 0 1 1 0 0 0 1 2 2 1 156e9 14859 1597f 00000 2 +1 1 0 2 1 1 2 0 2 2 2 2 0 0 0 2 151cc 14f01 05b85 14fc4 3 +2 0 0 2 2 1 1 0 1 1 1 0 1 0 2 1 04bad 05468 055a7 05986 1 +0 0 0 0 0 2 1 2 1 1 2 2 2 1 1 0 0587e 05355 15937 05115 2 +0 1 2 2 2 2 1 1 2 1 0 1 0 1 2 0 05000 05200 15000 15000 1 +1 2 0 2 2 1 1 0 1 1 0 0 1 2 1 0 04fa6 04620 05c15 05b7a 1 +2 1 2 1 0 1 2 1 0 1 0 0 0 1 1 0 00000 15000 00000 05000 0 +0 2 2 2 0 2 1 2 1 2 2 1 0 0 0 0 152f3 158e1 156f9 049da 2 +0 2 2 1 0 0 0 1 2 0 2 1 0 2 1 1 14c07 00000 15577 14ff1 2 +2 1 0 2 1 2 2 2 2 2 2 1 1 1 2 0 14afb 05828 14440 14c76 0 +0 2 1 1 2 2 0 0 0 2 0 2 1 1 2 0 00000 058f4 1578a 15077 0 +0 1 1 1 2 0 0 0 0 1 0 1 1 2 1 0 00000 00000 14e8f 14fa0 2 +1 1 0 2 0 2 1 1 0 1 2 2 0 0 2 1 15272 15bcc 15667 043d4 3 +0 1 0 2 1 0 0 1 0 1 0 1 1 1 2 1 00000 05200 00000 15000 0 +0 1 1 0 0 1 1 2 2 1 0 1 2 2 1 2 05904 04f01 150b2 14d07 1 +2 1 1 2 1 2 2 0 1 0 2 1 1 2 2 2 05200 00000 00000 00000 1 +2 0 2 1 2 1 2 1 1 0 0 2 1 1 0 2 053fe 14fa7 04b22 050d8 1 +0 2 0 1 2 2 1 0 0 2 1 1 1 1 0 1 15270 1570a 0544f 00000 3 +2 0 1 0 2 1 1 2 0 0 1 1 1 0 1 1 05b4b 15245 14e3c 05fb0 0 +0 0 1 0 0 0 2 2 1 0 0 0 2 0 2 2 15283 04873 04986 04dd3 3 +2 1 2 2 1 2 2 1 0 0 0 2 1 0 0 2 15ee9 15f04 05c94 05eb3 2 +0 2 2 1 0 0 2 1 1 0 1 0 1 1 2 2 00000 149c3 0561c 00000 3 +0 2 0 1 0 1 2 1 1 0 1 0 1 1 1 2 00000 04820 04dc3 059a8 3 +1 0 2 0 0 1 2 1 1 2 1 0 2 2 2 1 15caa 15daa 054c9 05f42 0 +1 2 1 2 2 0 2 1 0 1 0 2 0 2 0 1 14860 14f53 14d16 049ea 1 +0 2 0 2 2 1 0 2 2 1 2 0 0 0 2 0 059e1 0552a 00000 14fb6 2 +2 0 0 1 2 2 2 0 0 1 2 1 0 2 2 2 1551d 152d9 04899 00000 0 +2 1 0 1 0 0 1 1 0 0 2 2 2 0 2 0 00000 1559e 149ef 14cd4 1 +1 2 0 2 1 1 0 2 1 2 2 0 1 0 0 0 00000 04c29 14da1 00000 0 +1 1 2 1 0 0 0 2 2 0 1 2 1 0 0 2 14589 14608 0559f 00000 0 +2 2 0 0 0 0 0 1 0 1 1 0 1 2 1 0 058fd 00000 05cbe 15369 0 +0 2 1 2 2 2 0 2 2 0 1 1 2 1 1 0 00000 15795 14aa6 00000 3 +2 1 2 1 0 0 0 2 1 2 1 1 1 2 0 2 14eaa 056e7 15406 04baf 1 +0 1 1 2 0 1 2 0 2 2 1 1 0 0 1 0 00000 00000 05200 15000 0 +0 0 0 1 0 2 1 2 1 0 0 0 2 1 0 1 159e0 00000 158c3 056cb 2 +0 0 2 1 0 2 1 1 0 2 0 1 2 0 2 0 157ca 05403 04943 1522e 0 +2 1 0 2 1 2 0 0 1 0 1 0 1 0 2 1 05000 05200 00000 00000 3 +2 1 1 2 1 2 0 2 1 2 2 2 2 2 0 1 04c29 04acf 05980 059e2 1 +0 0 2 0 2 1 2 1 2 2 1 1 2 2 1 1 00000 00000 15866 04a29 1 +1 2 2 1 2 1 2 2 2 2 2 1 2 2 0 1 158f6 0521c 156df 058c7 3 +0 1 1 0 1 0 0 0 1 1 2 0 1 1 0 0 15000 05200 05200 05200 3 +1 1 0 0 1 0 2 2 2 0 1 1 2 2 0 1 05200 05200 05000 00000 3 +2 1 1 1 1 2 0 2 1 1 1 2 2 0 2 1 05e56 15fc5 149a3 04e28 2 +1 2 0 2 1 1 1 0 1 2 2 0 0 1 0 2 14eb6 00000 05679 0490b 2 +1 2 0 1 1 0 0 2 1 1 1 1 2 2 0 0 05027 14a27 1572a 04f7f 2 +0 2 1 0 1 2 2 0 0 0 2 0 1 0 2 2 05fd7 14e65 1423e 05708 0 +2 1 1 2 2 0 1 2 0 2 0 0 2 1 2 2 050a4 1516f 05326 15861 1 +1 0 1 0 1 2 1 2 2 2 1 1 1 2 2 1 14861 00000 00000 05775 2 +2 1 0 2 2 2 2 1 2 2 2 1 2 2 0 0 15bdb 00000 158dc 00000 3 +1 0 0 0 1 0 0 1 0 0 2 2 0 2 0 1 00000 15627 156a7 1556e 1 +1 2 2 2 2 0 0 0 0 0 1 0 1 1 0 1 04dcf 14c20 048b0 00000 3 +0 0 2 0 0 2 2 0 1 0 1 1 1 0 0 2 00000 04c7e 04c6b 05258 0 +0 2 2 1 2 0 1 0 0 1 0 1 2 0 1 2 14a52 150a5 14ebf 14e4f 0 +1 2 2 1 2 2 2 2 0 2 2 2 0 0 1 2 00000 04b43 04e2c 0528c 1 +1 2 0 0 0 1 0 2 1 0 0 2 2 1 1 1 00000 00000 05200 15000 0 +2 0 0 0 2 1 1 2 2 1 0 1 2 2 0 1 14e7b 05701 1453f 0559e 1 +1 0 2 2 0 0 2 1 1 0 0 1 2 2 2 2 05000 15000 05000 15000 2 +2 0 2 2 1 1 2 2 1 0 1 1 0 0 0 2 00000 00000 05000 00000 1 +1 2 2 2 2 1 0 1 0 1 2 0 1 1 0 1 14e98 15550 04c18 05379 0 +1 2 1 2 1 2 1 0 0 1 0 0 2 2 2 0 00000 048dd 14f84 00000 2 +1 0 0 0 1 1 1 2 2 0 1 0 1 0 1 0 00000 1528c 05070 00000 0 +0 1 0 2 0 2 1 1 1 1 1 2 2 0 0 2 15432 04da9 14f49 00000 1 +0 1 0 1 1 1 1 0 2 1 0 1 1 0 2 0 04646 0543c 04253 05859 1 +2 2 0 0 0 1 1 1 2 2 1 2 0 2 1 0 15f48 00000 05ff2 05dfd 2 +0 1 2 0 2 2 0 2 2 1 2 1 1 0 0 2 1562c 04edd 14fcf 05361 0 +1 1 2 2 1 2 1 1 0 0 0 1 2 1 1 2 046fb 00000 15c14 1479e 0 +1 0 0 0 0 2 0 2 0 0 1 2 0 1 0 1 00000 14af4 14591 14f85 0 +0 2 1 0 1 2 2 2 1 0 2 1 0 0 1 1 04fb0 055e9 05055 15385 1 +1 2 0 0 2 1 0 0 1 1 0 1 2 0 1 0 05838 15312 05180 14ac9 1 +2 2 1 0 2 1 2 2 2 1 1 1 0 0 0 0 04377 15cfb 15056 05af7 1 +0 0 2 0 2 1 0 0 2 1 1 0 2 0 0 1 05000 05200 05200 05200 1 +0 0 1 1 0 0 2 2 2 0 0 2 0 2 1 0 04ae3 0542c 14a74 153bc 3 +0 0 1 0 1 1 1 1 2 0 2 0 2 2 2 2 05000 05200 05200 05200 0 +2 0 0 0 0 1 1 2 1 1 0 0 1 0 0 0 05144 04cc4 00000 14e12 2 +2 0 1 0 1 2 0 1 2 1 2 2 0 2 2 0 00000 1499a 00000 151aa 3 +0 2 1 1 0 0 0 1 2 1 2 2 2 0 2 2 155a2 142e0 14394 05d88 1 +2 0 0 1 1 2 1 0 2 2 1 2 1 2 0 2 00000 14c68 153c9 0482e 0 +1 1 2 0 2 0 1 0 0 1 1 1 1 1 2 1 1522c 05825 00000 00000 0 +2 0 0 1 0 0 1 2 0 0 2 0 1 0 2 2 05000 05200 00000 00000 0 +2 1 2 0 0 0 1 1 1 1 2 2 2 1 2 2 00000 15000 00000 05000 0 +1 2 2 1 2 2 2 2 0 0 1 1 1 1 1 2 00000 04937 04b51 04bd2 3 +0 1 0 0 1 2 1 1 0 0 0 1 1 0 2 0 00000 053ca 054c7 052ac 1 +0 1 0 1 1 2 2 1 0 2 2 0 0 1 2 2 05165 0536a 00000 00000 0 +2 1 1 0 0 1 1 1 1 2 2 0 1 1 0 2 15803 04eae 04932 15027 3 +1 0 0 0 0 1 2 2 0 2 1 2 2 2 0 1 04cec 00000 00000 05985 0 +1 2 2 0 1 2 2 2 0 2 2 1 0 1 2 2 157b4 144b6 04a86 15385 1 +0 0 0 1 1 0 1 2 1 2 2 0 2 1 0 1 1549d 0540d 15ad7 04b79 1 +2 2 1 2 2 0 0 0 2 1 0 0 0 2 2 0 04941 00000 1553d 00000 0 +0 1 1 1 1 1 2 0 1 1 0 2 0 2 0 0 05a25 144b9 0430d 04c67 3 +1 0 1 0 1 0 2 1 0 2 0 1 2 0 1 2 05579 156fb 14f5a 04fcd 3 +0 0 2 1 2 2 2 0 0 1 0 0 2 1 0 2 14910 0555b 054ac 00000 3 +0 0 1 1 1 1 2 2 2 0 0 1 2 0 1 1 05289 14f41 14e0b 0553b 1 +0 0 1 2 0 1 0 1 0 1 0 1 1 0 1 1 05da2 148fc 14828 04635 0 +1 0 1 0 1 0 2 2 1 1 2 0 2 2 1 0 04a7b 04b07 04cdd 052fe 0 +0 1 2 0 0 0 1 0 1 0 0 2 1 2 0 1 00000 00000 05200 05000 0 +1 0 2 1 1 1 1 0 0 2 1 1 2 2 0 2 00000 058a4 00000 049ed 0 +2 1 0 2 2 1 0 0 2 0 0 0 1 2 2 2 1563e 14e6e 0504d 15207 1 +1 2 2 0 1 1 2 0 2 1 0 2 0 0 0 0 00000 054b2 048ae 1570a 0 +0 0 1 0 1 0 1 2 2 1 0 1 2 1 0 2 00000 00000 05000 05000 3 +0 0 1 2 1 2 1 1 0 2 2 1 2 2 0 2 1542c 15bc4 1446a 05054 1 +2 0 1 0 1 2 1 1 2 0 1 0 0 2 2 1 05fb3 05154 04d69 15ac6 3 +1 2 1 2 2 2 2 2 2 1 2 2 1 0 0 1 15000 00000 05200 05200 1 +1 1 0 2 2 1 2 1 1 2 2 2 2 1 1 2 055cd 151bc 158a1 05986 2 +0 1 0 2 2 0 1 1 2 2 2 0 2 1 0 2 05fe4 15942 143cb 05499 3 +0 1 2 1 0 2 2 2 2 2 2 1 1 0 2 2 04336 04df5 15cb5 15fb8 2 +0 2 1 2 0 1 2 2 2 2 0 2 1 1 1 2 15b43 04c46 14a9a 15a3a 0 +2 2 0 1 2 2 1 1 0 1 1 0 0 0 2 2 00000 14a36 058cd 00000 2 +0 0 2 2 2 1 2 2 1 0 0 2 0 2 1 1 14350 045f2 1520a 14319 0 +1 2 2 2 2 0 0 1 2 2 1 0 1 1 0 0 0519e 055e1 00000 14ed3 1 +0 0 2 1 1 1 2 0 0 2 0 0 0 2 1 1 14f73 00000 00000 04957 1 +0 1 1 1 0 1 0 2 2 2 0 1 1 1 1 0 14d45 04bc0 0579e 15054 3 +1 0 1 1 1 1 2 0 2 2 2 1 0 1 2 1 157f4 04fdc 155df 149d7 2 +1 0 1 0 2 1 2 0 2 0 2 2 2 0 1 2 14c36 1568f 148ec 04f62 0 +1 1 2 0 2 1 2 2 0 1 0 0 0 1 2 1 153b7 14e25 00000 1590a 3 +0 2 1 1 0 1 2 1 2 2 0 0 1 2 0 1 04e9b 154ce 057e3 05143 2 +1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 2 14fe6 05841 15d93 04a05 3 +2 1 2 1 0 0 2 0 2 1 0 0 2 1 0 1 04cc6 04f0b 15950 14b41 1 +2 2 1 2 1 2 1 0 2 1 0 0 0 2 0 0 05000 00000 15000 15000 2 +0 2 0 2 2 0 1 2 0 2 0 2 0 0 2 0 148b6 147cf 14a1a 15791 2 +0 1 2 2 2 0 0 0 0 0 2 0 1 2 2 2 14a11 059c7 05780 00000 1 +0 0 2 0 0 0 2 1 0 1 1 1 2 0 1 1 15000 00000 00000 05200 0 +1 2 2 0 1 0 1 2 1 0 2 2 2 1 0 0 15490 00000 15c49 15c7d 0 +1 1 2 2 0 0 1 0 1 2 1 2 2 0 0 0 00000 14a72 149db 04fd8 2 +1 1 1 2 1 2 0 0 0 0 1 1 2 2 2 2 04375 154f2 15879 0450d 2 +0 0 2 1 2 2 0 2 1 2 0 1 2 0 2 2 04f37 15db3 14c7f 1519f 2 +0 2 0 0 2 2 2 1 1 1 1 2 1 0 1 0 149b0 150a0 14fba 158a1 2 +0 1 1 1 2 2 1 0 1 1 1 0 1 2 1 1 05000 05200 15000 05200 2 +1 2 0 1 2 1 1 0 0 0 2 0 0 2 1 0 00000 05000 00000 05200 1 +2 0 0 1 1 2 1 0 0 1 1 2 1 1 2 0 04d1b 04fac 15990 05089 3 +1 2 2 2 1 0 1 0 1 1 1 1 0 2 0 2 14da2 00000 1431b 15d36 2 +0 0 0 2 2 0 2 2 2 0 1 1 1 2 0 1 15b17 15ddc 14753 15286 2 +2 0 1 1 1 1 0 1 2 0 0 0 1 1 0 0 15000 05000 00000 00000 1 +0 0 1 2 2 1 1 1 1 0 0 1 1 1 1 1 04c59 059fa 058eb 04dea 1 +1 2 1 1 1 2 1 2 0 1 1 1 2 1 2 1 153f5 05493 15004 04e89 2 +2 2 2 0 1 0 0 2 0 0 0 1 2 0 1 0 04af9 05386 05026 04837 2 +2 1 2 0 1 2 1 0 2 0 1 2 1 0 2 0 04bd8 14a99 14dda 0591a 2 +0 2 1 2 0 2 1 2 0 0 2 2 1 0 1 1 00000 05000 05200 05000 1 +0 1 1 0 2 0 1 1 2 1 1 1 2 0 1 2 14de7 0485c 158cd 14f9c 2 +2 2 1 2 2 1 2 2 1 1 0 2 2 2 2 2 00000 05122 04e88 00000 2 +1 0 0 2 1 1 1 0 2 2 1 0 0 1 0 1 15437 158e1 05739 04497 1 +0 0 0 0 0 0 1 1 0 0 2 1 2 1 2 1 04e52 04dfc 1487e 00000 0 +2 2 1 0 0 2 2 1 1 0 1 2 1 1 2 1 0553e 00000 04eed 00000 0 +2 0 0 2 1 2 2 2 0 1 2 0 0 1 2 0 00000 05e38 1428d 04eca 0 +2 0 0 1 1 1 2 2 1 1 1 1 2 0 1 1 14913 042c4 15cce 04293 2 +1 2 2 0 1 1 2 2 1 0 1 1 2 2 2 2 14f51 0468a 05e4a 05777 2 +1 0 1 1 2 1 1 1 0 0 0 2 2 1 1 0 15647 155bc 00000 14ca2 2 +2 0 0 1 0 1 0 0 1 2 2 2 2 0 0 2 00000 00000 14d02 1587b 1 +2 0 1 1 2 1 1 0 1 1 0 0 2 0 2 1 047ae 156e4 0556c 14d58 3 +1 1 1 1 1 1 1 0 0 2 0 2 2 2 1 0 00000 05000 05000 05000 3 +0 1 0 1 2 2 2 0 1 2 1 1 0 2 2 1 14fd0 159be 14c81 00000 3 +2 0 0 1 0 1 2 0 0 2 2 1 2 1 2 0 00000 05200 15000 00000 0 +0 0 0 0 1 1 1 2 1 0 2 1 0 0 1 1 15000 00000 05000 15000 0 +2 2 0 0 0 0 0 2 1 2 1 1 0 2 0 0 05734 1556f 14f6d 15562 1 +2 2 0 1 0 1 1 1 2 1 0 2 1 0 2 2 04706 14699 04951 15ea6 2 +2 1 0 2 2 1 0 2 0 2 1 0 0 2 1 1 15286 1460e 048f6 05cdc 0 +1 1 2 2 0 1 2 0 2 1 2 0 1 2 2 0 00000 04bae 153b5 14dec 1 +0 2 1 2 2 1 2 0 1 2 2 0 2 0 1 2 14cb7 04f86 0544d 05631 1 +1 2 0 0 0 0 0 1 2 1 1 0 1 1 1 1 00000 15218 14daa 0572c 2 +1 0 1 2 0 1 1 1 1 2 0 2 2 1 2 0 049e5 05610 04ac8 148f4 1 +1 2 1 2 2 2 2 1 2 1 1 0 1 0 0 0 05124 04cf5 152f2 1547d 3 +0 2 2 1 1 0 1 1 2 1 0 1 1 2 0 0 051b6 00000 00000 05ad0 1 +0 2 2 0 1 2 2 1 1 1 0 1 2 0 0 2 04f7c 048d5 0567b 15566 0 +0 0 1 2 2 0 0 0 0 2 0 0 2 1 0 2 14800 153ed 04b54 058a8 2 +2 0 2 1 1 0 1 2 0 0 0 0 2 0 1 0 14d9a 04ccc 158d5 00000 0 +0 1 2 0 0 2 0 0 0 1 0 1 2 0 0 0 1492b 04874 04842 15462 2 +2 0 2 1 1 1 1 1 0 0 0 1 1 0 2 2 14206 00000 143a8 051ab 0 +2 1 2 1 0 1 0 1 2 2 0 1 2 2 2 1 05200 15000 00000 15000 3 +1 1 1 0 0 2 1 0 1 0 2 2 2 0 0 0 05220 050d1 14c6d 04d11 3 +1 2 0 0 0 0 0 0 2 1 2 2 1 0 2 1 14b2d 04834 14c6c 14bb8 1 +1 1 1 0 2 1 2 0 2 1 2 0 0 2 0 1 15efc 159ef 05518 05f7f 3 +0 2 1 2 0 0 0 1 2 2 2 0 0 1 1 1 045ba 043bf 15b4b 05454 0 +1 0 2 2 1 1 2 1 2 2 0 1 1 1 0 0 00000 045d2 1458b 05dc7 0 +2 2 1 2 1 2 1 1 1 1 2 2 0 0 1 1 14c72 0538b 150ca 00000 1 +2 0 2 2 2 2 0 2 1 1 2 0 1 0 0 2 056d5 14dba 0489e 04813 0 +0 1 1 0 1 0 2 1 2 2 1 1 2 2 1 0 0589b 048b6 04cfa 15904 0 +0 1 0 1 0 1 1 1 1 2 1 1 2 0 2 0 05b95 045c5 04732 053cb 1 +0 1 1 0 0 2 2 2 1 0 1 0 2 1 1 1 00000 00000 15000 05000 0 +1 2 2 0 2 0 0 2 1 2 0 0 2 1 1 0 14fb5 1487f 04f53 048bb 2 +0 2 2 1 0 1 2 2 2 2 1 1 0 0 0 1 05824 00000 148e8 00000 2 +0 1 2 2 2 2 2 1 1 1 2 2 2 2 0 2 05000 00000 05000 05000 1 +1 1 2 1 0 1 1 2 2 2 1 1 1 1 0 2 05200 15000 05200 00000 0 +0 1 1 1 2 0 0 2 2 2 2 0 1 1 2 0 05628 150c8 05580 0542e 0 +1 1 1 2 1 0 1 1 1 2 0 1 2 1 1 0 150df 149ee 14d48 15092 0 +2 1 1 1 2 2 2 1 0 2 2 2 0 0 2 0 15000 00000 05200 05000 0 +0 1 0 2 0 1 0 2 2 0 1 2 2 1 1 2 05601 15c11 0515d 15da0 0 +0 2 1 1 2 2 0 2 2 0 2 2 2 1 2 2 05240 0508f 14fa1 04c01 1 +1 0 2 2 0 0 1 2 2 1 2 0 2 0 0 0 00000 04e06 14930 14619 3 +2 0 1 0 0 1 0 1 0 2 2 2 0 2 0 1 151ed 04de6 15845 05199 0 +2 0 0 2 1 2 1 1 2 2 1 0 2 0 2 0 0481e 05ae3 04676 05011 0 +2 0 0 2 0 1 1 0 0 1 2 0 0 0 0 0 055fa 153f2 14865 00000 1 +0 2 1 1 1 0 1 1 2 2 2 1 0 2 2 1 15ed5 148ac 14ed3 00000 0 +1 1 0 0 0 1 1 0 2 2 2 2 1 1 0 1 05680 04b33 052fe 14b5f 3 +0 0 1 0 2 1 1 1 1 0 0 0 2 1 0 1 14f87 14d68 0529e 00000 0 +0 1 2 0 1 2 2 0 1 2 1 2 0 0 0 0 15dbe 15c93 047b2 04568 2 +1 2 2 1 1 0 0 2 0 0 1 2 1 0 2 1 00000 05000 00000 00000 2 +2 1 1 0 0 1 0 1 2 0 2 1 1 0 2 1 04ade 053a7 05572 04b1d 2 +1 1 0 1 2 1 1 0 2 2 0 0 1 2 0 2 14ad1 14d74 05719 04c6b 1 +1 1 0 0 0 0 0 0 2 0 0 1 1 0 2 1 15452 153f4 1500e 052e7 1 +0 1 2 0 2 0 0 0 0 2 1 2 1 1 0 2 04c9b 04dc9 14872 15608 1 +2 2 2 1 0 0 0 0 0 2 2 0 1 0 1 2 00000 00000 05000 15000 1 +1 2 1 1 0 0 2 2 0 0 1 1 2 2 0 0 05667 1512e 047fd 14420 0 +0 0 2 2 0 2 2 0 1 0 2 0 0 2 2 2 15723 04dcb 15919 05008 0 +2 2 2 0 0 0 0 1 0 2 2 1 2 1 0 1 0503a 04e3e 04ca4 14d5c 1 +2 0 2 1 0 1 0 2 2 1 2 0 1 0 1 0 15842 04cd8 14f62 14cf6 0 +2 2 1 2 0 2 1 2 2 0 2 2 2 0 0 1 00000 1525d 1573c 00000 3 +0 2 2 1 2 0 2 1 1 0 2 1 0 1 0 2 04ca3 05868 158ab 00000 0 +0 1 1 2 1 1 0 2 2 0 1 2 2 2 2 2 05000 15000 00000 05000 1 +0 1 2 0 2 2 0 0 0 2 0 1 2 2 2 1 148cc 14f2c 04a7e 00000 3 +1 1 1 2 0 2 0 0 2 2 0 1 0 1 0 0 00000 00000 00000 15000 1 +0 0 1 0 0 2 1 1 0 0 0 0 2 2 2 2 1510a 04e17 04b1f 152e6 2 +2 0 0 1 2 2 0 2 1 2 2 0 2 2 2 0 054f5 1563d 04b35 14f42 1 +0 0 1 2 0 0 1 1 0 2 0 2 1 0 0 1 05261 15b5a 0596a 05112 0 +0 1 2 0 2 0 1 0 0 1 2 1 0 0 0 2 056d7 00000 15e9b 15337 3 +0 0 1 1 2 2 1 0 0 0 1 2 2 0 1 0 00000 14ee4 04c97 15bce 1 +1 0 2 0 0 1 2 2 1 2 2 2 1 2 2 2 1535d 04fd6 14d22 04f2f 0 +1 0 2 1 0 1 0 0 1 2 2 2 1 0 1 0 159f3 15860 04b50 04dea 1 +2 0 0 1 2 0 2 2 2 1 0 0 0 0 0 0 05114 148d0 14f63 0483f 0 +1 2 1 2 2 1 2 1 0 2 0 0 1 2 1 2 00000 14cf3 14e64 04ea5 1 +1 2 1 0 0 0 0 0 0 0 1 1 1 2 0 0 049ab 0588c 14935 047db 0 +2 2 1 1 2 0 2 0 0 0 1 1 0 0 2 0 043d3 15855 147b2 00000 0 +1 0 0 2 1 0 2 2 1 0 1 1 1 0 1 2 14f5c 050a4 1571a 153d2 0 +0 2 1 2 2 2 0 0 0 0 2 2 0 0 1 1 1591d 14ce2 1541e 04b56 0 +2 2 1 1 1 2 2 2 2 0 0 0 1 0 0 0 00000 00000 14470 05d8b 0 +0 1 2 0 1 2 1 1 2 2 1 1 0 1 2 2 057be 0510b 1578a 05464 2 +2 0 2 2 2 1 0 0 0 1 0 2 2 0 2 2 00000 148d4 153cb 00000 1 +2 2 1 0 1 1 0 0 2 0 1 1 0 0 1 0 159c4 00000 149c8 153ab 1 +1 1 0 1 0 2 2 1 1 2 2 0 2 2 0 1 049c8 155a7 00000 15490 1 +1 1 2 2 2 2 0 1 2 0 2 0 0 1 1 0 00000 059e7 04aa9 05e71 0 +2 0 2 1 2 0 2 2 0 0 2 0 0 0 2 0 04a83 04e23 00000 04cd7 0 +1 2 0 2 0 0 0 0 2 2 0 1 1 2 0 2 15ad7 14970 00000 04c24 0 +1 1 2 2 2 1 1 1 0 2 0 2 2 1 0 2 0448a 15c21 049aa 00000 2 +0 1 1 1 2 2 0 2 0 2 0 0 0 0 1 0 14b6c 0578e 15965 05509 0 +1 2 1 2 2 1 1 0 1 2 2 0 2 0 2 1 04788 14398 145b1 05378 1 +1 0 2 0 2 0 1 1 0 2 0 2 2 0 1 2 1574a 04f4d 04883 14d1a 0 +0 1 2 1 2 1 1 2 2 1 2 0 2 2 1 2 048a3 00000 051c5 04aa5 2 +1 1 2 2 2 0 1 2 2 2 2 2 1 1 0 0 15a60 00000 0498a 05b4a 0 +2 2 1 1 2 0 1 0 0 2 0 1 0 0 2 1 156d5 0504e 15238 053cb 2 +0 2 0 0 2 2 2 0 2 1 0 1 1 0 1 2 05000 05200 05200 00000 1 +2 0 0 1 0 2 0 0 0 2 1 0 1 1 1 2 00000 14a8d 056e1 05938 1 +0 1 2 2 0 2 2 2 0 1 1 2 2 1 1 1 151b6 14c9e 159d6 04e51 0 +2 2 1 1 1 2 2 2 0 2 2 1 2 1 1 0 05d8d 149f0 05c5e 04457 1 +0 2 0 1 0 0 0 0 0 1 2 0 1 2 2 1 15000 15000 05000 05200 0 +0 2 1 1 1 2 2 1 2 1 1 0 2 0 2 0 048c4 0487c 14ffd 15959 1 +1 0 0 2 1 1 0 0 2 1 1 2 1 0 1 0 148d1 04efa 1598d 04f4f 0 +1 2 0 2 1 1 2 2 1 2 2 1 1 2 2 1 00000 05200 00000 05200 0 +0 1 0 2 0 0 0 1 1 0 2 2 2 0 0 1 04e03 053ef 15e78 05a72 1 +1 2 1 0 2 2 2 2 2 0 2 2 0 2 1 0 05355 14cd9 14ead 14209 2 +2 2 0 0 0 0 0 2 1 0 1 2 2 2 1 1 05f5e 00000 15fda 14653 2 +1 2 0 0 1 2 0 2 1 1 0 2 0 1 0 1 14c40 14944 04583 1439a 2 +2 2 1 2 2 2 0 0 1 0 0 0 2 0 0 1 048d4 052eb 0502a 159b4 3 +2 0 0 2 1 1 1 1 1 2 2 1 1 1 2 1 14cd2 00000 048c8 04e1c 1 +1 0 0 1 2 1 2 2 0 2 1 0 0 0 0 2 05b62 144d0 15909 14e74 0 +0 0 2 0 2 1 2 2 1 1 1 2 1 0 2 0 00000 05200 15000 05000 0 +1 1 2 1 2 0 0 0 0 0 1 0 2 2 1 0 14cd2 04bab 059f7 15589 1 +1 0 2 1 0 2 2 0 1 1 2 0 1 0 1 2 04af4 04cbc 0591f 153e4 3 +0 1 0 2 1 1 2 0 1 0 0 0 0 2 0 2 15680 14ed3 157a4 14d60 0 +0 1 0 1 1 0 0 0 1 1 1 0 2 0 0 0 0532a 14c03 15cac 00000 0 +2 0 2 0 0 1 0 0 2 1 2 2 0 0 1 0 04e98 048aa 0513e 00000 0 +1 2 0 1 1 0 2 0 2 0 0 2 0 2 2 2 049f0 1573b 00000 14c53 1 +0 1 1 1 2 1 1 1 1 2 0 1 2 2 2 1 144ce 05843 14507 0487a 3 +0 0 1 1 1 1 2 0 1 1 2 0 1 0 0 0 05d35 14d6a 14531 04888 3 +2 2 0 1 2 1 1 0 1 2 2 0 1 2 0 0 14aa4 15238 04e05 15580 0 +2 1 1 1 0 0 0 0 1 0 2 0 2 1 2 0 00000 15a7f 05e4b 1590d 0 +2 2 0 1 2 2 2 0 0 1 1 1 2 0 2 0 147c9 05816 155fa 14e0b 1 +1 2 2 1 2 2 0 2 2 2 1 1 2 1 2 0 04d3a 048e3 14a11 148e1 0 +0 1 2 2 2 0 2 0 1 0 0 2 2 2 0 1 05000 05000 05200 15000 1 +2 0 1 0 2 1 0 0 0 0 1 0 2 0 2 0 15737 154d7 153e1 04d30 0 +2 0 0 2 1 2 0 2 0 1 2 1 0 1 2 2 00000 143df 15fbf 043cd 3 +0 2 0 0 0 0 0 2 2 1 0 0 1 2 2 2 05555 14b2f 04b88 05526 1 +1 2 2 2 1 2 0 0 0 1 0 1 2 1 0 0 150eb 1589b 158db 049ca 0 +1 2 0 0 2 2 0 0 2 1 0 0 1 0 2 2 05502 1545e 14f0b 14a69 1 +0 2 1 2 2 1 0 0 1 0 1 1 0 1 0 1 14eaf 04914 152c5 14da2 1 +0 1 2 2 2 0 0 0 1 0 2 2 2 0 1 2 15225 14b89 15aff 15bac 3 +2 0 2 0 2 1 0 2 2 1 0 1 0 1 1 2 04a26 15386 049ff 1497f 0 +0 0 1 1 1 1 2 0 1 1 0 2 1 1 2 0 05784 1443a 05640 04ae6 1 +1 1 2 0 0 2 2 1 1 2 2 1 0 1 2 2 05200 15000 00000 15000 1 +0 1 1 1 2 1 1 2 0 0 1 2 1 1 0 0 1551e 05576 050f1 04be1 0 +0 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 00000 00000 04f49 00000 1 +1 1 1 2 2 0 0 2 2 0 1 0 0 0 1 0 145fc 15458 049a5 049db 0 +2 0 0 0 1 0 0 1 1 2 1 1 2 1 0 0 04f34 050f8 0515f 04bfe 3 +2 2 2 1 1 0 1 2 0 2 0 0 1 0 2 1 00000 049b8 15b1f 1476b 1 +1 2 1 1 2 2 0 2 0 2 2 0 0 2 1 0 14ae1 155c3 154e9 15671 3 +2 1 1 1 2 1 0 2 2 2 1 0 1 0 2 1 15511 059aa 05382 05055 1 +1 2 2 0 0 1 0 0 2 2 1 2 2 2 1 2 05267 1547b 14445 05d5f 1 +0 0 2 2 2 0 2 0 1 0 2 1 2 1 0 2 14d5e 0514d 15048 058ac 0 +1 0 2 1 2 2 0 0 2 1 2 0 0 0 0 2 043cf 15ab2 048d7 043f1 1 +2 1 0 0 0 0 1 0 0 2 0 0 2 2 1 0 15000 15000 05200 00000 0 +1 0 0 0 2 2 2 2 0 1 0 1 2 1 0 0 053fe 15813 14471 05870 0 +2 0 2 1 2 0 2 2 1 0 1 2 2 2 1 0 15ca8 042e8 00000 05d1f 1 +0 2 0 1 0 1 0 0 2 0 1 0 1 2 1 1 04a55 1432c 15d13 052ab 2 +2 0 0 2 1 0 0 2 2 2 0 1 1 1 1 1 159d1 151e7 04d13 058d5 1 +1 1 0 0 0 0 2 1 2 1 0 0 0 1 2 0 050b1 14d33 05857 14949 2 +1 1 2 1 2 2 1 2 0 0 2 1 0 2 1 0 15814 14706 15519 0459a 0 +0 2 2 2 0 1 2 1 2 1 2 0 0 0 1 1 14e2e 0482e 14c1c 15087 2 +2 0 1 2 0 2 1 0 1 0 1 1 2 2 0 2 147f7 00000 14f38 053c8 0 +0 0 1 0 0 2 2 1 2 1 0 1 1 0 2 1 05200 00000 05000 00000 1 +1 1 2 1 2 0 1 2 1 1 2 0 1 0 1 1 00000 04b3e 05298 15bc4 1 +0 2 0 1 1 2 2 0 1 2 1 2 1 0 2 2 04d2e 1561e 00000 151e4 2 +0 2 1 0 1 1 2 0 2 2 1 1 1 0 2 0 15204 00000 05575 05607 2 +2 0 0 0 0 2 1 2 0 1 0 1 1 2 2 1 04898 1573e 04d38 00000 3 +2 1 0 1 1 1 1 2 2 0 1 0 0 2 1 2 05888 00000 157d5 05905 3 +2 0 1 2 0 1 0 2 0 1 1 0 1 0 1 1 0571e 052a6 150f7 15526 1 +2 2 2 2 0 0 2 2 0 0 2 1 0 2 1 1 0502c 15720 05196 055c6 2 +2 0 2 0 0 1 0 0 1 0 0 1 1 2 0 0 1589e 042d7 14e5f 04cf2 1 +2 1 2 1 1 0 2 2 0 1 1 1 0 2 1 0 1482d 157eb 00000 05822 2 +2 0 1 0 2 1 1 2 1 0 2 1 1 2 0 1 146b5 15080 14e9d 14f81 0 +2 0 1 1 2 0 0 2 2 0 1 0 0 1 2 1 14755 00000 05a46 05b89 2 +1 2 1 2 0 1 1 1 2 2 2 2 2 1 2 2 053fc 158c1 04d67 00000 2 +2 0 0 1 1 2 2 0 2 0 2 2 2 2 2 2 00000 14f9d 046cc 00000 0 +1 2 2 2 0 2 2 0 2 1 0 1 1 0 1 1 05200 00000 05200 00000 0 +2 0 1 2 2 1 0 1 1 2 1 0 2 1 2 2 04700 00000 155f3 042f8 3 +0 0 0 1 2 1 0 0 1 2 2 0 2 2 2 2 04ebf 05474 14827 157a9 0 +0 1 0 0 2 0 1 1 2 0 0 2 0 1 2 0 05992 05d39 05574 05799 2 +1 1 2 1 0 2 1 0 1 2 2 0 1 2 0 2 04a98 04bd1 04fc9 04902 1 +1 0 1 2 2 1 0 0 0 1 0 1 2 2 2 0 1545b 14751 050f2 05301 3 +2 0 0 0 2 1 0 2 0 1 2 2 0 2 0 1 00000 157c1 04ddd 0526e 1 +1 0 1 2 2 0 1 1 0 2 0 0 1 1 1 1 049ba 14d36 04a74 059d1 0 +1 1 0 2 2 0 2 0 0 1 0 1 2 0 0 2 0501b 00000 15640 052fb 2 +0 0 1 1 0 0 0 0 2 1 0 0 1 2 0 0 15127 14a93 15996 04f2a 0 +2 1 0 2 0 0 0 2 1 0 0 1 1 0 0 1 05000 05000 00000 15000 0 +0 1 2 2 0 1 1 1 1 1 2 2 2 1 1 0 14c5b 14b11 04b94 0549a 1 +2 1 2 0 2 0 0 2 1 1 1 2 1 0 1 2 15907 00000 14a66 1533b 2 +0 2 1 1 2 0 2 0 1 2 2 1 1 0 1 2 14d2f 14ce0 04fb9 1510e 0 +2 2 1 1 0 0 1 1 1 1 0 0 0 0 1 0 059dd 150e3 148b1 0508a 3 +0 1 1 1 1 0 0 0 2 1 1 0 1 1 2 2 14366 0474b 15c1a 15192 3 +2 2 0 0 1 0 0 2 2 0 1 1 2 2 2 1 05029 14d85 00000 04cea 2 +0 1 2 2 1 2 0 0 2 2 2 1 2 1 0 2 00000 15000 05000 05200 1 +1 2 1 1 1 2 1 2 1 1 2 1 2 1 2 0 0483e 04454 15f22 05e89 1 +2 1 2 2 0 2 2 2 0 2 2 2 0 0 2 2 14cc2 04a8c 15b60 04a89 2 +2 2 0 1 0 0 1 1 1 1 2 1 0 2 2 2 0428b 14cd7 00000 00000 2 +0 0 0 1 1 2 0 0 1 2 0 1 2 0 2 1 05286 14c2f 14d63 152f7 0 +0 1 1 2 0 0 0 0 0 2 1 2 1 0 1 2 05200 00000 05200 05200 2 +2 2 2 2 1 0 1 2 0 0 0 1 1 2 2 1 15ce7 151df 15272 15936 0 +0 0 0 1 1 0 1 1 0 0 1 2 2 0 1 1 14d32 155f5 05322 00000 1 +0 2 0 0 1 0 1 2 0 2 1 1 1 2 0 2 14a7f 14820 15104 052b2 0 +1 0 1 1 2 2 0 0 1 2 1 1 2 2 1 2 047b9 05569 00000 14687 0 +2 1 0 1 1 2 2 1 2 0 1 1 1 1 1 0 157de 05683 04ebf 04fdb 1 +1 1 1 2 1 1 1 0 2 1 0 1 0 2 0 1 0531f 04e4b 04802 00000 0 +0 1 0 1 0 0 0 0 0 1 2 0 1 0 2 1 00000 15000 05200 05200 0 +0 1 0 0 1 0 1 1 1 1 2 2 2 2 2 2 05000 00000 05000 05200 0 +0 0 1 2 1 0 2 0 1 2 1 1 2 2 2 2 04960 15310 14edc 00000 2 +0 0 1 2 0 0 0 2 2 0 0 1 1 2 0 2 05707 04ed5 15313 05776 2 +0 2 2 1 0 2 0 2 2 1 2 0 2 1 0 2 04ad1 04af1 1564c 04e09 3 +1 2 0 1 1 0 0 1 1 1 2 0 1 1 2 0 048aa 14d46 00000 00000 0 +0 1 0 0 2 1 0 1 2 1 1 2 1 0 1 0 00000 14957 05399 04880 2 +0 0 1 1 2 1 2 0 2 0 0 1 1 0 0 1 00000 00000 05200 05000 1 +1 0 2 1 2 0 2 0 2 1 1 1 0 2 0 2 055d0 15919 14ac1 04a22 0 +2 0 0 2 2 0 2 1 1 1 1 1 1 0 2 1 157b7 00000 15791 148e9 2 +2 2 0 2 0 0 2 2 2 2 1 1 1 0 2 0 05000 15000 00000 00000 0 +2 0 2 1 2 1 2 0 1 2 1 2 1 2 2 2 05f77 15ab5 052c4 15cc6 3 +0 2 2 1 1 2 2 0 2 1 0 1 1 0 0 1 1547b 00000 044c7 046a7 0 +1 1 1 0 2 1 2 2 2 2 2 1 2 0 1 0 00000 14685 1516c 057ec 0 +2 2 2 1 2 0 0 2 0 0 0 2 1 1 0 1 055a1 05b43 15df8 152be 1 +0 0 0 1 0 1 2 0 0 0 1 0 0 0 1 1 05a2f 04a27 04d0b 15f84 0 +2 2 0 0 0 0 2 2 2 2 0 0 1 1 2 2 05322 1521e 04fbb 156f1 0 +2 2 0 2 0 0 2 2 2 0 0 0 2 1 1 2 04e61 1520b 05400 042ae 3 +2 1 2 1 2 0 1 0 2 2 0 0 2 0 0 1 0509d 1505c 05501 049a0 0 +0 1 1 1 2 2 2 2 2 0 0 2 0 2 1 1 05000 05000 05000 00000 1 +2 1 1 0 1 0 1 0 1 1 0 2 2 1 1 1 15000 00000 00000 15000 1 +0 2 1 1 2 2 2 0 1 2 1 2 1 0 0 1 04e20 155d5 050f2 14acf 2 +0 0 0 1 2 0 0 1 1 1 2 1 1 2 0 2 05cbd 04202 15906 15e71 3 +0 1 2 0 1 1 1 0 1 0 0 1 2 0 0 0 0553a 0540a 05edd 053c9 2 +2 1 0 2 1 1 2 0 1 2 0 0 1 1 2 0 04cfb 04830 04a56 05781 3 +1 0 2 2 1 0 1 2 2 0 1 2 0 2 0 0 152dc 042a4 00000 1463a 3 +0 1 1 0 0 2 0 1 0 2 2 2 0 0 0 1 15960 00000 1594e 14e89 1 +2 0 1 2 1 0 2 2 0 0 0 0 2 2 0 2 00000 04b5e 04960 14bd4 0 +0 2 1 1 2 1 2 1 2 2 1 0 2 1 0 2 15000 00000 05000 15000 0 +2 0 1 0 1 0 1 0 1 1 1 2 1 2 2 1 05528 050b1 1515a 04c33 3 +0 1 0 0 2 0 2 2 0 0 0 2 1 1 1 2 159c3 00000 14427 15cc5 0 +1 1 2 1 0 2 2 1 0 1 2 1 1 2 1 0 1564e 0500d 00000 14e99 2 +1 2 1 2 2 1 2 0 2 1 2 0 2 2 0 2 15639 00000 05594 00000 1 +2 0 0 1 1 2 1 2 1 1 0 1 1 0 2 1 1521b 055cb 05623 05235 1 +0 2 0 0 0 1 1 2 1 2 1 1 1 2 1 0 05000 00000 05200 00000 3 +1 2 1 2 0 0 1 1 2 1 0 1 2 1 2 1 15dfe 057cd 15abc 1476e 0 +0 2 0 0 1 2 0 1 0 0 0 0 1 2 1 2 05200 00000 05000 15000 0 +1 2 2 2 2 2 0 0 2 0 0 0 1 2 1 2 1524c 15807 15038 15776 1 +1 2 1 0 0 0 1 1 2 2 0 1 1 1 2 2 147a4 044e5 05c9b 146fd 0 +2 2 2 1 2 1 1 2 0 1 2 0 1 2 2 1 05251 050ed 15580 14d71 0 +2 2 1 1 1 1 0 2 0 0 2 1 1 1 1 0 05000 05000 00000 05000 1 +2 2 2 0 2 1 2 1 0 1 1 1 1 1 2 1 00000 14b8b 153c3 15244 0 +1 1 1 0 0 0 0 2 1 2 1 0 1 2 0 1 15910 055cd 1504c 04350 0 +2 0 0 0 1 2 1 2 0 0 0 2 0 0 0 0 15a29 05fe5 00000 00000 1 +2 0 1 1 2 0 1 1 2 2 1 1 2 1 1 2 15000 05200 05000 05200 1 +1 2 2 1 2 2 2 2 0 2 2 1 2 1 2 1 155d1 144a9 15f92 05b3b 0 +2 2 0 1 2 2 0 2 2 2 1 1 2 2 1 0 00000 14b10 15574 057dc 0 +1 2 1 1 1 2 1 2 2 1 1 1 2 2 0 0 0498c 046e6 04ebc 05356 2 +0 2 1 1 0 2 2 0 0 2 0 1 1 0 0 1 05200 00000 05000 05000 1 +2 2 2 1 0 2 0 2 2 0 1 2 2 2 0 2 00000 05000 00000 05000 2 +1 2 1 0 2 0 2 1 0 1 2 0 2 2 2 1 15000 05000 05000 15000 1 +2 0 0 2 1 1 1 2 2 1 0 2 1 1 2 1 15405 14efc 15729 15283 0 +2 1 1 2 1 0 1 1 1 2 0 0 2 1 2 0 04bf4 1530b 05978 15658 0 +0 2 1 2 2 0 2 2 2 1 1 0 2 2 0 2 14b6d 0503f 054d0 00000 2 +0 2 0 2 0 1 1 2 2 1 2 2 1 2 2 2 1506a 04fba 14bdd 14d7c 1 +2 2 1 2 1 2 0 1 1 0 2 2 1 1 2 0 15c6d 00000 1571d 15a4b 1 +2 2 2 1 2 0 2 2 0 0 2 0 0 1 2 0 15000 05000 00000 05000 0 +1 0 1 2 1 1 2 2 0 1 0 2 0 2 1 0 15051 04b6a 0496f 154cc 0 +0 0 1 1 1 0 2 2 1 2 2 1 1 0 2 2 05000 05000 05200 15000 0 +2 0 2 2 0 0 1 1 2 2 0 2 1 1 0 1 14dce 04bd0 1557c 14d14 1 +2 0 0 0 2 2 1 0 2 2 0 2 0 2 0 1 0523b 00000 00000 04728 0 +0 2 0 0 0 1 2 2 1 0 0 2 0 2 2 0 05556 04f33 055be 14f4c 0 +2 0 1 0 1 1 2 1 1 1 2 1 2 1 2 2 05000 15000 05000 05200 3 +0 2 0 2 1 2 2 2 1 0 1 1 2 2 2 1 00000 00000 05000 05000 2 +0 2 2 1 1 1 1 1 2 1 2 1 1 1 1 0 15330 00000 046d6 14703 0 +0 2 0 1 1 0 1 1 2 2 0 1 1 2 2 2 05071 04929 00000 156d5 1 +0 1 0 1 2 2 1 1 0 2 2 0 2 1 2 0 00000 04ec1 04fc0 057e2 0 +0 2 1 2 1 2 1 2 0 0 2 2 0 2 2 0 05770 14a11 15937 056c8 2 +2 2 1 1 0 0 0 0 1 2 1 2 1 0 1 0 15d82 04d66 15972 00000 0 +2 2 1 2 0 1 0 0 1 0 2 0 1 0 0 1 15721 1458e 05892 05c18 1 +1 1 0 0 1 2 0 1 1 1 0 0 2 1 2 2 00000 05308 05387 054ea 1 +1 1 1 1 2 2 0 0 1 1 0 1 2 0 0 0 14d4a 04a62 04ab1 155ef 0 +0 1 1 1 0 0 2 0 2 1 1 0 0 0 1 1 14805 04a1c 051eb 05f57 0 +1 2 1 1 2 0 0 1 0 0 2 2 2 1 1 0 04807 05330 05591 14ebb 2 +2 1 2 2 2 2 0 1 2 1 2 1 1 0 0 1 14cd2 00000 152a0 05973 0 +0 2 2 1 2 2 2 0 1 2 0 2 2 1 1 2 148d8 15646 151a4 00000 1 +1 2 1 0 0 0 0 0 2 1 1 2 0 1 2 0 05401 0559c 059e0 04c4d 3 +2 1 2 1 2 2 1 2 1 0 1 0 0 0 1 0 00000 05097 05a18 15147 0 +1 2 0 2 2 2 0 0 0 0 1 2 1 1 1 0 15799 15196 00000 04c39 0 +0 1 2 1 0 1 1 1 0 2 1 0 2 1 0 2 04a02 15744 158a8 04e22 1 +0 0 1 1 0 1 1 1 0 0 2 1 1 0 2 1 05385 15999 14a05 04fd4 1 +2 1 0 0 2 0 1 0 1 2 0 0 2 0 0 0 04b59 00000 00000 0493e 0 +0 1 0 1 2 2 0 2 1 2 0 2 1 1 0 2 14296 0492b 157ca 0437d 0 +1 1 0 1 1 0 1 2 1 0 0 2 0 1 0 2 15489 04fca 04bd4 15543 0 +0 1 0 0 1 1 1 0 2 0 0 0 0 1 0 1 1519b 05803 15271 00000 0 +2 0 2 1 1 2 2 0 2 2 0 1 2 1 1 2 151c4 14864 155c3 154ea 1 +0 1 1 1 0 0 2 2 1 2 1 2 2 0 2 2 04dcc 0491d 1574c 1501b 2 +0 0 1 1 1 1 1 2 2 1 0 1 1 2 1 2 04c4b 0581f 14f82 14a4f 1 +0 0 2 2 1 1 2 2 1 1 1 0 2 1 0 1 05416 155e8 054bd 057f2 2 +0 2 1 1 0 2 1 0 0 1 1 2 0 1 1 2 158aa 058a0 15283 00000 1 +2 2 0 2 0 2 2 2 1 2 0 1 0 0 0 0 00000 05318 04f7e 1581b 2 +1 0 2 2 0 1 0 2 1 2 0 2 1 1 2 1 05000 05200 00000 00000 1 +2 1 2 0 2 2 1 2 1 2 1 2 0 2 1 2 1592d 0589c 04a10 155bd 2 +1 0 2 0 0 2 1 2 1 2 0 2 1 1 2 1 1544b 04bd6 050f5 14e8b 0 +0 2 0 1 2 2 1 1 2 1 2 1 2 1 1 2 05200 05000 05000 05000 3 +1 2 0 1 2 2 1 0 2 0 0 2 1 1 1 2 05852 00000 050fe 04794 1 +0 0 1 2 2 2 0 0 1 1 1 2 0 0 2 1 05000 05200 00000 15000 1 +2 2 1 1 0 1 1 0 2 1 2 1 0 0 1 1 055aa 15b8f 04e7e 042d5 2 +1 1 1 1 2 1 1 2 1 2 0 0 2 2 1 0 14a07 15376 05216 14bf4 1 +0 0 1 0 0 2 1 1 0 0 2 0 1 0 0 2 04c9d 14d28 057a3 051aa 0 +1 2 2 2 1 1 0 1 0 0 2 2 2 2 2 0 00000 00000 15000 00000 0 +2 0 1 2 0 2 0 1 1 0 1 1 1 2 0 2 15000 15000 15000 00000 2 +1 2 1 1 2 2 1 2 2 0 1 2 1 0 0 0 04985 14d15 0564b 04938 3 +1 2 0 0 2 2 0 2 0 0 1 0 2 1 1 0 00000 15000 05200 05000 0 +0 0 0 2 2 1 0 1 0 2 1 1 1 0 0 1 00000 05200 00000 05200 0 +2 1 2 0 1 1 1 2 0 0 0 1 2 2 2 0 15000 00000 00000 00000 0 +0 0 1 1 0 1 2 1 1 2 1 2 0 2 0 2 04c44 15025 04ddd 14a7e 0 +2 0 1 2 2 2 2 1 1 1 1 1 0 0 2 2 14a29 14ea1 149ee 04af7 0 +2 0 1 1 2 0 1 2 1 2 2 2 1 2 2 2 1515e 05222 1582c 15338 0 +2 0 1 2 2 2 0 0 0 2 2 0 2 1 2 1 05cff 15a57 04d53 04f65 2 +1 2 1 0 1 0 2 1 0 2 1 2 2 0 0 1 044d6 047f0 00000 0435c 2 +2 0 0 1 0 2 2 2 0 1 2 1 1 1 1 1 04c64 14d8d 00000 04c17 1 +1 0 0 0 2 1 1 1 0 2 2 2 1 2 1 1 00000 04f5f 15e6b 15947 1 +1 1 1 2 2 1 2 2 2 2 0 0 0 2 0 0 057ef 00000 1579b 051db 0 +0 2 2 2 1 2 2 1 1 2 1 2 1 0 0 1 05852 05725 14ff8 151ac 0 +0 0 0 1 0 1 1 2 2 2 2 2 2 2 1 2 05312 158a8 052a9 15914 0 +1 0 1 0 0 1 1 0 2 1 1 0 2 1 1 2 15c96 00000 05032 05f60 1 +0 2 1 1 2 0 2 0 2 1 2 1 2 2 2 1 14c7b 05120 158bc 14992 0 +1 0 1 2 0 1 1 1 0 1 0 0 1 2 1 0 15c78 156d9 0587f 15456 2 +0 2 0 2 1 0 2 1 2 0 1 2 0 0 2 1 00000 050a8 0496e 14f0f 0 +0 0 0 0 1 2 0 0 2 2 1 2 1 1 0 2 1429b 148a4 14b7b 00000 0 +2 1 0 0 1 1 2 0 0 2 1 2 1 2 2 0 0434f 051d2 04635 143ed 0 +0 2 1 1 2 1 0 1 0 2 0 0 0 1 2 2 15562 0558a 14a9a 00000 1 +0 1 0 0 1 0 2 0 0 0 1 1 2 0 1 0 049cc 15033 04731 0536d 0 +2 0 0 0 1 1 0 2 1 1 2 0 1 2 1 1 04dbd 15798 150bb 0496f 2 +2 0 1 2 0 0 2 0 1 0 2 0 2 2 1 2 05699 1572e 14acd 149b9 2 +0 0 0 1 1 2 1 2 1 0 1 1 0 2 2 0 15d3d 14d9b 04227 15609 3 +0 0 1 1 0 0 0 0 1 1 2 1 2 0 0 2 04706 00000 15d78 156ae 3 +0 2 0 0 1 0 1 0 2 0 0 1 0 1 2 2 00000 15000 00000 05200 1 +1 0 0 0 0 1 0 2 2 1 1 0 1 2 0 2 00000 05cc6 04d22 05849 3 +2 1 0 1 0 1 1 0 0 2 0 0 0 0 0 0 00000 0498e 15473 05749 1 +0 0 1 2 2 1 0 0 1 0 1 1 0 1 2 0 00000 055a4 05add 00000 0 +0 0 2 1 0 0 1 1 1 1 2 1 1 0 2 0 15091 049b8 05029 159b3 1 +0 2 0 2 1 2 1 1 1 0 1 0 0 1 1 1 15ece 051f5 04496 04ed1 3 +2 0 2 1 0 1 0 0 0 1 0 1 0 2 0 1 05347 04bc9 00000 1509c 0 +1 1 0 1 0 0 1 1 2 1 1 2 0 2 1 2 146bc 14adb 0455d 14a40 2 +1 1 2 2 2 0 1 1 2 0 1 0 1 1 2 0 05200 05200 00000 05200 0 +0 0 0 0 1 1 2 0 2 1 0 2 0 1 2 0 1480c 15796 00000 059ec 2 +1 2 1 2 2 1 2 1 2 1 2 2 0 0 2 2 05967 00000 147e3 15212 1 +0 1 1 2 0 2 1 2 0 0 1 1 2 2 1 1 05096 15c13 14298 0499a 0 +1 1 1 0 1 2 2 2 1 0 1 1 0 0 2 0 056de 04ef6 04aaa 14c39 1 +2 2 2 1 0 1 0 0 2 1 0 0 2 1 1 1 14da1 05305 14e6c 0524a 0 +1 1 0 0 0 2 2 1 1 2 2 0 0 2 0 2 05e1a 00000 151a2 04bc2 1 +2 0 2 1 1 1 2 1 2 2 0 1 1 1 0 2 14e75 14f49 159f6 05c08 1 +2 1 1 0 0 1 0 0 2 0 0 2 1 1 1 2 155c4 0537a 04876 1544e 1 +0 2 1 1 0 2 0 2 1 1 2 0 1 0 1 1 14a7d 04c18 0561c 04a83 1 +2 0 0 2 1 0 1 1 1 1 1 1 1 1 2 1 145bb 055d4 04d68 04489 0 +1 0 2 2 0 0 0 0 2 2 2 1 2 2 2 2 14be5 05072 15b9c 04455 0 +1 1 0 1 0 2 0 1 1 0 1 1 2 1 1 2 04a43 05909 00000 14bb0 3 +1 1 0 2 1 0 2 1 2 0 0 2 2 2 1 2 142af 15ff1 15a57 15a39 2 +1 1 1 2 0 0 1 1 1 0 0 0 1 1 0 1 049ac 00000 14a48 0548a 0 +0 2 2 0 1 0 2 0 1 2 2 2 0 1 1 0 14f89 15501 0548e 05441 0 +2 1 0 0 2 1 1 1 0 0 1 1 0 0 1 1 04c01 04d95 04d6c 15ad2 1 +1 0 0 0 0 2 1 0 0 0 1 0 2 0 0 1 1552d 00000 05349 151a5 3 +2 1 0 1 2 0 0 0 1 2 2 1 0 2 0 0 0512b 059a8 05496 04dde 3 +0 1 0 2 1 1 0 2 1 1 2 2 0 1 2 2 14b2d 054f1 14850 143cc 1 +2 2 1 0 0 0 0 2 1 0 1 2 2 0 2 2 04fca 153dd 15929 05034 1 +2 1 1 1 1 0 1 2 0 2 1 0 0 2 0 2 00000 0529b 1492c 05945 0 +2 1 1 0 2 0 2 2 1 1 1 1 2 0 0 2 00000 05734 05332 04ce6 0 +1 1 2 0 2 2 2 1 2 1 2 1 0 0 1 1 04bcd 0476c 1578b 05337 2 +2 1 1 0 2 2 2 2 2 2 1 0 1 1 1 2 04a12 00000 052ae 00000 0 +2 1 1 1 1 2 2 0 2 0 2 1 1 0 1 2 15000 00000 15000 15000 2 +2 1 2 0 1 2 2 2 0 1 0 0 1 0 1 0 15141 159c9 00000 1538e 2 +2 1 2 2 0 2 2 0 0 0 0 2 1 1 2 0 149e6 1536e 1547b 05368 0 +1 0 1 1 1 2 1 2 2 0 2 1 2 0 1 2 04722 15458 05b2f 14f68 0 +0 0 0 2 1 2 0 2 1 2 0 2 1 2 2 1 14ce2 05f42 14993 047a6 1 +1 2 2 0 0 1 1 2 2 2 2 1 0 2 2 0 152ba 050a2 15873 14f72 2 +0 0 1 1 1 0 0 2 1 0 1 1 1 0 2 0 055fb 04e0d 054a4 053b0 0 +1 0 0 0 1 2 0 2 2 0 0 0 2 2 0 0 00000 05000 15000 15000 2 +2 2 2 2 2 0 0 2 2 0 2 0 1 2 2 1 05859 14d77 04971 1531d 2 +0 1 1 1 0 2 2 2 0 2 1 2 0 1 1 0 04755 0425e 15066 15aec 2 +0 0 1 0 1 2 0 1 2 1 1 1 1 2 1 2 05200 05200 15000 05200 2 +2 1 1 0 0 2 2 2 1 2 2 1 0 1 0 1 00000 152d0 154ce 14d0a 1 +1 0 2 2 1 1 1 1 1 1 0 0 0 0 2 2 00000 04a6e 05f4f 1566b 3 +0 0 2 2 0 0 2 2 1 0 0 0 2 0 0 1 04d34 14a3d 14fb6 152f8 1 +2 1 2 2 0 1 2 2 2 0 0 1 1 1 2 1 00000 14a76 05927 1572b 3 +2 0 2 1 1 0 1 2 2 0 1 2 2 2 0 2 00000 0548b 04ecb 157be 0 +0 1 1 0 0 1 1 0 1 2 1 2 1 0 1 1 00000 15b4a 145ff 148d2 0 +1 1 0 0 0 0 0 1 0 2 1 2 0 0 2 0 150ad 04897 053cf 00000 2 +2 1 2 0 2 1 1 0 0 1 1 1 1 1 1 0 00000 05306 04ecd 14f86 1 +2 1 2 0 0 2 0 1 1 2 1 1 0 2 1 2 00000 15000 05200 05000 1 +0 1 1 2 0 1 0 1 1 0 0 0 1 2 2 1 00000 1576e 0590e 1593e 1 +2 2 0 0 2 2 1 0 2 0 0 0 0 1 0 1 049c2 14e26 156f6 05879 1 +2 2 2 2 2 1 2 1 0 1 1 0 2 2 2 2 14fbb 1508b 057ab 05473 2 +1 0 2 0 0 0 0 0 0 2 1 0 2 0 0 0 1493b 04cab 15410 049be 0 +1 2 1 0 0 0 2 0 1 2 0 0 2 0 0 1 14ea3 00000 05280 00000 0 +2 2 1 2 0 2 1 1 2 1 2 0 1 2 1 1 04783 15577 14f7e 14e25 1 +0 2 2 0 2 2 0 0 2 2 0 2 1 2 0 2 05200 05200 00000 05000 1 +1 1 1 1 0 0 1 0 2 2 2 1 0 2 0 2 00000 15000 00000 05200 1 +2 1 2 2 0 2 2 1 0 1 0 1 0 0 0 0 05668 05df0 05f9d 14d5f 0 +1 0 0 0 2 2 0 0 0 1 0 1 1 2 1 1 15498 04bf7 157dc 00000 2 +1 1 2 2 0 0 2 2 1 1 2 2 0 0 1 0 05000 15000 00000 00000 0 +0 2 0 2 1 1 1 2 0 2 2 1 1 2 0 2 04aea 047cb 059ac 0474c 0 +2 0 2 0 1 0 0 1 1 2 1 0 1 1 2 2 15288 048aa 04aad 04b9f 1 +1 1 2 1 0 1 1 2 2 2 1 1 1 0 2 0 157ad 058c3 04c40 158d2 3 +2 2 2 1 1 0 2 1 1 2 2 1 2 2 1 0 00000 00000 04938 1446a 2 +1 1 2 0 0 1 1 1 2 0 0 0 0 1 1 2 04b89 052d3 04c29 15537 0 +0 0 2 0 1 1 2 0 2 2 1 2 2 2 2 1 05200 05000 15000 05000 1 +0 1 1 0 2 2 2 1 1 2 2 0 0 1 2 1 15127 14c31 15269 14d39 1 +1 1 2 2 1 0 0 1 2 0 1 0 0 1 1 0 00000 15000 15000 05200 0 +1 1 1 0 1 0 0 2 1 0 2 0 2 0 1 0 15d59 054b4 15280 15841 1 +0 2 0 1 2 2 0 0 2 2 1 1 0 0 1 0 04b45 05599 04b07 15591 0 +2 0 0 2 0 2 2 2 2 2 1 2 2 2 2 2 05aa9 15fe2 04c80 14aed 0 +1 0 1 2 2 2 2 0 0 1 1 1 2 1 2 1 14d66 149c0 04f8f 14874 2 +0 0 0 0 0 0 2 0 0 1 0 0 1 0 2 1 057dc 15395 15886 05342 2 +2 1 1 2 0 2 0 2 1 2 1 1 1 2 1 0 00000 05000 00000 15000 0 +0 1 2 1 2 0 0 2 2 2 2 2 0 1 1 2 056f9 00000 04628 1564b 2 +2 0 0 0 0 1 1 0 2 0 1 0 0 0 0 1 00000 00000 1576e 0547f 0 +0 2 1 2 2 2 2 0 1 2 2 0 1 1 1 2 04edb 05761 05880 14e1e 0 +2 0 0 1 2 1 0 2 0 0 1 2 0 2 0 2 04f10 05066 04f9c 05843 2 +0 0 2 2 2 1 1 0 1 0 2 0 1 2 2 1 04f12 05210 04afb 053e9 1 +1 1 2 2 1 2 1 0 2 1 1 0 0 2 0 2 05000 05000 05200 05000 0 +2 0 0 0 0 0 0 0 0 1 2 2 2 0 1 2 05d1e 00000 04bd1 150a1 2 +2 1 2 2 1 0 0 0 1 2 1 0 1 0 1 1 05c52 14a79 158c9 05c7c 1 +0 2 2 2 1 0 0 2 1 2 0 2 0 1 1 1 04aaf 04e89 15d16 05711 1 +0 2 1 2 0 0 1 2 1 2 1 2 2 2 2 0 00000 055cd 05138 0496d 3 +1 2 2 2 2 0 2 1 0 0 1 2 2 1 0 0 14a35 050cb 150f6 04aaa 2 +1 2 0 0 2 0 1 1 0 0 0 0 2 1 0 0 15cae 1465a 0498f 052d5 0 +0 2 2 2 2 0 2 2 0 0 1 2 1 1 0 2 1558c 00000 158ac 0485a 0 +0 0 1 2 1 2 0 2 2 1 0 2 1 2 0 0 05781 1559e 14926 15193 3 +2 0 1 2 0 2 1 1 0 2 0 0 2 0 0 0 15bd7 04a99 15c21 15d39 0 +2 2 1 1 0 1 0 0 0 0 2 2 1 0 2 1 00000 00000 14f5e 155e3 1 +2 2 0 0 0 2 1 2 2 1 2 1 2 2 0 2 04a15 14b31 04f0b 149eb 3 +0 0 1 0 0 2 1 1 2 2 0 0 0 0 2 0 00000 05fad 1503c 04244 0 +0 0 1 0 0 2 1 2 2 2 2 1 0 1 1 1 14da3 151e9 0430f 159a6 1 +0 1 2 0 1 0 0 0 0 0 2 2 1 0 1 0 15c23 15de7 04f50 14a58 1 +2 0 0 1 0 0 2 0 1 2 2 2 1 2 0 2 04faa 05129 148f4 052a5 3 +1 2 2 1 1 1 1 0 1 1 1 2 1 1 2 0 0540e 1540e 04998 05894 0 +0 1 0 2 1 0 2 1 1 0 0 1 2 0 1 2 0445f 14f84 14a75 1473e 3 +0 0 0 1 1 1 1 0 2 1 1 0 0 0 1 1 156e2 05003 04acd 150a4 0 +1 1 1 2 2 0 2 0 0 1 0 2 0 1 2 1 15222 1522e 14836 154de 1 +1 0 0 2 1 1 0 1 0 2 0 1 1 2 2 2 14904 150d5 14b3b 14c4e 3 +0 1 0 1 0 1 0 2 2 2 2 0 0 1 1 2 15e25 04bc4 15829 05f10 0 +1 2 2 2 2 2 0 0 2 0 1 1 1 1 0 1 159f4 15ce7 00000 14a41 3 +1 2 0 0 0 0 2 2 2 1 0 1 2 1 1 1 148ec 15569 048f3 1594c 0 +0 0 0 2 0 1 0 0 0 0 1 1 1 0 2 0 00000 00000 15000 05000 3 +2 1 2 1 0 2 0 0 0 2 0 0 2 1 2 1 156c8 0423f 15212 04f9c 0 +2 1 2 1 0 0 0 1 2 0 2 0 1 2 1 0 15132 04aa8 14e73 00000 2 +0 0 0 1 0 0 2 1 0 2 0 0 0 0 1 0 14dde 04639 052e2 054d9 0 +1 2 1 2 0 0 1 1 1 0 2 1 0 2 1 2 00000 05200 15000 15000 0 +2 0 0 1 0 0 2 0 0 0 0 2 1 1 0 0 153c6 04af3 05a99 043ce 1 +0 2 0 0 0 0 0 1 0 2 1 1 0 2 2 0 05f48 15075 00000 04fb0 0 +1 1 1 2 0 1 2 1 2 2 1 1 0 0 0 0 00000 00000 05000 05200 0 +2 1 0 0 0 2 1 0 2 2 2 0 1 1 2 1 048d9 00000 00000 14f45 0 +1 1 0 2 0 1 2 1 0 1 1 2 2 0 2 2 00000 05000 00000 00000 0 +0 2 2 1 1 0 2 2 0 1 1 0 2 0 1 2 00000 04e0c 1583c 00000 0 +0 2 1 0 2 2 1 0 2 2 1 1 0 0 0 0 05644 14c54 00000 15183 0 +2 0 0 0 0 1 1 0 2 1 1 0 0 2 2 2 056b8 057c7 00000 14de4 1 +0 2 2 1 1 2 0 0 0 1 2 1 2 0 0 1 152fc 05685 148ef 152cb 1 +2 0 1 0 0 2 2 1 1 1 0 2 2 0 0 1 15411 1481a 00000 14355 1 +0 1 0 0 2 2 0 2 2 0 2 1 2 1 1 2 0592e 15457 048b4 14cb6 3 +0 0 0 2 2 1 1 2 1 0 2 2 2 1 0 0 00000 05000 05000 15000 3 +0 1 1 1 0 2 2 1 0 2 2 2 1 2 0 2 04dbe 04616 14803 15d35 0 +0 0 2 2 2 2 1 1 0 2 2 0 1 0 1 2 148d0 056ba 05f18 15cfe 3 +2 2 1 1 1 2 0 0 1 2 0 2 1 2 2 0 14b20 1569d 1522d 00000 1 +2 0 2 1 2 0 1 0 2 1 2 2 0 1 2 2 04f0a 14920 15d73 14618 2 +0 0 1 1 2 2 0 2 2 1 0 1 0 2 2 2 04a64 052d5 1532e 048c3 2 +0 2 1 2 1 2 0 2 2 2 2 2 2 2 0 2 14fc2 044c3 053d4 00000 0 +2 0 2 2 0 2 2 2 0 1 2 0 0 0 0 0 04815 0556b 049b7 04f43 0 +0 1 0 0 2 1 1 2 1 2 2 2 1 1 0 2 05564 05e2d 046ff 05280 3 +2 1 2 1 1 0 2 0 0 0 1 1 2 2 2 0 00000 15780 048a3 153a4 2 +1 2 2 1 0 0 1 0 0 0 2 2 2 0 1 0 053ad 04fb8 0527f 00000 2 +2 1 2 1 2 2 0 1 0 2 2 1 0 2 0 0 05000 05200 00000 00000 1 +0 2 2 1 2 0 2 1 1 1 1 0 1 0 0 0 156dc 14549 150a2 14ba6 1 +1 1 1 0 1 2 2 2 0 0 1 1 1 2 0 1 1575a 153a9 15214 059f4 2 +1 0 1 2 2 1 2 0 0 2 1 2 2 1 2 0 1449d 15952 0543e 0479a 1 +0 2 2 2 1 2 0 1 1 0 0 0 2 1 0 2 059d2 00000 00000 157ae 1 +0 2 0 2 2 1 0 2 2 1 2 1 2 1 2 0 05200 00000 05000 15000 0 +1 1 0 0 1 1 0 0 2 0 2 0 2 1 0 0 04ff4 04b96 00000 049e8 3 +1 2 0 0 1 2 0 2 2 2 1 2 0 0 0 1 052e2 054a6 1575d 15aed 0 +0 0 2 1 1 0 1 2 1 2 0 2 1 1 2 0 14c31 1584a 15118 152a0 0 +2 1 1 0 2 0 0 2 0 2 0 0 2 0 2 0 05214 05617 04763 0459a 2 +2 2 2 0 1 2 1 1 2 0 0 2 1 1 1 0 05200 05000 05200 15000 0 +1 1 0 1 1 0 1 2 1 1 0 2 0 2 0 1 144f2 14e7a 04473 15f5a 3 +2 2 1 0 0 0 0 0 1 0 1 0 0 1 0 2 15753 14ad4 05802 04dd3 0 +0 1 1 2 1 2 2 1 1 2 2 1 0 2 1 2 15352 05326 14fbe 04dda 0 +1 2 2 1 2 1 0 2 2 2 0 2 2 2 0 1 048d0 1546a 14a55 05612 1 +2 1 0 0 0 0 2 0 2 2 0 2 0 2 2 2 153bb 04e8a 00000 04d0d 1 +1 0 1 1 1 0 2 1 1 2 0 0 2 1 2 1 15899 15251 14ae2 04c86 0 +1 0 1 0 0 1 2 0 2 0 2 2 1 0 1 1 00000 05200 15000 05000 2 +2 1 0 2 2 2 1 0 2 0 0 2 1 0 2 0 00000 05000 00000 15000 1 +2 2 2 1 0 1 1 0 1 2 2 2 1 1 0 1 0568d 0449b 04845 144f5 1 +2 2 2 2 2 1 1 0 0 0 1 2 1 0 1 0 057b5 05479 04b16 04dee 1 +2 0 2 2 1 1 2 1 2 2 2 1 0 0 1 0 0593f 0559c 05bbe 15ab2 0 +2 2 2 1 0 1 1 1 1 1 2 2 0 1 0 1 04f62 055cd 1559e 00000 0 +0 0 2 0 2 2 1 1 2 2 1 1 2 2 1 2 15d83 00000 145c6 00000 0 +0 1 1 0 0 1 0 0 0 0 0 0 2 2 1 1 05374 14566 1500b 1530f 0 +1 0 0 0 0 0 0 0 1 1 2 0 0 1 2 0 14db9 158a2 155a4 14c1c 0 +2 0 0 0 0 1 0 1 2 0 1 2 1 1 2 2 04cca 14810 00000 00000 0 +0 0 2 2 1 0 2 2 1 2 2 2 0 2 2 2 00000 04b82 14889 0570f 1 +0 1 0 0 2 2 0 1 1 1 1 1 1 0 0 1 14ec0 14af7 148a5 14a17 2 +1 2 1 2 0 2 0 1 1 0 2 1 2 0 1 1 00000 05817 14ab2 15362 1 +1 2 0 2 0 2 2 0 0 1 2 0 2 1 1 2 1577b 00000 05053 14f6e 0 +0 0 1 0 0 0 2 0 2 0 0 1 1 0 2 0 14ccd 045d6 05ebd 059fd 1 +1 1 0 2 1 2 1 0 2 1 2 2 2 0 2 2 05f03 15089 1536a 1597e 1 +2 2 2 0 0 1 0 0 2 0 0 1 2 0 1 2 00000 05040 15223 04a5e 1 +2 2 1 1 2 2 1 1 0 1 1 0 1 0 0 0 15339 05384 056f0 1510b 0 +0 0 0 2 2 2 2 2 2 0 1 2 1 2 1 2 04de8 0536b 14b1d 14e59 1 +0 0 2 1 1 1 1 2 0 2 2 2 1 1 0 0 15000 15000 00000 05200 1 +0 2 1 1 2 2 0 1 0 1 1 1 0 1 0 0 15000 05200 00000 05000 1 +0 1 1 0 1 0 2 0 1 1 2 0 0 2 1 1 1540e 04f46 05ba7 054ec 2 +0 0 0 2 0 1 0 1 0 1 2 2 0 0 1 0 14906 15928 15900 14835 1 +1 2 0 1 2 2 0 1 1 0 0 0 0 0 2 0 155f7 00000 148b9 00000 3 +1 0 1 1 0 2 2 1 1 0 1 1 0 2 1 1 05200 05000 00000 00000 0 +0 1 1 2 1 2 0 2 2 2 1 2 1 1 2 2 14dc9 04dd0 155b7 0481c 0 +2 0 2 2 0 1 1 0 2 1 1 1 0 2 1 2 05000 00000 05000 05200 0 +1 2 1 0 0 1 1 0 1 0 2 1 0 1 1 1 153d0 00000 14989 15329 1 +1 0 2 2 1 2 1 1 2 0 0 0 0 2 2 0 05000 00000 05000 00000 0 +0 0 2 0 2 2 1 1 0 2 2 2 0 1 2 1 05434 05b44 04e8a 0502a 0 +1 0 2 0 1 0 1 1 0 2 0 2 1 0 1 2 05200 00000 05200 05000 2 +2 0 2 1 0 2 2 0 2 2 1 1 2 1 0 0 04ab8 14b43 15113 05736 3 +2 2 0 0 2 2 1 1 0 1 1 2 1 2 0 0 15d41 1545f 046b8 05e84 3 +1 0 1 0 2 2 2 1 0 1 2 2 0 1 2 2 057bf 00000 00000 00000 1 +2 0 0 2 1 2 1 2 0 1 2 1 2 1 1 0 15000 05200 05200 05000 0 +0 0 1 2 2 2 0 2 1 1 1 0 1 2 2 1 05200 15000 00000 00000 2 +0 2 2 2 1 0 0 0 2 1 1 1 1 1 0 1 00000 15000 00000 05200 0 +2 2 2 1 0 1 2 2 0 2 0 1 2 1 1 2 056fd 155e2 04a08 0508b 2 +1 0 2 2 0 2 1 1 1 1 0 0 2 2 2 1 15000 05200 00000 05000 0 +1 1 2 1 1 1 1 2 0 0 0 0 0 0 0 1 149a8 0530a 14a03 14aa9 0 +2 0 1 0 1 2 1 1 2 1 0 0 1 2 0 0 053df 14318 0598e 00000 0 +0 1 0 0 2 0 0 0 1 2 1 1 0 0 1 1 1521e 05874 05023 00000 1 +0 0 0 1 2 2 0 1 0 1 1 0 2 2 2 1 1433a 05ebd 145d3 05cec 0 +1 0 0 1 2 2 1 2 0 0 2 2 0 0 2 0 00000 159c1 14a0e 0512d 3 +1 1 2 0 1 1 1 2 0 0 2 1 2 2 2 2 15470 054fa 00000 14865 1 +2 1 1 0 2 1 1 0 0 1 2 2 2 1 0 2 05954 14a95 15331 1555a 1 +2 2 0 0 2 0 0 2 2 1 0 0 2 2 2 0 15000 05000 00000 05200 1 +1 2 1 1 1 1 2 0 1 2 2 0 2 0 1 0 05200 05200 00000 05000 1 +2 0 0 1 0 2 1 1 2 1 1 1 0 0 1 2 04f6b 049a4 04a92 05312 0 +2 0 0 1 2 1 2 0 0 2 1 0 0 2 1 0 04b1d 00000 04bb4 0565a 1 +2 2 1 2 2 0 1 0 0 0 2 1 1 2 2 2 15000 05200 00000 00000 1 +1 2 2 0 2 1 1 0 2 0 0 1 2 1 0 2 04d42 04bb3 052f2 0450a 2 +2 1 1 0 1 2 2 2 0 2 1 1 0 0 0 1 04d8a 15995 05713 00000 1 +1 0 1 0 1 1 0 1 0 0 1 0 1 2 0 1 15000 05000 15000 05000 2 +0 0 1 2 1 1 1 2 2 1 2 2 2 0 1 0 15709 049af 049a8 14f03 2 +2 1 2 1 2 0 2 2 1 2 1 0 0 0 2 0 15944 14f8e 1459b 147b0 2 +1 2 1 0 0 1 1 0 0 2 2 1 0 0 2 0 00000 15000 05000 05200 2 +1 0 1 0 2 2 0 0 2 2 0 1 1 1 0 1 04d0e 04999 05eaf 14914 1 +1 1 1 1 2 1 0 2 2 1 1 1 2 0 0 0 00000 00000 00000 00000 0 +0 0 2 2 2 2 2 1 0 0 0 1 1 2 1 1 1495c 1515d 050bb 05e97 0 +0 1 2 2 2 2 2 1 0 1 1 0 2 2 2 2 04809 14d81 00000 1585e 0 +0 1 0 1 1 0 0 0 1 2 1 0 1 2 1 0 059be 053b8 04ba7 00000 1 +2 1 2 0 2 1 0 2 1 1 1 0 1 1 0 1 14bbd 05828 14f1a 153d9 1 +2 1 1 2 0 2 0 1 2 2 1 2 2 0 1 2 00000 15803 0569c 04dbb 2 +0 1 0 1 1 0 1 1 0 0 1 2 0 0 1 2 00000 05200 15000 05000 0 +2 0 2 1 1 1 0 2 0 0 1 0 0 0 0 0 04e1a 0543f 04cfa 059b3 0 +1 0 2 0 2 1 1 0 2 0 0 0 1 2 0 0 05200 00000 05000 05000 2 +0 2 1 2 1 2 0 0 2 2 0 0 2 2 0 0 15821 04a26 150e9 14cc6 0 +0 0 1 2 1 1 1 1 2 2 0 1 1 2 0 0 00000 145d6 14e5c 056f1 0 +2 1 2 2 2 2 2 2 2 0 2 1 1 0 2 1 14ea6 049f0 059fb 00000 1 +1 1 0 1 0 1 1 2 1 2 0 2 1 0 2 0 00000 04d3f 153ab 046bc 0 +0 2 1 2 1 0 2 0 0 1 2 0 2 2 0 0 058a3 1533c 1586c 157bf 3 +1 0 1 1 0 1 1 2 1 2 0 2 0 0 1 2 05200 05000 05000 15000 2 +1 2 1 1 1 1 1 1 2 1 2 1 0 2 1 1 04b5c 14b7a 14480 1486d 2 +1 0 1 1 0 1 2 1 0 0 2 0 2 2 1 0 00000 05200 00000 05200 0 +0 1 0 0 2 0 0 1 0 2 0 0 0 1 0 0 150a2 04f51 151b8 14bea 1 +2 2 1 0 0 0 1 1 0 0 1 2 2 1 0 1 00000 15edc 15db7 143c2 1 +2 0 2 0 0 2 2 2 2 0 1 1 0 1 1 2 04401 056b6 00000 057d5 2 +1 2 1 2 0 2 1 0 1 0 1 0 1 1 1 0 048e1 14ef8 1494c 150ab 2 +2 0 1 2 1 2 1 2 0 1 1 1 0 2 2 1 15523 051dd 058c5 0573c 3 +2 0 2 2 2 1 1 2 2 2 1 0 2 2 0 0 05a99 1568d 00000 00000 0 +1 1 1 2 0 0 2 0 0 1 1 2 2 1 0 0 14e9e 14baf 0574e 051d5 1 +2 0 0 0 1 1 1 1 0 1 2 1 0 1 1 1 14daf 05779 158e4 15fdd 1 +0 1 0 2 2 0 1 1 1 2 2 0 1 1 2 2 14e2d 1513b 04860 15838 0 +0 1 2 1 2 2 2 1 1 2 1 2 2 1 2 0 05000 05000 00000 15000 0 +2 1 0 0 2 0 1 0 0 0 0 1 2 1 1 0 050f2 151e8 15534 046b6 2 +0 2 1 0 2 0 2 0 0 2 2 2 0 0 2 1 15f95 04f54 15f00 15e84 3 +1 1 2 2 2 2 1 0 0 1 2 1 2 2 0 0 05a20 00000 148ce 15ab5 0 +1 1 2 1 1 1 0 0 2 0 0 2 1 1 0 1 04a48 14577 0577b 143d3 0 +0 2 1 0 2 0 1 0 1 2 0 0 1 0 0 1 145a0 046de 00000 04fbc 1 +2 2 1 1 2 2 1 0 2 2 0 2 0 1 1 1 14eed 049f1 05045 04886 2 +2 0 0 1 0 1 1 2 2 1 1 2 2 1 2 0 153fa 15605 05253 054bc 0 +2 0 0 2 0 2 2 1 1 0 0 1 0 1 2 1 0508a 148de 0484f 04b58 0 +2 1 1 0 0 0 0 1 1 2 0 2 1 0 2 2 15908 054ee 054a8 14284 1 +2 1 0 0 1 1 0 1 2 1 2 1 0 1 0 0 14ed3 0598c 00000 05374 2 +1 0 1 2 1 2 1 0 0 0 0 2 1 2 0 1 00000 00000 05200 05200 0 +1 1 2 2 1 2 2 1 0 1 0 1 1 0 2 0 15000 15000 05000 05200 3 +1 1 1 0 1 0 0 1 2 2 0 1 0 0 0 0 05222 0595c 1458a 15f36 0 +0 1 2 2 2 1 0 0 1 2 1 1 1 2 1 1 0552e 0526c 14bb6 14ffb 0 +0 1 0 2 2 1 0 0 0 0 2 0 1 0 1 0 00000 1480d 14ff3 00000 1 +0 1 2 0 0 0 2 2 0 2 1 0 2 2 0 2 048ae 14c62 14e2e 05073 0 +1 1 0 0 1 1 0 0 2 1 1 2 1 2 0 0 00000 05200 00000 00000 0 +1 2 0 2 0 0 0 0 0 2 2 0 2 2 0 2 154a6 1456c 04973 00000 0 +1 1 2 0 0 0 2 2 2 1 2 0 0 1 0 1 15000 15000 05200 00000 0 +2 0 2 2 1 1 0 0 2 1 0 2 2 0 1 2 04c0a 159d0 0582d 0490c 2 +2 1 2 0 1 1 2 0 1 2 2 1 2 2 0 2 05707 05d03 00000 15e79 2 +0 2 0 1 2 0 2 0 2 2 2 1 0 2 1 0 157f4 15182 05771 0508d 1 +2 2 2 2 1 1 1 2 0 1 0 2 2 1 2 1 0493c 054f8 04c75 04d71 2 +2 1 2 0 1 0 2 1 1 2 2 2 1 1 2 0 00000 151d4 04b34 05596 0 +1 2 1 0 0 0 1 2 2 0 0 1 2 1 0 1 00000 05000 15000 00000 0 +1 2 2 2 2 2 1 1 0 0 1 2 2 2 1 2 04ffa 14feb 15683 05985 2 +1 0 1 1 0 0 2 1 1 1 1 0 1 1 0 1 05734 144f7 1575d 04f0f 1 +2 1 1 2 2 2 0 2 2 0 1 1 1 1 2 2 00000 1566d 15465 00000 0 +2 2 2 2 1 0 0 2 2 1 2 1 1 0 1 0 14d85 14d03 146a9 149fe 0 +1 0 0 1 2 1 0 2 0 1 1 0 2 0 1 0 05665 00000 15f94 00000 2 +2 2 1 2 0 1 1 0 2 0 0 2 1 2 0 0 049b6 04ba6 05855 04a8d 0 +0 0 2 1 1 0 1 2 2 0 1 1 1 0 0 0 14cfe 04b9d 05637 15287 0 +1 0 0 0 0 2 0 2 0 0 0 1 1 1 1 1 15226 158e5 054cc 15964 0 +1 0 2 1 1 0 0 0 1 1 0 0 0 0 1 1 15924 14a13 15d40 1470f 0 +1 2 2 1 1 1 0 2 0 2 0 0 0 2 0 0 14df0 0487b 14819 04c3c 0 +2 1 2 0 1 2 0 2 2 1 1 2 2 2 1 0 05200 05000 00000 15000 0 +1 0 1 2 1 0 0 1 1 1 0 0 2 1 0 0 050c7 00000 00000 0488a 2 +0 0 2 0 1 1 0 2 1 0 2 2 2 1 0 0 14a2f 05c40 05099 05668 1 +0 0 0 1 2 0 1 2 0 2 0 0 2 2 0 0 14a31 148f8 0524c 1480c 1 +2 2 2 2 2 1 2 0 0 0 1 2 2 1 2 1 05b86 0586c 14ca3 15293 1 +2 1 0 1 2 0 0 1 2 1 0 2 2 2 0 2 00000 0516c 155c7 04f9a 2 +2 2 2 2 2 2 1 0 0 0 0 2 0 2 0 0 059e2 00000 00000 156ca 1 +0 2 1 1 1 1 0 0 2 2 0 2 1 1 1 1 15b2c 05d84 14b7d 14d92 0 +2 2 2 2 2 1 1 1 2 2 0 1 0 2 0 1 05068 155d0 05418 054ac 0 +2 1 2 1 1 1 2 0 2 1 2 0 1 1 1 0 00000 00000 05200 05200 0 +2 2 2 0 2 2 2 2 0 1 2 0 2 0 2 2 04a5e 053ba 04bfd 00000 3 +0 1 0 0 2 0 2 1 1 2 0 0 2 2 0 1 1526a 00000 14f4d 00000 1 +2 2 1 2 0 0 0 0 0 0 1 0 2 1 0 2 00000 05a9b 1563c 00000 1 +0 2 2 0 1 0 1 1 2 2 2 0 2 2 1 0 15000 00000 15000 15000 0 +0 0 1 0 1 2 1 1 0 1 1 0 0 0 1 2 05144 15716 14b04 14a0c 1 +2 2 1 0 1 1 1 2 0 2 0 1 0 0 1 1 14d4f 15b23 15ba5 04bfd 0 +0 0 2 0 2 0 0 2 1 2 2 0 1 2 0 1 00000 15000 15000 05000 0 +1 1 2 1 0 1 0 0 0 0 2 2 0 1 0 2 00000 14e4f 1497b 1595e 3 +0 2 0 0 0 0 0 2 2 1 1 0 2 1 2 0 1480e 153b6 157bb 0543b 0 +2 0 1 0 0 1 0 1 1 1 0 2 1 0 1 0 15a17 1509e 153dd 14d90 1 +2 1 2 1 1 0 2 2 1 2 1 2 0 2 2 1 1515b 14cbb 05583 0583b 0 +0 2 2 1 0 1 2 0 2 0 0 2 2 2 1 2 00000 00000 00000 00000 0 +1 1 0 1 0 2 2 2 1 2 1 2 1 2 1 2 159b5 04f3b 0452d 05e1e 0 +0 2 1 0 0 2 0 0 1 1 2 1 1 1 2 1 00000 05000 05200 15000 1 +2 2 1 2 1 2 2 0 2 1 2 0 0 1 2 0 15a2d 04abb 04a6e 05f22 1 +0 2 0 1 1 2 1 1 2 1 2 1 1 1 0 0 14ee8 14dbc 149ed 156cc 0 +1 2 2 1 2 0 1 1 0 1 0 1 1 2 2 0 150b7 00000 04b1f 04c6b 3 +0 1 1 1 1 1 1 2 0 2 0 2 2 1 2 0 04ab9 04cdd 00000 0572f 0 +2 2 2 2 2 0 1 0 0 2 1 0 2 1 1 0 15833 14821 15bdc 05a64 1 +0 1 0 0 1 0 1 1 0 0 0 2 2 0 1 1 049cc 04a92 153cb 049e8 2 +2 1 0 0 1 0 2 2 0 2 2 0 2 0 0 2 00000 00000 15000 00000 1 +0 2 1 0 0 1 1 0 1 2 1 2 0 0 1 2 00000 00000 05000 05200 2 +2 0 2 2 0 2 0 2 0 2 0 0 0 0 2 2 155c7 152f8 0530d 15571 1 +0 2 2 0 2 1 2 2 0 2 2 2 2 2 1 2 05253 14951 14e76 04bf3 0 +2 0 2 2 2 1 2 2 0 1 0 1 2 0 0 1 0596c 04be9 04907 0503f 2 +2 1 0 1 2 1 1 1 2 0 0 0 1 0 2 0 04ef0 0576b 1422b 14706 0 +2 1 2 2 0 0 1 0 0 2 2 2 0 2 2 0 153a5 14c81 15889 05638 0 +0 2 0 1 0 2 0 2 1 2 1 1 0 0 2 2 15411 05ccd 15254 149bc 3 +0 2 0 2 0 0 2 1 1 2 2 0 0 1 1 1 00000 14d20 04c7f 148d6 0 +0 1 0 0 1 1 2 1 2 1 2 2 0 0 0 1 1578c 05417 04a1c 15869 1 +1 0 0 2 0 0 0 1 0 2 0 2 2 2 0 0 15000 00000 00000 05200 2 +1 0 1 0 1 2 0 1 2 0 0 1 2 2 2 2 00000 15000 05200 00000 0 +0 1 2 0 2 2 1 1 0 0 0 0 2 0 0 1 052da 05605 14964 158f8 2 +0 2 2 1 2 1 0 1 2 0 2 1 1 0 1 2 05408 15844 04e3a 14b23 3 +2 1 1 1 0 2 2 1 1 1 1 0 1 0 2 2 14808 05300 04f63 1485a 0 +0 1 1 2 2 1 2 1 0 2 1 2 2 1 0 0 048f6 00000 04dcf 1490a 0 +2 2 0 2 2 0 1 2 2 2 0 2 0 0 2 2 142c4 05e5c 15375 05d34 0 +1 2 2 0 2 1 2 1 1 0 0 0 0 2 2 1 05000 00000 15000 00000 1 +1 1 2 2 0 2 1 0 2 1 0 2 2 1 1 1 04df1 05c4c 04fa6 143a6 0 +0 0 1 0 1 0 0 2 2 0 2 1 0 1 0 0 00000 14be4 054ae 05329 3 +2 1 1 1 0 1 0 2 2 0 0 2 1 2 0 1 04a85 055ea 143e4 159a8 0 +2 1 0 2 2 0 0 0 2 2 0 2 1 1 2 0 04720 15586 1564f 00000 0 +1 1 0 2 0 1 1 2 0 0 2 1 0 1 2 1 15f46 14d9a 14b8e 05867 1 +2 1 1 2 1 2 1 0 2 2 1 0 2 0 0 1 14315 14579 00000 157ee 3 +1 1 2 0 1 0 0 2 2 1 1 1 1 1 0 0 15000 00000 15000 00000 1 +2 1 1 0 1 2 1 0 1 2 2 1 2 0 2 1 05e03 05b5c 04447 05135 0 +1 0 1 2 2 1 2 2 1 2 2 0 2 2 0 2 15000 00000 05000 15000 1 +1 0 0 1 1 1 2 2 1 2 0 2 0 2 2 1 04b26 05068 1467d 1588a 1 +0 0 0 2 2 0 0 2 0 1 0 1 2 2 0 2 05374 058a3 14a74 14d46 0 +1 1 2 0 2 1 2 0 1 0 1 1 1 1 0 1 0538c 15bb3 15091 15e96 1 +2 0 0 1 2 1 1 2 1 1 2 0 0 2 2 0 05400 04a09 15501 1485c 0 +0 0 2 2 2 1 0 2 1 1 2 2 0 2 1 2 047a8 058e7 14381 00000 2 +2 0 2 2 1 2 0 1 2 1 2 2 1 0 0 2 052b7 04919 14a4e 159a1 3 +2 2 1 1 1 1 0 2 1 0 1 0 1 2 1 1 054f4 15469 0557b 0548c 0 +0 2 1 2 0 0 1 2 1 1 0 2 1 0 1 1 145e3 15f11 04ed3 048cf 1 +1 0 0 0 0 1 2 1 1 1 1 1 0 1 1 2 04c01 04c3a 1524d 00000 0 +0 1 0 2 2 0 0 0 1 2 1 0 0 1 2 2 05000 05000 00000 05000 1 +2 0 2 0 2 1 0 0 2 2 1 1 2 1 0 0 05a50 15ae6 0483c 05606 0 +1 1 1 1 1 1 0 2 1 1 0 1 1 0 0 1 149ad 052cc 058ce 048b7 2 +0 1 2 0 0 0 2 1 0 1 2 2 1 0 2 2 14eac 15410 00000 14d39 1 +2 0 1 1 2 0 1 2 2 2 1 1 0 2 0 0 049e3 05a7d 00000 045a9 3 +2 2 1 1 2 2 1 0 1 1 0 0 1 1 2 1 05796 00000 050e8 15b5a 3 +0 1 0 2 1 1 1 0 2 1 2 2 1 1 1 1 15a94 15565 1550d 00000 0 +2 0 1 0 1 2 0 0 0 1 1 1 1 1 1 1 14821 1511d 04dc9 14dfd 1 +1 0 2 0 2 0 2 0 1 1 0 1 2 2 1 1 15487 14dcb 150f8 00000 1 +0 1 2 1 0 2 2 2 1 0 2 2 0 1 0 1 058d2 14e2c 053e8 15875 0 +2 1 0 1 0 1 0 2 2 2 2 2 2 0 1 1 056d3 15840 057bd 051db 2 +2 2 1 0 2 1 0 0 2 1 0 2 2 0 1 1 00000 14c59 00000 14fe6 0 +2 2 0 1 2 1 1 1 1 0 0 0 2 0 2 0 05200 15000 00000 05000 2 +2 1 2 1 1 2 2 2 1 1 1 2 1 2 1 0 14bf6 15685 053e5 14bc4 3 +2 1 1 0 1 0 0 1 2 2 2 1 0 2 0 2 15dcd 04ef0 05df2 151a7 2 +0 2 2 2 0 0 0 2 1 1 1 2 2 1 1 1 14948 15611 0528b 00000 1 +0 2 2 1 0 0 2 0 0 2 0 0 2 0 0 0 04863 1589c 051e6 054b7 0 +0 2 1 1 0 0 2 0 1 2 1 1 2 0 1 2 0574a 04c42 0518d 0499d 1 +1 0 1 2 0 1 2 2 0 1 2 1 2 2 0 0 055da 047e8 0555c 04a4e 1 +1 1 0 2 2 1 2 2 1 0 0 1 0 2 1 1 05200 00000 05200 15000 2 +2 0 1 0 0 1 2 1 1 2 1 1 2 0 2 1 00000 05200 00000 00000 0 +2 2 1 0 1 0 2 1 1 1 0 1 1 1 1 2 148a4 158d6 15163 0515e 1 +0 1 1 2 0 1 1 0 1 0 1 0 2 2 1 1 153d4 0482b 0480d 04971 2 +0 1 2 2 1 0 0 0 0 1 1 1 0 2 2 1 1591a 154e8 04f31 0481a 3 +2 0 2 1 0 2 1 2 1 1 2 2 1 2 2 2 15360 0497b 04b65 15895 0 +0 0 0 0 1 1 0 2 1 2 0 0 2 2 2 1 15588 158af 14e4a 057e4 2 +1 2 2 2 2 1 0 2 2 0 1 0 1 0 1 1 145c3 15f74 00000 05d68 3 +1 2 2 1 0 0 0 0 1 0 2 1 2 1 1 0 15182 15955 056a2 14bca 0 +2 1 2 0 0 0 0 1 2 2 0 0 1 1 2 2 00000 05a9a 0471b 15090 0 +1 0 2 1 2 0 1 1 1 2 1 0 2 1 2 0 0563d 059c2 04e36 14a43 1 +2 0 0 1 0 0 0 1 1 2 0 2 2 1 2 2 149cb 04b43 05692 153c9 1 +2 2 2 0 2 2 2 2 2 2 0 1 1 1 2 0 14295 00000 05cf7 04b47 0 +2 2 2 0 0 1 2 2 0 0 1 0 0 1 1 1 0521d 1593e 14e5e 0509b 0 +0 2 0 1 0 1 2 1 1 1 0 1 2 2 2 1 14e20 15256 04f1b 05862 1 +0 1 0 2 2 0 1 2 2 1 1 1 0 2 1 0 15000 00000 00000 00000 0 +0 0 2 1 2 0 2 0 0 0 0 2 0 1 2 0 04e8f 057b5 04d5b 051a5 0 +1 2 1 1 2 1 0 0 0 0 1 2 1 1 1 0 00000 05000 00000 15000 1 +2 0 1 1 0 2 0 1 2 1 2 1 0 1 1 0 00000 1473d 04562 05b15 0 +1 1 2 0 1 0 0 2 0 1 2 1 2 2 2 2 14df9 04fb7 14c62 05737 0 +1 0 0 2 0 2 0 2 2 1 1 1 0 1 1 2 15b25 142fa 04305 04e20 0 +0 2 0 2 0 1 1 0 2 2 0 1 0 1 1 0 15000 05200 05000 05000 0 +2 2 2 1 0 1 2 0 1 0 0 2 2 2 1 1 051ef 00000 14c9f 00000 0 +0 1 2 1 2 0 2 1 0 0 0 0 0 0 2 1 05ec2 04d25 05189 049c4 0 +2 2 1 1 1 1 2 1 1 2 1 0 2 2 0 2 157bc 04a54 04c36 14e9c 3 +2 2 1 2 1 1 0 1 2 1 1 0 2 0 1 2 156ea 0517c 053fd 15752 1 +1 2 2 0 1 0 2 0 1 2 1 0 2 0 0 2 00000 00000 00000 15269 0 +2 1 2 2 2 2 2 1 0 2 2 1 2 0 1 1 04a4e 04bd9 00000 04ccf 1 +0 1 0 0 0 0 2 0 0 2 1 2 1 1 1 0 15000 05000 00000 00000 1 +0 1 1 2 2 2 1 0 1 1 0 0 2 0 0 2 00000 05000 00000 00000 3 +1 2 2 1 2 2 1 0 2 0 1 2 2 1 1 2 00000 05000 00000 00000 1 +1 2 2 0 0 2 0 1 2 1 0 2 2 2 1 2 05200 05200 05000 15000 0 +1 0 1 1 1 2 2 2 0 1 0 1 1 1 2 0 1483d 15117 14e5c 14bdd 3 +2 2 0 0 2 2 0 0 2 0 1 0 0 1 1 0 04e07 04aee 154a1 14cc6 0 +1 0 2 2 1 0 1 1 1 1 2 2 1 1 1 0 056c1 00000 04515 157a5 0 +1 1 2 2 0 1 1 2 0 1 0 1 0 2 2 0 05571 1545a 14fd5 15010 0 +1 2 1 0 0 1 1 2 2 0 0 0 0 2 1 2 04352 144e4 153e1 05741 2 +2 1 2 1 0 1 1 1 0 1 2 2 0 2 0 2 1486f 14df0 15465 04d2f 2 +1 1 2 1 1 0 0 2 1 2 0 2 1 0 1 2 15951 00000 1596b 14ae6 1 +2 1 2 1 1 0 1 2 2 0 2 0 1 0 1 2 04a7a 149bb 0558a 14c30 0 +2 2 1 2 1 0 2 1 0 1 1 1 2 2 2 1 0557d 045c9 14a4c 04af5 3 +2 2 2 2 0 0 0 0 0 1 0 0 1 0 2 0 04386 05d82 14bfb 15ca8 3 +2 2 1 0 0 1 2 2 1 1 0 1 1 1 1 2 14e3e 15a8c 05705 053cf 1 +0 1 2 0 1 2 0 1 2 0 2 1 0 0 0 0 15000 15000 15000 05000 2 +0 2 0 1 2 1 0 2 0 1 0 0 1 1 2 2 15e32 154b5 04be1 14a3a 1 +1 0 1 0 1 0 2 1 2 0 0 1 1 0 0 1 144bd 04355 150aa 14b76 0 +1 2 1 1 0 2 1 2 0 1 0 1 2 0 2 2 04d48 14859 00000 04de6 0 +2 0 0 2 0 1 1 1 1 2 2 1 2 2 2 0 158cf 05afe 05f19 153b3 0 +0 0 2 1 2 2 1 0 2 0 2 0 1 1 0 2 15e85 00000 14b8f 148b8 0 +0 2 0 2 2 0 1 0 2 2 0 0 0 0 1 0 14ccb 04b27 1548e 00000 3 +1 1 0 1 2 1 0 0 2 1 0 1 0 2 1 2 049a7 05889 14c0a 0597d 0 +2 1 1 2 1 0 0 0 0 1 1 1 2 0 2 0 05200 15000 15000 05200 2 +1 2 1 1 2 2 1 0 1 2 2 0 0 1 2 0 00000 05200 05200 05200 1 +0 2 0 1 1 1 1 0 1 0 2 2 2 1 2 2 00000 04cd3 154c7 1590b 1 +0 2 0 1 1 2 2 2 0 2 0 2 0 0 2 1 15000 00000 05000 00000 0 +1 0 2 1 0 1 2 2 0 1 0 1 0 0 2 2 157a3 15ef5 14822 151cf 3 +0 2 1 1 2 2 1 1 0 0 2 2 2 2 0 1 158f2 051f2 15719 0598a 0 +0 2 2 2 1 2 2 1 2 2 0 2 2 2 0 2 14a68 1546d 048af 152cc 1 +0 2 1 0 0 0 1 1 0 1 1 0 2 2 2 1 00000 04bf2 146eb 00000 1 +1 0 1 2 0 2 0 0 0 2 0 1 2 2 2 1 1572b 14fcb 05913 05371 3 +0 2 1 2 1 2 2 0 2 2 0 2 1 2 2 1 1478a 04d96 05a60 04378 0 +2 1 0 1 2 0 2 0 2 0 0 1 1 2 2 2 158da 052d2 15384 050b6 1 +2 0 2 1 1 0 0 1 0 0 0 2 2 0 0 1 14cc2 047cd 05ab8 046cd 2 +2 2 2 0 2 0 2 0 2 0 2 0 0 0 0 1 15ac4 15ec8 14837 14667 3 +2 0 0 0 0 1 0 2 2 1 2 0 2 1 0 2 04275 14a99 05cb5 15bbe 1 +1 1 2 2 0 0 2 0 1 1 1 2 0 1 1 1 00000 15000 15000 15000 1 +2 0 1 0 1 0 2 1 2 0 1 0 2 2 0 1 144d3 04a29 15874 1432b 1 +2 2 1 2 0 0 2 1 2 1 2 0 2 0 0 2 1478f 154e7 05496 14788 3 +0 0 2 2 0 0 0 0 0 1 1 0 2 0 0 1 04d32 14c81 052b9 058b2 2 +0 1 0 0 0 1 2 0 1 0 2 0 0 2 0 1 049fc 14534 14727 14ed0 1 +0 0 0 2 1 1 1 1 1 0 0 2 1 2 2 2 00000 15820 00000 05508 3 +0 0 2 0 0 1 0 1 1 0 0 2 1 1 2 0 05d93 15e96 14709 15384 3 +0 2 1 2 2 0 0 0 0 2 2 1 2 1 2 1 14d42 15713 05410 15382 0 +2 1 0 1 2 2 0 1 0 0 1 1 0 1 2 0 14bae 05cac 05b13 152a3 2 +0 2 0 0 2 2 2 2 0 0 1 0 1 1 1 0 15000 05000 15000 15000 1 +2 2 0 1 1 1 1 2 1 1 0 0 2 2 0 2 00000 15000 00000 00000 1 +2 1 1 2 1 1 1 2 1 0 1 2 1 0 1 1 14220 048d4 049c9 15c59 0 +1 1 0 2 0 2 1 2 1 2 2 2 0 1 0 0 0491e 1526c 15181 14f09 1 +2 2 1 0 2 1 2 0 2 0 0 0 2 2 2 0 00000 04899 14b27 1539d 2 +0 0 2 1 1 1 1 2 2 1 0 1 0 1 0 0 1524a 159b6 00000 04286 0 +1 2 0 0 1 2 1 0 2 2 1 2 1 0 2 1 152db 149c7 04a75 157a9 0 +1 2 1 2 2 0 0 0 1 2 1 2 0 0 0 2 14cc9 0549f 04f4a 04bba 2 +2 1 0 1 1 2 2 0 2 0 1 1 1 2 2 1 14f35 04f2f 15956 15426 0 +0 1 0 0 2 0 2 2 1 0 0 1 1 2 0 1 15487 00000 14e0d 00000 0 +0 1 1 0 2 1 2 2 2 1 0 0 2 2 2 2 1485c 04ba8 14df8 04e7e 1 +0 0 0 1 1 2 1 1 0 2 2 2 0 1 2 0 04e8c 04a27 056f2 158ee 0 +2 1 2 2 0 0 0 2 0 1 2 2 1 1 1 1 00000 00000 1551c 0576e 1 +0 2 0 0 0 0 0 1 0 0 2 0 0 0 2 1 04c9f 14f7f 052dd 053b6 0 +0 0 0 1 0 2 1 2 1 1 0 2 1 0 1 1 055fa 15dc9 1585d 05def 2 +0 2 0 0 1 1 2 0 2 2 0 1 2 2 1 0 00000 05000 05000 05200 1 +2 2 0 2 1 2 2 0 2 2 2 2 1 2 2 1 05f1b 04dd5 04ebc 15de1 0 +2 1 1 1 0 2 1 2 1 0 2 2 0 1 1 1 05000 00000 05000 05200 1 +1 2 0 2 1 2 0 1 2 2 1 2 1 0 0 0 15000 05000 05200 00000 3 +2 1 2 1 0 1 1 2 1 1 2 0 2 2 0 1 05390 00000 1578a 14976 3 +0 2 1 2 2 2 1 0 0 2 0 2 1 2 0 0 15808 052a3 04fa5 14a77 3 +2 0 0 2 0 1 2 1 2 0 1 1 0 1 2 2 00000 04422 157e0 04a0e 0 +1 0 0 0 0 1 1 0 0 1 2 2 2 2 0 0 00000 1490f 1480a 14a99 1 +1 0 1 2 2 1 1 1 2 0 1 1 1 2 0 0 04dd4 14ed2 05148 04d9a 2 +2 2 2 0 2 2 1 0 2 0 2 2 0 2 0 1 00000 04bca 051be 05352 3 +2 1 1 1 0 1 1 0 1 0 1 0 0 0 1 0 04ed6 1536c 1572b 14847 0 +1 1 1 2 0 1 1 0 0 1 2 2 1 1 2 1 14a83 04705 04456 14ad3 0 +0 0 1 0 2 1 2 2 2 0 2 0 1 2 1 0 05634 142e4 0557c 14360 2 +2 0 1 0 1 0 2 0 1 1 1 1 1 2 2 1 14fee 04dc0 04f60 00000 2 +0 0 2 0 2 1 1 0 1 0 0 1 1 1 2 2 04f2b 04f69 0591b 14e22 3 +2 1 2 0 2 2 0 0 2 0 2 2 0 1 2 0 151cc 14203 00000 0496b 2 +1 1 2 0 1 2 0 0 1 1 2 1 0 1 1 2 15ef0 05e49 158e6 14480 2 +1 0 0 1 0 1 2 0 0 1 1 1 2 2 0 0 053f7 14977 14bb0 00000 1 +2 1 1 2 1 1 2 2 0 0 0 2 1 1 0 0 149ed 15625 152fe 14e1d 0 +2 2 1 2 0 0 1 2 1 1 2 1 1 1 2 1 00000 14d8c 04c89 00000 0 +1 2 1 1 1 1 1 1 0 0 0 0 0 0 1 2 0573d 048bc 053b6 15048 3 +0 1 1 2 1 2 2 0 0 1 2 2 1 2 2 0 14de5 14f11 158e7 15475 0 +2 0 0 0 2 2 0 1 0 1 0 2 1 0 1 2 0555a 049a6 1580f 00000 3 +2 1 1 0 2 2 0 1 1 0 0 2 1 2 1 2 05d2e 14255 147bc 14261 2 +1 2 2 2 1 1 2 2 1 2 2 2 1 1 1 0 1532c 05352 1551b 05672 1 +2 1 0 2 1 1 1 0 1 0 0 2 2 0 1 1 05200 00000 05000 15000 1 +2 2 2 2 2 1 1 2 0 2 0 0 2 2 1 0 048e5 057ab 043c7 14ba1 3 +2 2 2 0 1 1 2 2 0 1 1 0 2 2 2 0 154a6 1530a 056c4 05197 2 +0 2 0 0 2 2 1 0 1 2 2 1 0 1 1 1 04825 04dec 00000 00000 0 +2 2 2 0 1 0 2 2 2 2 2 1 0 0 0 2 05200 05200 00000 05200 0 +2 1 2 1 2 1 0 2 1 2 0 0 0 1 1 2 05751 00000 0490f 04e65 0 +0 0 0 2 0 2 1 0 2 2 2 0 2 2 0 0 155d0 052be 15331 05960 1 +1 1 0 2 0 0 2 0 1 1 0 1 1 2 2 0 05fb9 045fe 14a3f 1503d 1 +2 1 2 0 0 0 0 0 2 0 1 0 1 1 1 2 1592f 1508e 050e4 156f9 3 +2 0 0 0 2 0 0 1 0 0 1 0 2 2 0 2 04c20 042e2 144e4 05c46 3 +0 0 2 1 1 1 1 0 0 2 0 2 1 1 0 0 04e54 150a9 15398 153dd 0 +1 1 0 2 2 2 2 2 1 2 0 1 1 1 0 1 15661 0584c 04b37 05193 0 +1 0 2 1 2 1 1 2 2 1 1 1 1 1 2 2 05607 1431e 1483f 15664 1 +0 1 1 1 2 0 0 2 2 2 2 1 0 0 2 1 14a3b 04b1c 15048 150f6 1 +2 0 2 1 0 0 1 1 0 0 0 0 0 2 0 2 0560b 04f7a 04dcb 05471 0 +1 1 0 1 2 0 2 2 2 2 2 0 1 2 1 0 15052 0500d 04c22 058dc 2 +0 2 1 2 0 2 0 1 0 2 2 1 0 1 0 1 14b9d 0532e 04d60 00000 1 +1 1 0 0 1 2 0 2 2 0 2 1 0 1 1 1 04969 05213 0439e 048a2 2 +0 1 2 1 2 1 0 2 2 0 1 0 0 1 2 1 05733 14a76 058fe 14ad1 0 +2 1 0 1 1 1 2 1 0 1 0 2 1 2 0 2 14cb1 15fe8 05262 15787 1 +1 0 2 0 2 0 1 1 2 0 1 2 1 2 0 1 05000 05000 05200 05200 3 +0 2 1 0 2 0 0 1 0 0 2 0 0 1 2 2 1426f 15c5a 00000 00000 2 +2 2 2 1 2 2 2 0 1 2 2 1 1 0 2 1 00000 05200 00000 05200 1 +1 2 1 0 1 0 2 1 1 1 0 0 1 1 1 1 1578f 14290 048e0 04384 0 +2 0 1 1 0 1 0 0 2 0 1 0 1 1 2 0 00000 05823 050f6 0449f 1 +1 2 2 0 2 0 0 0 1 0 1 2 1 2 0 0 00000 15043 00000 00000 1 +1 1 0 2 0 0 0 1 2 0 0 2 0 0 0 2 049da 1542f 00000 15214 1 +1 2 2 2 0 2 2 2 2 2 2 1 0 0 0 0 149eb 14324 00000 145b9 0 +1 1 2 1 0 2 2 2 0 0 0 1 1 2 2 2 05200 05000 05200 15000 3 +2 1 1 2 0 2 0 1 0 1 0 1 2 1 1 0 04962 04f4d 158f7 058ee 2 +1 1 0 0 1 0 2 1 2 2 1 0 0 0 2 2 00000 00000 04623 14904 0 +1 0 0 0 1 2 2 2 0 1 1 1 0 1 2 1 1446c 14de0 150d3 14d44 3 +0 0 0 2 1 2 2 1 0 2 2 1 1 1 0 1 05000 15000 05000 00000 0 +1 0 2 1 1 0 1 0 2 2 0 0 0 1 2 2 04e64 04d5c 14c78 15390 2 +0 2 0 1 2 2 0 2 2 0 2 1 0 0 1 1 00000 05097 14ee9 154f5 0 +2 1 1 2 0 1 0 1 0 0 0 0 0 1 2 1 00000 00000 05200 15000 0 +1 2 2 1 0 2 1 0 2 2 2 1 1 1 2 1 142aa 15de8 04983 15845 2 +2 1 1 2 0 1 2 2 1 1 1 2 1 2 2 0 149c2 14b5e 0555d 15829 0 +2 1 0 1 1 0 2 0 1 1 0 0 0 0 0 1 05000 15000 00000 05000 0 +0 1 1 0 0 1 2 2 0 1 0 2 1 1 0 1 04f0f 05a1a 05f0d 04da8 1 +1 1 0 2 1 0 0 0 2 0 2 2 2 1 1 0 05a9c 05fc8 1495e 04957 0 +0 0 2 1 0 2 2 0 1 2 0 0 0 0 2 2 04afa 14e76 1546d 1534b 1 +2 0 0 0 2 2 2 0 2 1 1 2 0 2 0 0 05412 055e7 053ad 00000 2 +0 0 2 0 1 1 0 0 0 1 0 2 2 0 1 2 00000 151ac 0497c 04ad1 2 +1 2 1 1 2 2 0 1 1 0 2 1 0 2 2 0 15445 04b15 04903 00000 3 +1 0 1 0 0 1 0 2 1 2 2 0 1 0 1 2 054a1 15eae 14c03 15d90 1 +0 0 0 1 0 1 2 2 2 2 0 0 1 1 1 2 05298 00000 14dc0 0542f 3 +1 1 1 0 0 0 2 1 0 1 2 1 1 0 1 0 055b6 05552 04e9c 04a87 0 +2 2 2 0 2 0 0 2 2 1 1 1 1 1 2 1 05000 05200 15000 05000 0 +1 1 2 1 0 0 2 0 2 2 2 1 2 0 1 1 00000 00000 15000 00000 2 +0 2 0 0 2 0 1 2 0 0 0 1 0 0 1 0 05a9d 00000 14dfd 05350 1 +1 1 0 1 0 2 0 2 0 1 0 1 0 0 1 2 14fb3 0562f 1549d 153d4 3 +1 1 0 2 1 0 2 2 1 1 2 0 0 2 2 0 04848 14906 14a2e 0518f 0 +2 1 2 0 1 0 2 1 0 1 0 0 1 2 0 1 00000 05000 05200 05200 2 +0 1 0 2 0 0 0 1 1 1 0 0 0 1 2 1 15000 05000 05000 00000 1 +0 2 1 2 2 0 0 2 1 2 1 0 0 2 0 2 15000 00000 05000 15000 1 +1 0 0 2 1 1 2 2 1 1 1 1 2 2 0 2 055bb 14d98 050a8 14f93 3 +0 1 1 0 1 0 1 0 0 2 2 0 1 1 2 0 05200 05200 05000 00000 0 +1 0 2 2 1 2 2 1 1 0 1 0 1 1 0 1 148cd 00000 04a07 15e94 3 +1 1 2 0 0 1 2 2 2 1 2 2 2 1 0 1 1489f 00000 14440 00000 3 +0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 05c75 14ba5 00000 05914 0 +2 1 1 2 0 0 0 0 1 1 0 1 1 0 0 0 15000 05000 05200 05200 2 +1 0 0 1 0 1 1 2 2 0 0 1 0 1 0 2 00000 04fde 15a84 04ddd 0 +1 1 1 0 0 0 1 0 0 2 2 1 0 2 0 2 15193 043d2 14e46 14d49 1 +1 2 0 2 2 0 2 2 1 1 2 1 1 0 2 2 04bcd 1523f 148a9 04799 0 +0 0 0 0 0 1 1 1 0 2 1 1 0 2 2 1 04d1d 14a5a 04f1d 14f95 0 +2 2 2 0 2 2 0 0 2 2 0 0 2 0 0 2 00000 14b09 0450a 05a78 1 +0 0 2 1 2 0 0 0 0 0 1 0 0 2 1 0 15eb3 049f1 158fa 1429e 1 +0 0 0 2 1 2 2 1 2 2 2 2 0 1 1 0 1583c 04de9 058dc 059fc 0 +1 0 1 0 1 1 0 1 1 1 2 1 0 2 0 0 00000 14e1d 051d9 05585 3 +0 0 1 1 2 1 1 0 1 0 1 1 0 2 2 1 05000 05000 05000 00000 2 +0 1 2 0 2 0 2 1 2 1 0 1 1 1 1 2 1545d 1506c 14b36 05814 1 +2 2 0 2 1 1 1 2 2 0 2 2 0 0 0 2 15000 05200 00000 05000 1 +0 1 0 1 0 1 1 0 0 0 2 0 1 1 1 2 04d7c 159c9 04b87 15f8c 3 +2 0 2 2 2 0 2 2 2 2 1 0 1 1 1 2 05ccd 14be9 05026 14954 0 +2 1 2 2 2 0 2 0 0 1 0 2 1 0 2 0 1559e 04bd1 055a6 14993 0 +2 2 1 2 2 2 1 1 1 1 0 2 1 1 1 2 146d3 15e23 1554c 04b9d 0 +2 1 2 0 2 0 0 2 0 0 0 1 2 2 1 1 00000 04a86 15da4 1587e 1 +0 2 2 2 0 2 1 2 1 1 0 1 1 0 0 1 14460 05a5e 1504c 00000 0 +1 1 2 0 2 0 2 1 2 2 1 2 0 0 0 1 00000 1577f 05f20 14281 0 +0 0 2 0 2 1 2 0 1 0 0 1 0 1 1 1 00000 00000 15000 05200 0 +2 2 0 1 0 2 0 0 0 1 2 1 1 0 1 1 05fb9 145e3 00000 0564b 1 +1 2 2 0 2 2 1 0 2 2 2 1 0 2 0 1 15250 05cda 054f5 15fb6 0 +2 0 2 2 2 0 0 2 0 0 1 1 1 1 2 1 14c89 00000 00000 00000 0 +0 0 0 1 0 2 1 0 0 1 1 2 1 2 2 2 00000 15082 14a58 151c2 3 +0 0 2 0 2 0 2 1 1 2 2 1 0 2 0 2 143ec 00000 043db 00000 1 +0 0 1 1 1 1 1 1 0 1 0 0 1 1 0 0 04403 00000 05623 058b0 0 +1 1 0 0 2 1 0 1 2 2 1 0 1 2 2 2 04bba 14892 14f43 0536a 2 +0 0 2 0 1 0 1 2 1 0 1 1 2 1 0 1 14f56 0570b 058a2 15248 0 +2 1 1 2 0 1 1 0 2 0 2 0 2 0 1 0 00000 00000 15000 00000 0 +2 2 1 0 1 0 2 1 2 0 2 2 2 2 1 1 15e40 0500f 1523b 00000 0 +0 0 0 0 0 2 1 1 1 1 1 0 2 1 0 1 05618 00000 00000 054f7 1 +1 0 2 2 2 2 1 2 2 2 1 1 2 2 0 0 05200 05200 05200 15000 0 +1 1 1 2 1 1 1 0 0 1 0 1 1 1 0 1 14af7 00000 04279 152b7 0 +0 1 0 1 1 2 0 1 1 0 0 2 0 2 2 1 05bb8 15d2b 14ad5 15157 0 +2 1 2 0 0 2 2 0 2 0 2 0 1 2 2 1 05000 05000 05000 00000 2 +2 0 0 1 1 2 2 0 1 2 0 2 2 1 0 2 05e6d 04f61 14fb2 143ad 2 +2 0 0 1 1 1 1 2 0 0 2 1 1 2 0 2 15f6a 1458b 152a0 15665 0 +0 2 0 1 0 0 2 0 1 0 0 1 2 0 1 1 04d7c 04d6a 04a91 14fc1 1 +1 1 2 0 0 2 1 0 0 2 2 2 1 0 0 2 14cec 15145 150ee 05253 2 +1 2 0 1 2 1 2 1 0 1 2 0 0 2 2 2 155cf 15325 05760 00000 2 +1 0 1 1 0 1 0 2 1 0 1 2 1 2 1 2 05804 04ea8 04de6 04c18 0 +0 1 1 1 1 1 0 1 2 1 2 1 0 2 0 2 04d5a 15065 15317 04ed0 2 +1 2 2 2 2 2 1 1 1 1 0 1 0 1 1 1 15423 04209 0519e 14775 0 +1 0 1 1 0 0 2 2 1 2 2 1 0 2 1 0 04d4a 054f4 05c86 14dc9 2 +0 1 1 0 0 1 0 1 2 0 2 2 0 2 2 2 04d66 05280 14eb5 00000 2 +2 0 0 1 1 2 1 2 2 1 1 0 1 0 2 1 05512 04942 14873 1545d 0 +0 1 0 2 1 0 1 1 0 0 0 0 0 0 0 1 00000 0567b 04fc7 00000 0 +0 1 0 2 1 2 2 1 1 2 2 0 1 2 2 0 14eb9 0477f 0582e 051c0 0 +2 0 2 0 1 2 1 1 0 2 2 2 1 2 1 2 04315 05f15 150b5 15cde 0 +0 1 0 1 0 0 0 1 1 1 2 0 0 0 1 0 157cb 15862 00000 14b24 0 +1 1 1 1 0 0 2 1 1 1 1 1 2 0 0 1 052ef 15094 15381 14da4 2 +0 2 2 0 0 2 0 2 2 0 2 1 2 2 1 1 00000 04b41 058cd 15594 0 +1 2 2 2 0 1 2 1 1 1 1 1 1 1 0 1 048f2 14a60 14fb7 00000 3 +2 0 0 2 0 1 0 1 0 0 1 2 0 2 2 1 15287 00000 055b6 04ea5 0 +2 2 1 2 1 2 2 2 0 2 2 2 0 2 2 1 00000 0458b 14f20 00000 3 +1 2 0 1 1 2 1 1 1 2 0 0 1 2 1 1 0496c 0432f 00000 05116 0 +1 1 2 1 2 1 2 2 2 0 0 2 2 0 2 1 04adb 043b0 04b2b 04f0e 3 +2 0 1 1 2 2 0 2 1 2 0 0 1 1 0 2 04839 159af 050e8 14ae3 1 +2 0 0 2 0 2 1 2 1 2 1 1 2 1 1 1 05200 00000 00000 05000 2 +1 0 0 1 1 2 1 0 0 1 1 1 0 2 2 1 05200 05200 05000 00000 2 +2 2 2 2 1 2 0 0 0 2 2 2 2 1 1 2 00000 05668 14985 00000 1 +1 1 0 1 2 0 1 2 0 1 2 1 2 1 2 1 048d3 14820 15166 0590c 1 +2 0 1 1 2 2 0 0 0 0 1 1 1 2 0 2 14899 153b6 054fa 05597 0 +1 0 1 2 1 0 2 0 1 2 0 0 2 1 2 1 05200 05200 05200 05000 1 +1 2 2 1 1 0 0 2 0 0 0 0 2 0 2 2 00000 15000 00000 05000 0 +1 2 1 2 1 0 0 1 0 1 2 1 2 1 0 1 14c3d 0434a 15fd6 00000 1 +1 0 2 0 1 0 1 2 1 0 0 0 1 0 1 2 00000 14d34 15c4e 05e18 3 +2 0 0 1 2 2 0 0 2 0 2 2 2 0 2 2 04aeb 1564b 04efb 057ba 0 +1 2 2 2 1 1 2 2 1 1 1 0 1 2 0 0 15592 05930 05656 059a1 2 +2 1 2 2 0 0 1 2 1 1 1 1 1 0 0 1 14e80 14371 1470c 00000 3 +0 0 0 1 1 0 0 2 0 0 1 0 2 0 1 0 14f44 056de 14c48 15284 0 +2 1 2 0 2 0 1 0 0 2 0 1 0 0 2 0 144ec 04e8c 158db 04485 2 +1 2 0 1 0 1 0 0 2 0 2 2 2 1 1 1 05139 00000 15671 1548a 1 +1 1 0 1 0 0 2 0 2 0 2 0 2 0 0 0 0495c 04969 15659 156da 0 +1 1 1 0 2 1 2 2 2 1 0 1 0 0 0 0 14f37 15542 04fb1 15110 0 +0 1 1 2 0 2 0 2 0 0 2 2 0 2 0 1 04b87 15488 15358 15695 0 +1 2 1 2 0 2 0 0 1 1 0 1 1 1 0 0 00000 05000 00000 05000 0 +2 2 2 1 2 1 0 2 2 0 0 1 1 2 1 2 14dc8 05627 15574 14928 2 +0 2 2 2 2 1 1 1 1 1 1 2 1 1 1 0 05200 05000 05200 00000 1 +0 2 1 1 2 0 1 0 1 1 2 1 1 2 1 1 00000 00000 00000 14e45 2 +1 0 2 2 2 1 2 0 1 2 1 2 0 2 0 1 14ff6 059ed 15493 15606 2 +0 0 1 2 2 2 0 0 2 1 2 2 2 2 0 2 050ce 0532a 154ca 05be2 0 +1 1 2 1 0 2 0 0 2 2 0 2 0 0 0 2 00000 1573b 057b3 0509a 0 +0 1 0 2 1 0 0 2 1 0 2 0 1 2 0 2 05200 05000 05000 05200 3 +0 2 0 1 0 1 1 2 2 1 1 1 0 0 1 1 151cd 05168 157c7 1504a 0 +1 2 0 1 0 0 0 1 1 1 1 0 2 0 2 0 05200 00000 00000 05200 1 +2 0 1 0 1 1 2 2 1 2 0 2 0 2 0 0 00000 15000 05000 05000 0 +0 0 1 0 2 2 1 0 2 0 1 1 0 1 2 2 05184 00000 04eca 056f1 2 +2 2 0 0 0 1 1 2 1 2 2 1 0 2 1 1 048ac 15556 0528f 14f7e 2 +1 0 2 2 1 0 1 0 0 0 0 0 1 2 2 1 00000 04c1d 150b4 00000 0 +0 0 2 2 2 0 2 0 0 1 0 2 2 1 1 2 00000 15cf8 045c4 0466c 2 +1 0 2 2 0 1 2 0 1 0 1 1 0 1 0 1 1475f 05d2b 1494b 15562 2 +2 0 1 2 1 2 1 0 2 1 0 0 0 1 2 1 053e6 05170 04d01 042ff 0 +1 0 0 0 0 0 2 1 1 1 2 2 0 1 1 2 14dc3 14d3b 14a46 00000 1 +1 2 2 0 2 0 1 0 2 0 2 0 2 0 0 1 15864 04fe5 05389 148a9 0 +2 2 1 2 2 0 1 1 0 1 1 2 2 2 1 1 053b2 0596a 1523b 058fb 2 +0 2 0 0 1 2 2 0 1 0 0 0 1 0 0 1 15744 05730 055d4 15637 0 +0 0 1 1 2 1 1 0 1 0 2 0 2 2 2 2 15372 04827 0543d 053a9 1 +0 1 2 1 0 2 0 1 0 1 1 2 1 2 2 1 00000 04e3b 04a80 14be7 1 +0 2 2 1 2 1 2 1 0 1 1 2 0 2 1 1 155d6 150d3 153e5 00000 3 +2 1 1 1 0 2 2 1 0 2 0 0 2 2 1 0 00000 04bf1 0516d 05ad6 0 +1 2 0 2 2 0 0 0 0 2 1 2 1 0 0 1 15000 05200 00000 15000 2 +0 0 1 1 1 0 2 2 1 0 2 0 2 0 1 2 14acd 050df 052cd 15c54 0 +2 2 2 0 0 0 1 1 2 1 2 2 1 0 0 0 05e6e 14b93 00000 0466b 0 +2 0 0 1 2 0 1 1 2 0 2 2 1 0 2 1 05391 14683 15250 056c1 1 +2 1 2 0 1 0 2 1 1 0 0 1 1 2 2 2 05263 0551d 050ad 0515e 0 +0 0 2 1 1 2 1 0 0 2 0 1 0 1 1 0 04d07 14f5a 05307 00000 3 +1 1 0 2 0 0 1 0 1 2 2 1 1 1 0 2 14f17 05288 14dbb 14f2f 2 +1 2 0 2 2 1 2 0 0 2 2 0 1 1 1 1 14ad7 150df 0591f 154d2 0 +1 0 1 2 0 0 2 2 2 0 2 2 0 2 2 0 154bb 15ed4 14591 14a30 1 +2 2 0 2 0 0 0 1 2 2 1 1 2 2 2 0 15000 15000 00000 15000 0 +2 0 1 2 2 1 0 1 0 0 2 1 1 2 2 1 04cc4 15d97 0429f 15dba 2 +0 2 0 1 2 2 0 1 2 0 1 0 1 1 2 2 04d54 149cd 05606 04427 1 +1 1 1 0 0 1 1 1 2 0 1 1 0 2 0 2 14cef 148f5 05992 05669 2 +2 0 2 2 2 2 2 2 2 0 1 0 2 2 2 2 00000 05200 15000 15000 1 +2 0 2 1 2 0 1 1 0 0 1 2 0 2 1 2 0528b 051e6 00000 00000 1 +2 0 1 0 2 1 0 1 1 0 0 0 1 2 2 0 15000 05200 05200 05000 1 +1 0 1 1 1 1 0 0 0 2 1 1 2 2 0 0 05355 00000 152f5 1573d 0 +2 2 0 2 0 1 0 0 0 0 1 2 1 2 1 2 15153 148e8 055bd 15436 0 +1 2 2 2 1 1 2 1 0 2 2 1 2 1 2 0 0527b 04861 04ba8 04f43 1 +1 0 0 1 1 0 1 1 0 0 0 1 2 0 0 0 1497d 150e4 05436 00000 1 +2 2 2 2 2 0 2 0 2 2 1 1 1 2 0 1 15edd 00000 05f97 04f5f 0 +2 0 1 0 1 2 0 1 1 0 2 1 1 0 0 1 043b2 15627 14aae 05aa4 0 +1 1 0 1 1 1 2 2 2 0 0 1 1 1 1 2 1476a 05b13 04dc6 00000 1 +0 2 0 2 1 0 0 2 1 2 0 1 1 1 0 1 157fc 151de 14b5a 052be 0 +1 1 2 2 0 0 2 0 2 0 1 0 0 1 2 2 1420b 15f21 04bd6 04d72 3 +1 1 1 1 0 0 1 1 2 2 1 1 2 2 0 1 05200 00000 00000 00000 1 +0 2 0 2 2 0 2 1 2 0 1 0 0 0 2 0 158b0 049a2 149b2 04e98 0 +1 1 1 2 0 2 1 1 2 2 1 1 2 1 2 2 157b5 14b07 0506f 04c37 0 +0 2 1 2 0 1 0 0 0 0 0 0 2 1 1 0 056ed 15645 04809 150ed 0 +1 2 1 1 0 0 0 1 1 1 1 0 1 1 0 2 05000 15000 00000 00000 3 +0 0 0 2 0 0 0 1 2 2 2 0 1 1 1 1 158d4 05825 044c5 1443f 0 +2 0 1 2 0 0 0 2 1 2 1 2 1 2 0 2 04a25 04bf4 14c22 14b1b 3 +1 0 2 2 2 0 1 1 0 1 1 2 1 2 2 0 1512e 05745 1479c 15ce3 0 +0 2 2 2 2 0 2 1 0 1 1 0 2 1 2 1 14c3d 15351 14c7a 15090 0 +2 0 0 2 1 1 1 2 0 1 0 2 1 0 1 0 159ee 04f26 00000 15359 0 +2 1 1 2 2 0 2 1 0 1 2 1 1 1 2 1 14dfb 14813 14cc5 0485a 0 +2 2 2 2 0 0 2 1 0 0 1 2 0 1 0 2 05200 05200 05200 05200 0 +0 2 1 2 0 2 1 1 0 0 2 2 2 1 1 1 04267 1441a 1572f 04ee7 2 +2 1 1 2 1 0 1 2 2 2 0 2 2 0 2 0 1575f 00000 14df4 14692 1 +2 0 2 2 1 0 0 1 0 0 0 2 2 0 0 2 142ff 14bdd 04320 04628 1 +1 2 1 2 2 1 0 0 2 0 1 0 2 2 0 0 15000 05000 00000 00000 0 +0 2 2 2 2 2 0 1 0 2 2 2 2 2 2 0 153b9 05029 052f0 158d6 0 +1 0 0 2 1 2 2 2 1 2 1 0 1 0 1 2 14518 15b15 05e3b 05188 0 +2 1 1 0 1 2 2 0 0 2 1 2 2 1 1 0 053b8 14aff 15493 15754 1 +1 0 0 0 1 1 2 1 0 0 2 1 0 1 1 1 1493e 05660 0506b 04dec 2 +1 1 1 2 2 2 0 1 2 1 2 2 2 1 0 1 1594e 05014 057da 15850 3 +0 1 1 2 0 0 0 2 1 2 0 1 2 2 2 2 05200 15000 05000 00000 1 +1 1 2 2 2 0 2 1 2 2 1 0 1 0 0 2 0482d 04f27 04366 049ca 1 +1 1 1 2 2 1 2 2 2 0 0 0 1 2 2 1 04c02 00000 00000 05adc 2 +2 2 2 1 1 0 2 2 2 0 0 1 2 0 0 2 00000 15000 05000 00000 3 +1 1 2 0 2 1 2 2 2 1 0 2 0 2 1 1 14a80 0526a 15422 04c05 1 +1 2 0 1 2 2 2 2 2 2 1 1 1 1 0 2 054bf 15582 053ee 14b25 3 +0 0 0 2 2 2 2 1 2 2 0 1 0 1 2 0 151a3 00000 05df8 04a91 1 +0 1 0 1 1 2 2 2 2 2 1 0 1 0 2 2 04d07 04aba 156a0 05639 1 +0 1 1 0 0 1 0 0 0 2 1 2 2 1 0 1 157dd 05322 14c52 15717 1 +2 2 1 0 0 1 2 0 2 1 1 1 0 0 0 1 05200 00000 05000 15000 0 +0 1 2 0 0 2 1 2 1 1 1 1 1 2 1 0 1546a 00000 056d9 15ad5 3 +0 0 1 2 2 1 2 0 0 1 2 0 0 1 2 0 04bd0 15640 158ce 05155 1 +0 1 2 2 2 2 0 2 1 0 2 1 1 2 1 1 00000 05000 05200 15000 0 +0 1 0 2 2 2 0 2 0 0 0 0 2 1 1 0 04b45 14e90 0573a 05519 0 +0 2 2 0 1 2 1 1 0 1 2 0 2 0 1 1 00000 04a54 0527d 14950 1 +1 1 0 1 0 1 2 0 2 2 2 0 1 1 1 2 00000 05200 05000 00000 3 +2 1 0 2 0 1 1 1 2 1 0 1 2 2 1 0 146fc 14668 15ead 04c42 2 +2 1 0 2 0 0 0 2 1 2 0 2 1 2 0 2 143ae 0429e 14b27 15039 1 +0 2 0 0 0 1 1 0 0 0 2 0 0 2 2 0 14972 00000 15be6 15d29 1 +1 0 2 0 1 0 1 1 2 2 2 1 0 0 1 1 14ed3 152d0 154eb 14ce8 0 +2 2 2 2 1 2 0 0 0 2 2 0 0 2 1 1 15454 05cbb 054dd 050c1 0 +0 1 2 1 1 0 0 0 1 2 0 0 2 1 2 0 05c2a 05ec3 14747 159c6 1 +0 2 1 0 2 1 1 0 1 1 2 1 1 2 1 2 14a98 049b0 15c68 0431e 1 +0 0 0 0 2 2 1 1 1 0 2 0 0 2 1 0 1595e 04dc0 14f13 00000 1 +1 0 0 1 2 0 1 0 0 0 1 2 0 0 2 1 0440c 05505 00000 050cf 0 +2 0 2 1 0 1 1 0 2 2 2 2 0 2 1 0 05577 150c7 05ca7 15076 3 +0 2 1 1 0 2 1 1 1 1 0 2 1 2 2 2 00000 15000 00000 00000 0 +1 2 1 1 2 0 2 0 1 2 0 1 0 1 1 2 14fdd 14eb7 15a93 00000 1 +2 2 2 1 2 0 2 1 1 1 0 2 0 1 2 0 156d7 14931 1498c 00000 2 +1 1 1 1 1 0 2 1 0 2 2 2 1 1 0 1 1536f 1537e 1446c 05c31 0 +1 0 1 0 0 1 2 0 1 1 1 0 0 2 0 0 05246 04f97 00000 14339 3 +1 0 2 2 2 0 1 2 0 1 2 1 1 0 0 1 053d0 04d9a 05501 056b4 1 +2 2 0 0 0 1 1 1 1 1 2 1 0 1 0 2 00000 14877 04dd8 055b4 2 +0 1 2 1 1 2 2 2 2 2 0 0 0 1 2 2 0568b 15dc0 15e1f 14b53 1 +2 1 0 1 2 0 1 2 0 0 1 0 0 2 1 2 04bdf 0530d 0534c 158c9 0 +1 1 0 0 1 0 2 0 0 2 1 1 1 1 2 0 00000 058b7 00000 04d1a 0 +0 2 0 1 0 1 0 2 0 0 2 1 0 2 2 0 15fe5 04ff8 14435 14b6a 1 +1 0 2 2 2 2 0 0 2 2 2 1 0 1 0 0 00000 00000 14e29 00000 2 +1 0 0 0 1 2 1 2 2 2 1 0 1 0 2 1 057fa 048e0 05376 15103 1 +1 2 2 0 0 2 2 2 2 0 2 2 2 0 2 1 05134 15990 14dbd 1489f 0 +2 2 0 0 0 0 0 2 1 2 2 2 0 1 1 0 04f9e 0577f 04bd5 15287 3 +1 1 0 2 0 2 1 2 2 1 0 1 2 1 2 2 05200 00000 15000 00000 0 +1 2 2 0 2 1 0 2 1 2 0 0 1 1 0 2 00000 05000 05000 00000 1 +2 0 0 1 0 1 2 0 1 1 2 1 1 1 2 1 1498f 15f33 057c6 04b82 1 +1 0 2 0 2 1 1 1 0 1 2 1 1 2 0 1 049e1 0591f 04af1 14a92 0 +1 0 2 2 0 0 0 1 0 2 0 1 0 0 0 0 14ce4 04a6f 14cca 00000 0 +2 2 0 2 0 2 1 2 0 2 1 2 1 2 0 1 00000 049e6 056d6 1591f 3 +0 2 0 2 0 1 0 2 0 0 1 0 0 2 0 2 14e84 14dbc 14746 14a9a 2 +2 1 1 0 1 2 0 0 0 2 0 1 0 1 2 0 15823 050d0 15934 152e1 0 +0 0 0 1 2 2 2 1 0 0 0 0 1 2 0 2 0578b 1501d 0525f 14b19 3 +2 2 1 1 0 0 1 1 0 2 2 1 2 1 1 0 14faa 14c6b 14b19 1492a 0 diff --git a/docs/NOW.md b/docs/NOW.md index a18389a1f..f6e1c5cf9 100644 --- a/docs/NOW.md +++ b/docs/NOW.md @@ -1,3 +1,18 @@ +# NOW — feat(spec): capstone GF-T classifier (MLP→logits→argmax→class) (2026-08-06) + +Last updated: 2026-08-06 + +## feat(spec): end-to-end GF-T classifier — the whole stack in one module (Refs #1764) + +- Branch: `feat/gft-classifier4` + +### Что легло +- `specs/ternary/gft_classifier4.t27` (`GftClassifier4`): the **capstone** — four GF-T16 activations → hidden layer (2 BitNet neurons, sign→trit) → re-embed {N→−1.0, Z→0, P→+1.0} → output layer of **4 LOGIT-neurons** (raw signed GF-T sum, **no** activation → a real-valued GF-T logit per class) → **argmax** over the 4 logits → predicted class index {0,1,2,3}. This fuses `gft_mlp3` (deep BitNet×GF-T inference) with `gft_argmax4` (the classification head) into one module: **activations → MLP → GF-T logits → class**. +- Verification: **bit-exact to the ideal oracle over 400 vectors** (`tests/gft_classifier4_vectors.txt`), iverilog `$fscanf` in `bootstrap/tests/gft_classifier4.rs`. Doubly-grounded oracle (integer HW model AND exact-float64 logit-sum + argmax; the re-embedded hidden acts are exact ±1.0/0 so the output sums are exact in float64 → non-circular; 0/400 disagreements). Two in-spec `test`s (`hand`, `all_zero`) cross-checked against the Python oracle. +- No compiler change (`on_comb`, 20 ports: 16 trit weights + 4 acts). Fresh seal `.trinity/seals/ternary_GftClassifier4.json` (`seal --verify` MATCH). New integration test 400/400. + +--- + # NOW — feat(spec): 3-layer GF-T MLP (4→3→2→1) (2026-08-06) Last updated: 2026-08-06 diff --git a/specs/ternary/gft_classifier4.t27 b/specs/ternary/gft_classifier4.t27 new file mode 100644 index 000000000..c003b96ea --- /dev/null +++ b/specs/ternary/gft_classifier4.t27 @@ -0,0 +1,147 @@ +module GftClassifier4; +// #1764 + GF-T: the CAPSTONE end-to-end GF-T classifier -- the whole stack in one +// module. Four GF-T16 activations -> hidden layer (2 BitNet neurons, sign->trit) +// -> re-embed {N->-1.0, Z->0, P->+1.0} -> output layer of 4 LOGIT-neurons (signed +// GF-T sum, NO activation -> a raw GF-T logit per class) -> argmax over the 4 +// logits -> the predicted class index {0,1,2,3}. Combines gft_mlp3 (deep BitNet x +// GF-T inference) with gft_argmax4 (the classification head): activations -> MLP +// -> real-valued GF-T logits -> class. Bit-exact to the ideal oracle over 400 +// vectors (tests/gft_classifier4_vectors.txt). +// +// Weights: trit u8 {N=0,Z=1,P=2}. Activations: signed GF-T16 in u32. +// Output: class index u8 in {0,1,2,3}. + +fn magadd(a: i32, b: i32) -> i32 { + var ao : i32 = a >> 9; var am : i32 = a & 511; + var bo : i32 = b >> 9; var bm : i32 = b & 511; + var ho : i32 = bo; var hm : i32 = bm; var lo : i32 = ao; var lm : i32 = am; + if (ao >= bo) { ho = ao; hm = am; lo = bo; lm = bm; } + var hs : i32 = 512 + hm; var ls : i32 = 512 + lm; + var d : i32 = ho - lo; if (d > 11) { d = 11; } + var losh : i32 = ls >> d; var rem : i32 = ls - (losh << d); + var s : i32 = hs + losh; var off : i32 = ho; var mant : i32 = s - 512; + if (s >= 1024) { + var g : i32 = s & 1; var pre : i32 = s >> 1; mant = pre - 512; + if (g == 1) { if (rem > 0) { mant = mant + 1; } else { if ((pre & 1) == 1) { mant = mant + 1; } } } + off = ho + 1; if (off >= 80) { off = 80; } + } else { + var t : i32 = rem << 1; var hf : i32 = 1 << d; + if (t > hf) { mant = mant + 1; } else { if (t == hf) { if ((s & 1) == 1) { mant = mant + 1; } } } + } + if (mant >= 512) { mant = 0; off = off + 1; if (off >= 80) { off = 80; } } + return (off << 9) | mant; +} +fn magsub(hi: i32, lo: i32) -> i32 { + if (hi == lo) { return 0; } + var ho : i32 = hi >> 9; var hm : i32 = hi & 511; + var lo_o : i32 = lo >> 9; var lm : i32 = lo & 511; + var d : i32 = ho - lo_o; var hs : i32 = (512 + hm) << 14; + var la : i32 = 0; var sticky : i32 = 0; + if (d >= 26) { la = 0; sticky = 1; } + else { var ls : i32 = (512 + lm) << 14; la = ls >> d; if ((ls - (la << d)) > 0) { sticky = 1; } } + var diff : i32 = hs - la; var off : i32 = ho; + if (diff < 8388608) { if (off > 1) { diff = diff << 1; off = off - 1; } } + if (diff < 8388608) { if (off > 1) { diff = diff << 1; off = off - 1; } } + if (diff < 8388608) { if (off > 1) { diff = diff << 1; off = off - 1; } } + if (diff < 8388608) { if (off > 1) { diff = diff << 1; off = off - 1; } } + if (diff < 8388608) { if (off > 1) { diff = diff << 1; off = off - 1; } } + if (diff < 8388608) { if (off > 1) { diff = diff << 1; off = off - 1; } } + if (diff < 8388608) { if (off > 1) { diff = diff << 1; off = off - 1; } } + if (diff < 8388608) { if (off > 1) { diff = diff << 1; off = off - 1; } } + if (diff < 8388608) { if (off > 1) { diff = diff << 1; off = off - 1; } } + if (diff < 8388608) { if (off > 1) { diff = diff << 1; off = off - 1; } } + if (diff < 8388608) { if (off > 1) { diff = diff << 1; off = off - 1; } } + if (diff < 8388608) { if (off > 1) { diff = diff << 1; off = off - 1; } } + var q : i32 = diff >> 14; var rem : i32 = diff - (q << 14); var half : i32 = 8192; var mant : i32 = q - 512; + if (rem > half) { mant = mant + 1; } + else { if (rem == half) { if (sticky == 1) { mant = mant + 1; } else { if ((q & 1) == 1) { mant = mant + 1; } } } } + if (mant >= 512) { mant = 0; off = off + 1; if (off >= 80) { off = 80; } } + return (off << 9) | mant; +} +fn sadd(a: u32, b: u32) -> u32 { + if (a == 0) { return b; } + if (b == 0) { return a; } + var sa : i32 = (a >> 16) as i32; var ma : i32 = (a & 65535) as i32; + var sb : i32 = (b >> 16) as i32; var mb : i32 = (b & 65535) as i32; + if (sa == sb) { return ((sa << 16) | magadd(ma, mb)) as u32; } + var bsign : i32 = sa; + var r : i32 = magsub(ma, mb); + if (ma < mb) { r = magsub(mb, ma); bsign = sb; } + if (r == 0) { return 0; } + return ((bsign << 16) | r) as u32; +} +fn contrib(w: u8, a: u32) -> u32 { + if (w == 2) { return a; } + if (a == 0) { return 0; } + if (w == 0) { return a ^ 65536; } + return 0; +} +fn activate(s: u32) -> u8 { + if (s == 0) { return 1; } + if ((s >> 16) == 1) { return 0; } + return 2; +} +fn trit2gft(t: u8) -> u32 { + if (t == 2) { return 20480; } + if (t == 0) { return 86016; } + return 0; +} +// hidden BitNet neuron: sign(sum of 4 taps) -> trit. +fn neuron4(w0: u8, a0: u32, w1: u8, a1: u32, w2: u8, a2: u32, w3: u8, a3: u32) -> u8 { + var acc : u32 = sadd(sadd(contrib(w0, a0), contrib(w1, a1)), + sadd(contrib(w2, a2), contrib(w3, a3))); + return activate(acc); +} +// output LOGIT neuron: raw signed GF-T sum of 2 taps (NO activation). +fn logit2(w0: u8, a0: u32, w1: u8, a1: u32) -> u32 { + return sadd(contrib(w0, a0), contrib(w1, a1)); +} +// sign category for the argmax total order: zero->1, positive->2, negative->0. +fn category(a: u32) -> u8 { + if (a == 0) { return 1; } + if ((a >> 16) == 0) { return 2; } + return 0; +} +fn gt(a: u32, b: u32) -> u8 { + var ca : u8 = category(a); + var cb : u8 = category(b); + if (ca != cb) { if (ca > cb) { return 1; } return 0; } + var ma : u32 = a & 65535; + var mb : u32 = b & 65535; + if (ca == 2) { if (ma > mb) { return 1; } return 0; } + if (ca == 0) { if (ma < mb) { return 1; } return 0; } + return 0; +} + +// The whole classifier: 4 acts -> 2 hidden trits -> 4 GF-T logits -> argmax. +fn on_comb(wh0_0: u8, wh0_1: u8, wh0_2: u8, wh0_3: u8, + wh1_0: u8, wh1_1: u8, wh1_2: u8, wh1_3: u8, + wo0_0: u8, wo0_1: u8, wo1_0: u8, wo1_1: u8, + wo2_0: u8, wo2_1: u8, wo3_0: u8, wo3_1: u8, + a0: u32, a1: u32, a2: u32, a3: u32) -> u8 { + // hidden layer -> 2 re-embedded GF-T activations. + var h0 : u32 = trit2gft(neuron4(wh0_0, a0, wh0_1, a1, wh0_2, a2, wh0_3, a3)); + var h1 : u32 = trit2gft(neuron4(wh1_0, a0, wh1_1, a1, wh1_2, a2, wh1_3, a3)); + // output layer -> 4 raw GF-T logits. + var l0 : u32 = logit2(wo0_0, h0, wo0_1, h1); + var l1 : u32 = logit2(wo1_0, h0, wo1_1, h1); + var l2 : u32 = logit2(wo2_0, h0, wo2_1, h1); + var l3 : u32 = logit2(wo3_0, h0, wo3_1, h1); + // argmax over (l0..l3), lowest index on ties. + var idx : u8 = 0; var best : u32 = l0; + if (gt(l1, best) == 1) { idx = 1; best = l1; } + if (gt(l2, best) == 1) { idx = 2; best = l2; } + if (gt(l3, best) == 1) { idx = 3; best = l3; } + return idx; +} + +// acts +1.0 x4; hidden row0 all +1 -> h0=P(+1.0), row1 all -1 -> h1=N(-1.0). +// logits over (h0=+1.0,h1=-1.0): c0 w=+1,+1 -> 0 ; c1 w=+1,-1 -> +2 ; c2 w=-1,+1 +// -> -2 ; c3 w=Z,Z -> 0. argmax = index 1. +test hand { assert_eq(on_comb(2,2,2,2, 0,0,0,0, 2,2, 2,0, 0,2, 1,1, + 20480,20480,20480,20480), 1); } +// all hidden weights Z -> both hidden Z -> re-embed 0 -> all logits 0 -> tie -> +// lowest index 0. +test all_zero { assert_eq(on_comb(1,1,1,1, 1,1,1,1, 2,2, 2,2, 2,2, 2,2, + 20480,20480,20480,20480), 0); } +endmodule