diff --git a/cpp/Makefile b/cpp/Makefile
index 37396bb2cfbd58c7594cefd0f8eb46ecec5a6fd9..3da471776c31b2c52446224ba5263e8379e04c3d 100644
--- a/cpp/Makefile
+++ b/cpp/Makefile
@@ -11,6 +11,7 @@ CXXFLAGS += -DNDEBUG
 CXXFLAGS += -Wno-int-in-bool-context
 
 TARGETS += switchchain
+TARGETS += switchchain_canonical_creationfreqs
 TARGETS += switchchain_canonical_properties
 TARGETS += switchchain_ccm_constructionrate
 TARGETS += switchchain_ccm_cputime
diff --git a/cpp/switchchain_canonical_creationfreqs.cpp b/cpp/switchchain_canonical_creationfreqs.cpp
new file mode 100644
index 0000000000000000000000000000000000000000..9007ff950edcbabe2e028b5890fa98b8cc565071
--- /dev/null
+++ b/cpp/switchchain_canonical_creationfreqs.cpp
@@ -0,0 +1,134 @@
+#include "exports.hpp"
+#include "graph.hpp"
+#include "graph_powerlaw.hpp"
+#include "graph_spectrum.hpp"
+#include "switchchain.hpp"
+#include <algorithm>
+#include <fstream>
+#include <iostream>
+#include <numeric>
+#include <random>
+#include <vector>
+
+
+int main(int argc, char* argv[]) {
+    // Simulation parameters
+    const int numVerticesMin = 10000;
+    const int numVerticesMax = 10000;
+    const int numVerticesStep = 1000;
+
+    float tauValues[] = {2.1f, 2.5f, 2.9f};
+
+    auto getMixingTime = [](int n, float tau) {
+        return int(100.0f * (50.0f - 5.0f * (tau - 2.0f)) * n);
+    };
+    auto getMeasurements = [](int n, float tau) {
+        (void)n;
+        (void)tau;
+        return 5000000;
+    };
+
+    // Output file
+    std::ofstream outfile;
+    if (argc >= 2)
+        outfile.open(argv[1]);
+    else
+        outfile.open("graphdata_canonical_creationfreqs.m");
+    if (!outfile.is_open()) {
+        std::cout << "ERROR: Could not open output file.\n";
+        return 1;
+    }
+
+    // Output Mathematica-style comment to indicate file contents
+    outfile << "(*\n";
+    outfile << "n from " << numVerticesMin << " to " << numVerticesMax
+            << " step " << numVerticesStep << std::endl;
+    outfile << "tauValues: " << tauValues << std::endl;
+    outfile << "Canonical degree sequence.\n";
+    outfile << "mixingTime: 100 * (50 - 5 (tau - 2)) n\n";
+    outfile << "measurements: 5000000\n";
+    outfile << "measureSkip: 0\n";
+    outfile << "histogram is conditioned on successful switches\n";
+    outfile << "data:\n";
+    outfile << "1: {n,tau}\n";
+    outfile << "2: { {delta1, freq1} , {delta2, freq2} , ... }\n";
+    outfile << "3: {successful switches, total attempted switches}\n";
+    outfile << "*)" << std::endl;
+
+    // Mathematica does not accept normal scientific notation
+    outfile << std::fixed;
+    outfile << '{' << '\n';
+    bool outputComma = false;
+
+    Graph g;
+    for (int numVertices = numVerticesMin; numVertices <= numVerticesMax;
+         numVertices += numVerticesStep) {
+        for (float tau : tauValues) {
+            DegreeSequence ds;
+            generateCanonicalPowerlawGraph(numVertices, tau, g, ds);
+
+            SwitchChain chain;
+            if (!chain.initialize(g)) {
+                std::cerr << "Could not initialize Markov chain.\n";
+                return 1;
+            }
+
+            std::cout << "Running (n,tau) = (" << numVertices << ',' << tau
+                      << "). " << std::flush;
+
+            // Mix
+            int mixingTime = getMixingTime(numVertices, tau);
+            for (int i = 0; i < mixingTime; ++i) {
+                chain.doMove();
+            }
+
+            std::cout << "Mixing done. " << std::flush;
+
+            int range = 500;
+            // Keep track of [-range, range]
+            std::vector<int> frequencies(2*range+1, 0);
+            // frequencies[x+range] corresponds to frequency of x
+            // clip anything outside of range to range!
+
+            int prevTriangles = chain.g.countTriangles();
+            chain.g.getTrackedTriangles() = prevTriangles;
+
+            int movesDone = 0;
+            int measurements = getMeasurements(numVertices, tau);
+            for (int i = 0; i < measurements; ++i) {
+                if (chain.doMove(true)) {
+                    ++movesDone;
+                    int newTriangles = chain.g.getTrackedTriangles();
+                    int diff = newTriangles - prevTriangles;
+                    prevTriangles = newTriangles;
+                    // Add 'diff' to histogram
+                    if (diff < -range)
+                        diff = -range;
+                    else if (diff > range)
+                        diff = range;
+                    frequencies[diff+range]++;
+                }
+            }
+
+            std::cout << "Measuring done. " << std::flush;
+
+            std::vector<std::pair<int, int>> histogram;
+            for (int i = -range; i <= range; ++i) {
+                histogram.push_back(std::make_pair(i, frequencies[i + range]));
+            }
+
+            if (outputComma)
+                outfile << ',' << '\n';
+            outputComma = true;
+
+            outfile << '{' << '{' << numVertices << ',' << tau << '}';
+            outfile << ',' << histogram;
+            outfile << ',' << '{' << movesDone << ',' << measurements << '}';
+            outfile << '}' << std::flush;
+
+            std::cout << "Output done." << std::endl;
+        }
+    }
+    outfile << '\n' << '}';
+    return 0;
+}
diff --git a/data/graphdata_canonical_creationfreqs.m b/data/graphdata_canonical_creationfreqs.m
new file mode 100644
index 0000000000000000000000000000000000000000..dcba0cfc30dca0e4197b57a2985967c6c7d26634
--- /dev/null
+++ b/data/graphdata_canonical_creationfreqs.m
@@ -0,0 +1,18 @@
+(*
+n from 10000 to 10000 step 1000
+tauValues: {2.1,2.5,2.9}
+Canonical degree sequence.
+mixingTime: 100 * (50 - 5 (tau - 2)) n
+measurements: 5000000
+measureSkip: 0
+histogram is conditioned on successful switches
+data:
+1: {n,tau}
+2: { {delta1, freq1} , {delta2, freq2} , ... }
+3: {successful switches, total attempted switches}
+*)
+{
+{{10000,2.100000},{{-500,115},{-499,1},{-498,2},{-497,0},{-496,1},{-495,0},{-494,2},{-493,2},{-492,2},{-491,0},{-490,0},{-489,1},{-488,0},{-487,0},{-486,0},{-485,0},{-484,0},{-483,0},{-482,0},{-481,0},{-480,0},{-479,2},{-478,0},{-477,0},{-476,0},{-475,1},{-474,0},{-473,0},{-472,2},{-471,0},{-470,1},{-469,0},{-468,0},{-467,2},{-466,0},{-465,2},{-464,0},{-463,0},{-462,0},{-461,0},{-460,1},{-459,0},{-458,1},{-457,1},{-456,0},{-455,1},{-454,3},{-453,0},{-452,0},{-451,1},{-450,0},{-449,2},{-448,0},{-447,0},{-446,0},{-445,0},{-444,3},{-443,0},{-442,2},{-441,0},{-440,1},{-439,1},{-438,1},{-437,2},{-436,1},{-435,2},{-434,0},{-433,0},{-432,1},{-431,0},{-430,3},{-429,1},{-428,1},{-427,2},{-426,1},{-425,2},{-424,0},{-423,1},{-422,0},{-421,0},{-420,3},{-419,2},{-418,2},{-417,2},{-416,0},{-415,1},{-414,1},{-413,1},{-412,3},{-411,2},{-410,3},{-409,1},{-408,0},{-407,1},{-406,0},{-405,2},{-404,2},{-403,1},{-402,1},{-401,2},{-400,1},{-399,1},{-398,3},{-397,2},{-396,3},{-395,4},{-394,1},{-393,2},{-392,0},{-391,4},{-390,3},{-389,2},{-388,0},{-387,2},{-386,0},{-385,1},{-384,4},{-383,2},{-382,4},{-381,3},{-380,2},{-379,0},{-378,1},{-377,2},{-376,2},{-375,3},{-374,2},{-373,2},{-372,1},{-371,4},{-370,0},{-369,0},{-368,3},{-367,1},{-366,2},{-365,4},{-364,0},{-363,1},{-362,3},{-361,2},{-360,2},{-359,5},{-358,4},{-357,1},{-356,2},{-355,1},{-354,3},{-353,3},{-352,2},{-351,2},{-350,3},{-349,2},{-348,4},{-347,2},{-346,1},{-345,1},{-344,4},{-343,2},{-342,2},{-341,1},{-340,2},{-339,1},{-338,4},{-337,3},{-336,2},{-335,4},{-334,2},{-333,4},{-332,6},{-331,5},{-330,7},{-329,2},{-328,1},{-327,3},{-326,2},{-325,5},{-324,3},{-323,1},{-322,2},{-321,3},{-320,2},{-319,3},{-318,3},{-317,3},{-316,2},{-315,2},{-314,6},{-313,2},{-312,4},{-311,5},{-310,5},{-309,2},{-308,2},{-307,8},{-306,4},{-305,3},{-304,4},{-303,7},{-302,2},{-301,2},{-300,5},{-299,4},{-298,4},{-297,1},{-296,6},{-295,1},{-294,3},{-293,5},{-292,6},{-291,5},{-290,3},{-289,6},{-288,4},{-287,6},{-286,3},{-285,6},{-284,3},{-283,6},{-282,4},{-281,5},{-280,6},{-279,4},{-278,5},{-277,4},{-276,5},{-275,3},{-274,5},{-273,7},{-272,4},{-271,8},{-270,6},{-269,7},{-268,4},{-267,6},{-266,6},{-265,5},{-264,6},{-263,6},{-262,11},{-261,5},{-260,6},{-259,5},{-258,2},{-257,5},{-256,5},{-255,4},{-254,8},{-253,7},{-252,7},{-251,16},{-250,8},{-249,11},{-248,11},{-247,9},{-246,10},{-245,10},{-244,5},{-243,10},{-242,9},{-241,8},{-240,11},{-239,7},{-238,6},{-237,8},{-236,7},{-235,11},{-234,13},{-233,22},{-232,6},{-231,14},{-230,8},{-229,15},{-228,10},{-227,3},{-226,10},{-225,10},{-224,7},{-223,12},{-222,7},{-221,14},{-220,8},{-219,15},{-218,7},{-217,9},{-216,18},{-215,8},{-214,7},{-213,11},{-212,12},{-211,6},{-210,15},{-209,13},{-208,15},{-207,16},{-206,16},{-205,22},{-204,14},{-203,15},{-202,19},{-201,16},{-200,17},{-199,20},{-198,11},{-197,31},{-196,14},{-195,16},{-194,17},{-193,17},{-192,19},{-191,13},{-190,23},{-189,16},{-188,22},{-187,18},{-186,19},{-185,21},{-184,19},{-183,19},{-182,22},{-181,21},{-180,20},{-179,14},{-178,28},{-177,26},{-176,24},{-175,24},{-174,25},{-173,23},{-172,30},{-171,33},{-170,29},{-169,26},{-168,24},{-167,24},{-166,28},{-165,30},{-164,31},{-163,42},{-162,33},{-161,37},{-160,34},{-159,27},{-158,40},{-157,36},{-156,33},{-155,28},{-154,40},{-153,42},{-152,50},{-151,43},{-150,42},{-149,53},{-148,35},{-147,35},{-146,42},{-145,41},{-144,30},{-143,47},{-142,59},{-141,49},{-140,47},{-139,40},{-138,50},{-137,51},{-136,38},{-135,59},{-134,60},{-133,62},{-132,65},{-131,53},{-130,61},{-129,63},{-128,66},{-127,65},{-126,81},{-125,69},{-124,85},{-123,75},{-122,81},{-121,82},{-120,94},{-119,79},{-118,74},{-117,78},{-116,78},{-115,96},{-114,90},{-113,89},{-112,110},{-111,100},{-110,110},{-109,108},{-108,99},{-107,106},{-106,118},{-105,130},{-104,127},{-103,134},{-102,124},{-101,159},{-100,153},{-99,144},{-98,159},{-97,167},{-96,169},{-95,172},{-94,150},{-93,151},{-92,178},{-91,195},{-90,192},{-89,206},{-88,208},{-87,213},{-86,224},{-85,231},{-84,264},{-83,235},{-82,251},{-81,271},{-80,277},{-79,281},{-78,311},{-77,329},{-76,358},{-75,348},{-74,337},{-73,365},{-72,402},{-71,402},{-70,385},{-69,400},{-68,432},{-67,450},{-66,468},{-65,480},{-64,526},{-63,570},{-62,550},{-61,590},{-60,603},{-59,667},{-58,660},{-57,742},{-56,738},{-55,752},{-54,820},{-53,852},{-52,894},{-51,976},{-50,963},{-49,1036},{-48,1141},{-47,1192},{-46,1163},{-45,1274},{-44,1406},{-43,1475},{-42,1566},{-41,1702},{-40,1759},{-39,1893},{-38,1955},{-37,2171},{-36,2250},{-35,2449},{-34,2547},{-33,2685},{-32,3030},{-31,3243},{-30,3419},{-29,3707},{-28,4063},{-27,4291},{-26,4633},{-25,4969},{-24,5404},{-23,5951},{-22,6528},{-21,7074},{-20,7714},{-19,8371},{-18,9340},{-17,10210},{-16,11333},{-15,12550},{-14,14006},{-13,15673},{-12,17716},{-11,20266},{-10,23271},{-9,26698},{-8,31441},{-7,37175},{-6,45065},{-5,55801},{-4,72065},{-3,97457},{-2,143839},{-1,252159},{0,431740},{1,250027},{2,144589},{3,97760},{4,72135},{5,56019},{6,44885},{7,36983},{8,31141},{9,26759},{10,22998},{11,20236},{12,17946},{13,16032},{14,14064},{15,12767},{16,11397},{17,10124},{18,9213},{19,8517},{20,7685},{21,6970},{22,6461},{23,5939},{24,5578},{25,5040},{26,4665},{27,4287},{28,3973},{29,3734},{30,3357},{31,3254},{32,2986},{33,2718},{34,2592},{35,2424},{36,2271},{37,2090},{38,2057},{39,1779},{40,1782},{41,1696},{42,1551},{43,1479},{44,1399},{45,1298},{46,1222},{47,1117},{48,1158},{49,996},{50,1010},{51,940},{52,891},{53,909},{54,813},{55,719},{56,763},{57,680},{58,715},{59,669},{60,625},{61,588},{62,592},{63,550},{64,517},{65,481},{66,496},{67,437},{68,435},{69,396},{70,422},{71,376},{72,398},{73,375},{74,331},{75,302},{76,345},{77,293},{78,292},{79,280},{80,276},{81,252},{82,292},{83,230},{84,238},{85,216},{86,212},{87,233},{88,222},{89,210},{90,203},{91,185},{92,174},{93,165},{94,174},{95,157},{96,169},{97,149},{98,141},{99,167},{100,145},{101,120},{102,138},{103,133},{104,123},{105,123},{106,113},{107,124},{108,108},{109,107},{110,118},{111,118},{112,100},{113,106},{114,93},{115,95},{116,86},{117,90},{118,87},{119,88},{120,90},{121,85},{122,66},{123,96},{124,77},{125,90},{126,74},{127,73},{128,63},{129,67},{130,47},{131,57},{132,57},{133,59},{134,53},{135,55},{136,55},{137,54},{138,44},{139,51},{140,61},{141,45},{142,41},{143,54},{144,37},{145,48},{146,37},{147,44},{148,39},{149,33},{150,42},{151,49},{152,34},{153,39},{154,47},{155,30},{156,30},{157,35},{158,35},{159,38},{160,34},{161,32},{162,27},{163,31},{164,30},{165,37},{166,26},{167,31},{168,27},{169,29},{170,21},{171,30},{172,32},{173,20},{174,27},{175,24},{176,18},{177,17},{178,19},{179,30},{180,25},{181,19},{182,20},{183,24},{184,29},{185,20},{186,17},{187,16},{188,23},{189,21},{190,23},{191,21},{192,14},{193,17},{194,16},{195,15},{196,15},{197,17},{198,20},{199,18},{200,16},{201,14},{202,8},{203,18},{204,14},{205,10},{206,15},{207,14},{208,12},{209,7},{210,11},{211,11},{212,9},{213,8},{214,10},{215,12},{216,13},{217,21},{218,18},{219,16},{220,10},{221,9},{222,16},{223,16},{224,11},{225,13},{226,13},{227,12},{228,8},{229,5},{230,8},{231,6},{232,7},{233,7},{234,16},{235,12},{236,6},{237,10},{238,7},{239,10},{240,12},{241,8},{242,6},{243,6},{244,5},{245,13},{246,10},{247,8},{248,6},{249,6},{250,7},{251,9},{252,6},{253,8},{254,6},{255,9},{256,9},{257,7},{258,6},{259,10},{260,8},{261,6},{262,4},{263,6},{264,7},{265,8},{266,9},{267,6},{268,6},{269,4},{270,3},{271,8},{272,4},{273,4},{274,8},{275,7},{276,5},{277,4},{278,6},{279,3},{280,2},{281,3},{282,3},{283,6},{284,5},{285,3},{286,2},{287,4},{288,1},{289,2},{290,6},{291,2},{292,9},{293,4},{294,5},{295,4},{296,3},{297,4},{298,5},{299,2},{300,2},{301,3},{302,2},{303,3},{304,4},{305,5},{306,4},{307,8},{308,5},{309,4},{310,3},{311,2},{312,4},{313,3},{314,5},{315,1},{316,3},{317,9},{318,1},{319,1},{320,3},{321,4},{322,4},{323,4},{324,2},{325,3},{326,1},{327,1},{328,2},{329,2},{330,2},{331,4},{332,2},{333,4},{334,0},{335,1},{336,2},{337,2},{338,4},{339,7},{340,2},{341,2},{342,7},{343,4},{344,0},{345,1},{346,4},{347,5},{348,3},{349,0},{350,3},{351,4},{352,0},{353,3},{354,2},{355,1},{356,1},{357,3},{358,1},{359,1},{360,3},{361,4},{362,0},{363,0},{364,2},{365,0},{366,2},{367,0},{368,1},{369,3},{370,3},{371,4},{372,0},{373,4},{374,4},{375,0},{376,4},{377,2},{378,4},{379,6},{380,1},{381,2},{382,1},{383,1},{384,1},{385,2},{386,4},{387,2},{388,1},{389,1},{390,2},{391,0},{392,4},{393,0},{394,4},{395,1},{396,2},{397,1},{398,2},{399,1},{400,4},{401,0},{402,1},{403,2},{404,1},{405,4},{406,1},{407,0},{408,3},{409,1},{410,1},{411,2},{412,0},{413,2},{414,2},{415,2},{416,2},{417,4},{418,0},{419,0},{420,0},{421,0},{422,1},{423,0},{424,1},{425,2},{426,2},{427,2},{428,1},{429,0},{430,0},{431,1},{432,0},{433,1},{434,3},{435,0},{436,1},{437,1},{438,0},{439,0},{440,0},{441,2},{442,0},{443,0},{444,3},{445,1},{446,0},{447,0},{448,4},{449,0},{450,2},{451,2},{452,0},{453,1},{454,0},{455,1},{456,2},{457,0},{458,1},{459,2},{460,1},{461,1},{462,2},{463,1},{464,1},{465,0},{466,0},{467,0},{468,0},{469,0},{470,0},{471,0},{472,0},{473,0},{474,3},{475,0},{476,0},{477,1},{478,0},{479,0},{480,1},{481,1},{482,0},{483,0},{484,1},{485,0},{486,0},{487,1},{488,0},{489,0},{490,0},{491,1},{492,3},{493,0},{494,2},{495,0},{496,1},{497,1},{498,1},{499,0},{500,115}},{2481490,5000000}},
+{{10000,2.500000},{{-500,0},{-499,0},{-498,0},{-497,0},{-496,0},{-495,0},{-494,0},{-493,0},{-492,0},{-491,0},{-490,0},{-489,0},{-488,0},{-487,0},{-486,0},{-485,0},{-484,0},{-483,0},{-482,0},{-481,0},{-480,0},{-479,0},{-478,0},{-477,0},{-476,0},{-475,0},{-474,0},{-473,0},{-472,0},{-471,0},{-470,0},{-469,0},{-468,0},{-467,0},{-466,0},{-465,0},{-464,0},{-463,0},{-462,0},{-461,0},{-460,0},{-459,0},{-458,0},{-457,0},{-456,0},{-455,0},{-454,0},{-453,0},{-452,0},{-451,0},{-450,0},{-449,0},{-448,0},{-447,0},{-446,0},{-445,0},{-444,0},{-443,0},{-442,0},{-441,0},{-440,0},{-439,0},{-438,0},{-437,0},{-436,0},{-435,0},{-434,0},{-433,0},{-432,0},{-431,0},{-430,0},{-429,0},{-428,0},{-427,0},{-426,0},{-425,0},{-424,0},{-423,0},{-422,0},{-421,0},{-420,0},{-419,0},{-418,0},{-417,0},{-416,0},{-415,0},{-414,0},{-413,0},{-412,0},{-411,0},{-410,0},{-409,0},{-408,0},{-407,0},{-406,0},{-405,0},{-404,0},{-403,0},{-402,0},{-401,0},{-400,0},{-399,0},{-398,0},{-397,0},{-396,0},{-395,0},{-394,0},{-393,0},{-392,0},{-391,0},{-390,0},{-389,0},{-388,0},{-387,0},{-386,0},{-385,0},{-384,0},{-383,0},{-382,0},{-381,0},{-380,0},{-379,0},{-378,0},{-377,0},{-376,0},{-375,0},{-374,0},{-373,0},{-372,0},{-371,0},{-370,0},{-369,0},{-368,0},{-367,0},{-366,0},{-365,0},{-364,0},{-363,0},{-362,0},{-361,0},{-360,0},{-359,0},{-358,0},{-357,0},{-356,0},{-355,0},{-354,0},{-353,0},{-352,0},{-351,0},{-350,0},{-349,0},{-348,0},{-347,0},{-346,0},{-345,0},{-344,0},{-343,0},{-342,0},{-341,0},{-340,0},{-339,0},{-338,0},{-337,0},{-336,0},{-335,0},{-334,0},{-333,0},{-332,0},{-331,0},{-330,0},{-329,0},{-328,0},{-327,0},{-326,0},{-325,0},{-324,0},{-323,0},{-322,0},{-321,0},{-320,0},{-319,0},{-318,0},{-317,0},{-316,0},{-315,0},{-314,0},{-313,0},{-312,0},{-311,0},{-310,0},{-309,0},{-308,0},{-307,0},{-306,0},{-305,0},{-304,0},{-303,0},{-302,0},{-301,0},{-300,0},{-299,0},{-298,0},{-297,0},{-296,0},{-295,0},{-294,0},{-293,0},{-292,0},{-291,0},{-290,0},{-289,0},{-288,0},{-287,0},{-286,0},{-285,0},{-284,0},{-283,0},{-282,0},{-281,0},{-280,0},{-279,0},{-278,0},{-277,0},{-276,0},{-275,0},{-274,0},{-273,0},{-272,0},{-271,0},{-270,0},{-269,0},{-268,0},{-267,0},{-266,0},{-265,0},{-264,0},{-263,0},{-262,0},{-261,0},{-260,0},{-259,0},{-258,0},{-257,0},{-256,0},{-255,0},{-254,0},{-253,0},{-252,0},{-251,0},{-250,0},{-249,0},{-248,0},{-247,0},{-246,0},{-245,0},{-244,0},{-243,0},{-242,0},{-241,0},{-240,0},{-239,0},{-238,0},{-237,0},{-236,0},{-235,0},{-234,0},{-233,0},{-232,0},{-231,0},{-230,0},{-229,0},{-228,0},{-227,0},{-226,0},{-225,0},{-224,0},{-223,0},{-222,0},{-221,0},{-220,0},{-219,0},{-218,0},{-217,0},{-216,0},{-215,0},{-214,0},{-213,0},{-212,0},{-211,0},{-210,0},{-209,0},{-208,0},{-207,0},{-206,0},{-205,0},{-204,0},{-203,0},{-202,0},{-201,0},{-200,0},{-199,0},{-198,0},{-197,0},{-196,0},{-195,0},{-194,0},{-193,0},{-192,0},{-191,0},{-190,0},{-189,0},{-188,0},{-187,0},{-186,0},{-185,0},{-184,0},{-183,0},{-182,0},{-181,0},{-180,0},{-179,0},{-178,0},{-177,0},{-176,0},{-175,0},{-174,0},{-173,0},{-172,0},{-171,0},{-170,0},{-169,0},{-168,0},{-167,0},{-166,0},{-165,0},{-164,0},{-163,0},{-162,0},{-161,0},{-160,0},{-159,0},{-158,0},{-157,0},{-156,0},{-155,0},{-154,0},{-153,0},{-152,0},{-151,0},{-150,0},{-149,0},{-148,0},{-147,0},{-146,0},{-145,0},{-144,0},{-143,0},{-142,0},{-141,0},{-140,0},{-139,0},{-138,0},{-137,0},{-136,0},{-135,0},{-134,0},{-133,0},{-132,0},{-131,0},{-130,0},{-129,0},{-128,0},{-127,0},{-126,0},{-125,0},{-124,0},{-123,0},{-122,0},{-121,0},{-120,0},{-119,0},{-118,0},{-117,0},{-116,0},{-115,0},{-114,0},{-113,0},{-112,0},{-111,0},{-110,0},{-109,0},{-108,0},{-107,0},{-106,0},{-105,0},{-104,0},{-103,0},{-102,0},{-101,0},{-100,0},{-99,0},{-98,0},{-97,0},{-96,0},{-95,0},{-94,0},{-93,0},{-92,0},{-91,0},{-90,0},{-89,0},{-88,0},{-87,0},{-86,0},{-85,0},{-84,0},{-83,0},{-82,0},{-81,0},{-80,0},{-79,0},{-78,0},{-77,0},{-76,0},{-75,0},{-74,0},{-73,0},{-72,0},{-71,0},{-70,0},{-69,0},{-68,0},{-67,0},{-66,0},{-65,0},{-64,0},{-63,0},{-62,0},{-61,0},{-60,0},{-59,0},{-58,0},{-57,0},{-56,0},{-55,0},{-54,0},{-53,0},{-52,0},{-51,0},{-50,0},{-49,0},{-48,0},{-47,0},{-46,0},{-45,0},{-44,0},{-43,2},{-42,3},{-41,5},{-40,1},{-39,6},{-38,15},{-37,13},{-36,15},{-35,20},{-34,34},{-33,48},{-32,47},{-31,46},{-30,59},{-29,62},{-28,72},{-27,72},{-26,92},{-25,83},{-24,118},{-23,128},{-22,131},{-21,174},{-20,220},{-19,241},{-18,283},{-17,364},{-16,447},{-15,559},{-14,662},{-13,835},{-12,1088},{-11,1415},{-10,1826},{-9,2421},{-8,3426},{-7,4909},{-6,7290},{-5,11351},{-4,18973},{-3,36953},{-2,89473},{-1,362334},{0,3774254},{1,362015},{2,89823},{3,36787},{4,19114},{5,11128},{6,7293},{7,4913},{8,3480},{9,2468},{10,1796},{11,1379},{12,1087},{13,837},{14,679},{15,560},{16,444},{17,362},{18,331},{19,235},{20,193},{21,187},{22,134},{23,119},{24,102},{25,93},{26,84},{27,86},{28,80},{29,51},{30,43},{31,43},{32,47},{33,34},{34,26},{35,34},{36,15},{37,21},{38,19},{39,8},{40,4},{41,5},{42,5},{43,0},{44,1},{45,0},{46,0},{47,0},{48,0},{49,1},{50,0},{51,0},{52,0},{53,0},{54,0},{55,0},{56,0},{57,0},{58,0},{59,0},{60,0},{61,0},{62,0},{63,0},{64,0},{65,0},{66,0},{67,0},{68,0},{69,0},{70,0},{71,0},{72,0},{73,0},{74,0},{75,0},{76,0},{77,0},{78,0},{79,0},{80,0},{81,0},{82,0},{83,0},{84,0},{85,0},{86,0},{87,0},{88,0},{89,0},{90,0},{91,0},{92,0},{93,0},{94,0},{95,0},{96,0},{97,0},{98,0},{99,0},{100,0},{101,0},{102,0},{103,0},{104,0},{105,0},{106,0},{107,0},{108,0},{109,0},{110,0},{111,0},{112,0},{113,0},{114,0},{115,0},{116,0},{117,0},{118,0},{119,0},{120,0},{121,0},{122,0},{123,0},{124,0},{125,0},{126,0},{127,0},{128,0},{129,0},{130,0},{131,0},{132,0},{133,0},{134,0},{135,0},{136,0},{137,0},{138,0},{139,0},{140,0},{141,0},{142,0},{143,0},{144,0},{145,0},{146,0},{147,0},{148,0},{149,0},{150,0},{151,0},{152,0},{153,0},{154,0},{155,0},{156,0},{157,0},{158,0},{159,0},{160,0},{161,0},{162,0},{163,0},{164,0},{165,0},{166,0},{167,0},{168,0},{169,0},{170,0},{171,0},{172,0},{173,0},{174,0},{175,0},{176,0},{177,0},{178,0},{179,0},{180,0},{181,0},{182,0},{183,0},{184,0},{185,0},{186,0},{187,0},{188,0},{189,0},{190,0},{191,0},{192,0},{193,0},{194,0},{195,0},{196,0},{197,0},{198,0},{199,0},{200,0},{201,0},{202,0},{203,0},{204,0},{205,0},{206,0},{207,0},{208,0},{209,0},{210,0},{211,0},{212,0},{213,0},{214,0},{215,0},{216,0},{217,0},{218,0},{219,0},{220,0},{221,0},{222,0},{223,0},{224,0},{225,0},{226,0},{227,0},{228,0},{229,0},{230,0},{231,0},{232,0},{233,0},{234,0},{235,0},{236,0},{237,0},{238,0},{239,0},{240,0},{241,0},{242,0},{243,0},{244,0},{245,0},{246,0},{247,0},{248,0},{249,0},{250,0},{251,0},{252,0},{253,0},{254,0},{255,0},{256,0},{257,0},{258,0},{259,0},{260,0},{261,0},{262,0},{263,0},{264,0},{265,0},{266,0},{267,0},{268,0},{269,0},{270,0},{271,0},{272,0},{273,0},{274,0},{275,0},{276,0},{277,0},{278,0},{279,0},{280,0},{281,0},{282,0},{283,0},{284,0},{285,0},{286,0},{287,0},{288,0},{289,0},{290,0},{291,0},{292,0},{293,0},{294,0},{295,0},{296,0},{297,0},{298,0},{299,0},{300,0},{301,0},{302,0},{303,0},{304,0},{305,0},{306,0},{307,0},{308,0},{309,0},{310,0},{311,0},{312,0},{313,0},{314,0},{315,0},{316,0},{317,0},{318,0},{319,0},{320,0},{321,0},{322,0},{323,0},{324,0},{325,0},{326,0},{327,0},{328,0},{329,0},{330,0},{331,0},{332,0},{333,0},{334,0},{335,0},{336,0},{337,0},{338,0},{339,0},{340,0},{341,0},{342,0},{343,0},{344,0},{345,0},{346,0},{347,0},{348,0},{349,0},{350,0},{351,0},{352,0},{353,0},{354,0},{355,0},{356,0},{357,0},{358,0},{359,0},{360,0},{361,0},{362,0},{363,0},{364,0},{365,0},{366,0},{367,0},{368,0},{369,0},{370,0},{371,0},{372,0},{373,0},{374,0},{375,0},{376,0},{377,0},{378,0},{379,0},{380,0},{381,0},{382,0},{383,0},{384,0},{385,0},{386,0},{387,0},{388,0},{389,0},{390,0},{391,0},{392,0},{393,0},{394,0},{395,0},{396,0},{397,0},{398,0},{399,0},{400,0},{401,0},{402,0},{403,0},{404,0},{405,0},{406,0},{407,0},{408,0},{409,0},{410,0},{411,0},{412,0},{413,0},{414,0},{415,0},{416,0},{417,0},{418,0},{419,0},{420,0},{421,0},{422,0},{423,0},{424,0},{425,0},{426,0},{427,0},{428,0},{429,0},{430,0},{431,0},{432,0},{433,0},{434,0},{435,0},{436,0},{437,0},{438,0},{439,0},{440,0},{441,0},{442,0},{443,0},{444,0},{445,0},{446,0},{447,0},{448,0},{449,0},{450,0},{451,0},{452,0},{453,0},{454,0},{455,0},{456,0},{457,0},{458,0},{459,0},{460,0},{461,0},{462,0},{463,0},{464,0},{465,0},{466,0},{467,0},{468,0},{469,0},{470,0},{471,0},{472,0},{473,0},{474,0},{475,0},{476,0},{477,0},{478,0},{479,0},{480,0},{481,0},{482,0},{483,0},{484,0},{485,0},{486,0},{487,0},{488,0},{489,0},{490,0},{491,0},{492,0},{493,0},{494,0},{495,0},{496,0},{497,0},{498,0},{499,0},{500,0}},{4866736,5000000}},
+{{10000,2.900000},{{-500,0},{-499,0},{-498,0},{-497,0},{-496,0},{-495,0},{-494,0},{-493,0},{-492,0},{-491,0},{-490,0},{-489,0},{-488,0},{-487,0},{-486,0},{-485,0},{-484,0},{-483,0},{-482,0},{-481,0},{-480,0},{-479,0},{-478,0},{-477,0},{-476,0},{-475,0},{-474,0},{-473,0},{-472,0},{-471,0},{-470,0},{-469,0},{-468,0},{-467,0},{-466,0},{-465,0},{-464,0},{-463,0},{-462,0},{-461,0},{-460,0},{-459,0},{-458,0},{-457,0},{-456,0},{-455,0},{-454,0},{-453,0},{-452,0},{-451,0},{-450,0},{-449,0},{-448,0},{-447,0},{-446,0},{-445,0},{-444,0},{-443,0},{-442,0},{-441,0},{-440,0},{-439,0},{-438,0},{-437,0},{-436,0},{-435,0},{-434,0},{-433,0},{-432,0},{-431,0},{-430,0},{-429,0},{-428,0},{-427,0},{-426,0},{-425,0},{-424,0},{-423,0},{-422,0},{-421,0},{-420,0},{-419,0},{-418,0},{-417,0},{-416,0},{-415,0},{-414,0},{-413,0},{-412,0},{-411,0},{-410,0},{-409,0},{-408,0},{-407,0},{-406,0},{-405,0},{-404,0},{-403,0},{-402,0},{-401,0},{-400,0},{-399,0},{-398,0},{-397,0},{-396,0},{-395,0},{-394,0},{-393,0},{-392,0},{-391,0},{-390,0},{-389,0},{-388,0},{-387,0},{-386,0},{-385,0},{-384,0},{-383,0},{-382,0},{-381,0},{-380,0},{-379,0},{-378,0},{-377,0},{-376,0},{-375,0},{-374,0},{-373,0},{-372,0},{-371,0},{-370,0},{-369,0},{-368,0},{-367,0},{-366,0},{-365,0},{-364,0},{-363,0},{-362,0},{-361,0},{-360,0},{-359,0},{-358,0},{-357,0},{-356,0},{-355,0},{-354,0},{-353,0},{-352,0},{-351,0},{-350,0},{-349,0},{-348,0},{-347,0},{-346,0},{-345,0},{-344,0},{-343,0},{-342,0},{-341,0},{-340,0},{-339,0},{-338,0},{-337,0},{-336,0},{-335,0},{-334,0},{-333,0},{-332,0},{-331,0},{-330,0},{-329,0},{-328,0},{-327,0},{-326,0},{-325,0},{-324,0},{-323,0},{-322,0},{-321,0},{-320,0},{-319,0},{-318,0},{-317,0},{-316,0},{-315,0},{-314,0},{-313,0},{-312,0},{-311,0},{-310,0},{-309,0},{-308,0},{-307,0},{-306,0},{-305,0},{-304,0},{-303,0},{-302,0},{-301,0},{-300,0},{-299,0},{-298,0},{-297,0},{-296,0},{-295,0},{-294,0},{-293,0},{-292,0},{-291,0},{-290,0},{-289,0},{-288,0},{-287,0},{-286,0},{-285,0},{-284,0},{-283,0},{-282,0},{-281,0},{-280,0},{-279,0},{-278,0},{-277,0},{-276,0},{-275,0},{-274,0},{-273,0},{-272,0},{-271,0},{-270,0},{-269,0},{-268,0},{-267,0},{-266,0},{-265,0},{-264,0},{-263,0},{-262,0},{-261,0},{-260,0},{-259,0},{-258,0},{-257,0},{-256,0},{-255,0},{-254,0},{-253,0},{-252,0},{-251,0},{-250,0},{-249,0},{-248,0},{-247,0},{-246,0},{-245,0},{-244,0},{-243,0},{-242,0},{-241,0},{-240,0},{-239,0},{-238,0},{-237,0},{-236,0},{-235,0},{-234,0},{-233,0},{-232,0},{-231,0},{-230,0},{-229,0},{-228,0},{-227,0},{-226,0},{-225,0},{-224,0},{-223,0},{-222,0},{-221,0},{-220,0},{-219,0},{-218,0},{-217,0},{-216,0},{-215,0},{-214,0},{-213,0},{-212,0},{-211,0},{-210,0},{-209,0},{-208,0},{-207,0},{-206,0},{-205,0},{-204,0},{-203,0},{-202,0},{-201,0},{-200,0},{-199,0},{-198,0},{-197,0},{-196,0},{-195,0},{-194,0},{-193,0},{-192,0},{-191,0},{-190,0},{-189,0},{-188,0},{-187,0},{-186,0},{-185,0},{-184,0},{-183,0},{-182,0},{-181,0},{-180,0},{-179,0},{-178,0},{-177,0},{-176,0},{-175,0},{-174,0},{-173,0},{-172,0},{-171,0},{-170,0},{-169,0},{-168,0},{-167,0},{-166,0},{-165,0},{-164,0},{-163,0},{-162,0},{-161,0},{-160,0},{-159,0},{-158,0},{-157,0},{-156,0},{-155,0},{-154,0},{-153,0},{-152,0},{-151,0},{-150,0},{-149,0},{-148,0},{-147,0},{-146,0},{-145,0},{-144,0},{-143,0},{-142,0},{-141,0},{-140,0},{-139,0},{-138,0},{-137,0},{-136,0},{-135,0},{-134,0},{-133,0},{-132,0},{-131,0},{-130,0},{-129,0},{-128,0},{-127,0},{-126,0},{-125,0},{-124,0},{-123,0},{-122,0},{-121,0},{-120,0},{-119,0},{-118,0},{-117,0},{-116,0},{-115,0},{-114,0},{-113,0},{-112,0},{-111,0},{-110,0},{-109,0},{-108,0},{-107,0},{-106,0},{-105,0},{-104,0},{-103,0},{-102,0},{-101,0},{-100,0},{-99,0},{-98,0},{-97,0},{-96,0},{-95,0},{-94,0},{-93,0},{-92,0},{-91,0},{-90,0},{-89,0},{-88,0},{-87,0},{-86,0},{-85,0},{-84,0},{-83,0},{-82,0},{-81,0},{-80,0},{-79,0},{-78,0},{-77,0},{-76,0},{-75,0},{-74,0},{-73,0},{-72,0},{-71,0},{-70,0},{-69,0},{-68,0},{-67,0},{-66,0},{-65,0},{-64,0},{-63,0},{-62,0},{-61,0},{-60,0},{-59,0},{-58,0},{-57,0},{-56,0},{-55,0},{-54,0},{-53,0},{-52,0},{-51,0},{-50,0},{-49,0},{-48,0},{-47,0},{-46,0},{-45,0},{-44,0},{-43,0},{-42,0},{-41,0},{-40,0},{-39,0},{-38,0},{-37,0},{-36,0},{-35,0},{-34,0},{-33,0},{-32,0},{-31,0},{-30,0},{-29,0},{-28,0},{-27,0},{-26,0},{-25,0},{-24,0},{-23,0},{-22,0},{-21,0},{-20,0},{-19,0},{-18,0},{-17,0},{-16,0},{-15,0},{-14,0},{-13,0},{-12,0},{-11,0},{-10,0},{-9,0},{-8,0},{-7,0},{-6,12},{-5,35},{-4,104},{-3,492},{-2,3104},{-1,46221},{0,4887279},{1,46490},{2,2934},{3,515},{4,116},{5,27},{6,9},{7,1},{8,0},{9,0},{10,0},{11,0},{12,0},{13,0},{14,0},{15,0},{16,0},{17,0},{18,0},{19,0},{20,0},{21,0},{22,0},{23,0},{24,0},{25,0},{26,0},{27,0},{28,0},{29,0},{30,0},{31,0},{32,0},{33,0},{34,0},{35,0},{36,0},{37,0},{38,0},{39,0},{40,0},{41,0},{42,0},{43,0},{44,0},{45,0},{46,0},{47,0},{48,0},{49,0},{50,0},{51,0},{52,0},{53,0},{54,0},{55,0},{56,0},{57,0},{58,0},{59,0},{60,0},{61,0},{62,0},{63,0},{64,0},{65,0},{66,0},{67,0},{68,0},{69,0},{70,0},{71,0},{72,0},{73,0},{74,0},{75,0},{76,0},{77,0},{78,0},{79,0},{80,0},{81,0},{82,0},{83,0},{84,0},{85,0},{86,0},{87,0},{88,0},{89,0},{90,0},{91,0},{92,0},{93,0},{94,0},{95,0},{96,0},{97,0},{98,0},{99,0},{100,0},{101,0},{102,0},{103,0},{104,0},{105,0},{106,0},{107,0},{108,0},{109,0},{110,0},{111,0},{112,0},{113,0},{114,0},{115,0},{116,0},{117,0},{118,0},{119,0},{120,0},{121,0},{122,0},{123,0},{124,0},{125,0},{126,0},{127,0},{128,0},{129,0},{130,0},{131,0},{132,0},{133,0},{134,0},{135,0},{136,0},{137,0},{138,0},{139,0},{140,0},{141,0},{142,0},{143,0},{144,0},{145,0},{146,0},{147,0},{148,0},{149,0},{150,0},{151,0},{152,0},{153,0},{154,0},{155,0},{156,0},{157,0},{158,0},{159,0},{160,0},{161,0},{162,0},{163,0},{164,0},{165,0},{166,0},{167,0},{168,0},{169,0},{170,0},{171,0},{172,0},{173,0},{174,0},{175,0},{176,0},{177,0},{178,0},{179,0},{180,0},{181,0},{182,0},{183,0},{184,0},{185,0},{186,0},{187,0},{188,0},{189,0},{190,0},{191,0},{192,0},{193,0},{194,0},{195,0},{196,0},{197,0},{198,0},{199,0},{200,0},{201,0},{202,0},{203,0},{204,0},{205,0},{206,0},{207,0},{208,0},{209,0},{210,0},{211,0},{212,0},{213,0},{214,0},{215,0},{216,0},{217,0},{218,0},{219,0},{220,0},{221,0},{222,0},{223,0},{224,0},{225,0},{226,0},{227,0},{228,0},{229,0},{230,0},{231,0},{232,0},{233,0},{234,0},{235,0},{236,0},{237,0},{238,0},{239,0},{240,0},{241,0},{242,0},{243,0},{244,0},{245,0},{246,0},{247,0},{248,0},{249,0},{250,0},{251,0},{252,0},{253,0},{254,0},{255,0},{256,0},{257,0},{258,0},{259,0},{260,0},{261,0},{262,0},{263,0},{264,0},{265,0},{266,0},{267,0},{268,0},{269,0},{270,0},{271,0},{272,0},{273,0},{274,0},{275,0},{276,0},{277,0},{278,0},{279,0},{280,0},{281,0},{282,0},{283,0},{284,0},{285,0},{286,0},{287,0},{288,0},{289,0},{290,0},{291,0},{292,0},{293,0},{294,0},{295,0},{296,0},{297,0},{298,0},{299,0},{300,0},{301,0},{302,0},{303,0},{304,0},{305,0},{306,0},{307,0},{308,0},{309,0},{310,0},{311,0},{312,0},{313,0},{314,0},{315,0},{316,0},{317,0},{318,0},{319,0},{320,0},{321,0},{322,0},{323,0},{324,0},{325,0},{326,0},{327,0},{328,0},{329,0},{330,0},{331,0},{332,0},{333,0},{334,0},{335,0},{336,0},{337,0},{338,0},{339,0},{340,0},{341,0},{342,0},{343,0},{344,0},{345,0},{346,0},{347,0},{348,0},{349,0},{350,0},{351,0},{352,0},{353,0},{354,0},{355,0},{356,0},{357,0},{358,0},{359,0},{360,0},{361,0},{362,0},{363,0},{364,0},{365,0},{366,0},{367,0},{368,0},{369,0},{370,0},{371,0},{372,0},{373,0},{374,0},{375,0},{376,0},{377,0},{378,0},{379,0},{380,0},{381,0},{382,0},{383,0},{384,0},{385,0},{386,0},{387,0},{388,0},{389,0},{390,0},{391,0},{392,0},{393,0},{394,0},{395,0},{396,0},{397,0},{398,0},{399,0},{400,0},{401,0},{402,0},{403,0},{404,0},{405,0},{406,0},{407,0},{408,0},{409,0},{410,0},{411,0},{412,0},{413,0},{414,0},{415,0},{416,0},{417,0},{418,0},{419,0},{420,0},{421,0},{422,0},{423,0},{424,0},{425,0},{426,0},{427,0},{428,0},{429,0},{430,0},{431,0},{432,0},{433,0},{434,0},{435,0},{436,0},{437,0},{438,0},{439,0},{440,0},{441,0},{442,0},{443,0},{444,0},{445,0},{446,0},{447,0},{448,0},{449,0},{450,0},{451,0},{452,0},{453,0},{454,0},{455,0},{456,0},{457,0},{458,0},{459,0},{460,0},{461,0},{462,0},{463,0},{464,0},{465,0},{466,0},{467,0},{468,0},{469,0},{470,0},{471,0},{472,0},{473,0},{474,0},{475,0},{476,0},{477,0},{478,0},{479,0},{480,0},{481,0},{482,0},{483,0},{484,0},{485,0},{486,0},{487,0},{488,0},{489,0},{490,0},{491,0},{492,0},{493,0},{494,0},{495,0},{496,0},{497,0},{498,0},{499,0},{500,0}},{4987339,5000000}}
+}
\ No newline at end of file
diff --git a/plots/ccm_construction_successrate.pdf b/plots/ccm_construction_successrate.pdf
deleted file mode 100644
index 96aeb848e3d2a6fa72c3396c76f19eeeed16492b..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 22986
zcma%iWk4NE5^e&)U4wIQhl9Jj2G;;V4({#*cXxLuSa5fj;10nZf;)MTyLb1#ef#4v
zhneY;?&|95f`YHf<VD2j80lGI$?8rj9$}dQK!CNr87vPEfI$XiW$a)AV0k4e!U6yQ
z1~F3$2aw(C(?ZVyBmy$9HUz=)@xj_V*n#vcVO`Q^(>_JvHK6pJJyPv9g4LXmFIvQY
z-4YH52)rXqhaT+u)g@0#B1YO18v$77>pLh_t2A!-eayv&1(|<Rq#LI)J?+t_`B2ni
zYf`Yw`MF<@zOIj!-~Y22byC#2F5jb7tH<vHtIQy--4T{3VYz$Mt>`HaSLhRJZx44@
zXLg+jZ|}#j71RehA)Ocdj||=k-uD})Y1W{H^NWcVmO*%3ZA7T2$EHp*+-`LGY4jjP
z@cxjV<eq6;{8d}KP2_H1LJa}M>9~i>$YP07?5C0;j=20yLLHn!prwqb!z=O9qs=>Y
zdpt#n($rwrk9%D1bE%ipo;_dl&i0HgUJ%ZvV>%8^e@bBWY*7(k>(22EqvZZI(@+pc
zK`0W#c1}3R;IzkmT#j!iCyF^JCt^}J9_WwCzWb_wJYyd-VcovX2(R%{k7rmHo%Tv@
z-8*yE)%9u)vpm-AmyWR(Qu}RtZ^Kl~Mo(DY+WyR_KZY|^KC#K=WjTLN6ZN~i?%XDq
zEJlI;h()!DGs>Qdcb}<#Y6=bR)@hVMtD!-d8v_$_!^RWa66^l%sDIhRVPGi4yA1R=
zI-?Fl70{S=wLxcG)UW9BU~c0wGF0MSHhVcbQ;#}a8ZX>i#I8-a^|IOI`055nqVz*#
z3SH<C#~-T&_D7N5(T=D&h90NHbRj5QJ%?L6?5x(eXo^Nx)W%(J3NB@on{#&<k?bV~
ztrDR=PrIEQGtbPzGidTO6iv-ei${zU+d9uk&bL+1)15Kcqx%IrJzHZteET}+*t~>7
zMBX+~1;1)`W=(PSgVI)?svhP<6BbVcAG7>7#l*&^%Cn{GJ*NW<X9988DkTeHt1XVP
zr1`TmKKEN7UwD#@>+|WUPOSI!Lr@EU$IV0uI^)px^oAzi&t{PTR!tP@Is}*tt0Hrv
z(r~yBdVQ?W-CkCL1a9zkS07Conq1O8M^_Gw=Clat<pi@qg9+A{)TtaJLw7e@A*&6!
z!whq4kab|)prsR#QJ%TLUR^u*ba$s(Bd5FrxRzd0J3%AfqgF)2LBR|=^X|FE?-;Om
z-LrL3>c*&=3bhnwS2f~-`((3x<EQ)xUDLOO)w1@9zL2e#BjNt%YFSilT;)J(Dl!-Z
zXoLd*{b2~r5;a#C8CvMQ8M43Mhq6{=x@*e;Ip2-*%?p$B^a{CJ&2xfJ?AJ(o@eLbH
z1ygE|1j``>@ZUpPcIS$un;q!E81^(Wz2JI_JHsuU^?%wbt216}(z}^arw@KxkJ;7>
zWTr_OQ|o1h9moe8Q0|cj+bir2EfJREiG&@k^`L|0Wyg@)p3B9uC~nHs=pE%3zi&~H
zA+H*Uw8S#dGeSv@p|joDvj$^cg)+Ndk>MDpgK`Cz;%M^H<7=W)lo(+ZkKYw+-}iqV
zzO|^$!Cnl)sHPR0#JI3KWORFg8uuxFoK`3Kla&-+94ubk(=?C06*W+4J8jYh4?{IP
zS!;VmnIk5xmBQBIV)`CbmSnd16FnAoK6*FJ4$-&O;_||zF3}EB2=B0!x+2}@XE=ru
zVv|t3s*;G{d2%@zF)VCE0U5G_eDD-bFeRmkDT)X>dZ;wq$K326>Y7c+5CN2Q+QGh?
z@w4>GF~aAKwLbxaA8;h$5Ph?e3oxKw^)$^8ePyzfYh?h?un~qC%tfz^0I*j^&B@0T
z9hsa)s|KZNx>a;05984S18JId9fe<}@`f|nKWDNBOEZ`%#ncVwvVT@#h0$W7^I)Q<
zlq>Dl$Tf}m`c4qjGie^<ZbY(SF6SxjM#(h^`uYm{5{G?&h^lQ|Ak9!T?vb~${PNTC
z>)?t&*Q!8Fn~!e?5j7J>(P#n?a}kyD4waILT;7IU-cVL9g`J3=iDK=UA<?&bP$_eT
zGk`-ziKZ<P$uv5Ol&1o#qv`k6NE*8}zvsi<>V&l}?;x(n@2!@dGlq^Qv-^#)C_=vH
zr}HFs{@+IfNR{oLtGL7`7e9(5RdnQ13`&-_&7-vrm{&R;?{128*SuUV*R7%jbvEYQ
zP<eqJu!?yj^ah6`QrLz;^GkJJjlX}K#Zvl-Q^nLe{2n;EI=Xx8kh$HM6^6ded*YnR
z+IT^75_f@i8`#t3>DA;X9ANbD@y_3v!eXb8x;^JQ{&h$+l8%3P^E+Kvua_K7Msh{@
z=xoB0g#H`1)_}9SG=1NkmR()@egpPJUyD~;`6pFl*M7&<*rT@uljd_)w_RV9YdFlB
z5`7qk6D~<>3eP7Ry+hKl>@duVpScCPxA=5p?iQ|)_H06wDgbdxLO$!!0>Lzd8~m1W
z2*<pqjq|BwqajS!DoWZWvEmGMwy}4OS#Ui0piQy%Qo{6%0UQPemBJOs1qBQW@;8@x
zMq5_CX=7rksIU-)jx2BC#+CXOZuqk3@qVOj8;xn(Mm;fw{z5*c3UcV^xwVuOu%Sw-
z@!UJZg0X83E3$TF2NKMw0(zzapO9bK-4w8}3eq8;qG29k6t`^IyT<xS#-IbbnHua~
z8O_>&w|gTh#125xn(vgfsV%Gs!pan<{9|`pp<w(lWj!(IjCm>Q{Gp8R5GT3w$Yb1Z
zR3IF7bl()t_%#8{Pes@%ZHQRe{}x@MO?(W$F`#uFWPVEkq|5y?OpMg!$uE7fqqJbm
zmWfPUN>;DALUwo|(N24KA?`$+3ahe1O5`;M+zuO=&1$mxqyTTJGq5m{V+x2d%y83e
z(zQY_TzbD|S%g^E5h{7xibYC7L`ojsG1|WFZ4zq-YZ#6^Fy<QkG~Cx*6SCq4CE!K*
zsm)poVK9EAw61g>FXlt6YB20*Jn+Mz{NZ(|`moT1bO4&`HKH%A-u-z?eVY~8B9^Kq
z@l~o@l+KpmzI)$jo47IHO4e}0ZUh^8T-|mjnnuLbRummQYUq&Y&t^wLdEM;af`Wa8
z;^%}#1alf|{fYi$2l%(;LJg#(l+%C_263TBNsqj3`Iy?n*DbH0>G+x?iVKck^FpX3
z9E5N74+%}mKY0WFt*es}6KMn3zH5^-kSErSd(mkAH>4hV1XwnNP!AmRa2#~bIwhmo
z;ILL4ba+gIm>yr>K40P}$6=W{DrXJ(Dve%IzOWP0(aC;&XNS^N2hl}B!7hMcjIgh-
zsOIP6nCveWSYhd7RNvW(R+a_2Rs>>Ne0<x8=r7odhMQ@mDn3Bge+c$~iN{6*IFlQX
zrXr)c#x;DHkq5?d4-4)w21>Sbki8g13=qV6fbX(&<ew*-VM~=f`@BTrMBR%<h--hf
zdE(aLJ*z+C;9YfIX<g)Y)N9ZD0B`H2u+BJGpX<Ln#_Vdkhc%bc%qM;})AuA&WW}{!
zvYZl*S~F+hs&G{8{<L!8b;NjFN01fw<HoS#&}GYRZa#{geqMQH4OOu9#^}r-))^hU
zd3J4G&THD~3g*OROa9V{?nG8xV@)ej=%9odHZ2I(lBq>bc<A$c@GA3n90MjFK8PQq
zlOW@nuZ)G@M7T>@5}NgTkh@4Y`Jx2FL@wNm0?0Y^i$41N<k<4kU;DfwZSe>s*=6n$
zu89j1kg@3<rvqbr4=qQBvpIlui*^~fsiU73gvFSl<1XN&kK+H@h3i`vxdRx23+H{S
z`NbiPNi#PaqB6$5P=*v3KFL3WGn78)`;s_Gp+HB{ol@*Z^qllMA=2pwOif$2MxLDB
zxP#^3?lO<l4)e~aYS5dWV{Fl<Aj#9siwx>|>{>Q$dt2AQ<T_kEaNuiX$CbBED~aFN
zKlp=m8U(IWyJL)*F{LCbQ`BE7At(~fiI*<I#Paj!2dE^gIY;D}G9Ds=7S|~;4rR`h
zJ29#HOwHmGU}y@j6jM_~zmUrv%@x56lmt-fUeCzU%dlm&64rcClA*SdQM62oPSN;a
zv>kEW;$*D+g&b<J?{(9?{;0Q}w3q$VrmnTx6}^)gBdq8n9Lr=Ulb#AYI#^*od(WcR
zM?0HV^tv5q9_TybOL)CT>eY&M%t5EQX#%`Ll>>m_@4fxJLdJkWCu>KZNfc;-a$>uF
zjG$U_V(3sP!-Use<U#oj1ns*St;+mC&{pCI+c#TYUNZn0qAzHQ%O60AXi6r8j4q%W
zCQpXY=QoAw3qbP#d?O0>dDTF9)i9wV4QBKKQ@o{s4n@j;dCh}CwO|0~P~m!m+~+_l
z^qCV#Xo};N(dVi){Vp%%37!R{gc6v?6sE>1Mx&m<MkGHVNxk}DNQ95~63{Tazf&-R
z2oA!40JdLt2CK2SPna!K8-H{HQvVhl;t^c*WiK8(Tj}&`_7@*aOm_e!*2jM0J-gxZ
z5vp5yc_4%QwodjJ-QcjN5h{E9aM5~j*mm&Ha47V2D0Gb|rCr|Ou+bprJ=a-OqY(}h
zFh~vloeNu{yWeJD_2zN5^!H@Eo${cjj7RY&ZnO7n=I^~cZ~0Tl0E@67E5m=)O|Nfn
z71vvt_4a%%w3wOMncoE7noR#L$o`aIqAm{NN)E5(7l4Q7jqv)#pa*<y02qV?0YG|I
z0E2<vpXX~~_BWsLKYTVuwtq>yz5PRm>2DdvKYYf2@|geT0qNP;nf}&)efx(#%Rgl}
z|1HD$FPXn28N{ru99{+gw#<kQNCyP4{#{_cO~#0h@s-5(-y}u=``@J3u3kU?au3J9
z-2-4ycC`Tk807VgL4RB&uV)8(9gXpCJqB5jp{bsbwF^M&l>`JZGqD5M7=ZxoKhnal
zmc5GG1Kuj&zsg;4J8MUqe^~oh|9_}|PeAE)R69K@dz-hh3|#*vO9CA19RFDHHYMR#
zDG`v9sR2k)T<A^YU(Qej*;_l>8G!5oZ;Pz>k6CfPw*RXNe>L=PyZ%=h{x;5E^*SSf
zk%g6s<Nqqmcidb(&_!?V$_`Htnu_-Ln8nFc{AB<{P(;X*P^gGKo|3>A8{u~_ALQdn
zD2)XKv{8Owh$suh5W#SK_?-JQpr&fG<_Ly5vjxS;o3=v8$g9#FGXBijdwt^ex9)ta
zn`7%?soVA8totnZhj%kSpyBT*CQ{UY5B)TLc<%!DZvSp54D+sG#=8o-vjbZohWne>
zL;54r%?li02C-ALa6*S?EbHM#`z|o)z2e+>GMDXe$)>qPnsyY3*XWCnY2=OR=vkM?
zQaC5vX(if>0q{59uJLFlw<~cpM$h|ZeQ%)qc<<xUqSMJ%@_LA?_w!T9wf8drne?cE
z_n}<&)E7>84o!lGdPO_QF7X4lNq9W>koT+;I>bMfsT-x^ImKH1LM=#EJ5ewz5*!lY
zF)9+_4`_W9W#HI>hncuQ$nXO!lrI~BS*9ICb~gA=v`*rBGEZ7_gLQuIsBDT=Hk@HI
zO`fEfugzbOJD}M<p!pJcDWvyO&;6)NtqXL%P7j^uFbQz2x|TEMzcsP1t6Son;tk6x
zNU_MY%-AV+WGK9)!ZalSmMd87G(ewm@fGf2?6GEHeWqs^(P-t$XcHuZ^o3}m2BQ`f
zRY~*ghYapt7UfNR5bVvdylHRKNmY?;1kZEbK%_jOJlW5bHro|MxQZw6{emgOdvR&O
z7N?RO`o&CakapqX(hVy>9+;pOp5kb=m%9t$c{I-ZxUnf7b*x=uc(w+TJ}uALgO)yZ
zaTSuLeX*s*<gWHUD%-xTreM$|VwPBqVpao3Ht8`zNbh%)_=sQoVW!p)Y&2lU=G{Vu
zdPkh6QyEVuj;YD2{UzMxH_M_=S&2)D@2Yq%X5rRDdEM;WFvOd-Li3)MUkl<VfMtSH
ztyiK`=*#<Q@Lk73gThK}-ImJ6+5y(e)Do><&{V!^@=ruw5H5!8sMXY7q7JUJzKS^<
zJGL4;1W8j{`p_!PJmKRsA_u35dSd$Fr~^b9^W8q|Qc<ChLUo6bkDPc>z2<iD74P_=
z^NWgE38)Lu_CGhL*VIN7`b1f9C4ae5F?4DaX<Q--lQ$JN9wW;e(vitGiD=hS?@;Cl
zN!dJYvayG76GA9S$+AN54|Tih)YW@mqtj)46+PEyra<ZPRQ(h|Z1&09>T!p6nZRS;
z)UNmGj6b7=?N=YWlZyN883RqqO8fEl{In78i$mP~s5t*IVZ+(NX&qXNA88)_c0p&|
z2I5?oN_CKFx>KN2i&N!|HXVC1cKIXzNOCk<whEA^Xb#9@QpdGQ6<7y^AKCwE=14n%
zS0FAJl4f3144Ej3%28mH=de_USA?nL0dYu4h3eRvj6?eq7d+s}2t1)zq3ApMJB;Ei
zrmJW^DYik22X}-TYP|N)@CUJICoL+g7IU(G{g6+6edf&p8isLQUj$4~)Ob&!_cycH
z(?T65?}Bp4JCY?&G)JqbsL1p@O3kt%O+~^~XVA@YgFc$~$yc+@`Zb!{suy;SX-Ql}
z+|OmlFrqdW*pod!Z&|m^;?R(yWf~){H(uT^d~b~Y<S-t4&-&rE76ZfpQIoAPn!H20
z(`rKJocK79CiZB|sB}j)%r%Yv8*E2tf_len!gVKzjf5~l*JA7!)bo3p;C`9PV%&;6
z4o`MY_V*B6QpUm5<43!SZJ78WxyTwD@@{^BGku@00BGff^lw%qyj{|vqK+k=zMd7H
zO&N9Krkc_mO-bCb?)PT;>?2bu=}IJ)<{IhI*#1bML3gz-X;i~lQp#jlu^fq53jJ!y
zWo{ya(Q8ccn`{k(k$#z6&_H2>)0(r>&c|x$4&B?;mkF-0KubI>@7oF}!i9mzsrenm
zp_9w4qBwH{e$O8>)#1vqWQJ!)?rV+b8e{FH`^;KMcmi`9a)be`_QYq$$o`)j0hky|
z5+9cV%h^BJm(J`tRp>QfrH4?ReC#rf+MRMv-#@yU5aTY)4r8PyEX_8HAD`i_Go>lU
zgp3h%NDFy+NBTEE2%{ReX+LTH;u1KzaavxCaA1aLg{7Z1pK`^GEDNTVDhd;7>;gQ*
ze1imo>=HmwxY*y|5f}C+f}dkAVpX>`l`1nSm>XNQHXSZw#qU;0>0*UJOba!)<BGLQ
zF|_lYyxi;JL50P@Bz2~;?!k(lRM)S63LNMFag>y0J&&E=5E_kXTuK}-i4*o!@N$`6
zmt&XB$)>f}&u5S2sU9!>{&DdU+d1i*BR7A0mHkqjcFm^>UQ8&VCH6Ksu?hA2U;abp
zs%ybWi#*2x{XsX96y!c|l(q9QduArc&*8<)n4|hh)3Od}v7RYp)bcj*3brEBLsWGh
zV#%Z_;F|;W^mG)5@DMAqf!lVy6Crpz>8WgrLaG~09LkOU@Gv8GNgTM+WS-=<;01Je
z&^QWHunP7&(?{Pxdt&_epmDI9E<S0GN_Y-dK^$GvC+=OqGL+qr_@<vlDOp|8p`42A
z(!xwhiL^4V3eB_*up|B%GEZqy8`0egbmPjsS7<<qaS^<v@U2``rL2r~cF9aTqef1p
zsA77?^vK~`&K$h37$qIaH|eO_^F!*f_#g435M2<a5vEaPS#x}e_l7rUO)azTbrYcD
zaSNC>?3x0Rt*kI|>vI>7ShMO_^AizG*+JrF=#*#fz#gq5qP?6Afla0@HN0GweZ{43
z+%+dVXUQccKDg@kIiCV@utc%II4Z0NARe%+Nm~yF6Q<Kv{WaQZmg>8bN$9}v_e?9C
ztgyzZ^xQ>-pW#z2Y4^3X`5v=M9&BNTO&9s9IpO8LORYCNnyK^2;+G$UByjGg;Y&V#
zjqe63i;tf|h)z*wt0Q(z7Z|+AzgOE_YW)=*S+)^*UlTtrOoog&Kbqz(xgW0|ulh6;
zBzL>w6(-7<SH?c5Q6ntYMVbsD7E^lJBA77L0yB?6QVH?>z2^^v62T1BMbQ)T6m04`
z;?d?Viu^{H?050dWFf&4nyfUf`hBpSd<Ea+4d|t$T*WB!aQo=wNwaj=xCvvo*UYMy
zfi9*(*a1>$2uB2;?Y#9KwyZ62Rp*$GCKaT0ajnBmaE<6ozAxIX&_wZbI_+vnPk4x&
z{u)i?uX~EjCgHXI5t;*zY5dR)PMCg*rNLW6xi86BHhnRYs2sI!J3j(A3kXt}qpu;d
z=`<Jb40uw}IDwe4uE)UoL66pwObemMEUA=gsi|LYik{8phJ~=bJcaMX*dZ>sBDZwX
z%Qr*zEut=4T(H-%PxMHeTN_1frLVd6fVv4%vQnZxN!L-;QK7FikP8alne;{?sFi2R
z=%AI9PR>+P$a4^GLm#4TJUb6or$pXPN{pyVlYKv4jQ!mOD~&k>wavCww!A(X^@Wf@
zJ4y-#V?$89kyO&tedb;uOsZ<c`5Fod+l`fHv*XWny#R!(>hVPJW+W^|vuRCDk7tAJ
zKAUY(s8jBb>6lQ(wY_@>#;3-FAOcV&>-<ty?kC1&$CiLq`frMR%JY*cGWZShT9xKA
zZP~o}T;+WEvrDyQb-D^-SzKMf`Kpyptl(M=$emnIPCT<50=6ExMradVpRQ~{=AP}z
zUx-L$=UBl+vRQ}y3i+npd_wYmF@gl<OW2urcZ!)8tE&(cXz+1zwf6~mz6m7#TauqP
zPk76?c6DW8*@o+?ImC;b{P|f@NKMnkk3+z}39x;(mQ3y?F5Lbyyrae!`ONbB(eaW0
z8sCPVu)}HnG{F&fi2AY2SOQj|LuNk|e4^QSjL-J;2^VQ-&lB{-Js0Ltvl;TciK7pS
zfCj&3#)h?&F|}lr)~dp+RE#QngW?DLwD<}`qB(tgOG(oAmZDLXUX@*JJ)z50Kb>&%
z+&!<p=Q;DMRN;5HjQhto8}*u6Z4uS3@M!@VF5PhD%Xzzk`gx%|dSb6Zok6NVJp+z{
zKiT9FD<_GBA)zjFo-1{Ol0~O0vDH^w4i@6t;}YoXW=$RND|%d77()3+jhH~8qfYFi
zs?ro^r3hcWjHHU}?pVhV*ZYghPLmDrnlCY5Ef^`2-Ir>-c`iJUnW{Y=jB_d2+m+ZW
zQ(JQ`4Y-7s?T?$u+=tX3?Z5SkW95>iR8JW2!@Yo8G7qAaJ&w5$RsU8c5?&Y5!P(HO
zc8*MeriH12u;6z>=Z?_sq*fLykSdu<iJ-;@O68tYy7;EaCp2kD#+P_8GfpcTaQSGZ
z!LNsi-D<=$VFso`l7hsRw1mcH?;E?Mq`7}swVHDI{yN2Zo{Ebt9;IN79iuoPibomB
zRaK8DbGlB^aJ%L8e7HIBjOrT+%*<e~nh(PUmondT_M#l>&Y*-N!1E?Yk3qN1lPVgv
zJN&Gn?VzF2*Gw=+>|9wcsKMHtTF$jPTE4VGzIsT%Z276_=CGWB;}%5VL@>s4z!P`x
zbNyWg)D&@d%qPylU6!3pH%`!tI7(1f4*N-I9G+pSLh$I(cy&V0K*1-oN=Q!AhnL}t
zt;{}C1Ki2x&}7mf`+@WRmYY@3%h#8h%*i9(aP3%}v@IA1U6<lP`MsRoLneh}=mQ@X
z9&HgKVgG34iy%8;D51~A?$x~_S)_t}Cw&gaj8yeS+=}*7ku>9!#h(;PvqMjLcko?U
zOTKeeBszFK*VUfWOWKj9C0=svlF7xT4TO+NumTyhRkw=|6lSFb6`yOCr-Ft<*Nyt<
zOpyYyAS#PORzpN&hT=&ap&}7Xu+%w@whl-;^iMAOs89yljOV|tvVWFeRElyvj*}bz
zHlD_8-(Mj=++*<2QERpznuFOko{(74-f)Dka*202rxuEKcI@;!;i&9%Uy^U+3OYsD
z4svdd_c-#=5L+hfcbt*!@()N$9x$^N*)DmX^12b=<i3b@{%i>hIGZ2_TQLTkVV<Bw
zfO0N#fw^S5nrbn%*}YqP%=+l}&d2)<4}a^ui3`~Fh&dm>D-I4iqChnU82l;Gu7WZ$
z)M=n;@2b)0#K*OS`p+EcR!OriIgIMb*0iy_$cuRSzUDSV`HPD*YV~+rhKR;)S*t`>
zDa~PWYXWzR)#7Xpe0-$KWJ3m=!v>JUd5G!1n$-<9XXQ@b^$F~#ize7L>lZ3&0Iry>
zYcRN|{iT!&zI7{%sg#MqvKHbjOAO#yMVf^I2UrH!`fLfSOVQI$t&CXMH9Z@g*q9U2
zN;AKyEc4P@UzxBZvgqi?aMHB_k|;XiIIIKDyt-sp6q}S#No0<u1w>E@<2Qdcw~&&>
zH|iyStPm7`nU{u?6d`SpVGYGCNbQwXtj;eSrhNoNUrBhGlO>($-0o8J-uzsj(+zgS
zGu8Rt+yt6UH8LZ|#{JmWzR&aA5EPuWzvg}R%-?puM)lc%nW-p-JIH*6*o}@_-)5J?
zJ|p-0+I{?u>8eh~RKduMX!?oV92Elp^bU=L!XehTt~_#8ocd%9$k}m3xa!_9V)IYN
zJ~>e+8fUc*XBvPb!ny&qD(pwM@eLlaCBVD+V4M@Z6$-tf9&u^tZ`F}F%7SEMHI=#+
zGI$r5UB&X}uw+(1L6DuFf}Rc9frD<fuYU~V<t3RbB`xKH3cJR)SPPc31wAL;Ruh}L
z7UQ+S3ufcw6WrY~>V5B|gWJQGx;VC#Wb%>Q+Pj7o;&gXdk-nv&TKa$oqEGDDQCkpH
z5miheW{W)?{mglMJxxdJqw(&7_}_8*Gii$9R8%sF#M8+;=Z}#4{hFsWk&fd(jS6^7
zG_9A$EvBt+kBM3i2)44WjjFy%S3%QbX53ArF^7S`*-5^u1K;Vb8dWCRx@#mLGp)c7
z@e`cTXYp=}Bb;8zRmkB<3v&hLet~Z~D8?Zh^9huVaJU!Aw+}`rEX>I<ks6sWh%@FW
zg^43YwK&3c?v?XcMR^=if|BT9=ObHei`wfrzgw#;-ShbV(8NG>;&uOUw7rJZPHupx
z<577uKH$_x&+o=^<2lWk!msrn9kK!e={R81E*r8SpgG}~xE8cF$wYkuI01l92guHY
zjs_T=zlS;89?kE^;|x<N^c)3EN<prA?jURHwz<))_FHT;P~HL=E@07E_ph7q>TK{-
z%p99P%Y{f5IOXf*Z)3<8C>G3_IB>P;yekNuOU03$nGw7F8tGuY`!q~>Kwnx%U8g%k
zKaVVnix20P+l7NehNBQLUb-$HB_<Xh={Y+wYZrmnBYKdDX>dj@z7Rs&rm3_k0Gi&g
zgWb<eY_tN=&wdp~7206$3dn5=Ji^rZezl!yg$R?gTM=#|rXtpAV$ue=bmu7FKLH+*
zCGK4xsw`Hko<xPK*L>H3bU3SMdU3PU)8nJ>=_JtZ!}(dce1ax6E~r`G^dgb$Gpp{>
zCF@iPE`ZHFiWn6L89^!$t|f`n#67=DONs{V%))jfV1YO9^qduii1&hSzm@cI>^={-
z7&iYrwe;=%mv%u<W4~Kb<^jr4hbUx>cKvo%UA>AFjB>+X=lOkDOgO_bn>pJ_6z3|h
z0#WPg6dt@(RJIJwqWQyVmKw%NqSxPR9VMoYV#8erFrdCUA3KQPoxGOgKRn9lOf8aM
z(yH}7y?U&1Iu6qliV0In+Az+Kl+G=!yI7HCwiU<nK3XBi8O?8rlv9TCM1v-OMD;4h
zP?*$}mRJcEmAuS$tRf(5mXG_he1p*#&cZKZT(=7W(dX#af(!(Q>o)sg0{4zftkT80
z!DQ5U;{!hT5_M*oI*mFd428Nf`r?XW7x{bT>r%1VNW)1{mCpq?Io3ihn9p7i-^0K9
zDpi?5WR1UX@mn1dTX4D|E;BK%tU_1kcgM7+<yLl`4oJ}@cE2y4G)$v*z4o!nYyz$i
zXQS2B*VQFFFQ+iif3twrM!?(ZT#&hHdHDK{;Lfj6MYxA$WHL>4s!vn2q;5vzVC8uA
zU<Y;-;#ASPsc9v`D%icowWeimdH-4d+<2Nj^sJ7b!=Ii-1-Bk^TId9@q|2Q-o=<4X
zZ|ebiT)U5Wgk(ilHMY%(%28AQ;Q-mDorQGZYcnVC!Ox_al?6w=2h3o}_66SCC+hN;
z&YrWc1t9-*8V)I8WgpQYR@z_gU?vf-7BSC)M0&nzsvwf_Kxc3Xd&2T!c{%;KoMNCA
zvxVn&rG|a)<Pg5q!@CC#3X{%*o-K~r9f@oex`X-V7aXql!NBqBf4X~@2{XO9^*%!B
zlOz*PGC0Pt(m^6IN;spm@b;x7RtJKciOqySn*B1~#e`PuHCG`|8`m5DVQ9kaz+21f
z5b$6rCR<1~&GSPQRLZ2LVVr7|YOMK@2J-+Dm#~WGi*|uIlNHbsSoz&T<!llUEfQy$
zmcO{8?n!!{>d7L+y_MWgkOoVZoE0b+wwP|Es0B3mffK&u5V4dySv*D_r&^`}Bq(~%
z;~TW=66sz{AtjB3J(??7D{^3>pk#(B>)?C9QCd%V;JzTBnA80&u~Y`KLk#_S>GKJY
zj`=h0yds@q?RGXr@R^C@V^a2{|5B+vLB-b*A{zQ2o9kGmW}QPDPJcwsfK+${DoH=d
zCF!QuziurM>863hZsN4bE9UZOU{B`N*k#vng@zt;|LE-?DXy^6`KYy-m6xbklv^0u
z-@$E2$5yBrhL+T~Pni=78;4^r)=k<ca4{C!&a{ViP|BO!yfVezVwk;(waHS=Y3+e2
zcOB4S7BNOIJ)+H24`B1Gj856j1WD*Ib2rd^t~Nx;aD2`H_bd~WJZfdQ;dI54^TP=w
zP}~ailtdxx=|k3&q9ijT_WYm+1P{&hsML$T!>d8#SSX3<2*{32l97@ek*NMb<lsbl
zikKfof_a}OFu5_^b2dzK+Lg}7Ywc+gY`?j>P<e$<-P!g|=T1<j#NoA~l3LXFn)DEI
z*Le)lDq-Tj(x4Yh7}+sf+WhDfqKgjkeaVa|?b87QX4_&e`+lxNgUMW3o2o*G(x+=T
zKNB+5vH|o0ab4D`?R3gjeY7Af!#08pTVJ4>I=uy|dQObB&0xa<A{b(qAb#3&p+P<}
z{5A~FgB#ls63T%huKbXh*E7dXSnL4eTC-yUPjqjaQv}QPcxpaUSi3g@)5a7Ir~#OS
z?vtjr+R@}7#X+$9m9>-fSXzgvWuVn)mF+QS?iu%VDZ0s-<hl5AR*#0zl42Ml>a%B2
z91E=M(Wld;HJ<VrvES!*77C8XOId4PwfDrGV`px1_m4`Lhu?j5D!SMhT^dd*ezF+V
zTSl6@{dzyIcm_G|cILFKGtW4WRB!z>|Fp|(F|ly7oUEf=NNEz-yANPmLit7Wl(MGx
z0E4Q=TcQIeK92Co1JxwK<-nYzFPn&0bjy3gp#CZ&TjfFKORJ-vC3?h6Bj?jmfMcvJ
zeg|lIY~uZer=+j6=a0GJXn$NruHS5N3NI@ki6J`HGH1>j=u$Y$4t^2j4@`0fStGxE
zlf_5k`xT|l;4QQ6?$z}?=AK0BnHY{r(CGZ@qGQe+-@q7UN0$Lv&;7V;f!|=gUsH#3
z9G%DUZhIORRTmsOQ+;YcovzA(QlB9c5q@7`bITAtMdFlVWYFM>?xBQ#d*b@`q61GN
zVxYjfxhgK4v`)Q)MZ>!PVN>h+_gT;v!mQYnZPN?*z>J|^n1RlN+`omnTUvJ&-3i2@
zT^_jekp{B`Dvvt&`+v(DJrE9DALW4`NOOIKbS2_V)M7OPez6d>qKXkOH7q&tzF+%Y
zNl+V*4o!b5YBTKIhWs0IgBxbRsJ|obkW9u~VABNk-A$(#6WUFWt&891E>)<X(6!y%
zjSoA&SZICLbFNFio~zd&is}EXdUEc?whq8^!Q9!@m^pH4gi92}T?i(5;g!0e-o>le
z3^+=K1p)D{?@0`8JcyKgAa3+1eY<QJX5#wq8t?k=49-`7@!;vLg*b0Mw0vO-oIWRP
z>geYWs94y9S%CaFXizF#OmyZemjA>%8gwFqAiX)g)$tP=%!V-1CxFN%wRRfV?n&(-
zjb{imjkJF8nFp0WM46!22fGS?NrDJl0Q|F~hr|<$l%iTA;d(Pd>IN{7vK5jLjn0{@
zo!bjyhX)sO!$Wf;DnBE{u_8D@DqM`-(MP{L1<w0x!v?M9W#x2Jdg92I$f?g=5M{@z
z9(?4DsKq_PeF%L|Rk~}~3E^3oVk;~`LL-88_s3pQyFnmRqEn9j0rRLw{Dp<ZGJavF
z%=WFS$K&2U31Ok8TcB&CXGmLxM2L3yk*%oEFZ3q@9SW}Wk}Q_!ph4FQj1zH+A4U5~
zqh||k$52lq>DRnKC<33PpA`DUyhG4->?wkY(X87FH4*9L#zW4v;gN;k_d!OG%u%ip
zCt-T%%bk3q-*)F{+QTBkGQyv!Zj^W!+Hu6PdCEH{`QK0c9F6S6zJu<8xQn$B5x&BD
zA{FS5hGL{8iHg=XL|T;AtWNsAEq%dzPjUaTNlu|e9>Q_@oopX+{^fz^mGhOU8)T2h
zgYyHkfw5u=P-!q8s51H)Zx+XhIZ$}?V|f^FPk+pW>k6h7R6~$^h`V1)?vD#3D#81g
zh&`_FT>Mdj7M2#$<(zXkzrk38&_KiBe3V_2pL*qkj@lr|PT!@IXl`eO8OHD#0_}{z
zN=Po{JNQIYbL%~H2p(y+vFr{QwwWR|#Cb20TPB5;k`Q}rkTRt9CdaNAm!u}9b+Ixh
zfsp;fhK%6JI7ZapziNzH=n;=Tjv9|9jk4}S26B`cd0J58>h~PKa{_CL_6&SZd`>Le
zUE69`Eyl1%FT+si<G&;DAoSwk_pRJuKM%S`N~ojEp!kX0`moIViJplj8Fm-hBLBWT
z?j`00WycjvMlVo4Ub#7_yg*u#Mt18|?W(YCNWQT<FnZp468{S4WDK4t!4Q3B@-(D@
ziuRaKgzOk*|4Y=y%1f|yyKWBI$UZ0lGZp5C{_&+Oc@hHiS=YcQ#8qKtz$bOq>Nvy)
zVrIO8pRDyr?1*5a)4yPuqi6$!Yrzs89d{t(w{i>#4+ADiqn^@2!2R}gY0w#UyLy0O
zFBn`lgp~mlL+DOi7XBVJAKC*x+Ne2foT?a7m2Ycv#aZSWO~J;mhJB|IgG$|?t%{ui
zE@LDeh*u$xSDD?VyJCxb2ex;^>s8v248gCwm)2t)4Xgaxx59A)&V-M}ggLbsR=k=B
zbhUVQZZ|_cTRe@pb!sKdE8h>_g$gA#{v|$)v6!gdU?J4aR}>~S#QlkWM&H|Cwa)}6
z;2=FSd#+3PqHRF}i_rUheP2;e+xb8?&7mLbIoVx5?=MyhUtU9%W5MD9=6jNrWxuAE
zEBJZ-wFI`wsC~-jottY>t0FY0r>`3r`$(RRc|UqzAjAYsJ%pboC|6U8^%}ZJ8`0=D
zXuW$0Aem0032~*6`X8CEIo9ET#4q|Q;xj-JKHR`AMwiUJFT{kHBg4H@e9rM#rz$Jo
zi>m<qmF`w@4Hb(U<@71oIajq`%sS653td*|i@=}l!>}z${B(+Di&dm_x~k#HqP0<u
zb&sO_%}6XLIc&bDQ4yvGL!fyp$>W|IDEwYFC4SLN8TIBa2#%kAfh$PPMz>Z#?a~D!
z)BgU9A?UsB;QE7*Y)d@6=Za*fi`qM1SPm&>I&G&GaoXn{+b=Z^qxeUX{5f5egANlh
zB~eSx_S0;!RfYxY(q?luJY{oWNtbdjK{>y~v1f34_D!e`6cwc-M{zKXx(<ph<VXRE
zNb*%^h!Sy+cz7A5GZdJL_IHx}_3fYe&>tSf;Pp~IJPfUhpg$A0u0(hjvf!$p@h7jY
z)e=#6<}Xz_N!bkd9@?T9=_kwtF@`@UiXS6=wtGtLOG<l)(7IgKWS>^vNIpoak(D)n
zipe19f39Z(^r@)aAzDaJKhCpV4^*%N&}hW(tJ#}N%|82=chf&l$>eL0?Xt6~6D7>d
z-IJ7lS^pVc*sS>(M@{L27(F6O%jZp$+AVF2m%_;{UmuAQ?$`KVvHt-kOY*USL$u@a
zCbeP_3c|p*8tOXGP^j$DQvdK97bjVqbjff`1BY}z3ItS+fXGwaGe@kgV7k&Ls?;U4
zRPtL9CXZ6+`cRoJj1+8z>oQAJH_08vN9ZK_56`l{!Q#Ju8CbVwNJ*wu$cOt4MnyF=
zM5oa6kai%!fj2Z9E8>3^WFBg8OtJ^pV#E+S^`%PZ7m3hKm(BJ`Z>bLF;ERBO=Fe*d
z6mmWCDGvS5#AiX0r$)&3-6|-WG_$qq<<*ffW;oV!D`q;lB9c}K+R)}A*v;3>&}{a7
z;W{Y#kA$T~<cD$V3C|d^b&_kUk?nLz#b>T%^eLgqj}ZndEGfBGVilq}<?W)hpng*l
z3$7RR8u?El7gF(3P5yU};{HoMA&pY_&`%7wqFZYDs!R`c8g|JsIvdNEZPp{}Y&@1|
ze&GGWRd!c*h2+<kj+AC0h)`rGQas@VAAjA3bz-fg9NY;<eJ}c;avB^=dqjbf{X`ZT
zySNO!I^=-C7wh0Ob{Z90QBvalW4)uK-c+Auje~0cqpz&^KJHaS;X~+BnlD;J!#8K~
z2kT-XoiRXL^RT(p?<;4D+p#D#c(UJ$%?TGU)kkIFv@nFtdG{H*hz@ce-Kd}pR0FO^
zZT;W<^3)g3$$Hm;7rX=47Q55IM-PEnjR1t4xMk}lgQoW<f;NH6okf%nz0>RMK~bCX
ztb#qykjM&b#H&tm$1S9~=~5l7B(m<&>;;eE`|9|Z?<^gCY|Vx!)!e}g)0sUm5Ne{#
zAo#ci8|lD|_zc<X%fV?$-yEo3!SH^O5q(XZ{Svh~;UgM-?lo4kukoaU_Pd{V_;TQ;
z+G_84cBZ^bcQl%T)S^+o!g)%a(`^hlg(}Xu`~oAsU%njMU=u}lenr~C^Vfq$LuMm7
z7LXrwP#pT~zXLshQZdL%Y+&t0s~b+N$&i=Wyy$A@q))7+O=7HdS}OIEhy=CKL*BPs
z&9~fLFt<@_{loa6+!rM`ojm{9=GGe~Tm!%F(CCMZ<X5Cv(1PF~3WES>FcA6>Y7Apt
ze!ztjp0PRr9t6#W-tNLJoa)%$%ETHmJ+hzvxF1zZq9DwzdDY*F4|1Mj*m&1%`ytRP
zWCQL2g0|>mOd4dkG>Q`dPn^Tg23t^&LBH|qhW!Jlq9-ILbiwO1-dK&{ozoLQ%>AON
zrNQcWdeQ7FrErJ`7`Y>~aD*!Z8BZDh{+tYRdg^g*Vv26gA%6zml&Y3Em^eBHDSnfe
zrZ5Jn4zu$hPwo-BgCJzV?1jaky9=bQC?H-AW)6X%PswF67g7Xt8j2IK2r~M@E>AsY
zl%*U|Ym^Ov9g2wm2DFr0J$6gT6!Tb4dpi@Z=DKwr#c^KI0XLIZRy*0&?S2}Q*T?FQ
z=Tr}>-{+w~IOR|lBmhk0y)V4ty4I4+_nROwH@wBI9uBA+bUm!@5B{>yux{yvY@g0k
zevyf9pr2w8S_Ynhp1_V3ebx8SgrDX6pA^v#9ia+=OB?Gbx%ws}Y@<>NCR+x{vAI8n
z5#H|LG(a-ZoW-!WJC)-b<qqcUUNxEAO(~V-%1YOx#$thao`k*cIau%*EqzOrbPA4{
z!43b5nI__-WVf7ld%=lug=}PgK@2A<rava%_M>UK6i!l1KSqAFKg*ghPEY=%Fiu;(
z0%?S}<R?Q>5)>`#5zH{eDVI=|Q;G<Ld`1zRX-NYd)2ldQMk(+yzYCBuQC=dGsV-4_
z-lxp>16Tr)kn-i=jVDnC9*{)zdm^M4MdZO5Ixt1`h6&^st8P1Ebhr|qzVx6q!c+VN
z0}F$50PEZT(7yelz4NOr)vKeN{70Z|KR_rJZFaH`Rlk3YY(;+<=n)ip63Xq3&tlm?
zcFtb#i%z>(KLYZdeHi%ITfFS|jH17w_4EMWhlJsEm_~7Lr--X0oejzJrm)DGd-xAt
zp5qXeLDbDLR=((;gU2LWOYZm3b>l585%I4RG=}1Sf)oxV82u%<HZy+!_Takm;%(l$
z>`Mn<rt%t8r{r+PpO}-lmCWj`Ph?8BpYbY$4xRCcdwQRXYfK$KGAFh=EZpW8XPm93
z7o$o?2IPKFNYf?f-8?v0_Ld^o_Q6<A^Bf^{SZJ7G?qnY!QInBXUYY*NIr$S88|Mr+
z_>AUO<{|{)ZoH>mae}u!_Jc~!%x)FK#~@@m((g7^+B|kef|XC*jG_um!lSzlzqao5
z_RaRr7d^h-o>R4^HBib*36`jtC72Z`mdMvgm3}A?eMoau=aQj=6%>M14b|YJlc$nf
zNdP003Vl)U9aWwhR`8Sr<$E$I%Uy_9M8JxL;2@yVFC>Y`B*=3%Tjv`$G7S%ii-mS4
zpm^P_ZXu%9RKrS>I9SGKv!amMmY5`HF+E4UBkEU)Y9vc<I*ci$wpqYT;F6N{4DWj$
z`7NxR7T(jr7r8t|6+@Sh*Drcgpe%ZkFTzt$%5>4Vjf+S0n^cW@I4as(qS$N&r4Z@f
zxKE-a{Xj`aMFpG80L1kx&KrO)HOg<uRq*i%75^?_?ZfKL2W_r;@n#knq6{gB119Ze
zDYEHmkzDSDXjKI-Af0Ss^<$1;p=s5lx3oPqzUkC72uF(~J=Roi5r-^Qf-t3bOAxhE
zoScaM*B~juW~^lYi&ShJsfKfyVa5uYuvfu3sfoi!>#2QuV%a<IN0}2`#JI#YmAEpp
zj#4&tMvNS`8m~!s@qF9Zb#EIxm8lKbS-Dgm;cm1du~J{95t2B+ofp5hvfsjvb;_&U
z>R!mDG-6TQ>U45+)~9qg70`0Dm1fw$*6jWI_PN!=vM+buE{iq?AP7ZW@X!}w#~5W^
zfx|M1w~zT(4uMlRLu^96(`?iS)f{YwEzDAdyw<s9a1~EWAx}aL7k4PUkrhjm=;QYY
zZmgPD(T>oHD)TiJAVrK*suC#%&WR!Fftt1V&bW(l<)~E)SjTW15OBDdzIpmauAB2;
zkud4hDH(ZCf^c7Sk>*sg2|urW4Kx6enk$3y(VqkTc%lmGrs9d)tP)LGFihGhU|aO`
z7)qk`tWcytWQr+L38YVFM;*YBoyw|+D-$@BHpBNU%8V%1J0_u}UmT{SO@-|xxd?Dd
zZF~_(WpJ$8g$dY5rvPKO<h1I^GGzBvfDp8ARgyijPAhIz2&JXJ;apof5&vJn?;k|x
z8_M$)yU7S-W8(Z9)5`b;S$$*t;}9m}Ul7qZnCJh3f4(A0|9uKmJ677t4~QIi%hyLc
zE&2gV9|wj=<seX$kox3(Ft1!pXf?cs&7&KS0=47&mnZj30^_37Ci^YeMfYUKD4K=I
zl&>Qm2sj(zNs}Q$zS!4p%LN^okPJ2ZE7l{SN_)q&sgN~ME{)}SeyedQ6L)}j0CzaZ
zo_+eNN3LtyYqc|P8=(dv`Xx;GC9G4>ugV_(XtF&|<IVd<tH=Et<MSrh4=FbgN%_Wp
zVT3G!UE1<2u4_UDmNY+7yp1n9>5a=ef&i(pGM7B`xiQHc^a@Gk(wm`8#HypAcQN-d
zjbG@A=Ruo|B78tXVwyROgHT6Nx3MO(;R23GDO(O}S=R*6Dyls~s97<GkticgkHui1
zyTVKu7ZV{B`9P(T$DH|8!R{LCb$4BYveporZO%yRDvmbI*l#`tPXwY!YTj5DlGO42
zUoVkQ$3rxp9U;@jzW-zC{zhfLt_L&oe-`ear)U2{3%>!LML_ljcBVEC)^=}8{Raar
zr)T*JRaTG{(~yy(5wtVavyfH(H&aZ{($vBgK>3GG^%vPf&-fLZ%=B*=p}%m<bZl%a
z06JzS7622FiQ_elnA!h@XO?u(voJLfv@*5;0f2wh1nmvp@X(w<)<4ZRtKQmlOpJ_w
z2*P?c5+GA!lUK;}Yd3#LN)8}PRRG6d`fm-1zZ-A!dJRMn6W|T2{7>xi8=Cv?;Qfye
z{_4(A-{B8NTlp0o{l@!471FZ@{lSI*Pk)%&**gfE=-K@}c^SQbwHcZIGW-AbFo5wt
z_-#?E*AvR7R>lAZHB&1=D|^$w34exFGc|NDvHuqq{0&_F-xm}68|3`2J1Z+2;P3BO
z!217e{kJ|4z|Qm*C;xqMFu$4j|8u>K^Ew*vP4?~mFI!%1`bWQi+wzwL^K0L4@^6xV
zY5&oErTjs;zoONxRjf?k4sHYfWSM_19OK_75dN8V{*BH5pK0eUoc~6hvoQV_==?-Y
z+X7Dwquu#t;K;k^MKX?RL$2R^YPChHAw-+P7S*}moPx3TD63Nj%z@mT8xrp@5H=;~
ztFFML)Q%4<OhElM%r%jau|=p5GVx|kC~|O6dk!CfC?<&S{pNcS%Xa3LwI|MR%0DBt
z-6x#KpHJKNGTl#`n1x`8G<#DepjDc%DxNkzS<}K0E&Bt<Roh=exz4w4<Ag}Rppk^p
ze58Ld+nEs0)<w&8yzjnX#|%r-@(!*)x<g9D?7kl-^z0B1mb?1cBMm(E%*`Ww;JA7z
z2&*hNstD^4*gIz$VNelbq$CJx2jlf*{H%?lWvP}^DWpb|gsHlg#dB}I&;RuWU$661
zjJh;K_cD2mD|beGH{~|cX^j);oA#WhkVlnKuxyOZ)4*)q4DlU97(aOwIXRAp-~AL0
znERj<!SlS$Ci|0h>-`**+Ilx0s!XIrngq^-@F|*hl|!&~2puPla1(V0Rfln_L2D7@
zOg2|;h1O$3{eqgU?D*ijlcb}QRTKUd6Ync={m9#GmHTE7v~~0AGw!>!#0LJ_J#o)%
z@0rKnS-(&AlJ45cb);9(i5)3YF!b$99*1@J6wj<yeY`A=#&<dABuzv&!__VlQk#jm
z3X3Rt-RJUz$?<>riK_5!#l#?ZXQE&$lq~GYju3Ce*_@m^8h*v)fQU_1u2KgGm$`~I
z49DYfw0H^BHx@{l?xq_rCTd)xCyZo@8nl;~_)i9(l@*J@?j5|7ag?0|G$1iusxB(o
z<l<19QMtdT4PDm6LSV*09PPaIj5A!jwL}G3ciqCp|A5^h{Z51@)dY%CtQR(2_IczR
z$`+8c>|tOfEEwkw)iR4y3JcpsC9}gUuP8007K?;bT0E@%7(Zsye``T#Y4Du@M@C29
za}KP4g|+G4F+PBU*0i|ZfTXn^E!Ng6#t_0!iCQh2{M$m8YJ(jK)i@1-Pd``|RhP^0
z7qLqAI@pHo?Q*f~wCiUd>yilKOPj7fGjNsCB_eAfJTg5yQppq>yJcx9!xNiUHqj%J
zW+i?%n9I|t)03IPEr@Ro^`ugnprypD@31o!Bt4Xq9vnK^hzPlgGrO6)r|;^wl(@~A
ze=Ox-6r=Sx^bsip3qV{d2H_T)Wfy}B(#R)ere5Z5KQ*p@I)S?}^Km*TF|{_UH)5e%
zXfb#+;6lwf#b!7>?%fSQbll|>jH#EK>E}PWBU%i~kT4w4>Fw$<%b;dUDjL&ZYkqaa
z+_-l1t;KnDtmGX(%+a&fbudD>|9(9RT~hD4BNeDsZB<jGn{v!`#+18M<eS7GrVJhj
zb?23}v!mn+c%%|S?!c65b3FSki43p0mUFv68&@ptBeHQ~i(~wk`^Lyv+S`4~KD)}u
zDOy>4)@lzSaqPsb9}3JPo|^LRF9sYJk{mTi;FKKQQ@$j$w>>C{Y<PN$NaE^78_*-~
zIl3>DZ2WiLo|50hwmgPSWtK50leBHNlDEQnh9nc_<42Sb2SiDfC}v5zErUqd=1Y)3
z09{yRlVhJ_k_?hXZY+ih7i;BHYd5K~oP`NN8^eQ*E?W<$^!St9vm#qM0)DF~kxxT9
z<=dv^xRIyF6g6ykR6m%T8{KOKp!h>W;mf{yL2D5`)RY#J-y0J97nRORx}%CO3b%>1
z_1N-Kf~=8t358$|gm1PO3gy42=@w&J7KoK$ncrD`r=IK2Chh+qt<V|dYO%BoR2E9X
z?HACmJhSl`$(CPYT+ZyAv?Ju9c>gg)6N7!_%UYp7?s(p!jW8O=Pq51`S;+Jo#MKm4
z&TK}>oy~wv4d5DL+(MmVV()?Iv64jojBuX5h>ilA6IjQNCQJ+W$NDFYNFQG^R{1C&
z-q0W6y+*@7e^9dOeY!Ag)e72*J_kEQ!LZj+h}fJmh&mGMYqtpE$p~;dTr;n$SKtO&
zc^X^Dt&=z+t(<&=xm)wJ30c;1RbDO~R7ew;#lH?y(7E~fGlFe&$9-(z)c9<Wv%-|J
zV=J421!1o&IXMnujc>H89-Rv5P@SZwK5t|QL^2!3L0Y$wDO@e!^MX~valbyy=ah9c
zTpTfFJK?3}wJILuSKa27G;h6l{cdJ{QvHG>aYc(ey|LLAu_f$^WnBLN<pyR(bMgN)
zbLH_+wQpZ!c@R<AB2yx}*^HTrWGj)uSRYG<u`grIPGy-wF-XXkr42<TWGid33z76N
zGL{GxLh+s<*?OMm_j})e-kHz*G1s}yIrn|t_c@>M_xgUW>-E_dDzx3voi5QCdJ4v!
zJ3rl<Kqj{*U2|ujdSc2+LR}D{s_%d8V^SN}LRB3%oG?gL`ka@}k_?WwVhQ3V^U}v#
zvIL>XU}P09U8-d>*Yn}{s^=CgG^r@&W@sHPvJNm?vjj<j2`@Mk+^GAN$zX=~DiDq(
z=u2XXV{maLBOh&IWSelSLK0f@+DXF>c)Qs-GeIk<n#(=s!q_ksIit=&3;XoU$6O=g
zeIP38KknZa*fpk>Q{8c$3o<hV{G#96Xz=u+RWwqdOtB+U4?p{B?=JAfx-3}RwS*^U
z1akU9r)Q>0I0L4Q;wqNwvwdY60((cKOQaMXYlCnTK>?#RO+h5w!(zjw;gT}4;-o2^
zY5JS!H`8*WQ{~4DJ_;}=aQNC!q@$THKin~&+mKJox>#sE1wLF6&Xlf4&^ttQ?ebJ3
zTI97w6BBsGRO^H%-oc%){Z{=#!?(Gz2ZFgG7ly9e@}`KH#>VqU(ixN_818|h&Szb!
zLuyV%eZoJn#2I}GeYb!RJXezyQaBq(W0f@U?KjYP4gUey0KlZsU!;ZtW!7-v&(1QC
zUp0NdMHib$O;o;96=-*;X9}qncNsJqCayb5x^-5!koCfVGjWV2dAh$)YPZ<+qg2lp
zmstZeOc!sYDA3I}x3R>(pm&W>GwwMQfuv<0W-2oKVp`DGEcAzAKh_A^EITj!gl=A|
zTJQ@U!J6~baYm{rne#6%3L*VW2)_0Pn1vVIB0=mX^eq0xpE@&TU;;1cQhoHlMipXS
zEb*oqDHJ_f@QcJ{R0(p2JJ=}Px;`fF`_~_b=g_@Z+IsO-3MYz5I`?@yOFYGNE9Nd+
z=#!%}o6?l;M$%W-#cQiyxBJLR2I1v@6Gcj7esV)7^j9$`WP7>eX85~;Y$>Kyf}yK$
zN<&{;>@3#Z#?le%Zfk+X0L6;GoYsiOmgE0IIiLV>m4HYCOaqF5Awf_$4DoNALk5Lf
zx#>FRfUc5|b<RP#%!<!{!Z}u;>PGCkadZ8bq~o7r^ta>#@q6w;S)SF}(KV{^zvLeO
z&JLuJu-{<%)w<dB@>s}kDoLS~i?5FIcd3Mpm>wpLLToA|&DHP28=u;jTI}grw)E8g
z;g|ed2~A#SpB*c4A$7Z8j<`(D_{1c(7YxSw#>h`vz0tT39Itt6>cR)YrONwFY7J^3
z9Wn>9-5f<jKuS9mNIPN)OMhH{smLEC43fWJHTllum<H*B&OoGWg&Wz^x*6q0ZZtU<
zvU|c@w>$me><^jFd#QmudlV!qj~17@&cDU$E&1^-^eVWUmif)lH@H<SPR(&GaxYC9
z8{Y5oJ@IWcZMVsCu$&8RXxXAqXvoNc5IMi0w>M>aof>%DQ>46Sd~!u4!}?mK6wt=m
z?~U15OWqSq2@mv~#B=@rl>1>cf<L*OpVxmQPk&Ft)Pu8!Pn@aF%wwF-Us4Z5yiPSN
zs2R?V>)w53D6p)8=NyN&-{&d**&haa<7|XG;mO)zlD4YZ4g#;bKe}*-&!li@|Cy4P
z<Mff4qeozNoM-<ey4rKt(x_G=la5e(O`TV5=CpsB%~gI`L=?*EufHm$dwORN%EqE6
zPTXUWNNTN5b@=WWD8Bf9_>J!~j~7mhX-)5Cmd1!Qh97h1sxc=jY9~ubecwzDl34qb
zyNjUCA0LKK1KnIM1ds-Tt}^AsfWxX$4?l=Wd!G8**rG)m_l~@Fdo+z-Ji8VZnd2~X
zLzTF<AhA5Q8F%{IVPo0Hq1}DYMWW!DmxibfRXX?eWotTo`2O}}&p@1ARtS@+igo)g
zv{n|$(&jB%ED;AET@-bQzVC6A0i%Y2zZ%SFEY+Xhn`EQ2&qJq_ilfGYFG7gx?9S2W
zb3fqqrIYsT`|$O1Ot}3a-sU}`ykRB#B1vy=1)uLPM?-}*8*RR2jbXn>XLw~6BRz_^
zB#Frl&&TeE+L@7^;VF)dz9$7uOr~TfEF2bc2p8e>9e)<cyC^z31?&>sn<cnI_ZZJ;
zr^fXhwT8p?@kyj&>H_W>mh;aFjzL^hr<vh=-_-xGIz%61m79wx5<GIF=Zt%a_wi}I
zCPUl-$)d{$&8*M|pM{hR*=?H---9Q;`x-r-^Pm}iW5lm^5FT+yX+g`TmmjDBkhf3f
zJ73?B=~3Ha$=Knj&>*T+b`+C#fChl^L*<o`G&Xg2oVqyDJQT$=rEZUgYo|wD<mt*f
zAftIzUW+waFHH_sI1-Y-5OG4iPi?{K;zHBAQW?*uw(8bq{FldD5;VU)8!pW&<h-fx
zaaX2=Htdl{rR35`Eq(pL@!;fKuY*Te+m7yXkd(UFU~~NGmDf!!0XscfIQWUN1A*LK
zb%kTx`?(k)X+!|V*Gr37KGCO939b~C@af3r(@oddi=*dY;oWC8AGxrQIl^}BHACev
zyZ199nqNMVj;&X|TwY|)nK;Flum%&MCx)L8*odJ6duk0oNn<Zrz72L1pGyGOe^wK6
zu%0hv>quUvzBWz}XtAKC1#o*mLj#R-a8{^*I01n0;=EWC^(lh@?rV9+8BQ6Ln|0{u
zpix1Vi_}Apn4DtWl8Br|cRz=^dcPVd;?l7*lojZEcJy8``iDN<SeAT9u56Sd&h;=R
zL(92l!qD4qBuZ<Ln3~c5vi)_;;J5K2;oh27sdUrhZrbQj0*;Z$tMbm--TH)9L1#TR
zAEd?vL(8*xPDjUJ*Vl}0Mo6r#vMxF1%H9-P_^W3T8RNIkW&AZzbWJsZr+Q(~=Ah!;
zfbYtC?L5DzT}{`syMM7*=)kUQb2pYStVZ5mTEF-^!(|?7J)&h!SG#@v3Hy!NuWFxi
zkPXimlJnM}c7irZIu)NZiJ8#*$o2G{9S^df?#l<5Zc%W!Qj7T{TrXbPcz2s<Jf5KJ
z{`h*0vk!3*$tbeakrPi8c%`Dz|G3=&8`)JE$3Ms`Y(Nso<sA{pw1Pr0>;#p2h9=}1
zuR_xZ?b;nrprRaQ>4}wDbq5L~!u)&Gy$>->G|t)=6l)#Rb+WgH-<X_^qyI$i+UYkb
z$4w&ZmE)d>x^`K$dEEJK9)BYU>4h;OzdHZrN?p$}R}CJXmPzEOh~l1kIu5e=#X_`O
zo`mwNprd8F*qc2=q;}z%LoBLp&u+Adx29Fdi^MIT>#Y0ab}pgahOc+_*kGZbJCgh6
zbO~>uN+Ek|n1$E}?%*W50~*GCNCJ)W(TK+eKB4{`WqK?ut!({|Ze{GggR&R=pxZ=B
zdE5A!yK3n4ogL>O_6nuUV0sX@UrkQ^%g>_nxOq`G-V1NytI{fY>Ao~#^PVTgP+2Eb
znGpfF4k5hw*qA`~jmM44s}b7|BfRh?7g2G>SM?uq<MK;JF_*tc!cgJCgp&XR&?SS5
za3kG%iS{|IYVtD-XLm>_&+Hu98EdH+V>I57qckqYW<Dz;P~Cy&_HhYcaMU|A*2w_0
zMGKB!;8UzCy!*!R%3Z)^%oA|gZ&fC1<yg**@;)O;lr=7{pHn?KHJ8G2@N;u+MQPiy
z8PEJ9+$OAnJ`?(ZIPc{u&sirOIU{ryeE^rg;-fz&KYK~$mqLUz?zHc}9vGN(<`m3v
zIe&`QuCrW1ZpV8GNkl4JociUmCKt$ImFl?*-<z|Ev{H+K2G1L!O0P1d_Ym|H*gU(=
zs{$DQJu$Xkh(}#Xc;H>ZCoJiFKVtYnypy?6V{p~yuH!5%5>ih-!Uh=ZJ!7&JYH#B^
zr+DZYP1}FWJjfh>)kkCvRLb{swrygV=9frsW!?@xR{+8q_yhy#;<Z*JztJUDGLe4|
zCN@L(7j{)(W}uLUk*`<LrG0{nI-}%6o`-lZ4f0VE4@a+X^FjQHnq7SAW<g(<Q|Bf8
zM@>umVI!>9x-oRaL6(Vwm8Ze2BSH6D%w)-BVlo;+A`;FO%?Y<9i|!`UeZ6zpjl7RV
z3c=#8LzVW>;fg=kz?A>!WJZAMC_#vkTeS13S$(}5Ua0Km6?x8Y9focGrszvQP~}}p
z&XWHAk-=^4NzCjw!O?c2_c(Ztbc!<0rj}!Zs%{RD9@Ln~4!F5Ye!1E!H_s5l^!S6w
zP2rPI8RS|m3`K5V6&>bOT6RwOO&m9<1W*9*u7&ZxR0&knw9crW`oDm9_%Fo2CL8>J
z!0=mz13<)BXNZ3X;uTeuDD;MMcvTEpR}cOnPQY0hZ#O`{P<67xQ-VQBacf&z+XA8)
zMQ8y!?O3j`9t!wHyW%WeDYAjEDh?1xY~8(o9m04xJ3Cl9Qe=}AO$6B9lruJSFc5TI
zg3t#UfdPqul9GqR;UE)}4NYFwC>~`je>Yu<eN}z=kLJ0~I@X3Rae8HhtHcY31w<Pl
zdKA@TCED7ny>He<0qAPCoDBqG+nP}N>#R~pHCr6zN-L!2Cj(T(dr(^LY?vi<Eg!Jj
z^+!q(=oJenVIX0Byn~f1))BOUd;-FgBvcYC2?kjK9_qGE9$p|XBmyLifJ>O$x{H8>
z&v*dB7(yJ#EI_11R(YzXD<0=z0kowRUj4sv16#b45~WF!FyJTymVp3YunZU}28JF1
zgIE2|;&K1vvK|8Hc5<nR1=KaX^-5@0;_<V~(E3SUu9jAe6di^U{ObckNK3<{K~|tu
z8x#tL1ABn-0XhA&fnjhY5YNpvFfiGzHW(bS)drD<!-3`7bS?ymfB|%GlMM<%B7ry4
zCL195$!xtI7=}Uu&*&yU2waB3y|>z6+x(;<(p%>Sk%l0*js+sUeJp?%5RonSK!Pb7
zcJqCaFv`+wwZXTI1&N|a?VJ37_a8<7+G+z<XR8g6cemRRTjK|XAmH0<fUvsV1_N&x
zv%4!6&`@1hgno>zk0oWlP+ln7c)UB1UHQe+DX%Ti%9FH`^l)>>y1K9IFd#Q1jbaoO
JR7R^X{tuZ@mks~`

diff --git a/plots/ccm_construction_successrate1.pdf b/plots/ccm_construction_successrate1.pdf
deleted file mode 100644
index 163e9a0a5e1a193e1c44810c16adeaf51cdd09b4..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 8700
zcmbVS2_RH$_phu`qTY%kS6Q>nZV<9XvSunv$QXmM%xGqWMA;&;B+B-Z1|?frE5(O|
zghVJLvP8C0h~$6oNKw7t_x-;+W_iv%=ULA4JiqgM&Lw87r7eq)!*GcejpfdBp#V5Q
zv3257Rt8}DM6v_j5kP|?6D|M%VA>=XI*|%~yWr_WEh2$pN90mf<)YE4M7%4PXHvSE
zuCtI1Z&~>XM2$qP^Gw;fx0+g<{AUhkCr(xz6Xn~YXO_SD;{;9x*E#EoTEFhYt-1FW
zr*FN_iqG5WY>_EdT9IJsG_~IM?hz-+s+NVx5r)us3bt&=)%U!icj`9gCh&f}O?%yX
z<@}A#UNRy0+e|0ycGYL0wm{{t4?k2LH=BEK@7o&tvB`OH{>e$Qg2UuO{#{#n(q!{r
z?HwT)srf4PzXM_Pct+;!CW*ItmukbO#&5Tvc5b_$vzAAu(Z5N8rc!`UJ?_wbYl~|5
ziILW#;o5wX`7M^vs$H4Iw0&2Uc-)l=t2fPbMWjdI<nIjl%DQ}Z5sw?3;;V5uCF5>+
zO-aR4i;|t=k`b2>q0);2Eyxd5gP&h?wG}(i(szfUT0lr8Ob7}l3EKvQ>mCvl=%98?
zy_B7(Ic2&hiKF#?Lpr^^y7+nJ+IG2quOhXceHM6bd0C1`!^VchWACF3!mG$%&u04w
zvXtvgI==LnG%`)JwRGMk=W_y|TG6t;xN<CS!CvD+VDCu%;EV3Y@zFQuvq~F2Pk;Q_
zU0<Dh{=vd*`$BbaR*6q{-CT9!)#8Oq$3|Vm=5vBh3vNGKW-%?8(RB-zdL@YCB=6T0
zp6hA5`tAhGemcujDWJ-JXx$Uwabp!vmr~C@6g{F>Z;{Vd?2Az?F&7^gX6$fuk1-1;
z`j!YS)+S~TH)`$2as^F+gdG-rj35-7D`{afeJi(WT$0s?lWT-u+*rq`@^IiP!ozY^
zn<7~4BMgH^6Z-8oKYD4^5(m#Qiq6hpB_Dk!%I(je!Yi7mE2k+opY(RP|LaU$tRz{l
zRlQCbo)ay@d3RJj*dQN>>y}s(>ipd48T*b=Ly4Bqo*M&#Xn7$O=_77v7S4?3{%Zc4
z1#PWW4ndW?>8SI6Id67fdkZySHdUuTWu3wIq&e%OZBS^`-4sNcaa>ouiMsJIPEo2~
zl<m>v^zFC8ij$rej1Rn=ACciOxydQ<csu74|H-x{qp+=90jzuZO|qTjx9u$%B+q*$
zlgm3t-CwxmyH1_*EW2`18m>`gMRU^@VJVk&r1#&CkJf32=XI#%JH1<LK|krQW-ekY
z3=aj2+c@7v!-J{*l6eMjZBOy^f8|&`8-3<Jas(%)5OdTmGfs6ar)~7s-5gsI^8NC)
z3s1ftU_ES|Xfs|F5Mb`A+o{>^1}nhzGP3=%+?3!%_&Q?vy8}D7f+p81ayX-VL~{-D
z<loZ#y_|LP_S95&M2VtfK0jJpqNH;)H7ySBv{-lzU}W?0+8gMah*rN66+%aKWfyp(
zx>5~mUMF5KA3Db+BqC$(W2&2qNNt+6#v3E5^e4EYrS=|k*m2FMLT0Ew)OzSTs_52f
zv1<Na^t-w<A=Gmo()-2ySOhf9iY@cs>OWo+V<(`4WWO!Ln^ecIksr!3C}F+pY&}^p
z*)yK#_vX_h-Yaa#2BV8=hYzUXBGk-Mv){xq)Y6QBBpT}@F1AW_9ksM)h+gI0z%fZZ
zg(%LDtz77EQGXG0bvIGI4N`P11w~Ny<T-jD=XpE7XQMz-9T(g6_LE)}sWY?-j*G6`
zxiJR1EvkgL<h3m(@gGpOf!FvL0y_{I%^}T#2K?fri#m7E_&|f^hzwjMJY};s-(K6m
z!+Z>>SoqUS{>a@&D>=WU3N`qK@Xcvn9Nb?CU%Ocw0ocZ^LkRY&X~RuZw;CM#G%oED
zbWOkt5jq>Hu3;9)_qZ|yO<W%uAEZxm5{Yr+PDS72J=76ooM6pg{Z-?nl>a5lnx`yw
zdVCdLJNE9fzwiucx!yB2pBx#GThau>VoRE~m)`dAotqt-wjIjqR()+Cd`J$~V-T8H
z6FfvQf?<Vb#v*HiKS*Do7UI64j8n4M4)M(q&XpvdG%kJpTBY09=bq0yaq>5TjcRpQ
z|4OLZq#{}P`dVUe@R-dNgY-%%5AM$3#w*fgLxqLzZLfs;_eE8`Xs4V$mWOYCs5pD+
z=DjW2z49%l*H2&<*Eu)p9_J#G?Y=`k_zMaaP=tWK!5D$SAdrv(R7C!WCCun?z>}_n
zql1wHP*#Qn;043O!2$r&R0rU47yw4VGrz%@vV0%$^S(Sn{<{YBYlRMSSqH(qkNAFX
zNdu-$A=6j1XfF$wg#(!7m<DyiUKRn0<bM?*0PL~|tP1@5J}iYF!vbJOyxfQY%oy)L
zWDe07PbGq_A(ri621Gj&UW4KZ90x^k010*+fk6UROl?iDXP`O_fP(H)gw>%^+}&36
zcBy`*blD|1uvIFaOml<UB6ux}bpblno!JX$NSdIQ7V#8`Ks3?OfK<La!-PnqxKjy4
z8URg>$%;`ag5_TVKLYCVKSzG39h|!@o#_IoqX^AaY{2!Xk69#Xn=eDBMrMG}L(C9L
z<R?gO#gt`eoEX{bli3;*8m%oXenG#;k^NpZH9WG;bbx^_4UyiK8VC;&Y7vvosO+$p
zDIHZUpC;vYPkpn<T_7xarp%m9o=KYO8d9B6%nPz7Wty9rnR$z4*c0dM?d|p{?Nf5z
zb|oRheDbYL{unWTY-8-}qg}DmuLl^)I|&B-HrX#&!jHa9r?g&M+@jO+`U96mLfqv(
zW%Bb`FS%S{x%iZ%*uU=qdp@^Vav1E)3~$+8Bw!IEkK1|kr6a{T00VQ4%5c^!e3?)(
zm=)yAXAv@ZgUxxZMcg*V=XMuw1YA#6Z(p`bfn@Q`@qy0wHhH**KBtB6j8YUUkS+PR
zM_~!7#XgmDqr+2`PN7G0Ul?Ycy|gL4ZtweCHY<YuGgMj@E{w|Nb1w4vZvVO-X(DUu
zan=_T?`n^~ZsnaD>obh{R6QkJZ^s%QBze&~HsPxJaD{s2IPiH_lBhcS<d!axoPM`w
zM9W&07+sEnL(hv37)#LK=T7Kzr`Bs-{_EY9>n!W6hBbzHoqC((HPYQ*#(B&tc7MGz
z)_+F+%;T~QB^(bu?ohSpx9g2u9YOPO+q0s(YB2tFPrjyl7oL0nd9vJZ{Q9)bm~7>S
z=B~Hj+;htAJIc15Lr$8n=Yh9MuQOU`{21GR;a}<8mmTZ+jt(C<{E64L9{VCz_L_aG
z-R^|jM{Mwh$!A3}OFmND<@R1PHz(bh+@sLN`HkZp`^Xbmd&^)gi{6NO>21dBn{6hH
zw3LXam0QhU#w5s36!06biOw?Cx$9Qg*UU50QRa=S=JDV2_P9h=e1bw_)1_hl?lHNT
zzw5d?YX3EE@*z!v!vUAcV|2;W-EctPe!=ywq+B#dMNZd{7FsBbGW*HjZ}3R<@Xo;M
zb+5CwP?3%#3ypC>W28xm{Y1uqSkQ@_%<G#($^?C|TCdJoxX~7co!-sHNAHZ1*S9}s
zTp#eM=H^u3j!Nu?i<3!fsE<cWqXOdZs&AByRD%aZZ?$T^zuzCV?UAviaj|Bk4nAv#
zjF1_M;C6!N{8NWKyx!T6h4b5zHfGvPy0z~+d0OTO|M8k?Mc*|$f;$|dF1ZMJ-7hGR
zD9euSg?;9;e8tx%mIrH4?nsy$@h}|U=bz}()me04qpdu<t^d9w6#vDt7|PJ|n6xh<
zZbNU%PY>=M<G&!3ta83}{mkHr<TDrls&hS!YJ606)ylT-MnJ}%!8E@7%;|oQGY^%r
zJgy-GFLQ1QsIpQcbC!j01agFL6v}JCy1KNN&Lgj0EmM8v8<E@|R^FCU8gQy|Ky3Tw
zEU7z6PS_jo{o});{iUS6h-WTszjGg({L=E?!=xuhNlL~XP6r75%IkYm&Irb77#^1K
zyRaU`9gB*8uJHcU+l;wfdbeY^z3N@5h^AZhcdN`dRuRY&iUAiU-MrJ!`#pd=oHXH_
zkPZ?|KlJ&AV^XD9{~2FCbhQ9_ZEDUSQZG?2hw?G1)1X@Eewg<wq(z`cnp7CkYouM8
z(@*36C$pkMoBrPFP#nFhZ)^GZdT)mL7OgeXCHMB}+ayH|O$_f1t4<WlJ6URtLKU5V
zQK}I=B%AKn)q6RK|KNwRddpNgOBcB*LG2b#X~JV43D*xTwAvncZK|Bn3!A7-_AtYU
z>l>-3t0G})rYCm~OYfJvPi-mJvEmfud>g=$aZY^C&Gkl{LgA*b78ARaaOdhQPAqzq
z>)qPVUA;q?&2|HxY7i|LWhh%;o&NQspy(D`Th;ir31R(0io_$v9}m<eF!Zl>q|IT2
zo_Gkf87n`C*dBOgcFUgWmR6NYii5U5#OB7Nn@;PxA6>fG_tMgODm|>9+h^=vZ25^}
zx>7}cv4Z9sgD>X?_Blz-)SP;rtjY7};b6|kt7yL6XKgjEV{6wJB#Lmjjcbk^Pd-O}
z+y5X3<+(TBylXEvz0mih_ym7?v4KjH4@0}6IYcR(Vd#ytENePE->Z(x93^NqOotob
z*|crP%bs2?9DOzv+?H~qPu!>8=xUw{Yj+K1|6RUN<HE9#RuW_Q6<HwQ{7|DN<LNwG
z!c6O~yfhZ?X-Zk4-{iwu*tauPhm2VVW#{6&vvHoEK8<XfrlHPgPd^>LRGE0fx6kOY
zOYxQv<!E1_!tLH+(!M%(Wsl`bn=J}RvSk(TkU1pwsw2Nnrf4B!&;8TFZ^u#}D555K
zyzA<yry@_NQ*)p9d`{oN{pwBXBHPAYUGH3oTSmt1^rLULUmmfoZ^2%++sU8}%+9d!
zOmtgqeB~eBQIPDWC(~0%t>TK}=<BPvQ^PHc8t-HuH~a7}Ue9dDv*BaYi_dX;CY#Q8
zx<2m8iH}rc|1hzOqp?Kg8a^iV^Se(9xn4S(49uw;<`d7FrrYb0U2?aKHhi#-&$7IU
zq|<YFTfRKf5w+q}?5_{n^_b<vr`j4uL$Y_u_?uBb!gj9{Vy!oGGw1eLCUIeEXWfGh
z|F&@?wWWyU#9#PkI=(oWA$%UW=CgH4fbm3};3H4+k(6=j9mi-%v)jsNMc$Rv!Wz4^
z;>1toye=x<K<AA;ab?VoEhc6xTO_`RC~NsNt+>3^3ynoSwOrfdPrP#=&~9*SQn>kX
z$@JUaYsVKk8aBcBe&=;e0<cW%6tVDS284hJ&aY%)iBLeK;6J4atfHI9RltVF6UuBg
z<HlkJN{(WGkw)YcM<cI{tu=vLr3C@eyFN}AoP43XPxRXdzXpyBg`y@`{%z(DZq%K+
zeQ-bPRh#78I)CLVBB!mXF1BMp{>j;W(}(|x>&ls0N7(sQ^x~yz4#P%0i-Ey90|!rD
zlP7($iU&3C);6?f5;994&$8?ZJaFYYDUBs^z<O@>RU{CW^uSf9aZ~;M>caA^DbB3s
z10Nz}U)EI!dUI!P+RmFHvy=3I!pb^B$u&u$PEVH_RgOAaT3q3e5-QMai;PEbGET)K
zuH~AUra8A^s8;rm0ev=5;A^v>W{EJ3sm~5^&OL!!INkI>V(_8UE4>0E1J$hsPoAo7
z{nBcQ!x=QVqhB0OZuhj!&CEYLomqQB2`Mafb>ZC^>o&}A>;UcMnL8yr)1)&>+$R2h
zm=Wk&ze#*1ObNq!w>(qfz>_CEu&=Lfb^l=kmnk?nEhx17kNI1f<yoSb5KGn~(g;+N
z8=XRB(o;xeh<Anft%iw~=3!|~Jc&wyq!5K(QgOjM&;axgb&X}JD~m*60jxYoq0xx%
zY*&|#cOenf$qp_=V98pYMu6BdsKTrOY91;>woHL0-t8cf<ly*I1xF{k9s?AX%%Q@;
z<pR_#aNQA607PV05?hGsFR#^~V`Vn5n!Peb8h9EJs_Wkknnb11H68I(0EJ}Q=;Oba
z5y+*HKo$ISCV=?K?+=i{q#23q0KiO1WOXu)v@Bp&WJ<E5JJP<N6(I8c>kEm64j)UO
z7>qoy{00v+U}^Q|ueNXii-eZLuP+4@)V=@awcHv84rxOrs3%J;BUjYDthc0t0_%q?
zmUWk`!F!;Lc@6^4GnAub5|m8@n8>nn_7KZw%M}Sp#E;Y4AED+yol6LIHh8>^on1f8
z@TtrbkNPI*W=t!_#>NhBV`IZ=J0|>Ge}7v1Cig|Nk2F-4jIrniVXep9=W36r^VY4|
zUA!KTV0Sz(%Mu{SvSknBep6(`<?id<YB*mvkAhQ+-B0J{pXxSG_^3@A(b{@|xx9Ol
zJ&~RJube5Dos-yJTV6lMqP3uUuCnN_0hTqNPAT^MVb?A%S#Tr>H0H;yg=TnpC4bM&
zg1hYB9nrv3-;d<1Rn#32b$QQwB=<eG3ju~hWsVN_r5YS9*>tYg?a~O#-yhzTz<8x&
zmDb#!U)<ztXgz;5S%dvcV>3@&1qbz_p5@Ek7Zunx4{_hMnX)eGZWLc{{sw;>*{JeG
zvXK4D;YVUq?7<G(b(Fc*L}5?W`iU!?u?qHfHp9(T2uKBNw&LLNxi|hI4U5`S%bs%D
z^ixy`uHu_u%5jamg>z>j?HE;J0%0zW8mX}(YTiBTMQ4mUFEn>jsx<cB>pOBw@I|SI
z^wIK}5Q6DobXvo;12-c%Dr@3Q^kbdgZyy9GYJYGd<eBfW3yDPiaN_T$_tm?Vxe+1J
z67=aFv@p=qTmgMxs$faw&(Mc~<_?2Y0I-UR{}K2U6`55n1K(1`D^TzI{r?8_nEPbq
z##y;o{y(ty&jbEP*pvS=>Or1f${s9(-2aGr{~4Pw3aCF|$x=q=XW|C&ha3kIs{Fsq
zacJslK??)&CVX|O<Ij*{w+tx^VdQ?hQm=mBgQ$fld)1fU7;lE`+pKqqnO`eZisXv2
zz1eq|?Qr^6AYV7iPrxzZHagTRLh6fdX0lYKmsq@5?1l~c03*I)kmaTR#fu}{zVxKg
zZDZ^S3jw8xMe`H(Z9NW#p}rF=`DYUfzOgr-Z8-47m-VaUEJCmF)rHR`p4hDU3F&Mr
zSF5pZSHbR$3kH`H6~&A6T~pc`5SiZ8nY3L1=8lI6Os7Q1nV>^3C2ZFrcn~}^u{s7G
zt`yh(I^BVDy5W}<cibq{cm2DfS&2cgpK*y8Cp~QOzClZx_vLY^&X&&Z+3ykdQDj{p
zN539>)QoG;nqWQ>lQXW)7BXGFyfYPkz#H-pq>>p_{&{v*!&`+@6@0__312RuPR*0g
z$N1MVO8alS%XG3R<R|Ue)+yO2LfK!vQApn=;L~Et7g?WS>(V!<cbg(QaO^_?#Duq%
z2jS1&1>9<~Q5k$FjWraPl65O@jL(p}dozLk(~S_?;8q@(JP-ZInrnG37kv18Cw+z|
z7{0p0!Qxy3dtVgW)YZ`_;tvxqsBNEZHE;H@Hu7IkENjzplk@S33~YX$v|)21Jlbh*
z=C&OYFZOaxr<CCWsuFwqa;vRWdTA#orouZ_zi<X|7xYUdN~#xgsy-u_OJ#)b9onw7
z=obGwz%hNZ>_+5IH~v4l9nR#Krm6NSfcw6k{|s>QNI(`1pt17*3&P1RQN{le;(ldz
z$d%mSpD=Fare&h-Plor8LkDeeUNn$i>XPj#kP$>aOo$F7a3OmElImb~n<xdz!3$<Y
zwIfm?N++pn2hvv(-Rs9KoV%Nw3(*xKwM=aPo`hW;Z~){_dT0t9hlBJFqDE*m8nCij
zk)U0UXHZ}MX|POa`fo@16P1@cE_;w^yA+S?@F1fG;SS=XOi!CEWvzdbHRg_88FN<d
z;H54?nQ<DkQazF#R1-5Od=HG86nD@wh!tZ*E;FB{Cj>A}@WC>8904RvDK7R@yenXU
zr#li|@pKaSqyT}CgUf+$z#i1lCz0Jf0Z#>aKvEtpYfGX_0g^bP8#sry;1g>kLIyy>
z5%N;Zseu_&DR%AzP%gPtW;R2jkhP$P6Oy1J7OsFmgP$lQTpEs)fWw#c3@CR0PUUB$
zLH-_nHSys2hvLBW1=B0vpA!5u@}v^&xgeg*1^;mY@)!&X1K0!KWmqi4^PvkMFUt_}
zNN{bemcii=NnR~O$iu-6vs#8`vj5dGdBpE}Sd1dLN>}S46wu&#Vzmqj|Gj@`1hjls
z>!A^7a3%aA!(e}F1C3GqZM+yH7DR&8wipbwi++`%f45cmy<Lm~7F@WiZRJtFw;_+k
zf@I+rJ?!s(!NL`Pn-44kih8SUu_%Zv{vuO=Hq~mG0(_;6PQ`=ATq^S)G;pNTL}<N0
qFl0iZ&;jPUTZ)$ubOFr$#N44YI-W{rt}q2S7R@ClcECuR>;C`~xg;6@

diff --git a/plots/ccm_construction_successrate5.pdf b/plots/ccm_construction_successrate5.pdf
deleted file mode 100644
index ba0020ddf9dfd28ce847a32922b701c773dbec37..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 8786
zcmbVS2_RH$_b-HO74;&?EfLvfF=nX97K$umNfE;g#x^ozD@$e1l86|JlC4Bp>qU}1
zyAUCfU6P6{;eYQ)X?ef*`+qZL?mXw7XFJdH{Lb&3OGroMs03UR#UhkHnYGA*1YiKk
z!j|RGAwWu#;Al;;0i;2Z9t!{fQb&pQ6oNB&wZ~BiDg;Xsp1>k6&qAg+6L1bJ?g=Te
zTBKcQwt%TcvEfIolpVT#bgjE=w{N1GYqlaC<p{UqW8cX)troJpsE6EMJDv6NpadO*
z@Jy(>tx!qA{F9v2VNNc#jyooIL*|$&Ogwk*b_{g8?)u2fB*px)n=h-dGJg`!m5vT-
zY|jU$!#$brnwOVmS>-oOZnX2<xqRkvzaWQ~si|j`@#Kfa=X`8V^2PAJv==#atiqD&
z;}{>?=5h8rd*q@7wFfQ-ql!6a=IHkaxNH#CM_<s2bs7l1jNHh<<o)TY_S+`?OA<Wr
zSJ%j_Hyj$;1z0Ad&dPo|w4w3Bd9k^PEjLbjOs786xsj2=R(lO*U%j#=;4q!fUiXA9
z)LdHc0lxJ1epeeo`!@5tg`2*pYNV!e-Vku@Gn{fPaJ6INaYf$?nd$19|73OA^OV`L
zOVNDsVrP|N75en`iG^x;3v0pJ`w!>jIF^eKPP)a~ikW-X?w71koKuic374pR`PV?*
ziZL^+n5~4lhjCBdB0WqzlzUT!w5OfVoX+1%`#TU{U>i4nF>Yb-h)B{vA>1}6(-{}n
zedttbEvq@<ew#%%FYi(6XhS~#rD2P5k0?$&H)E)-Nj>U`3ATsNHFr_&G-u-U2BFQp
zlQw&YyOaW@dmUfQ;cIO|c??rtJM0<MyBXvtB`Vo}!d2A&ZRO+Zl|uloyDw6ocs*_B
zWWiSV&XN;F-AW%y6gJ`|Mehxubf(AL^D;l=h;JzFq|Cn4sa3oob@1SJ-^EPBnYX#h
z@F(>~m-&ygY`Ri}Ox0;^IridA%ErQEY<CF%f$|`nl>sHtLa#f9WzXqtyoE#JdT!!(
zk%eI_Wy8rXF(q={C35#}9n=qqdc&$zu(k2;dE1A|@O??oDAl*?81qYG+J?PLPIQ(!
z%sRH?BkzBj_%K<52Q10{*6dDUo=RQ^`)^O&x>rkN<JV>JDs1<EKYh6oVCcHce7~$l
zDdPU-Vxf>Iy4o|R%$eun2Sd|l{p!M%s)bRik%Fg%xO0j87q&*-4;l>1w&ln{>4xR2
zvg|ugyqJO7a-rmv=*!*yRphuMDcS|cvfhlFUoT_mqT0mEh*;$8(4E$I&mbYL#~9r`
zD{4{d^4#<#y|ty+wYHiLex{q_+uJxM!+Ei<#I7nGJ<Szs6|8&gU3iKr-5DU`)PwVf
zdv3*tCmV4^W?kGRr@Sj?A=5R`%5!4+hD8nBGSzKU#<g7`Vl(dAIH{43mx?&(V)fd*
zC&S_887)!E5%y+UF4%2t5%6aPLlOsP@oW)7<!zDhrv*S;6ui|TnrT-1(4l1sZS1Ft
za(h;#UM@j<R>X|9W<&;J)HED;r<1D_pPckwXX}hC-9u%?wo&Fbe!2bQY77>E)Zm?*
z7dvkyWe9Cc?Pj?ZqZ0eRnOAoN*m|%{6FUWH7H%3V@qMS|Dw19rUdMXEN8x(tY+u0#
z^)8<LcgXUOp_*YHsZA9@N4S!AP<gJ}SmYgb3s9wg)IHG4tBa+o)e)^vY9CByi00AN
zx5&HW8i0!asC)Yr?=}Uh+C2gIUY`n^r3p4xbL(q#oaLPAV?m6FvQw(LHV?<Ap4>KM
zXc)Ylk!8ddZ0>S&dkCU6QfRx_@x)`tkEf}emP@Hj!QPg<(faY(_KD+7$2W(1(wp;-
zl12BppAN_=KlALRpBkN6iugNXbLGPH{P_67+1#0l>cG0RiH43HMNdlO<gX>%xS<_>
zZ?UL4EpX&s)#0VHK4@<t-HQbWyp_g$BhQKrER9Z2TG_WrcA&Ss>`Tm^dbQnXC6wz;
zOjC<d(w4*cHdjTXKm{3dDL!(Ufg>_=ih4?N?k4u_&dhv;8aE)R<%_^6gQ>Gy<#&Bm
z*YB^n(^#<_J^He}G#pPIU?Di-zacRA3&L&)u%Rmm*>I$+ETjMx5#OPm2Ii{n6g4ab
z1ajceAxHqeq;N2>07xk-0x(GwAZ3Z8T|tOnyAS_yUk3S20sOH}1F@z7r`?8sySJ(#
zb(G{tS=XPH1WW=3pw=7=Gz2RNI4F|&RRjmnYa*~I@bBBCFyAKyNa=ex5dbM2oHc<q
zK^>ek0qhOFR!>TcfG6UVNbbOCPy_=Ia2WuOLI9>TZDnv|pgI|VJm9LkQ*$P{IISD)
zYWp<lnnAE&ug*9}vJ=#orN^3B1E4s&&_)4GNg32qA-EDP33_Tukjgh>=n=>y7iUWX
z8Gx2XZ{4h9!SXL&7!D2jpWQIj57xzkLNft0P`L6>uGzuR>txf&&Xt(my}6<fv%5m0
zio?^>Jx=?-9z76!t=)EqP)mr=w(%tPnQeh~IFC9zqP5_iJzRTsTI33|W9t%RsvB!%
zo3bZ}FJ-@cd0FYQjPdbI?3?i{ZSv|%TqOIvUz|6#F*Kz5`}>C(ndqIPl1|xH*^IO_
zQvIV-iGO{?P!~>97u<Z0jfsrbaMI5igx`NyHH+vtcF?ljeXPH0ab>P0udsyfdKE!f
z?n)fyB_VU7h%2W4xO$U%d?NL;ZcK7~Dtk+nP5&!thj1Cw+!yxwh0;>@3p><a<fHS@
z`CZh);d}nJxKj^?(>4*8Ux`cTO=QfpGoC~o5|c1p)H`phYp&}!X6MoQky3cJw}5gl
zZzq0-gNso`NY(ojy{tuMh3~CPniuZ492~o*I5IXZwwzO+YUy3A&h=S;Y`iVqL~-g(
z$>0Nk+8>SKxyz(j;%Z+bLAtwn-tjD-`och0_9C7q>{3nG$*8;o(R!EYqIwi<MH2QY
zE_~u@+k1ZqXx?E`FBf?<@I^>up}#I4B|dygi#4eZ6SaNx+U-qr{Gv)@TW!k(3Y3K0
zI;n1Rf|XydHr0A~eh}@Z-qnh0#vS;JYc51?zq!D8d5|^mo?)C>*zQwc<2Jgim&z*}
z{|>oZZcxblLPh!d{D{HAtKylHOvfsp@7-mQZnWv<+>N&pgTWV4SO<u;11M1s^5~w5
z4$|}Ee2VPp>dFkbjHj3C4Uo<nGbf|-y>&SnG_}Jo36xDAZ7w~6)+t$ezUdXGw@vM)
zX32LVnBwR**jSpNgq!L)Mj@dlQ{K%V)s%SeZsxuc{k7QlRKe71lN?_db=o0fNK;FC
z1Wg^|X&IBeR#MyBS#zP$V)~I7lQs4shxRtN$)(n@`h|EWU6XxVE_Hh+Vz*Har4A>D
zFj8L#Svzk1i`6|ltU)s+rS_rmlrLw5e(b~e815nOf~?Tj{&SRyUUMR=ZAF8xnSOI{
zt|}UEh|~1B6~i=sKYiBkoUdS~zehN|tmUj}jl8DG6tyZ*5#}2y#J_EUjUlD+%AL`t
zY}Jw>J;Lp3ayeE<2cEp6k83cbzrM^l!``64ZSw3*e^z0Cy-2#Tr<~lm&j*v>LFZU_
z8~2wt<>kA~Und~)Oa<yw_{Cp&IG~jb>)d8cFMEH8rfyvB{ut%*x&3}gLxdb(DRoBK
zgul{^MI3ppOF%GCc`4ZUvmL*n8B?!H`^6XBqGnp`{3y2VL7i{AX7-t(CEBLmQUwy2
zvyk+?PZ|8p6!~uD&n{e%iY#fqdYkW~y}1awGB~b1!wpk?(T1Q=N8Hs@KKXbj^T%h4
zA#Z&>%nl5~3^ElIC-<dZ)h*tMspXaC*rR22H)V1tHRig$BYMZ^sQ9RD81pu|tC`|4
z_w`8G00Z+_Ysw|9hI1ogCM9)=0(Q&Po2FZRN<Yl-OLJw3KjtwyadwF8iY$|ieIg<s
z)XHU8J?OFRd=JI-_}J`H-b&k;a(j|+TjQnudno-(8-oX>169%TuII9xg|P@VlFVCT
z<Zii%x=^)qK_g$u+8CbuykcLC)7Wq1GE^~pEZ@v(HNHER6CR)280yS#=i<Mw>Gb80
zL5@VfM;k6rn+~(2@JYX$&16pcX#6traUI_0>nvMj$iBtLhjhJ;$j6poa2yWTuy)={
z{1o=I0fkS3gtVT|i8}mjYR@`>6^*1|=FDnKrQ?(B!`#x;h4?cqQ~J9xm*d|(jJHc3
zZ%}$rj&VzO^y6jXEM1Hcu54lrI4C%_*rxgl$$0*d1B!L@b+H)Nm8iXswMb99c;<36
z@b&u5`YMJyB`5A3C>=RDp78q8D;-TBbPJ2i#>aa`Id^Z}-PTboGR7EHT6?r<C9RLp
z9tH1wQ?em+pJryz^%A}GvyUGolqhg*_N%G!e{n=$FHUV({<-MF9h+YGU%{Q3=Q;vw
zHnL?4>^@UH<yRGp_1)4sc=#E~dR%^&V8USoLsI&Jjcu8|WUlP!-ua>@%M<NBriRCY
z4K}8{GiJXOm2=4=?7$bp^J7mXC!Mly={z~{c27=qb(M#20<36b4tMTsm48)rQg?d7
zX-wG2t+)=Qxa8!qsN8$u*w*CQk;j(puuz%e6S!>b?k$n!T@!ZhI%eWUd}olJ$(+W)
z{c|6VoDz~a_;LE`*H8L7*`%e(W4+4FUTyPbVG)7FUk~Y7hr0Su>Uho`n%=!L@}Nlb
zgS2rKQT|tCr@EmqzeE++vT8mf-)Atl7ABJ?GW{(mp@N(n@i^q2i2$Cx#q-tLo_0Mf
zvvmDx*eu^!3zA~38FOLfIJ@k;m}2lrtjz<FX!nZ!6Ad{EHgb3G_47<@7;1>~D8#6r
zh{?6{;;4Q6oHuLIcDqe-;4-?+{XxLoHHV<0D0sP5N$l0@I}?i&aNRsN#1>1XJ`BC?
z9ZI_2>34YE@3h7Ia66yTg+p8U>1Pic&c&YXlW|fDW;&Xy8a&M1>9`_wcn94|*5jp`
z*ts2_wmt=xUl5+o%PhWRLoP_}6{6a`ZdJwpy{mS1I3%ajGqRfZ<z@~mpQZ+bMuQAF
zIm4iguT^RlW^D2Ub^g0+jKW4EuT%>%-E^lgjd1XnRxBcJ1-NK-_*A9T>Xd{ju<wbg
z<~>E77reucZ22_4WOim&S%EPrz*UZACZ<+5bm&(9i^pc-RKR&ys_D#z1!N9ujtp07
zkg1*9{XQnS&{pj)llV>BC%cUm5k=)kAH`}oIKG_MODDt{(>;-`yZw=QbA9)9v;J*r
zUSUkpvbQQd6<kg!`MJ&RP*6(9T(ICai*!hz38cr_IK2_^T}po&r**X2VT-7y*mBSb
zKd<XO6)1sF>&b|ooL2Ap>~RMjhT)-lty`SDqJv#oit}cPkK*%xC!{p)@{N%q;3)JO
zd4ogT>{p(%%7q|4^Ka<}Q#~zGIlxx(Netr}c!1cdD0WL7>sE^sI8`7JacOL?1jE(O
z5k3lhMmO@52dc}x4?PIMF7^cAu2!C>+B1cGR(9GvJVq6-L7D^ruF(`<Q^$K>3oQjy
zFIM)-Nx=%rw4d=9d%hVizGL8cvxgGEv?oRUb)>JfUr3MV4Y}06?Lrk`N+<E6)T44A
zM833Ezw~A>9vpC(aPm3XArZ4g@XXqVkA8Wu0KcD!{7&MIyvdQ+9Q!-dPquCCDJ>a)
zDr8M6UEEjyq^d2a;zB3fHE71NipNj4C=?E4#~M}G4WkDBuIKTE?ZAg_oEQA0_B<O?
zy7wl^t~E0*8(C^yyuaSMonq)^?g?ypXB=f+d6H0nbB9MqW`+hfH&s|`NVb~G$}4*6
z87MS-XMEMVLEh!b!B5n==O6hcJl>Mw&AxqSVs75F8hnjCueG^5j!E>(RXGg9qoz{{
zdku!BxOsPH`~G1m*P;k;fsiPf?<=`JZ?wvjA*!!JAX_>UohT${8pno2CvXlRNmn&i
z*FUZ-ri>#xlOQP+2dt{t<E+Vm^mlcoHNGx^fTIDl3>XJU!@p5>4GPYlXsPIEZBGDJ
zYb%m1A<7S`&>Dcchssc0nm`%nq)s4O+x$?$QV0%)0A{s1R8U_lK*IueAOQ(LY<xXC
zhvJpBUHfCMv<`lz;53mEj!b~s`cIQ4I+H2NHaKShiJ;Zd#C<En5vwzS8u(#MFs!2u
z2|6UIj$j&&=x7Z{84(>79m&Ks0j(h;BA#MH{ub~+5yY==1R9E<R=-gw8DQ-LMrD62
z{aPOepb^lP`1OrJLPPv--rxIyLE2CW8Vz&>$F;8QHN90GB-lO*tg)sG{if9iue5*;
z49rLdjzlO&3D9t6{R+a@LgaO6PWbmQ^pC*vZvmDi-W-QB$KwadC+fwYyVW&`wV>Ki
z=H_^uxw$!m#iT&1rox@LEiNl3Ka!F6#C7%s3#e4FUZ~Mm+*-R~Z^339oY5vgg5Gx*
zJ(pne-%VG-qk3=m9>ID$x#ha9^wuvd)@!s(c^#S6CU^7!3)zoF`mS^<#CVoUEbQm5
zDXm+eS6Pz3@GO7(5dDVFuCjf9IJs-v7MuxO8uk6;LUvx;&EGP<;7R*Wu_hS4eoy(D
zMm%&Z2et;d-5jXG2LWT3#SO*=ZfO}5Zn@C!bakBm#`K#)sjXtsavT0$T-oA%;>_ap
zn@WuHjV&CpWlYYY$4$EShGI5xj<7y5|8yq5w^4Yr@f+M}MC0LkkvztE-3p;kjDgnN
zYKK@hM4(-3E(&8jO#{!{oy0Db@rwF#nlf>CJ$~PQ2aOc0VN5({^f{ssTeiF_@wC#T
zyamrI_~ddS-Vl2mrCZVCN6z<c-uFejJGiBrRIa4(ctHQ|uJ$4~F@w@CL6%0tk#`!B
zRMW38J*$q@(~P#A;2s7@NB&?$$TDl541xS^#NX2pKc86IVT44h@TZ}EO6w>119Kj$
zDu0GQ6ts3I1O`CM%Kj_(ff*lYv#x>PYQyW0@7w+V2Ki{`Wc|Tezghl2(D%<1{zvGO
z`7`oCmR?PRtO4Esh<yK!O(+cV4_LCAn);D}g8v~|gMb?UFOxOO8Y<AnfUF7oIcM`{
zNWrf`O0ob#0bk@X=&g=iim;OJT26j5V%2eGw~%pCp4=6d2#fRq-A%eFUx6Hrh>N^7
z)Cba+J;FujH8O6BW_Sq22}QH9X#&Y{WyADcnxUcNtlpG_cYjSXQkQ&-;`0}$tUCIv
zPh9q%qR;W6<}Nd~_%x`_doz3$nS&qCdlfuW=#IX(I3<>8>R>wA>#(breMu`SURF3?
z(;=~=0iJQ*`OBT%0P3Neo|IZ4zn!I;rI97Knx&hin=)EW%gur0prF?4x1bRgCA%{%
zPt)N>S&Lk<rPUYv@b|=$7w6N+35(tw_LZ4pnSBawAs_e9`7sS1XN>sb;J+bo8xi*V
z$)uTl?POxU!yDoc6qDvu{&{tNhPN`?av1nT%bSJ2TlsA3BoAG3(cl9Y@osudPQuQ=
zx<wlIkQ6G}`8CabKd&UtOL&c)DSCq(-4fo3WgPJ(P~SdNhc%D--fc2JJX|7%J|QeB
z;Z)ifmn!)voyzz*Er>k4gF{M&gQCA7Dce5Si>LpC*Vt6Dx5ikYFbnU2_5$<TS~5wv
zBtG~E_gtHCi`N<LOG~m(I#iq_y}YjYwX`O%amK?UZ4YGpwR3;_0hZasCs^O|`2K;c
zO4Gyr<g-(s!n)<>nf+OF2SwvW6bqQ;n=Oq+Q^O97aI361#r?sI>-Zf4@xzS&Pkx8h
zGgLM@x{lw$CB7Z!KLeZ$0+5gfq|q|}3&KgP(#8J~;(ld!i1pmypD=Fyp{1ei50>|j
zQwQr{J;)%%)Nr&SL6so#p+~SLg3i<f5K#n^^aN2z4!)$co$&-`h}MZ{;6VyYq<DP4
zg>`XqvL`q|#FmEb-?GU+I~)M<gCZIMr(qxkgea1<v@~F9x-Qea=Fgz9{L^G<(DdKV
z@&_uf4O~K<R(I7O;c+0V2H_6kq%=$Gt)}09kTu$gUGH<&pWxLYLMeVSt<mE|Jk%1+
zDSUH`$|M)iGVpbCM65BN)dw9?%HZQ_FeCv)j7auY&Nv4^3rDdbIN&Hm@PP*$E(wza
zKY$gep-FUfaR=NnGJuGTw1fqbA_|CL2~OY|T7b{N5pZz;0fWnk(w0U_$C-q8u>|EJ
zt7Td@M3SQl^o&IWR7ArtaB1)xiGYd05c^@URXr^d{y(Yw@HB|uy{|G3jDbkjG+WTD
z^6hcQk4o;&1S=MZC$qr5zW^B&3W)-&fNwH1MjAZ!&<k)}lfhAt^Z!`}gFz(uXBk{t
z7F?j8WuWLcJsG$x=oEj}L(8DS)AzFsjz)lc@)wyb81wxilZMNJ=J;7p8UcBMUu581
zf0sc~&(C@&q|9%6C>hvq<3q_Hf3p=z7Wtd4P_n4s<{=~fdml0wDAM_PEHaqi?Sh7b
zY~&X`Gy?WpU9|M?wnEFoej5u0zFtOg#(|-(Gwt6#u*7o&Xum)(q(>rA0NTD=^_LKI
d0krc(JE3F>&Y42nVHmg!j73ODRr@H*{{d`FW!(S(

diff --git a/plots/ccm_construction_successrate9.pdf b/plots/ccm_construction_successrate9.pdf
deleted file mode 100644
index 3482370765cfdf75afdda299aa8b0f206ebfd455..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 8667
zcmbVS2_RH$_b)=JhLR<bo3b0Tm>FZqHr9|mMP!)4FpOqK$d>dX6ooKE5~WRcl@?Sg
zTS+1$ONtV2g>3oXJ18yh_kREHj#-{_&$FH9d4A`2&Lw4`X8=bjVR@xWhp$faDg#J>
z=Hkh#p#dOF$v*B(4*&y-tat$cKp0S{Ofnt(rV^QCJ+do}MCR4h<Yh4FWTH23K*p6+
zGul>_HIXCV1l82EuLzF8oo_~Q>xXmEJzkVM^R;7E-FPS67F_b~4gyO!k%8a;;p|HO
z)E3thNm92mCU4Wrl38dGcSe4L%*?X<7K{4XV}brX^$j(=_SX{3WLu?>7TzmgQSWxV
zJbC>N`h|k~R5$I;Yn3x$HSGxv-3m0#-X|}fPr7Hcrghs@xg1gc+<GJnR#(T_)>gS(
zf_fob#<StzKBvYH!z010qJpQkacO&%a(NI}lZBjkHy4fN8VT;^4hYyf^?sk)wQ+kY
z=d()hQWn(<lRh{XOPsiywKCIfT>Km5ro52-=O=mVaQ3C}3f8Us_OiW+d~Va;V;>Lp
z;TjLMI~6p(IDg*VTqa%g(^PLkdSX*Ye25rnhSX=`Fo!qjblEnIZKJ$<J50P&y>}1S
z47@J9Zd7t6>s0o+%wDg$(KliCk(Mib4vS1@bF5kY>TC2($#mK*A=<Ak%mr@3C&0fy
z#nvo=XBEq4t4Rt{KB0#5qe3QGJnjQ^Yr{R0Sg)8@%~R{%Dd9$u18eRZMxZX5bB%<%
zd);`jsh>3MSGX-8d_|=P{>!yQvs8CJ@nSQyrURO_KGHUy&mmgOd#&e{s1Vcr8~ux#
zR6imbwGdbJR&{8ZSe15XdNSK|Ut9924HH){hkbdR5NNt*Eh0R!duLExOj8}lT`x2D
zCRnmq$(y2L0;;0P-damjeS^RdJ-2PYX*R#Ff1a4vD+kJ}d`$0wFP=e#1ac~}{%lN-
zh3Ur*t1Tpjv#-nc>WLoD8Bz?%(Pffpr~S_F><p{h=YqG1Ebd*cTgLxt@{MO90ktiw
zdQGim%CVZ$4vehnF*V{uS^IU{;)bj6f|~M)lYgB=d*0yLo0DMK4Xb!(@XpO7Q&%Rb
z8cFrb=BYfpdZkX8qzerZ!%y<!pgkJO)h>#MBMoNEc2rph-6b1lTc@z(ADy^z(&YX)
zOgp-Lm)?U1SMyaLw(1o(+R7z-a9v%0D{$F|7TEQ1Sxjc#8u^eSTe_ef&&@T`piXy*
z<+|c4(UIpRjY5h8seyv(y&2cK)%ve)3NOszGq&35;4c<%kzu3G#0!}YH?87LqnbIh
zuu^jS@yFroM>!rfgm(<~INcb;A1p?_7k!wmd~eJ7rXgPs=`XNug-Eg0ZlP8QJ09(4
z<}M$R`|xIT%iGbLFv&Li=b_@q<!Y`!P5hSd;R*FKV_i!Es=BNXu0BRulOR>oauRj7
z3}{J2p{dC{<K`L~A*X28pYPRBSL=2OY^AP7Pneq~<fBC#j{_epiY?M}&h%LDkEwDL
z5_DSLt;C3_$qX5;aEW3a6<r_RmVM^B)H=5|-t1F)sXb3NTD}GN)muy%BS8H%u8p@M
zKA0Vl_0Wi`<7^C2ONl#>RW@pLJ*nh_a?PhWQxkG_)4gbIfgC}W$O#XZ5(B<Seby&S
z`RyW>)-1!iLFe7(JUJ_pMJ#PxO3uL|vB{q-&#H;6(_$H3l0Zp@-Se2;v}W~d=Om8x
zHS3KAqq)&l_WH#hg`!Qj&+b|Q?~lpPwp(-5d9A^QSakDAsSOHssXI*S&geOC=iVn<
zoK=cw{#3o;eceNoRdJP^&f+2rxh(+>kukMSk|lA591^)=A3UB+PW23a`ZUx-5@_X{
z5RSK#*|e`~>f^ysOZvfsICZ5FABoK)SxV{?Uu(ODzns$JdU@gN##}znsw-{XZLgm-
zv|Kn{P%u((Tg$O)Tux~&P5Lf;pOuF;;^0G%*~31Y!>D(iaLF;3I^B17A1Kx64cTep
z<=Z$5jD#OD=ni{ld#hIG>u9gZS?(a|v9e?3dUvjV<I?Q&4Cf{LkQQJT`~?9tgv!u2
zh|4Ht6*Qy(717`En~m7|0Zc<{CWzL6h6W@6F9Z<@761f62S6%e0fZ}&{SD&y;(gSQ
z`#2TV1r6xe5*_rS4vKvrwQz4<17Se(VJ_*>4UU8(0qmk5fd=6QM}Z>TuObwnvM2(Z
z0{<4Kh5tS+0AUm8O9l`YM0YZKiWWpV8SD+USPx-FCQ*pGv;e>X6d?gL3J0LDXuy%J
zO#nv*sxtt{(an1`LpsgRcgbky+h<D`O=1o9N+<d-e4)Nv0~f`{0F&;=9tAWd0;r`&
zK0t9LTN&y?DhtN2A~R@ybXPJ1fELGU$*fet@-NO71r7P1y)D#_wVw-<Z31YZD8f%3
z*n3yd?)Y}0Z)Y3OgjL<dyp1v`Rs4c))C6xlwZ0+exkKNWiQ1ye-2fEeHTuxkZIyCW
zc~Gd8j<TZn;wbl=lj5Gm)u?6^hn?=yczb!|MGfN{J}h{8;=_o8*RcPs_l{n3iWn1<
zhU)6-$6IkI_;YnE`ETFap5v^)a`PxcGi~Wq^;D|5u2lIziCgr<q-|bl;RB{hYk_y1
zZC|cQNc^0D;WO&?nUs5ZGWcVu!}#XFFKzma-e*GR8_kSow$+4Y<gINn@F2b<c}L>(
z-)Haf+RQrEYW=MA)l2o4%m(Yvt-2)^aEs4RIWYU+yJMf+pp1Bq_&HNg*|QGV1i77X
zwQR1sNwA7CSMMBo_p<PsYvLQlI-zy&9qR1|ct4gDJd17YQ+H>+>YD8C*Ejy6C*)At
z=q>JfI8*YpxM-5{J3?^M22pM6?d!R<Z|Pe&#`9GU8r$l0BdE)bX&Q6beUZ(`=*y$n
zqYBots&}=X3ZBzE6tT@{UnmEQ<lfF_bL?^4)_f)&u0k=CE!8gfoUOv}-H5{)hvVc}
zz!R2Y5-fXQ)(385b*VHksynekqJ3v0vBv#_m%K_YAxh3X?hRt7@{nV+@Yc+jw!{lk
zscPw3C2QCD-WK}g|3o}VT<NB9s^U;b*B$w1FWd@h)hu{-_4o1<Zb^=|yw#8}{y6G@
zMjRJ{?@i3u9<f=MI$d_|!g8DVW}71dr&iXR>{G?Ywm2v#w<31yKWjcI*+aN?XY;7}
z6Tc*38@ng1*9ful+CkS8-j3p|BF@DhZ@K)25-W$IjK{1@K=j61?!2Jk^ff>jJKT9Q
z*H@T`@9O|eQdzQ%H2gEvxdvNV^~6hsCqlggdyRu&$MZDAKT3`d)t{BCpHla=+Ph8V
zuu1rfd|$P7j$_8T;RB{U?eCBL#gXad+HCD%Y-Reu)Iwu@IpUQ`9liMWUOUsAEw@GJ
zG8Xm`qP~5v_w5+$zux&iq1806z@lzu%q{6AVQfHvs@r84E{2+gk<6v98rs&l^4Fi~
z-)VjPcv;5y!N^!3dK<ZrnR}3?T4in|Q+Dz`x<6O*&|2>3l*-!}F$McXznqq_nchge
z>J^PQIIqhH)}GCDbXM=cryXNlfzAWf722<aSE(Ak88o+4&fJ2!Ts~W?e%N5kyUdMc
zCAWhM2G?G$ZuJe3=dc<uut=J7nI6|G`k0^DoEg6{X1Yj*Bpo#7_{pTd95WH@yoJGQ
zcZ<tCN{6f1&!%ORPiHIt<QjAwyr!|Nr1CiJW#@%*KOzhf=2!VQ$MypLuuB!bn~ohB
z(oZgw+Teh8Mbt8?leqRTPZGMLrq&UWdbZ(hnb5G}nZwrZu;hr3+0r5(k0eY=OiLxy
ztWlaxO_kg8_=KsksY#A%Vo<Z$Tlw@=r+j(^=Q;&vk8vMecl+|GsWRvAb-GTKmo8z1
zOj(!T2<2mQ_SVMiQF=6+*Q|YYG$wv5$73Y7(c*^AYo`e-E%{ZqS@-Ny%DxV(_DiTf
z)!b=rYn~vShltD4N$)>*ao@f}S9@(bQ#8*}lVZOqKjtKwi)?(Yz8M4i<`<yraq)Wd
z*GRy@T6lJRkh9h|V(S5>kHz-gML3Z+yw6V{$F!>_iamlmGqfwvC$%&fClAC`!J1fG
zHg<HWKJVL^AbFioP<!1Ypx8w3%eE)m^fGX|t;wgqg*REf9g}W3;;cwC)s7Z;$hACW
z^w8*;yrEJNTxzh{uBiuMU-$0n5{VGh{8VF6UD1qh-<~FV>S$dW*I=}ao?d;{8rEN5
z9S0{%<R?CN`ql1na)}+<CA_WMJs@OsRMd%I^sM<>yph28s;n-#N&HT{|HTRzle5-}
zp2tXQh*C;Gd>IqoH5W)(CzUiQxS#Z#5B7L{%=0UI(}zi6FiOPDu?{jql=FnDv~;UL
z|DnOLgs!yGSAuKJwaa}Ej*mamNUksONx8)AoSx}?ERgioqgr3+g6NSRgO;OWe!YpI
zbfn>M43A%6QQ|tkLVps60%}b$>|ADEuA!!S(chA9S_V5pFI^2;c_ZFlqJqEZ#4S{M
z%bpxZi7pKH+NRS{k^L~<mJtQ@J$g~&;++Qr1$x|1q<wDBdw#~E-f0w-QlMW^>OYAa
zXP|<)%bEtms}sY5@A*HVmI<s>KNY;TL}Hr3JEvD6wTrg9bU&Bua<8&YiaVq>7m`o!
z8Rs#pWnx9PP7?y@ZkcAYQZjYz*gJ>&_r9@to8l?rk(mC?&gObyWZPr4htI1#+F!p&
z9I~o;c0dq$Lp-iAt*=`ce<O^x%3~AGwcDWDtdLqaWLBr+6CJ}{yIHQXzJj)~V(Wd*
zoOVh5J}+wdx0Fn)@G#r1gQWVdX4O$w{yB>O>)=fxm$)~E2xp4j$I?8{%bCH*VW0hy
z-OKuQ9{TBqF)Hl_<lXZ(h+nC@zb&*+s#l&fK7f%u{pqgo@TdJjEm`hTT@NM+GD?5n
z-hDymioloJ3e570QTzRP%tXi@l$YiSyXy7I6(+(0pYer=9GW`Q;B>*?Y}{oV-`avQ
zjzZ_lyRrUz1~i_We^~#hO*d6`{Bl>ZrUX+&e_#KI8(06ph>}!VyQkDko}fOH(@_W4
z*3|QlI+bG3>HJNV;<McGUt6wfT!=gJ_>D(M{8@=xxo({*-O0g@Cf%K#-5wwPCJ#J_
zFD%{Q|L9KJS7l;sc0_gnEMK!>D+!Tv<uNQH|J*T8tB1(EXA&qG^n0Umbi<30zKeWf
zD;uB9INtTQ-;K3j*?@f!>e)1QN0Q|&`a64M(~JfBh(`XPk0^*n{YpvZX$wR>{w)FE
zXjSJEf#k28RtPrbTereW{RF>NvJ?JGc5~>m!Wa3uE{X)$Oo;z2OZl;7>T&K-g)i>s
z2Yo!ekMwt@^s^et(|oup4adagfswI%E_TN68|c%IY05Cm4Q-tTpE+EGJGZe6gd{5P
z2ugCgjQZ&w9V5Bea?+Mb-xKKt)=f5H$NuIqSQ)FR-?3vgY}hICt6Cfo+gUlRcy*fG
z<<gPW%QyyHnz_|y<W_{Nt<n~)=F+o1b%mPY#kFFZcBQ$KeqbQT=xqB7S-6Q}G~6|I
zx0YL+KE^WzCDbqYIVPZ?(qM0Kp0pX)MpqrP`>Ys@l-G{x`WI>4%C7|6=2$cDIr}(g
zQy89)^F=Pjsh&TZ!P<@u^c-*L&lmF&BaYjtYQ42leS6~X69)qkY9lFuX2IlueUU||
z_`hJ22UyHbCgLLl^CHRj$mFN~_NOhuho)y^tj}GYnc+CBb_Mf?HC*KS;L0dtR2Qi-
zYH12*p36dXT#w9frBi&FG&-9HL!zBTZ;(iv+3m77vQr=sDRdeng}C~>3YF;205IRx
zbr(4`9F0-|RB#|y$DkHywK0=OrMT+&xKqi%d~F?uD@4md6?Owq_fQ$C%N7ubzD8t<
zyT=a|YbM!y7l5Cy4i$_R3(&B@tw&Y{AjZ6uK|?Xc;&%NpS9S+K(`2?tm&hPPZT+W7
zQ|JsP!GlN#l+o-uro@FZ3Ozp)sDU5G1cR^dgk9eU%!pBZ+yR6g#Ye}7L0J^A8?vL2
zm>!IUpaf$1zrN5aP?R(OiN)f8#Wxr^fu*IN^W|UbtDvC`@#_n(3=QzVc`f#bMMBz8
z2^!0MU+5)mFY3+fD1+@oH5PT}YlHVd89U?xLnoT84+TmV0&I9$x_+p|Fm_445%oP#
z{3G7{TL|PzawZa;Nu++p&U(ei{&h_XPq8gnXJ-=8+1Yu8%dkYVsn)qPKEJu$pBT!Q
z6fL$LmC$>z`p`og9sWnlB+FJ2QQRJpaLx!ZPJyjCH=5#)Cw86f(zXuu^)Eg!*Hu3?
zU2pt!Bt(1MoYC41Och+0?T+uzIu(2eJ|!dk@J`(nr{1jQq3Y5NZ#b8IIiTA8hjY8Q
zX~CJGFxc<s7Fy%Qy}Xcm1<%=kiUz>|^Ly^qF`>|>2H=nM&+L6biUtN_6m184v(0SF
z`408?o*3dh{rBr~1iwPE+Oiwdb9|vYou*SVb-5=SpTbhBc<6B^d)p=B@LcQPuC8$Y
z>{Qy-D7|XWYoY_Xar>lf3HPMsJ*m&!QSQQq8obLAR1Q20m&OM>Mg@88ww|imC>OEb
zkp~uX{p0g<D#}|Qa%Ua1`;t&@UG+^Y%R#rIWGXnGlv5+MF_!9~o1HwQ9n`&Q+k|<?
z(Wf1>8eOgHy*3xcp5OFWu)Q-8?P@o0@?66i{R{Ct)wQWsrpcb~g$Dqd_8*K0S!U6J
zp_RWI@%Kc*&*znW6d}<(_!%47o0$-nfFGEZm{<8T_+g>7!=mwkimK|rLZ7NCyQxL!
zn{Rjt?k(K^Z*Y%&PL>{=rJLpd1APBH;eP}^+@Em|vh;kSViD&4N8I~&Y{KG||9~a)
z$)g`RBGez!DQKwi|1zCIFxG=M24qd-&smi}LkejTQgS5FTBMtS{h>z6vk7jR?cZ`<
zzjbSM+AOu_Oo>`NZ-UE(UP~^^+!>(AI3awa2kROpCh)l2q;Y<xTz;TbnpE<dHKssL
zTGaq&yJ=k9(CScT#s{HcZq{tX&Ggdg5x3TE_nk4JBb-HHtm1FnPs1AYCqq}v$bLnc
zl)OATRvw^oX?jHAvZJ@-aF@4O*V<XL#B^2ZQd94&)&^955Pjm@W&m60Z-p={7x!{C
zbhUF8HgxrO^(Uwpn)!RvytNFwj!YRJOH>s-Ut;Qgy6UM~j;q@Q_4r51t!F{!85z@|
zFzWrw3YWXJ{9`|D;W)z6Z^E50;r-XLsC5+N?<bRO^2L*h{|;~HKQK$SQ~BrB`5E4-
zJZq5Pqoq(@@eacN=3x<zoSXgE{1iJl@kJS;LLIV=TWDJM*NU4uM|_#fnuLc8I^BG&
z{EqK<n>F{_2r{d$+6ejNUBtyE=j{Wx6jXLf%fWr`G^XV#Ra{_ke>oq`7!ZUZa4@FL
zvNHwLqah+aqalMMIibdbQPR8{<)4>1KYGNVN#9C8sxADrWzW+PC-cLzs<&J9e3e2%
z;*UIS&RDZP9eL7IK3_;w=D9rYc-C#}h??}C-mCW=xA!pik9<DXp*gwouhqr<a_O=<
zWh*tGxbBh5J0|~DSZ~fZ?GI*L!tT)MA7=c2vO8<5T?9LWp8#&*IR6>oaA*LI0Wd1K
z{{`XT^JMXVgt%Y19eOD@_$Q28dT7~b`-9{C<J7@A)`1L=U>f_l(V$8Y`LH6pQ$S}L
z2*~PyiFC3YBnK~qIh{nNL!?gDm;@473N!HgEo(ntUn<!fqP1*nU&#0V>~H||4}xe1
zI3Pg+2vH*p1_L-cF3ANi`ZH)O|1?=PH2t@;{DI1g1BV;2>(2Wl5)tIoAlyNWlx=CN
z`2_h7vc^8KOMTAL6FfgeC<)JCH)=v5K`pVJ!h&NY(ELElpq9)Ly~up#A4VVu;B#Xz
zAOU3UXjC^k(Hk%$GCj!NL?#7%D1kyLA(g;4;09`#QhfXZfB-xWki}u(E)=F5AZtzb
z1=r98d?1ZRDFSFD3Ma>28iWO%M)Gq7<+Af-b~hB7j~?_KL>5$3LE=#u@KYI$R6wF-
zkjQyGGaBhXsr>LX=-<6Bfe1!GG<UWw*j8D1An~J80G;f{3-M%L<o64}VX?|szztZC
zsi;7^1-byAMHvc%2lvL$G9(fr$v?|b7#w(DewJZWRKXSbS%yQZfD8GvOa+Sr9p%q5
z&^{mp{UTEZAEx{w!yv&``BjF35)41r#bA|x8w&;tMv=ehVbPf1+QVX0e`^nmg+i~N
z`@rIVw+l!fe(M*f{Cgib73JUTj8pmDE-J|1?F??H-|DI;L+<V8@u{fbe;W(9L`!5$
zIuQ(X>Foc%u%;X&L;D4SAuAe<39$FwyuXB?3t*oo_6cP$iF77=hvAW6#4RPIZ*IW*
Ee*|~|?f?J)

diff --git a/plots/triangle_creation_frequencies_combiplot.pdf b/plots/triangle_creation_frequencies_combiplot.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..7700fdfc7db955b1b579fcc079e7e2295ec37ed9
GIT binary patch
literal 14272
zcmbVT1zc2Hx2Ht9q;u$o32NvLL8KdGfT6ovLL{UFK}nGk6r@2EX%G-eX^<8qq@=?)
zgL?IP@Atj;dk4oed+oJr?Y;hI#Tix&c|~3jpCArv&E|_!90&jiaIvt*5f=yWtHGUZ
zJZ%922$B{K007`uv~%=?yCd$7Fi*HV+|tDgjw30F<KgKJhdJT+W_FmWCOFo)eVn~D
z_-=5a_Ba?tg`5HljS`DU39XW-;bkSO!d=BsR@A%Sg4Uj2HI#rz%t%0}k6Q<5D+%uD
zvaIjik32sloEJGQ;-zn`*avABNLg$$AGY<+GF)s!X&b*S%f-JHeFyt$8I!Y7N+((C
z>BveSd~vWn6PX!b-`8fVqeCaNs(`%<(wh1pTfoJ%Y9eK0yl<&>E^_yQKKikNy<V7m
zKGU;=50D@!4@)i61lBy!$W^ng18=d;?hU!M7q<%z6o4w&0LmA)1&vPWoHS2)zZ|{;
zkp|qR#q9=vs;FMW0z4q<wY0~^fEu1IkJr@RvFswQsoFYFDI6e|d3+9xR{v^)QP?ai
zC%<`3hI*LtgJpvDy4@Y{*rBK%dVVVC0f3>6Hj+xE$PvHV5=5qTZu=oz9<TOJeyS~a
z0BboGQ>!Z;9Va4(zRH!-?en8T9T0Jmuv3VfSNMm7Va#YOYd*kg2I_mPfF_2i%p!Ux
z6=1v_^=;}r#eEj#N9#e<4;{IhXFmkPbnVcSSCc;I4+ZC(_{Rp2e|0Sp!sTj`+e$Dp
zl^|u?7f`Mb%fSf+K9bW{DUiV-!yEdF=MTmdP;QsDt{Qo3sp>V7Fik6STjQoB3*JfZ
zi_ix;N-3R1O3pd4GbmITrAk-EEWrlo(Wed=$!wbs+-5LJ*Ew{l3$mpL!ft#}w}59A
zr6^+4p13^_)QkprElTHMunrh`UgvPU6>C0(kycIqP75tAnzvR_f%S=G=LU6=Ldt;h
z98h}TVZ~aCF4ul^fZTpnY4iuUH?GVl1yVV4IHf|K-w62?Hb#z4J-I25`?2T`=+R44
z>-Pt`11Yb7coaBdo*JaL?pm{Tm)P5c!F8g|JsBzOgk>BGsgwK2B`_;z1ypOWAIUg`
z-Q^}{YnH8JW1HYK6%=S;#^4m79VQN`B3An(v(Cp$pMUo39U3<vENAy*m`xFo>_WO@
zfO$;>9``aOg7f+w2$MRzz=dhG&_%6<1LMgl8}M3eZbBC+q*R7(J5ZG0m%uBxd0J2g
zv+xBMuE(7;ysDvT`H$A=h0>JKoF>;g1ZCv(WPo<M{QAPm5ZxdUJ}{G%BT(x3I(vP$
z%rFGA4zt^*Oi;Ne!CV%@V-GNrqALX|ykGdyAY8o<qD1FOovFCTsyGy2!UIgx$;dZU
zlQRlsw-h~iMBqn83RIcI_{`d_0DNm6rdcP%zOKgszL`sjJ7rJ+V2I-6CKa$Es!q3L
zr{6&H!oEK_U=&;VpybN9+oFs=b4Qr$41sq3rcV@_9Ce327opKjg-CQ6Vgo#(wo#PQ
zr}jOx;@&xrCQ85!I#p)swZWi1OFD<H?w+fAaq=Kr4ojS~(ZW^hmnz()L(^(Y_^Bhz
zVza$#_Xk)*0U(G&ZWaGEoM$jLEA^9fVeK$*UWjl)biQ$znqKJ#n*%S<{faIJGLjCU
zrpg9bC8OAVo9#w96`i6cbSS3ySow;zdjuDYp1DvK?+g>8FnpfqezQWS!1xp;g8_7L
z7`hM>%{CpcZ{Crk#7N~BYC+HtLV;Z@vAP79K#Lf?FYBmweR0_LnC1$bUOwgPno1g~
zGp1zei&R?zO-hM(CZ!tXc8cV?ZBhy`4}yFw$7dqYEaYscnT8dT%$q5$R3}A3@(e=W
z#aG5~;M~KqtK;p&c~0I@&YuH>YH3g(1a{yUq6$Bdf6ka{K`iKzE|$y2s_7*)$n(CT
zz>tHu;C^mpMJ}Tnt}hkqXWB%CJAz{QZRRD92x2<V;z-Fd2Lx_HpnOVVjQo0(!+OHl
zvXHOVsV@Vj$6sON(=4@X)r;RP06*zkvOuje^Y`{oW2919V8Nb@n^GwEc9<4Oh7NK#
zO+{;R)uI7QO7ZC(O<6_9oszpmBfv&`*E-1sjO0a|hn)$T8`{{UtM3+zO>Yz`z<XHV
zO{S?>9L`fn-zrUXl}XinKgi2$<#iqG`^+3f-XDFGAsj+KkKuPiEVR6Eth$XhpOQM2
zu}mC&xG|$8GNtsvackq!reL}6fheO`#yta0n_COD{EoK7jrWU(1Lcjd#h8h;jVH|Y
z>L#Puc+OkKQ#llUuC$knrDj&ulf9nV^G*(r3)Rv%n(8=;Y`7uTk)+xr53WzKebOXK
zbnlGOAz|T8CTlpz>~5@p-l_ygec4M?Y<)w28j|jg%{UNtX=;0nN~Ybk`gN9DELn!0
z@tY46EXKG<4Yfqo8a_*i0tgDCXxFxvyn?x$AI46^eC~eIalL@Zs06A?iZxvkWrC7`
z*I1?qR+=>M#KH57cO~Z|@)$JWn`$2uvA=o7v$iO>#mO^(hMJ0kl^FcOywoM8aNb0G
ze&M117uwmXP<Id`6nqbRA`uXu(88v<((KvKnER-g-4(0Wa;#D}tUV-e>Q!R;JQLlc
zYA)hxIZ=*2W96%?<+N1g@B{}KqXEyTu5TeV^ud+~r)1T-2`O!nk5T^Xxb_pxm|oL6
zWU|#SwQ;QCuFK}V%}R+fFJK)6Uc(`oi1ILVA5xx((;)~RzrI{55E}C!-%S8JDQk$N
z<GS6v`*jkWm0He$S+m!8ql^JZ=0{lIH@rKE+XS7ik!JEq3kz~>SDOfoS5d-RJ}D^M
zo3pofy53Ogv7a+cVX9PG@GbbFD7tQ}!m^^k%-5c?VW&hXKSVrr4V!kcr-k=kLJDU2
z^(4tUQ+euHN8e{lB>>F?UW1n1v6@OR^whcZqP}X9D?=0-A_Grf6)S39A<D!z_^RE&
zq_+zZNV2MM_-N0bQIVU_1Ei8p$;v~~G32|4mB`z=Iwn~AsJWJD&5A*J)c;G!y`i<r
zg?Msb)|*x7S?hI!`6w}pR@WP?@a4Tb@1cYM1Mi{>Btg=6E4G*;QNB^*Wy@j~V_0B@
z-rCfi$TLnU1sX)KtyNk{Y-qZqRNyY@Tgtpo2E9`Nq7+z{Z3<=98e6)k-S|qDhkDiI
ziQW1JXHm4yJ%?N;Q#>KG9A)|q6BR}d6mOI-)3(cV(@NNEZ(Za=LIQ<l=ruTBNpnbB
ztq+j{CSa3HBOOpv;gfJPPmm4dM1cO~&Muv4E{@3Ck@vNUTTv>Q8e}TRn1$T0<qJ^G
zTDrVd;!!wqNpx!Q+hrC_VHJ6%OwwI<N$c3hx?g_c!$aS5J-FlR7=X6K3u$gL2R^%{
zN{Y#|eGzeW`<}-K`OthyEG2{0y5^eeK&TpXli1>@m387xju797Pw5&lGngh<RYYFF
zoGRlga)gKg%2THtlkJnr(de8yQspj(#!$a{9QSZ#iKtdkbhgU;6Vax$YxCut2h=1)
z&TNB14^XsYTjve&OI3xa*&@eh8Az4FpUyf^Ry>mN3d?PIJ^A3C#|>!2K#Y9zi4dA?
z6;n)(rtNZU*R+uQ4n*d(;P``YmU2ywO>?o&k#d|D`UIII^K*%*HOUBnKk7=>)d}Y(
zkA-sP4DZp0^aY_0#AMZ2A3+40#iX4^&_(n1w*am&%&DrHOC>5dg=Nf+=+JH6M}F>z
z_#Bh5pX~YMrKb!GB9fR!+oEPiJV2D>rE!NCuMnM*N?>Z_>{S^>Z;9|h^=@#AlUgxF
z7hbSXNrW`>t08`cUfYs7{@jq}yUO#Gd{au3!LV@d{jgL`3B{g|{L`k4MCFbw@r1D<
z`PVa0S{{To^}s}zl*=nMgHmT(g#vI=VA|fWjPYdNr_vLNIZjh04T%Dw-O4&wS86`Z
ziKBK83_D?WVrG#twFN(fU<f?zCE}14Vtq4CFV(5-i}xg9_FeHgs>oeRXBR&641L}>
zMoY#ii{u=y(wZx=jA{(@W3!wQ^A@nl(Skx&hpnLy(Dk;_k8GUY9g=rrP+32wxrj=J
zwQ~r2=gGtv=E0&2p2adbwgdQhu0&B56!Nhu1Xp@!$+dU6e$j0im=3%X1&{A4rRsS_
ze2+Vh$wGjLk9_H6(E1Ef#fD+Qydfvk-H*N3@Sc@obr4n1;<p)V@e=g|Dp<^dx!Fo7
z+W{4%JWSe~UlMzXD#jgG;P`_~n$odX{f;z)qatBj1;;aK5;J&2ixt2vfp$tB9L4t5
zZbdI2nh{)*wrQ^??v_?^Dj39VJ%;RT<?g9@`r>#FB1a*?E7>u38DnSC1OhudzhU5p
zqZ$Bs@tR}ENU<~Kt@>v+J-7%knXB7!D<x8%m}9ZMBD|McCxqunsvcg)*z0i4g{G)}
zqecDE(0q<MYO`V`Bg|NQ`Vq%P1f>(Re)<$Ij=bIy|JtYf6Yse~F~qDgrw_1~a~w|F
zoB18l%UH4kNAJ>;oys0ny{7W!DP5%)5o<;b*=xliJ!|zoYUPVIUkQx~+HZcD1s&}i
zEY-p~7%@+yKvhCF;>VtPww3UVc=B-q58hW%ng+^GBfbMXC-coF>#Rf*_`rL~<QO}m
zH0D%u5zMl7#pz5X70Zc~85Tf_<~d4De-xiVmhly$A;br7v$Z0%{v?g$D#7&@&GmSl
zQ@fmJ24ly{qpl@%JqO9kqvd&3PxxwPy9jenofOk1+=g0<quSn=&JVmb2v=b?Ik<cO
zNHDfTlIm`Sfe}$1=HnTCK*~X_SmtCbd$G4iac#Z8u8Px?6>5dLgi+tc0PYsBWZsOv
zbgG_W$JXv~pdo#nFxP?lj3+^>IJF=}UA2|BUV{aJlj0Tt<*MTz|CbU%T)d9Nl9vOS
zRO(SyQr~9uB9Fi!+BCE6L${6!UxB-Z#!^x8nnXAHvvAt0+a6#pv^h|zZdn@R0%^As
z5(pJ(8P2|rL=sT+v!kxg`lBT3Q-4NBy_%N)fm`A3t(n_LZ9WWbO4JE$`m;et4~b;Y
z>dG$IB4luy8c)OAUw9vu-8wsdE|trcJ(@43MKX4Ns!x%mBC+`LPAex6T<OB318YCx
zjd*5Uw4(P(?nx!>8{cbBzyuH86l-{3cbI%Tl>*?FR@@F$j+D}xpOp+ex8cHxYzjuP
z@ILC7lW&%0yW07J;R~TkC4t}B&h~O-a+ogRT&P+y^FY$+NG`LVhUd2sZe_H6LSo@k
z21|H?#Ylv5joMmAbWb;Z_(kbef1iPqFz@bTZBn{AcU@y2h9;u-{^u!yN>qK!o6FsK
zZ~XHUlKP$~jhh#)c42L}UHjmkYZfq#A#(njX5gvmjU99nvFCMfjXj4FO<4$@x{Rm<
zl_Y%;^<e5EVj1Mxbi1Y&Iv3kaFO0ecYM*KMKVS*lbS4RERA3C`vP!(lnIKTP)Py?_
zML}DSmYCQvnQgjNL~xs*B*2@+aA82fqCeZJa&eO7WJCG-O032G@x2@NfIK7cviBa9
z;D@*VIZ!-vkDXeZF^T5PKHCx-r6KgII``VMB~(_V-IG_Vm<MBBk&XOOVnx8apZEMj
zynJ)8Ab~Nq$$nVwIWo8}stu|a?2cSxa9$fqP`E!&c=>qIlw0XrMjg2cC$v0zGO3yL
zO{z}z-21S_1`l(CNQB5T!)Qv;L|VHUW}EkFBZewoA9d9}(jisQXTK)(k%w5api5B0
zdsj9(@$C^NpX!6Y>vx9JW)hOgr+LU8vlO80c4*C$7P-t->Kte4kOl|~Z!PcWMZ02!
zS0<ilg_f^;nr-5_31z?eFsp(!QF4|`6TNi^_4yk$CP%iDLw;4Aeia?e@^7q(;vcyP
zANx_lB;llG_pch(-2PT6zL_bG;vIHP`LRn12ctGUinAFTafQ>x`8yJ?)K#@W%oXK{
zZSlk#wgp;&%I|}N4u|WSv`l7KX3C_#Z680~YC3wf6?}F;!Flqoe>V7Hf2wJyEy`#1
zOdCh)-R<Dxw}ed>%eT{>Ebb11*tKVv<${#qZTawbwBOcOzMX#B6E^?amLPR@a??31
z(79~8IH_|L{dOjXN7!bbBucv`u8&mEj?R#5kZ5vsFV5Rn=vz{B7Z<2g%A{m;AvA#c
zlgDj0DWqO3X0B5)so#+eW+P;Jf#-o<*LFyeax*4S%?;-NSlxdtXv;D6V%{SuKJoB2
z{&W5aGJ;M`RTTGGO=8dvh*~;eTy$9iW6eZD@9C8<MoMERsx{l<4B9Qyk9sEiwu;eP
zszXmuiOTy}C-AKWGp`*kJm;b!5QD9!t$ox6$2@R5qK=|%rdp?WcY?y6pvU4@_Qd$i
zymq_8zYEp{psLKJ3<o^3*zJa9rnXLqubV~J@_Pg)@;5$9>c*Ty=e;;cTJ9+ak`f9`
za+(o}KYqAz**^zGcB3$#8V5FeX1O#<;iG-k=mcL#IvZ{44b{gAnlln*S@-CUc1yfp
z`0Ac~3?_URC(T=|khR~QujkTG?^6c(NMTsaWPc(N2*p!R>5p)HR48IVS9p{CO+Xxf
zQ`dD;ncabJM;u#iQU~p<ks?tPIRi&am3)C3_iviHFQil|l9cW>oZZJ{i+XR$dJAn%
za{Qa2A3MpLhLI|g9iX-0#tBm+&Xrfpv+TFqD?FzN{n13FA~$zG-FVCCEIEc%vIN8U
zwom7_K~o#3w?#<W*GOYiH{vtvkr)<a&s{H@rC$@uNz9Hn4ak}+xob@KaD@7;)jRZY
z!VGh>Qt!Sa`<l+^I%e-p+v?qX9UJii-Ja0EM;B}m>LZRuf&r}gY-WCp7CrZf)-uOM
z>KgTnTAZiNZlCzN->&eFa1k7;UvQv~(Z$C0J3US>nU6>&Ym6eqjDFf^lNVdoU%G@d
zV>;2P%ROVZ5qR{~i<^#}(;aubl4DQA?!9WviFZ%(mfQRLvsH|5eaiLR<91)zSsqiB
zeD&PBK6_(9J^tubO7?byJhxw$7QbuxUV1@eP_F38$|0$CzyG)z$#j4b{{1G_A+)<+
zZr&5Zcc#&R9OtYC*KI`6r_M+%xSZa5-k>N+iFut?+2o2o)4>r>!A>tN>SNhi45s;Z
zS3(iPu7hqtS6+)?XIIoa)`9Oyk4XqCmp-4wEo=3|1nN(iQSOF*Jq8p7Tv$n08?50C
z?xWy;=^f9(4tz-4cE0rb0CTk$DoK;^B*LFW_S*rMMwb<-<WfNe8#Mi%;Y<XD@HiNX
z|FGY8R+R%)%{7sopEhcXg0qcTU7l&eJP5Sl8Ja9-&CzuQJp56U@NVi{h?kKqw)(@K
z&&F4KF|z$WcT7yN>JdCt>3!C)!XxY&A>6OOvioXq3C!d1<wj)B0Lq~cy?MA^&c29x
zb#^ih?8`@Pr6Z;?{6+Jt3!hkBl(86^o?El}@$O#*^x?BDTjQ<pobn5w>Ql!#Kx<}O
z7&vgytLO`b*Eyw{H24}`wv8V8?BNu7)~EEoO5L>2xY_97f-;@CxR+XfV-CGC@G*MC
zM^dlCzQ_D9=tAsKf)10g`)1O+^7pF7Z`jtcz*9R4D1DoaeCt?&WM*>a)H^nq<KN^*
z2j8xn)9kO)xDAG_%Vew=0lTaZ#sESmBZoAoLgS52K_A#dBZzK`H7KHAjjXZl#`k?6
zA@riv0emYaR4(Mvi=!i}1|s*Us$mUWvv8Uh>CSdiL-zb-;SL{|#flVEokJY>s@-r+
zt}W$tj1>{szAp(ImG%;>J7(cKb)Uf=%9Zp*=QVPb(AzV?{iI)rCiuDVN+UJtowJnf
zu~xh79mnQKD}A1Aid=#8RX!BO$8;CFiD(Q`5_fE?yF&TnS78(9a-R~2sL$~NnFWko
zX=Ks0lW8Oq8Uu5NM6|8+m-1h`kA_W&Ts4U&c995JEq@Y%P2(aGaMW&holJ%QssYL8
zy&Gur-1|dAmKnaK(l0Svgk3jbJ@3pZZsi>nn(GH)d27;R3YgQ}S!tpiT=q#_^)KhH
zNxmlA@n!93>Gf#Pm>H&b)?!u5i{9hiKqWE`>lDcC&Znp+jo8~v<6d7n@V&{p)lLI&
zScyoX?twY>K^fj@Lmie1D`wLJx@1dh5=z(S^V6Z%1{-x73qN7hJqxSveW*UVa_l(p
z4DxvQ1sBm0HhJ9(=-3$hTMEYK9{kSjYxj491D=q|GX;q~$mzuIH4~Bd{L&F8LDrJ(
zY#fT&P1=a5>ZJGa(1d!|qiwg5%GW>rup?Y<#SDV=`Mk7*N#;mLT-S!j_;pB)nXlX1
z;Ro=!s!5**Do?ULQ1w<YL)W#k5Ql5VXA@2|1eJ6lWSsXF>^>!3Z(+5{6DhJGGr7kw
zGrojBN9-Jvu>ZcCd76zPY9yIvbT4J#{;LuEGuxK^fx$gqlPlI37xa}~?_)%?9+}0$
zx5*3`7s5wqA$-sPuG@G!@ax(bO6S{{uGMq?c&o?cFQh88ug+TR>0R~a;wz$uhzAKV
z_3EQauaP2LohxH)QvG$V=tt-^DLd9mUOBZ|LyP?sx1I{gIJbK^&nae?DFyd6x%B0H
z9its!6gnC>BzsO?bQ3@J#A-Tm&`#0JptdYDNMPAGCtgxaZH4iQq=SS)P<49?^qlz9
zUQ{P&K_)wJ_@O0Rf7b0Jl}Ea-v6_{un}_il!$${gLrr`<mnkfO>{h7TG{i5vSiT1C
zKi$0<SXFrV<%MKv*v!@)2h)XZ0i!uP^`x(-Sv6wRZ&v+=4O)12+09KMyPJ!3J>S~(
zQ_`beOWK8Q`7EE_r;Q``rS1-*iz64Io(}fPb>M!f5`0#zOoh*2Im`9!+U$jW<Jw97
zmB!g!ZIgIKT=BT2D8!BSMrvC}MkkJQlGGvrkEG+V#)S=^V!3Dk&M4ZfRQ=v0VzPOI
zEOx^Np-;O5J#z8}!!nlIozy}7C%)M(&|zk%;IdmoP4nT+V4inK-iij;;D)@#uukgR
zLEDxa?o8QhsQPZ%539tJs=OQD^&t8klR7)l?~3ol5x<eD;XP~{`qa+*N%ST60uK8w
z|2Ux(w@m<xP4YV+oeQt)d0S2I$a*V|c%1*M-skS~8z+I+`r>J7l}hFZF^`Yw?sZC`
zR=@07yrH&3X6(o+fg}6^{ZPzTeYV-bo7?`AvED=RlfY!@mzKqyf$Ldl#(=Z4$1ZaU
z`cg&GNA?A;HYtJ{RdT{+!)*B(5I165;n@CbK9WTuAtOo?3#)rK7Un+5;b77~Eg0(w
z=Uxp&A2T~~brZ&Z=-#+#J#;<b;_Li3)Hy9I2^_ey)sI9K;u|u>h0JRq?}*HnkO)Ws
z$$%_^|H^<}=DZYqJ(aXQ5&15FxHyu4xcFf}L;=7rCj$WT2?F>nVV8GAChTWD=x06X
zvK9pRtq%ON4$)TRd;RxszwtnR@dzO=;U9ziD17Jq{y)E>i?b(!{pZ-$yg*(MK=5bI
z4mn*U2?!ASI|+m!3I8M^x<dT>ApnuT1OVXI@pFX(_%&cQ@JnH6z}(@8(Lg`j@!x=3
z*}-I8d;!J?5)c4}3IRZfkLe}19Aah&b`JnDsrWsEsO0YA<@(!fzxRJh{kZ^b#Hj8t
zXAf88SeAZ2$tnO(cdyG?AeSVE;F5=X+gZZ3lw^@CKZKzL_i*uYw}g8DklU#B+p3_5
z@*jy!5OT`@IkSlzN88K7^HK!JiGt+*mhH5(GKay;t*n+j)O&e)eBSkQ4+;(lnwwj}
z%+1X)EH)X2)THv$2)(`;?0P_+^JuW7G01n~hIHY{5Ot$4@nOM0cSA$F^&W=G#D^w?
zrrp<^VgIc3w%d8oIY&k6<!i&&-<++_gFfZ29!dgEpF-DNh|b4M9&EkcWKeCKB|lHb
zU7CfTqvi%PNY5L|k}c=mLqlQVQ|SEXLBCw*kCP4(g#6rR5ON#;6v=n7A(#HYC3{U1
zo1EJLc%44kt&3hFEd|^$I;Ict&hrX`P{MA+d_ZyUO045g9M)Y!sogoOlH@6C+an6Z
zJnkEef6#IqqUJC?PNF7o3gDy5sXNxInc`!^Hk@<21>u!*)wIRm%@Y{w70b*9s(%Hb
zNH>B=PJwNo*G1`XE~X9<@{)o%1`k7)dR|f_o4uC>&;-(#e+~NBf8|s=@Jn=#!~Sx)
z74uMfEUOTV?Mcd-jMx}1&QaMIUHj5T9qb811xE^(%<7je)uQPen(QCSK9)|z)xWeq
zwe@~R%&^*6Nvd5id5kdf-PZp_lt0k{At5jr`j;qwPn&-~(@3?HhkIDM+qrtWxL@i6
zlB5oELMW7hfuWYV47VK2&fNt`MJnib7Dt$k2SDI2cG>T`C5Y5#L9hrw7z+KNTq>S0
zM>|UyXB$U2;Covc4@;zSB3Le)BL_#8zgNn^T$SN=HnzX&wLRfZdH|8{)yRVK&jNBr
zh~0-n07#|zU5Stw^7F*}TIS_&f7g^tk}S*vj_m8dt=G=o!&A-{<_>^>FWacWew2kk
zmt|!8Ut&b$5HDwhJf8~Ai1!cdoNWO7`gYDT&K`C@3775k?W{a)J$}FvQqTYSCn$pK
z?7#gXIWD0L0ZA^p&UVNb9srkW^Se+$KOZE&y)yy&3xNMskNyTNaw_u3RU+jH{J$WK
z)lY=UV*pE8z4luQR)(A>T1!q`<jt*EkDAf58s=1sCg3Dm6fJ08(JVLvRH`I~QrV`L
z3&i-va~`V{XLA<&v8J)6;NhtO^3qy9p--sA#;)N8duDEsZ(^pOhriCKIo+}zowZSq
z3Eo1lyq#WkfjM~ly~1%Y#u>*ENVR%0dcV$B`1$D;cZsQ!>E?_R?F|0;jpPg{TaB92
z<I(q^;sE!<e0qRjg^w1$QXQRxrIMw-C54iukEM^Cu+j}5Cl@CvrI|Y?DsjnB>ZjFe
zPFXF3qIs6qhmP@I?A{CqJoU&t4JL5xDB&)dmGZf_%ZPU8>XIsE;-OOnN(8<g-@m9P
zQsh5S4lE-0mumigW`DfV0{ZL0_piHyc$WP2N{eY?i+vjq@9tJG4&9WT+t4N@THfoW
zaxb1KbdkzTYVs+LK1LU*4tzQ_^YE|V9v|}teKvbN2U#VIAJ@iQ35TaIwkiV$R>Pn5
zn@fCp!!4}N#>wm2)R$Js_p&G*^Xt<nk56O-{6YktIw(11j?qDs^V>n6xAKBjK1Z_Q
zP;rgans;}5xUjv+h?b@}`d~O1WOg&`9NIW4@5&bxlyGNoC=-t)1DIsbRZLFJKEj1_
z@VHSsye(sX;YEk3#Jq>w)?VC{<S|wRZq*WJ28T>7mgIn?A!lJ6*9wLFH`la(5hGGI
zKg9_CCB}bR1%Fq~zqIu`!s#k$si`Xc4dH$$^uHsV5E#HK01yxs`u{*2?{~ob|6$yv
z`u<Iye>WBW6UzOrw3kc&1$O^&>4-MkejW&<RdKd<K{i4Hh8En$4sqK2030$1^ApaA
zq$4i=o9<R{cO<-Vs8}Ij+|JYQuPSXXS64^4(_i5J!}j_6egHto9s6$G=mU&_2q+W;
z0s#U70svFf-|V8FT7#U+e_HG%H2q&!`4ff#{68not9;q^`vb`ehIqIj;0}q+pv&jW
zcVqE4fc<W%{xV3xNR0mZ*!iKt;9oZAzZoh>3I6?w^mk-+(hbl__)LDG#XlwDehzew
zG$FjtQKv4*N0y}(&G9gX>D7G`*|^iqLCRF%5_L=(w2Ou1RSt|OT+yA1HL^3)?QYtk
z!<#IxzKh^ALz_|2+h-rQPJ<nq`hyRu4o@5O(&OT+;c&PZSD?CVgH51`h1A<%bOCOf
z8^a|>HZGpF=APwuV@k73Xt+gpZgIZv6)dT*|5OXqk9$bSR&ypLl0NEYep_h;hK>ov
zrzfFEdjw<;^zIEyBZefAD<J~RBh`9FkkW!tMTfGQ0V9W3qk0ZckL|K2<#{#sMiuQX
z1#UTo2^sATDB3YjS~-<`Dmr#xu+O3fO3?7C8yCZk1S^ajbY}psWD0Atyh8S$jy6rk
zR;yG_Fq^bH?c~lsxcih^(1mnt)g<rspoWngJkF+Tu~sp3N2S1QjMCyXrT?a$S^i_3
z4k=vzk8-T@Yhk(D+N8nuLmxo^rP%2B?Yui(WKU?6G|Af8{fw);>2u|5`sg@ObaSl4
zr?Eplo*wnGMXJc|(~}5U*HB9<;$d)k8T*-FHjcdBQ4-!s9jg;%e<&8GL+4c-hN?-!
zg9fm8FtV`xY*8yLAu%497wcEk;%|x`mGeqyfw*0tqEU?>Z6v3i#`_NaMPrbR^P}`P
zMPZmS8+gk1q=1jrZ#K|qqbAL44;yz$VoVf#BYeipK?%{eZr3WrBL<gcXKHEyuC9NM
zY2152T|_&ZeX=H+_2x|ziPlQijig50CUxS6K?$$Jbgq8=d}ZGz%wB)yRxRdCYecMv
zLbXa9*2dJerF-QYOIk^#arGybCVOG%Eq0k@5L;l_i`=^!rtXWxSgC7PZ2H3F!ERNu
zw&^ap5<13;W~NV!R00ZTuO`5`yR57S{pO_#gXOAr&mr}Ut|Jbvjr<>c<FkcIXKzWL
zgZ7oW0P%RDx3u@fE&>f-Y=wx_8#X8gb6{S>RL62h+3)z!P$QKQ<3#mXh+86E-FGJ1
z|2=2G0@>J1ww>ZKVP9^BQe)TKx>$R$Gx{<0XEf8M!bOdrNF61sSS{bmOg_%a(6n0f
z4yKl5!eH-E<jK3jZ8>`C%oJz^(`20S<PcVUT9D!UHX*V#UY}XbSFWh?)ehQuM8j7N
zeQYAIj2VT-81MNl8`^<~*WH^+UqWAON8uel(dh3`*O;aqu__CQC(NS0&0Cn+?bE#e
z7*G$b%vw|(!C4B$-eY1Pw1(y$MGEIQh+NxAqbMftG5kh<<)Yk1;;bPu{BBDfDL<Aj
z>n;5Yw(R@P@n*Eco+OIgg`b~|`ak<9!<A+xWA(11f0^Yo%L>t#jCr3&9BTwoPp$7m
z(VEC-{V-oeXQpk#3cnHG><xRp-RnnjD4>cRpCyz8!KpiOv;!+BbxbxaPYA4}y<`1S
zycQkYgBhc%%kXBEE5I%Kc5CtwdL<)%sPflL(Tqq&tYOH4huuzv;9DWn+z(noQ|r&i
z9*5B{zM{y)rm1inR@7R7K_jOg6;ySXzozUV95Idk6#4Kdbxf3v!jtI$(^l%>sde!6
zm&|&O$`jRi0yNyiu1OKP3sg#};L)n7Z^qlO(8?eRb(_KaL6LQ46KY3hEKgrdG@uC(
zLvo+KB(dj-aCbS~mV^kq2(lK(jnq?)8@hfp%s)B{YqVeVFG25sO*qreH{8N)_}Zf{
z+C?Xco5y6^(vVU?!%plndGNlN=Swh^`vS3=0S8fy?eX|XzNA5RwWMf7Cu_S}1Vzh5
z;Vi$k91ejgZ+@wa5;<wuPzCq?s*s+M|L3S%Zv+_ce`@bFAV=F(Tyi5Nicz<goK?^j
zJ9O@zR#>%}7j7<@HobEzBeMfvgP~Q^?cOw2U!-^+hPJou&KVPAxW0E!7<&&xu?)wU
zR0-FzHHj^p3B=Cp#?L$P=A_E&?F4!I!AHU~IAjlNM)V9$kkvO8bgh!AWt-eSy38yN
z?a<%S7Bm<{WQ)Qk9^%-MTg}6F+f1sI=lOX6<2O17&7>yBIQ+YHu;(r(6YDYdJ@QUF
z`V8eX1n;5~-&+<3M!!r7v?XT3W@PkG3M*uGAIlAYP#LiK#fzQyQ%-s+W|z9S&*t`5
z%#TDpa{ZoSYJ8`6#<E|Af0AFyf|}XCnu~t<0eb@{HGgn7uJK|ahM(MKa06G;Ft+4X
zYYQ!$-gnt(Mqv_Ug)7dZnq2x`Q=OiKT#|Yz1RI|CzP_?HVwqpsCsB;qiRExS_r#vB
z8(c-j^b7zT4%Za3$f*o-hv_6-hqJy8`@-~Xb%F-trrYC$4K3!({ns0<lWuCmC=X?<
zQ{58A2h_ArPX_PJss}LUWlW~H-8EkL`ZDZgKyL-)8S72q;Z*0oEghQy4z+BG`Tki$
z*#iV>J>;M=OZeFCbA(cEk4l#MrQ2Gc>)FRV7vSVhR}sC}fozTNMu)TzG~tyTlYfzN
zS`7;n=PM{lJGr(T7V}m2^EzQzJd?v|i$q|iH^X$Y9Jqc|?~$;@CeI?1=ftcC;6%pL
zviVEw7<w*6llQ#-)w{JTc^%~YovuVpAD~gxs-Zp~DUOy1FFZ+=^fzy*Q>hM<0M`kH
zbeFY1pbMZ4Uz5A&9HF&rn)^yHq+~V>CuxUg-sry&Th9LILtiJ7GrWEEnb=`|c`)X!
zbReB)*QP9{jJQ$@sq15tutL10oSc*O&*g5i`fq>(1oi^#45o1QiNo>LXR|Vuo81-a
zE@Zd1GiJW(b9jf_w`smdGokCnbvbi+I_G};ZdT%T_@F`4!wk1p+3v|=lbR(*USJnl
zPdZS@@?hq(fVf4W)cAd!3<f$lMc>#JDLrGp(@01e!8<ku_eit54H~|?sfh!`g?Nnh
zY*wEmrcX0fm)CVUu-i3SiJGL95+P@Ni`erjDm$my-zXm4Dw+MK!F_4T{4}^h!l0jy
z3;1WK;WxJu{LB6QH>>Awj!V)z=QaS5!eQW*cb>$@_kERF-f5*cH>}EeouU%pMHf&r
zZ}6NQ!XI&@yefw_Pm7_;dE4JI66OJ)VkLiZz3=VHHYYw4rs&uCZcbkFI%IWOQuVgP
zfti)&bm?B0<@yH8nvwNmHxIK`F5!M_(Z%FME$giobINH2=f<0K{9eLaw_WAyx=aM(
z1Z?wW9JXdph~cU2Q={$YFvB{{1B#s*{|E4N3X`O4yuQXUN`D_2%@sdp2M3zazOyNA
zLLR7b&}Mj%4;=6Po=DWI_I9_Z^($o*?PMMbfmV_vE4|R2ct52En~&GfAw=BPWK<#)
z8hqxr0k=Dh6pT7*IG^E*@N1aOO@`Q`AKY0gP7}1Nr&riVfv{L3crN)aV$R3{o-O&!
zJ(63B={FwqYuSBO;Nhl5yV|-Xtg3(0Wob}52$!)IB9Z?=X>D$9duQ})NhPK6)>ugy
z=f7+ta%+BUBSaAV*Dn4Z9Qb8l{|aebn#M?j_`Bb9Lr+6aLH#$s2@$9L&hqbm6A-`)
zM!2)WKtyZ^{J+PB5Fsn1Y5X%bglv0B_|0|t!Sa6z4_zAOzq?L9eaHXJnfUGs{&JcA
z^Q!-2d<X>o*8mY1Dev!I&o4*h{}~`c#IuEwPL!aa(EsW4-$F@$)*)m1f71Re|1~bc
zZ~OWE*EjGbKp^ILdH+=p1VA8=OJDE%>=9x9?;MC;{t?W&toeNhe~$@&Kd#8&zsKbv
zQMI!|dTp0}<zFFwFJwO8H-8fR%c1;!vJk%wLIgko9QrPf*6uJTzzvwEE!+v_X@^Lg
zfIxgeKEwxLjo?tTbN2ED_=*StID`avE$low0UX+JSA@T8f%wr87{mhr13^NZmu@h>
zhP#WEmnDME@x3gE9LCPYSst0G;Xp7VGy)6;L4gp65H}Fa4g`MZyWwK>-&lTgI)9HF
zeV2qB3=wm6vAJB<rBr?-LVh*!b%$HyAdd|W@UIIXBq#_G1Xu&U(?Adi7_s%p3*h{N
z1{8uKboUP$5Qq#S{>cYKOzZD7s4yZf{0B`04Eb{m5LiU`Pa04dgpl?hZG{C8Gy9V!
zB#1Z|$m`dfg@uF>y7mVRDuQ@w{hcNP1pZ?kB7(@M%O8Buf8m4vb8S#C<R4=|!N>^t
z-}{3KK>x80s0j4Wbs%s==wE0efA$9g3xWQW6@mu&bKemA3;lC`Ac)}aG*5RJBD(H=
z`5QZJJAXLxydY6o%f-bL07jm>?*N7j69F#u=~6>IJYnvhmnRGa5fVWBV2@SdrXtS&
E06UX~KmY&$

literal 0
HcmV?d00001

diff --git a/plots/triangle_creation_frequencies_log.pdf b/plots/triangle_creation_frequencies_log.pdf
deleted file mode 100644
index c9107306ebd151ed1cbd9f0c1b48c08e983b7dfc..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 15531
zcmb`u1zeO(_diTGk|L4|NZ0PtAl<Mu0@6!&mvk#3paPOof+9!>(%m9b0!mARN_Xi0
zTG0E}+xvOm=kxo#i*oHXb7oG>IrBZ^$fzzO#|h!$!(puYT5^iR0|JAb&FpY)-UM;O
zES;=9Y(Ts~lO_%b1mc#nb?~rs1D+0W4@((Kb7u=n95FE*cMms9xFe2F#;B1>DOa<~
z?5vt=^2?6QWzUBS5weWo+J(5QLAvD<p*k;+u=VynFN}8xt@PedtG$|CFX(-Cc2gC4
zy}R6eAjsccmz{6+Tf32WA*aPr{6K!!&URMN(NU*(ZM^u|c=aMT?Sg#tCmj55#@_a{
zv(k*~LErkiH=An-&JGEJFsW#Srjo?J?Q!~_Q3M_@RL`C>OpOMd?N<AQ1kd_^**KhR
zw^}OdLaJ8ObwPL1GCVt?k<?}@O|M!IB+bb2gS0!&dG#Mo9u;v!nzy^K@te@;)WkHq
zea_P<seE{HPyFgciJSndZhww|XxsFe)R)Kw^(}mSRj|(1Tc<jFKH36RyH8bf)ZK-1
zUY%&(icq1#<KCCdr;(r39TdU1A=DEFU5=)Nn@Lj$65k|`cE>kMVVmt_C0^W5w&E7l
zUG87ISrm`vEWgezTc;u4KzbT0eicWbsrAd-?3l9}<$6QoJ+E$8mKyXx>baK=0dJu<
z>tvm?wx3D$CFLZsju$1*9N-0==T?ivNw>~~I1Oy+OdSo%olag|m)c2Q(%TEDqFNIZ
z5EERJs@HtUK17+UH8c~p9wM-S!I^%_j_obmzoowyhai;I-p#(RU+=l+WVpSNw2I$X
zxH|XADEKtdWjbddwcgk^U-C6ackb>jCm&@T*yNymX$SjE5%O$#Ml{ANy6Nn=7pVIt
zo_lWsj+b~R%c)}CJ#PM_f_y(ktJ)l=SlSbQ>~K3ywz_Dh#bk2HVC?k0e{GGrg#jQ>
zS&LPTN}tzOS`hgres{U4y5tf=SfE=ICGY+I^oTj@IIY&QMP4w`D{pY<w7Q&Qgn&P%
zZ=X9yLtE)5RI9#QQdtnOR<t@@3d=rsHmW_7@FcD<FT7>B5<@3ee*~RziMFr*%wsWU
zoMNJ)ar<sJHi|ts>rG1|hk)glR~(LXzTIvd6lB>-&V`hA<xFX^xV-~Z&qCQ_Z_AD*
zmaLx0p?lm&Gb&}=)Qgjy)qVMZ6w1ah8eN7`^0tDruh2$ay0$GBHv|8r{%zcrmLm2c
zk!15BQyx_LP(JRVx`7z(VsvFKc()siuwZb=j_jj_lIcN|M+|p6i>fSz$TDp)qa$?`
z0{pO)+D9WOW-9=58Ua3waui()%_|2~MF>|ZWu8Yt`7+tDQD1K#(NfpiR5_^AhL4F>
ztX9Q2^BE9iHNhuszG;cZ2#Kb8eIM{CufEXz4fng>9$LLVBg+-wc$Ui$uZ8lt-N#td
z_|y*JO!oU)p<jL60_vDP4CRmFUHEc=UYNWJE&cBM6+B<_b+g{73aXe$+x0n>kP=c4
z<S0yxm+vZx8{tA%GvTB1*Q`)P;SCODNqS<Rsr$-TrM^9$L8WNuR&^FsMV~EOU$FZw
zm*ov`0%(<+{9I~r?H_N(Eog&_H*Pzbi_FoUG?)vK;oCP2EcSG&%)2Z`F6lR#OAc+9
z^xjHHnKr_S<|@fS-L-FNz2+*lO~X_&ts?@g2VzjLCzf-z0ah8`ywu|_f>+S(!$C*v
zCnb0}0%F{ID*%TwG;EZ!{($({jnq;4#s$Hv9B>ppZ&$y9ub3|k_I=u2S@hb`%GNOi
za@A5Z*5X4Vu67ri#*qY*QPpdyhd$4GGLM6MmZOeOoK5lOBTHC4=i3KB44dK;3z})4
zdyf<cTw&)x@J&HV-i0^Li(VU9zaGS<9g5a1MZ0}hicbcKj8s@mjtawb%Um7a>B^=T
zie|&7Dz}hZJ#ZwQBPxbu1@(=(n@Tm!^|Z`Ph>UX^8Eo+ei^}>SU+gZa4&W?5f26z`
z2Hp_(RFby^;Bx&1)Y}<*4d?p=f#=kKyJ={*8s79CR1a28hm(>4Hs%u}WPKuJNbM=q
z?*)wK6H}*nIln%qNc!Z?71m;4@!I<%!OR6R_MY5SNl$1CUDB)Uz?2ZGBKm-ie>*v+
z4VcvC3ZcacOG=Tk!RrrMQaH+S=B-qqEthm**!9PyWIAfV(qq#{MWc&O&rq=}%Nr}%
z=Nu?^!6$6VHHeI-dBRLlo}S$ny`o)%ft7u&*SqmvqlEN<(DSlIA+i#pP_HCN=qlXs
zV-O<jiRoGtV>a~f6SmkJ=$JPF%b=eQ#YfE?T)MV%TYO$E;$XFflg=~lO88xtGhj7W
z%3w-RW0Dv~zHDoZzPh2ODx1D4LDe)e-&<XS&(dHaMD}tB`R3mHS@kkx{oASXBFWN2
z48jRt`N{F(mb&ir0S3%N4Yr$pnFPn^Ok!|AXp)DTO%bqajQM`}@XbmsAOhzQvIpv(
ztoXu45Q(Z!zYB*B1L~If7h}v1-HR3YOdJ4LdkfGlul=3_#-SH`R4_dt(<S#v%<t<~
zcicCO8E6f^ig3;K!RZ=b)yJoYoPFgsQFz(chI~Nu)U<c5Fcn`;5em0eV=CSI5cx^(
z%RQWo<47+c<M1&NK6|d~kCXTnaF)9|Qde{pINs1#eTouT^AsdlHGE&v@3wS{WVK_l
z138A66bl^L?!C_bbtG#6Xwe#?xGH!Eb_VjSvi974AT^&IOmcr?1q}zBofs?zn7Co%
zcLtrVj+?5q)SZ+DM~+8)5sBFQj2!Y&wktvEWIwp&l?^AJLUSbD_5;uq$?92Y;K|tP
z_pb~Byrooopip=^T=w4f!n2^$gP7SM@7d|Q-;dS~X9Ew;SH#bWSevv$rH5y~@ycP!
zG3J`xIzIR1Ew?h>BONZqMDr@Dlwx^mLU8ZytdsQ({7~d$G~wqI>dZIeF;BWowIb|0
z3{dBr@$NlyOtlR$PS**wD!BICT(~v32i>mAf)EcYmdwr0Q=OTd@WTTSiWgzRa2^)Z
zlqEtGJ#!NbOT5-`A|zB{bRI{{R$iO~GK;%-3B-8M+c0jVc>{x=w@Oj=pHYM(<CN@Z
z@S@|l?UJKiL)LY<A{yH|Zc8Y^{D7bt_Y2y{3#2sO)HPu&3{uuCQ`5Z(3Et+X2pL)?
z7@aLJJ=?6XpuWlUY{z%$j$Tl-adK^Nm65=Tloq9PsNZ8_XfvdeQs<4MhHmc)N`e)0
z)Tq}dm&Ct?OSsXZjY&OCvz@_)pF@L@mv}HHU8e2dwGZ$3(gcT3Yz>OJ9pE;I7faRH
zwQ3!hroC?%2REO799TGiwYM8|wl+R8XD48)*djfjM=7PpE<DJ~m#jo|FGcHY0@r8i
zT~J^eTba(z27ZW?AfZD1)8#GA`Egx^8_RPnMlY1L+l<Y+yi3|($7}=j`8Ug$sL8)b
zKOs!s#3T<QIvAq8&f_v{WTFx~>JsYPipm0lje9ZmWLUu%vf^98t!DmD36EN^;BCS4
zbF8K0Ot6#}r4eR!L7XQ=3*hh85=XvLXcMy(SR_oa+<*s&0b33CUgd_HLdvR&vO6*4
zfF6yhcGDCv{LRW~BKKh{csiV@EgV~y?Z6fr-gaXm_c|U46J8@HSvy*cr1IJ83ScaH
z$6ZsfR0??O@U@x|7D>Sny%QK#Mjl%UBd3F<$UIBLkHjWn(gJrP=I!CO2YEOWnPT1$
z5%hN?%<eDM>7RTSj;+OYy3<=F>vJ%Je~*v}_OydD4Bi&rTM6ewr~%zqEMb<(n}Val
zLp#Ie>cc~bLOWZEB8hfF0P$>Jq+K1Uv(v##dHJzvMJWZGYNm_P4$R5&+8PW?0VjpV
zVgT~y?7mv2)<H?f`j~=s<?W&raT4Dn?87^B!QDpsMO)wK9S!g3t+;d6h`$xskje`x
zKRB=FIBv%}`g~2U#e1{0&Sj&thZt1zm^SEGU{;#7Ih^)<c8`|RI!xpZL6$SNL9~;8
zO9rQnbjXQE8CoZSp%qD;+4rsTZ$x8Im`K8uuc3#&$I^lTEu>Y4G`^y33`evN@*wZn
zPkmsg^b3v1@VnHzSz0^QXUzdl6&qay`ZSU%L#}MPtge!>+n-jR6>N|P8B)5I$9WWU
zYe<C3SmHH>RJn`uxeXkn8bld;L}QyztdkRNf?fBw%W2ELwRq){pa_g)n{DS)wUu~@
zi|vT6#M?98u7lRMgo0o7bwA_ZI0`hym1OkYb8A=jO&`KaV<~f(j~jZfXB!WxHSaPy
zruM%fJ#IZ%v$j-{o6QwLZ5io>Y2&Ftw7;$P9VXtrwYE~PL-6{+nc?srkLdiW-J@A$
zuaQk&%<SX*eagk_!7&nD5eHTNN7N2pALLdyr~K=kK`Zn$B4FdNz)aTacruX}3Z{@u
zQ%T}9au6f=V5ZF@uta8y@%ZR#tS@G!Ju}TNls9YN&p&>tx&7*z4Izw2xzQh+>?s=R
zi`2~JcFrO+)X=WnMqUYEiX?{Ds87TDpY!@ppg#(l-E9b@NxISP5c$1^M2_bX!7Fb|
zLXLZC5!ZoKgXNI=@a@r+P-M8`RUVe}lRGf5KguJq$EPYQpC3b7!C3<FPJ}Q9ExOZ@
z;6zi2+im%Xj1hhp>uU!U8tw}!Za`QEIrJi$Df~?2O&^oB#qi99FjI<%ZiO#|t5p%a
zN=gFcjO2tg&8bfBu~Ea**=`C#+sHGwZld_SXP#|B-s?R)xr4TPGmR(Sk`R`6*1xic
zp@5A+N}ta`0Ax*d3lY0u;nq-`?l(YlI^>>@99^SkF2Nf*=GWViHL768Ha$t+H*i9Z
z=bEjdArI_PTRU_q-;txCN|j1iNPommM{dyst#ws>hNCrcP~2WuAitvozW>7XI;Myg
zkRc_^?@o%%s)9dD?qq23Nkq9{jr=au*7Z0pGuBgNw^eZ=FR;pDkRPg^PkUEBl-?oU
z<hqCnnd;TmMnQbdMI9*IF0qufs|r*Ad!Dd{bypJGQVQ;M3+MG+DWNqp83vZ%Wxt_L
zZj#0rG}(Bqcf2qbt@bi3nSGLIRuVRE=kVMLS9zB80@RR#c$nZCy_`wF*4GH(=HZH%
zE&9bZWC+|&yLL3H5R?OZp0?VOgqWT$DCCy8A4}pRuCZwA`ih_>zvjnA9X-=Vj_u)Q
zl*z1L%r%r!)mM?cJ9ERKIWEsEPFcdkxE_9fS%YKWHO@75>zcbnqq9M0c%er2Zf0g5
zkgmw_OAfBHS<1DNJ~#%Qle|&H+&0wrGHnksavy)gWS!yy_Z5~(^~~1gc3D}dyr;E7
z@gk9I<UVuGcN4+!xM+PdJ!Vt#C<0w;VW#T0j*{_{k!#>rWLB6P#wdD7X~k(mxb~h3
zK0q}{o>|J*>PU~yxX14rkm1tp%0^y1KRmOx4OEm{Dsd6<NCWp!-tTl!p$8jV8#w_`
zocSgSd0Co_W8-ldvT??)Z&wzM<Kp0*h2sqX!(OW>L|Fxk+NKv0Gjh2X-56nx)GAMU
z+Z3$Nd7wxvwD|fBBw$gHH1^i}7MYxO3QxTByblX(eR~fUv|aLd$OY9J5^;Jx$^=U_
z*}SOkhBA)e%*qSTGgiYXEtBj|dR*CR29I+S47jl$6`nC|SnGT&hzH0ZcSuE#bFxxa
zPUj#mJ?qv;y36OJn(o|eb&sF4fGU%PW(ldHx2xu(>CJ2m52RVWID1vnQ3YVMfJfcD
zq(T|phpo_*J|%Av0Qa<xL=_|X=`gQE^H@3;++qv`VArbut?|_}(r4<!0ZPW#A}4^t
zD$d8^+F0#`uWJVkovsgB>I0zaG=dC_4^?@tbcd~>2}L+i0{~dz7cZU>Wv;j|&ti`B
zCqG08lGlbFHaluOiL^OvlV0|YH(*YXY>H)w?PQEc=T*n?FtpdR8>l`<V%9NNJBp^x
z`C6sx`lMG7v!(F)26cQ4-c#dWd9tD{XnEgvU6xvz@WAZWlrMlv>oirJI`Bfa7uThg
zb|Zn(s310Xmwccv$&87kj&$sHff@kq%e~w}PUj3#--_rbmjbn&HZN0L+d7T@#w^sd
z(_=ho6)3)J#G0rEPqj{0;a8I^$CfUM3KZnSHhIZ%_SDf4+MX2TCD-hciEk{}@ENY8
ziIr1D7j$T(P}{gHelQtIhc=HD77$Q%hw`L)O0GM;crg0BXG3^oFA88-a35n8**D;<
zjN@F|ZURwWrk1Ac=QDZ^rEr;saqx&`3B{rB-o#GTlHC_O)bjcoc_HPA_t^~*pp3Xb
z6DcqSM*!Ir-t{vPkqLy0l;n0P{eW+UtE7b#vy@lD5shx6`ZI|7RokO0!OW*<98pe3
zz+$~;iV;=Mq}Je-`p~u6_U_lk*yTV09q@=X;<}Qn2c27Ou4U6213)v+%D0SfvWPhU
zP>IX()_xPW1RlLL9n-4JNx)yw_ypZh<c2P=1V<ZvxPW+K)0>KM#+q@V!qGXLuSJ~Z
zn7VSCDL6RjgR_>6$<0OLMxgBL#vSyS=ld=9mf7z6cDr%_V=Sik`iXA~u&4VWYKilh
zRCnq~o@@5YH|uZc0zT_(Rw(J8L3eX3@oh90x;lLxV~q1=t%;5+U;v@gyh%8|8>JF?
z{Lst2gJeM4LvD;TkvcV8-U7<Ui-_Xv=vv{}dlyF?oLTY989%n(+X!AhSsgvi(H{j2
zR9QzpvS{`eQ?(ZzI5+VG&v==@_;_>!W`Hvpo$t9Tby(|GxCB{56F`xob7)rf87Yw3
zy4K^%9n}bLpqpMa?^>VmvELK(PwQq4g#zcFL<8Sh1IxI<@A@N8R`b!Ad=kW2Lt10(
z;yNWfz-?djlu;L`Q%1Y>aPucUmnvNqn?h-0v}bdl@dZ9NgSmaEVYmiVo}<-zJHYbN
zQ+67iwT?6|U)N0(7ILFhQ@XPdZCI9({9dDbzSgk<aNf%&veu1-i!%n%Gi89x1N7uc
zV+5|^HC$eR0Y6ry9K{&dv6qly1$fAn2*#nuSU-5jus?Z|v~k8Y1Ba}8{+Qny;R~vm
zO@)~<f39m0SEIx1)6zN6J_ydG@~HNJs*hV(T1}xri%zDAreJ~kTueD^F~ehHTGIlx
z_?hRV<t=eBS1Nb2ZbNV~XQi8nVU&>R=G(Evcyh^kAsV5r>i1dvXc_hJlJ8Y4<b?P8
zWM@7$W6!Rfy`CW3$?}0Vm5im6pT{l7KTI=PcBng=DN&O{iC7d*iIt4eG8cH%=X`3@
z=ncqZudmY(yM0Hg{AHW42A3L3j$Wew$C2zrGmSw(4rEhxCCKyOtF+OXbeR>`@6HX%
z#L=DHb@ee4!Kn%-dQLjY0c+{=a`TRsg~Oln<^ZFjny;9vE0sUbaIrR*kotg+>X1lL
zT-ox9CUSf~FE{gzQke?dnJ6_XAl9ftZx=>BX;>Q@!AM6Ns!C@A%#cnhT49Jryo`Z-
zMEtb#BwxZLOa4AJI8QhPe(r=^m~7Yn9Uh@*bDQ%S`qP~v6wUYOXEp@P^_79HgXnm0
zrj%rpS0x1X3FS8GSbXR4cBUHFOvC64316BNSMk#rcneD61RC}q@2~|ecp`HoMpA<J
zJ}2-teo$_2*MFz`9r|+3bDRAkh8(fep<bFHl|tUrhm)vBm3vne+fg2IMe)|^HH~Jo
zQaeP!)s$+>u@9EzJxf<pg-Q<OZ|Myl=!Q1j3vYe<%?tu;x>V>;1fG{tOh*9p5td?0
zM5(YnOb`oz{+f!bo#SL7Phzm?!?DA->~M2FV-NY_bII{)g~br+S#=|=x}At>*i}k`
z;ceNwAEZ`&rM8UQB%)cVK`9t^_4;@u98B)}9}vYs_Gb6T2PAFbwWT5-Pl1Z4QiJ_I
zq<>7wJab;&6WRu}$V@z^Kom2S-w>j>Kl<KdngSF;q&el{V5zc{Ww|Bh3o>CVK*kiX
z;m!=Aeqpn8yeNUX1@I!VF~aO1vhK8uK=+Gk2-Amk$8cm489P2~ppaTFpch3{9U=MG
z^IoDdgkzJ~2-qVgvK?~<N)&-nyNk+3__G8sT&^GuQH_-)=Tsj8!p{i|afX*NhZhQT
zClt<5nNtLmwp|D}S*9cn6hc%<2js+#`J!D<6*1rJhu5q%gol7bIBOj^ggBs`MRjE}
z+IY)?)EagHt-(m_<R4rJzIzItnW)OY4O-JTu~Eg;a>e3LIuxmDN<I@WF?*2wMamq7
zr&-?h#sIC<htU&#=(m=2ZOwArFJ~ISF?2VShT`b$KB@t8L>>JU6}3Pfiq3Gn*`}Sp
zD5A_z%IBKmge$?WCG#>{=`Ps!A1~;$R@K?)ELm9J^5x2|`g9t?nW$-0se7fjA)}La
z^hh5{F?yo65QBG+V&_wPYxkS`{ZdWb6n{-=_R89O<4dh^MU7~>r+YkObxr0&v&u*M
z3w@Rz?;4lyzB^tlOMDPrYNF&njX$fxxxJrX5W%`_N!2FR@`hUVtr+W?r38Qk4M+NN
z!_71_-}hxFqC~#`IyM@wl3MCLmEFf?Qh=^h{x$K1F&QIi%)<)fu`Dj&S!axqpNQQV
z(a531Qvcw3e$&iON-0~w^?_zhm`GK{V@Xy^DOX$W7~*JIMMrK#{&4l=MkQ{uGKAHZ
zR#UAM*_jj|1NkCx{c_$NU_M~llgnw*n=YqiY@XRlw-4cFP-A_4%W%FgG9Fk`H64%9
zu{(30b^%N}vnzWZN6E5U^57JF84nxxzqQ}jqZRF#q<vh0$U=$7P?mhX#P^5??D<Zw
z$}DTW>uP>8O~Z208xy$<O^3WDwBQPCBz)4*lL`=%UhMl5C<quqdRh^pnDYe#p7>oq
zzOCZqaS}7>BwOKuC6Ja_SPv18zHm~cS1ct+R(Y8EU%E;@`)fKzLmKp9az->$MKkY4
zbw`oLJ@25rb>9wEGNQ?c;kWllRgC&2LUVGNMcT8&p?PeMIV#K%Zo|FzR$?*+N^ul8
z`-0)`m8Kp{lv%`7VzccEnByz4kgR)EB9SMmTWM=xHhO8YFlTlUvxC*v+3US-W8uYP
z)e4F#=D_e#_i3iXiQmN9B~n{yz*5!ktI4LS;w(LVWP{Net@=<vDFklO>315NXhuoq
zYOTSHm@vOI-hfn#NxSD{8)faO<`v;6u9ju?<PSc1<a&vv$Z3(-mUepc1a_1N;vw!R
z5AEw&#2Tbzb8}en7m|eY<yM8hYY@N*Z6%BI7cPKHrSi?cjQD_IfNwJCsZQ|a`(4zH
zr|WN2qKwL%-)UdRLNx$|Gzp!byeD#?_BM3ZHqMC;M^|cnmX7u<d=%OZzb{Uf*2|D3
zl&b24s@!@~a~`=+^9B1uM%iwk0Ihmn{oKQ*n=B`9x8$m>YWMEJi^UvP!6x|wH+dQ~
zY&(<UrD)?G`?c@~rp6q^ij%z|N?2z-Vy>=r)<nlGAE0v9)@vnD(B`VXQOz19rd{*a
z%4gmuuMJ07Um|G`^Xa0PC*wZ$H#x_vhBri0fUxTkr6@uB%n`{PC$Rn^8xnPQSdcw=
zG;ZZ-ktJC>&wxnMtvURb=9K9Yfi{9Gr?>iJI0q<`Zau`Eit*d%e8JK3Waa(@+Yu4f
zCd0Fa-S(oz*Tzhco30HS2I!6q#j(V7D8<=y$sb85;{@1>=4eow(G;z__NNVlv;y0=
z<&3Vr#~9tVPP%=430M5^H4N@!DoAFqiu>y5cE`-o+pP54_W~?@@}A%<`?X7j(VdnL
znlg@CVziTVQ;up6+I2SStU6;91agx+<frOpRJo~pv@)Pn$Vf!<CfWf28w;4CpACR2
zB(5kryZ0dO&hcB94C9`@lUm>(^C<7!PklkZTP<bzfr3*kKC&fx;eN54;m3j5Pu7tF
zZWOMz-G_MsO$V!!6J&beh6e)*eZC535rlUPS3mhG+4wKtVa_9Z?D-y}wuml%-89v&
zYUvI`-h*V%n_sljzM?x>W~qcQ4p3gd{~Ukrlj{sbTvT4^c!*Tbwc$bkJzT$S?N`dy
zpH)~l;|ma+4dpVZSJGbtoT1lUje?|u90Bon-^9_R-n5E-hN>L@x+U6NRf=sdz!gS3
z@+jUTKr0zr{`Kn87pz7ateYn2%ZBo+`w~;BZxp@5jmN)5L_CHENB3Q0Qjnvn#9`RC
zUZSyNLmG_uyl-RNnbhSWQHq(%D12{>$XAqbMiv?({FDR_qxt(<Y__To4c6us&oJve
zUE1ygpCk{NtFw_lwfvkN#P2^!0SK&jq<0X3tL8q5h0Q7N*59~_A5P5AAgL&KMf~i*
z_6EO@-0JJ=ZHcB7+P#wykeefs0~z@}LcD_BraJRPF!+ebcP0#{faFPi9BqEHdCAdq
z!>w_X{Hwk1N|m)jZ8c2sg}_SSlpZBZ1m25s+(9t2cx?v2zVw-PJRG4ZpFoGvQ{9g;
zsc~QNZI!^Bxiz(^#hIqy=R~27Rm2#Pd;YHoRr3i^vc&Rl(!cfs>uM8F=Q%5vJm#T|
zr_up0Yn1wx=?|yh7Hl!ujJ-?A@@!;f;YP-_J2F!d8LY9B^`P-nE>pg$F_(p%6;I^m
z=l}u3=ikn5(r=)UIoRf5`q!>Y)T6+3Q;H+_QNMKx%$isem2+@drSCTgD`~aq&~PDb
zWo@0fKjzK_b8t`GqF$2axkkH`6T>#Ts;U(w17g_@WXVLsfgkJS1=>I=jN`?cdiwO^
ztj5e|GBmlzci4zSM}#p$OYu=+u5Pb+%k@;r4#Jm^vz1T%3M}oBjwa}x&MD$S8{ar-
zWJ!gFxq^q)Dt9-*DRCnf<e+g3WLz)}*BVys>wCp(OrbptlQM)6??Um=ObpO;^aPOV
zc$=+Dqb%?e>|^dxbdbsL(mBYLH3xu>CP1d2Z?xJY*lC{=r-JOhUr7a(eUast<{Bp(
zVi*c7bG4CcsasM}UYekf4x~3GwDhMlCN!1&@R0%FYITol&NSSR5^ec(s-PNhd(=8I
zf~m|X0S|U)>DT(jjKF8c#!SHZuS@UBA}Ii{9<f+m9LAnKYTcT}*5cKbfmkj^V`13y
zG8WMTr^qSqRyY9I6#1DOfy!WX-xFE^ls8u^jGF@pUq&$C<q-~sx6oIQC}ERe1Ss^H
z0ccIHYeW?nz)w=os)0jhGINs~S>oqpy(7+n*1+L$;uahMxR#WL4sHYI((BeZSGD?e
zaV$gJ(vn!n>B>Bl?|NcPE_HQZ3n%jE8Bd&D>Byd%quzOLFcDL{`F%+Xd!IX#4DEAy
z|A8s@<Q<*C=<{x7ba;73eX2~vV%ErGe*d75#B7DgnB~KSLXSk!%DK~RTgg?PW|en%
zEIpH=%TZs1zN08gKCml(QEW`_nobN*e8QIG&2Pxm91v2bd`+8mWszqT%I9q9|Mq-h
zo0=IF-qX;jyCRhtlcgEbV%QQbn`XZtc5awfG{|}^6r_ZX(vM}(_k>M*bD&THOQH3+
z6Tc}h*keKGYyR2hho*;S&cUZ{2_F|x@SBSbDTBfm&++aNb40!h#FN9qU=R{V%?r1V
zkL^YFZD*~8Awy|w=u()J>f&3mT1{_!v_?eX!*w38QW?4G9)z6EA=3QDw}yq6#!KgT
z-u1+>^2Tod7;@NT?bpRH7|_D7vy4tZ#W<S``(enGWMQ^joHi_!88e>Ztto-=6FX?a
zh(cQx^ap^NE>cLau)9MD@N>qnIaulgUbn)w(4oG)*Z^Sx+6YK><vL;QYpi!m5JEcg
zSc@IJSYlYL{Em-Yf;@IQ`MaLaxBXt~+KNi25W~W5M0A^m17fxSVuHyPXRnh31t0S!
zc`PA+=4S6r`>cJo$JRZXp|<ghUx9fzB8R>3!b=@L#JPLHrc?nVTo(b1pfVtjF;MZj
z4~>QahE*W>u=sMeQN(P{qR%$S@vJw<y&In>3B-VDv#Pnyb(LEMMK^on*G*Qy-0q?%
z`#l8<gm7WufpTWxUn)E{Xg_<v?hwPuQabJ$%FTwm3<{7-(&9YX4`jH_{K{2$BGFMe
z$+Tvy@&e~8I903>0YwJ!s5El`Nt@&>jz??ATisOZKB~-UlLyrUGFY!wlI$On0~Jky
zXI6!2nkQRdhDXSY;&esU#IPB@Vt8Qv0sVkSW=7autsTc^_0q&bqocS^Y{o?Fh@6Zy
z`$GT(4~>j}QlX7-+golO_7B?$xZ0-2wBiHPNncLVEQo{$rdF$Iu)dnOS2nE5k^^HA
z3bGJpO?;%9ONoc~<XTQkmG5>+5r02-{#yb~YSTCS$(U~~md~;dgU`>azhf-Zf9t}r
zbh7wyw+Q%#xRr#siiCIqmyv{^LIMZ^#4Gf#OG_8mlw^H8<h4A2D@vf7HxUiMhZ_zC
zUO?Q^k{~b_ABfu=e(?k@Fa7L?{N2w375YJe`1T78^d}AEq95{WAJ5M|Fc&|Mz>o2W
zZ<pgQe{;(@J9z+vKe<|Qf;qt;zMmJY5Q189LVzaz-<!ak5RkynCSWSy&kxlF|56>q
zt$oME62z?zx3;`6gF4*J65s~;IgVS!(!v%l<?I780Ga?E5P-D+1Y~qUEe%Kpkh_Br
zH^45hd&#>wd%FB0?dALztv?me0=T-to!ngzyv*<XY*qw$xOrYkflx^rppvolvNgBV
zl$Sz~{4j>5rMt7Io4KVs2;o4@U$hbe-Vu)d<rW$s>`%G=?HU?_kCvyI$At+Hf<mN!
zyP9ThVG4(vT39T)tG?xU<J~vFKEyZ3XKHEzH#IdyGy6(A3=@BvO5pijZ^xadh(rBG
zDy>WxZg3BtBw;TSJr@=n5*ZSrIG!955-%ASlKMbnntx5cyVq&RDO*vzrv7&QcPFd!
zfaRyFhhm`9XF{Ky3D3t36F0lR(keHt#C+>T-`TAAhNO|KJ~YXa+f0znj)Fw|QMUTe
zC4Qmjk2MbA<N4`l2*Qp3G|8pe5UT&1NdPPVbu-T>q1mYegxBT$q;0`dur;4OTHEL`
z-g#a@08*$*^m`<?o`h=dgpph8NUygKUx{&)w(k=9V;sL5ic4%g4u;uJeISPMo`Sfj
zv#XDFswTOZuy4<~n(%N+yJ*<p@8t20zZJ=N0#@AvAxShrh)==oYoCQ_)E1J52{=ii
zEJKIEi*IVKJu>c>0#W+Yl<ft~44|KC`ENvJ+wU)xSuhNz#WM24nR1fWB}K+@agIvI
zsXG?GRKs&bIF$002v4?ql%G$jXfVGooq753er=82sg2hQBHGoa3R127iDUFST-VS4
zV#=R+0k9AhD)g5rf4$>)xuy|eDP!qw?q=)a;p}!14~QmJxFZlyimEVW9bI;5xUHKr
zq7@Odmn05wYj+UuU*uAkvBigoXFjMPNI*#FM{p^6z#VMOC7rAtEJ2rJCEd*t!3mID
z3`a0WykB-o!(9|CZLMwo?$`3LbkqR}UUnm16n?%SBm%r|$pb<J&96a(5aZ{H`CH8k
zcE3l;MUxcV-4Zd^f7932&D}%V2JQypfnJP(!GFB-LoVJC<Nr1z2=aF-k#zzti`qI_
zgSd5Vog|&yZGSdgjMKHX@UU_Jk(Ll~{^t*$AY!ur_Jg3fNM%4ua=ztci@2Q%x(J(J
zjRN_(h5VXY{z}0A8b`mS7HLHpgq8?<g8!EcWAQV?<k3RKE$Z(q1}gBJCs>Jn{FXPj
zVl`$=!+1NpQaBzb!R-0G2D(Q68K^=rA>_JES{ZNjojBHG#lk17g?AWJ8I$nvV4%Fz
z)@9U>u-Mpj+(3_vFJxaa($2%`)2mK5t;S}pRigtpQ7eMdUVXzD3hI|V4n#X+If5ux
zPDJfj`v?@BZn75}IU0SPcBGodKUaB_F2qy?bIcm+hZOp`9X_Q2@s)dPa?4j!+ndXq
z>zZGaH}^L8mKKm#@pg1}6qlb4KT*8@NQmNDCCo9ibx1hR-0ILFZo{^5#P6AV#%bUc
zht6X5;#qO;m>oKlaLh$zjD$nS2&4#nTdscz&7X@C5t@R0e}yJu-}|{{e_TI?{I&7@
zt9O3Sa;<jlV7$o9Kpg5xY1iSe<S2Rdi)Ef1lc<6f85CrbEbr)?#XIq-VWwew-?NT6
z1J;b|=Xh2L;y!3$tb|#nEwm|s2Uo*h448^8H?j+;GO=>HG`~wN;Hr6^hOzhTp8N9E
zE8P57JhYLrOC6#D$UkibtZn86Dz4pS!nw{i`r5R&*WH<^F+ED++R^*lLjlHWq31$P
zV=^vW0Ri#hL&F((#OdINc5H=Y6wIS+I0soxT4C+!pXN(CjYL1WyKe5@pA<XBiokuf
z$ePX~`5H@X(EK)Q!F{%sYck(mQvbz_2;2PFETGW8&G;uO_&qfLiq^{vcS~LqrY!$k
zhWioF|DNIap&(9P5U&9L|0Tt7UM9@{TaLR3-{0c-SE%rxvfQshd!hQ@$?iX@4vf*d
z;|^q6MJFp~#2`e%(6qF+1@_cCAQnjgcv`X|+JO(Znwy2C8zQ~2C|Uq%+}7jHUtL<B
zE-nt1j(;WhAK2%2e}Etek6ofJU6277NQHc0Fo>6z7i47g3oiQUZiFoVN!g3k^uKEP
zGYtb-|A*k53KwH9HzW%<u(<%~4w0K77yHX4So|fyULsXMtDjgLk)!_+!qC4l=)VCK
zgav=!k$%stjt>K1I=8602T(J<uE6lN=%cPa%E!RExl`akpa7HTBEiB4lK>g}ORHCs
zla;vXoX8p(v`x4?d~17<n-IKXhSf!q2#Ti2PA1TZBIGn&scY9+nLjHP-`I5Wo;^Je
ze0O*Td)ph83S(MXo#M=AgfMp2>!#?UK_8KrzkNz0K0P9N=n-yMFn&{YWuQonarb`e
zZZU+Qj{H&KC*HLaak1EbgX=a|4!93+adEJXs?s0=%Wa0KUCXaz_~Y-Cp})=Kv=}It
zefv?8QMlY}teYkkMP;bqP$erp(Cx$O;F^u=7uRSq>x}&?=VeCesi@z2y-hM+ndBDs
zoelIo#(*<>Y_7k3`E2T>(%coqGyi&tS<|+){v&3tE$Nxd=k8}kYJ*V)G0Y+o3}uWA
z4-+c(_rq046S|gm$}(yKpb2~QE+6=kZm5c?j*rom*MP$+itEoo*N7LJh}M|SB-${&
zBPeCiB^$PuH&eyc;eNxcNq8~*abzYv7Wwbq=x;-NXj2~%7AmDqK*dUKr0kcD5!j{(
zbzG&^uKL^>^R(~_b*&EpT?p<j$>_a%gCGX0TlAsgnx*h285PmH-C=zOJiS!k4E;rl
zdo^7&*nEX7N|!m_-AlCXH(+f%u1p(=oDMcFg4!PsL>e%3iyNUHO6m@!+(qj=<!-hX
z^ee=fuTKu;P?&wPj{{GXZ*i$qvwzcHz`H~R@#}*U5aJvmH8lmFuKNtIfEhaVt~wUz
z^@i4N6o5G0f?^Gyu(7Wq`-HKa-g+8kS{~uzeh@3tnV^FnSn^OUTa+><Jc&{hRidfK
zVfwoOdI+ten7-bt`|rB0I6P5b;_gHh>7Z}>uzWB$;<3N@_-joGQbs#wKC^-^!|=|7
zJwC3ciZunJQEQKeoZ1o+-tc6OV!Ee~od<%_y&84*a`r*+evZ8>s1wLHJ-aezk;P{Z
zZrwjIr+V$fLD!IIv5zhbdiCigQP^|e^Pz_mnS1^A0?~4$4+IJd==@2;9)FjvB~OfN
zXmoaXrbQnXGxkg*KPdZTmVsp_%|fo;9@mY8MWld(TvKa*K$Prbio|}esI2sxVG<H8
zLT)x?f?e8S{7N!PFVd$P`S;d+kFGt(R5{M-dg$?hZi0JNAv9~96Cy@cNii09R#4J^
z(0IO9xAx?O%CW3=gX1JI&wMMv<CbhKs0U?DK~J}OtxFDPU_d!k_CbwWTEt_st+qvS
z;AYgj&&Jad4`q_Pa9@7Br_pR-As>>PFyx?jP|Y{1eY?VlGJ+Gm2n!y?YNd`vTslYd
z>B&p`JyzwrSfh3~rsIg-);#>Yzv8#nR<&^O@dl*&%*%;;$)x;AIg6Cq5l5Idr$Rg=
zs2u72-Pd(7nI7tL`A09VR?$Dp$<69O2`KWqCR&aKLTk3eM~<McqFk_(cMzYs^YD!J
zN+B!zpL^v+68f=MLcjuoe<iG+Rl+Zb5c)TA{kMem8|E15cM1dJA<g+cY3trlC(6!$
z8J<wE(FPZ%m_(H@n^0hop%dLYh*@~?$Sc@C%F!a@%T!b47+R0mS+Ou4n4(COYqy_0
z9GSZ-x&g^iyJmCPK&6r7Hpj*o<J|iRS29ohkJflxt)*pm#&(0%P>?FTONS`^Li!JD
z7xFfirwCMSP!)!Fvt47e{Ju^bh|^gV`b@5q3&5wlDw<<UN9jmyv)q;K#%gMeb2h)C
z%W_(x?hEpxy!>{pPnqkwoafiZ=Y8}AO4lFT^d>K6WIpo#V&oCh>q_L=S<(|R?=E|c
z`A$4R*-LTe)!|~a(S!Ie496W}`OBL|!_I>Zw7VJtn+rC>`A<^^d1E`f8*4vm-0}@X
zcIS*4`WFZMth<1G4;6&|W&d9h`QMw`-*v>reuUVCF2RbnnmSBP=@+m9oR?gZ{5x0y
zgE%3)0zg3q1_^-wzY8+(?*$oR?8WTA;FTXF|4U5<F#WwK`xW5+t?UJd-?zYvroVB@
zf7bdx7G)5~54-$cl|d2qzJwZo@BaU%sthWCKrNTQ`S|!j|I6S1R>A%M*@uwjk7^M5
z&vT|<4^=L`fjB*Lzp%Zstpx)1TmZ8lWxTYrC*nZu7eEI6S;t(S>2XT~{}U28K>)Gn
zIy+do!5u*=a1R?xN4SSAaN-C7bMbJ2xxgSRfC6Ug<mm(Q5#$H4@bhw-*?O>oSk%lt
z095G)65;?s!4N*y3lPbz?&fUaX$~~AT)toMuyuBlL7Z^10E7Zyey9Kh$|uOj#}0-v
zgTa?{D$W-FjpP@|_UEFMh65)S&ej)(xG>3&W5mA)`M6nH;UK(^1ODp+;^*Vz;R9KL
zF54iye1ZUIM0`L_Kia@Tyb!<(zqf$_W&hbG#Pi2kAZsJ=|8HX<ybvM4i@&!)q2NE~
z<L3wR&u?^KAwdBEQUBHk0YiY3n?Kt4{@?-T<@={@5HPRcKXrqEh5nQe!t*B`g!d1b
zA%JK9-~kcf`GW^Ui2n~gpgjD4=)uFs`%k+-c=-7L;K3ur1H|I*cHt4?`=|XNy!?EB
z`a|$nTY0#_fwL*Mi-TM(TVG4WdO^T_O=o8h5cINkK)fT0EYL+TT@-ij9&k60ixmdp
P6$10(Ffz)j$>IDzc0Tdd

diff --git a/triangle_creation_frequency_plots.m b/triangle_creation_frequency_plots.m
index 33faa20593f5ca3b6421202a3ce17d06ac7f7ef7..580e96a882266b7d9b86abaa786066d0e78d864b 100644
--- a/triangle_creation_frequency_plots.m
+++ b/triangle_creation_frequency_plots.m
@@ -79,26 +79,99 @@ hcol=GraphicsGrid[Transpose[{{h1,h2,h3},{h1zoomed,h2zoomed,h3zoomed}}]]
 Export[NotebookDirectory[]<>"plots/triangle_creation_frequencies_log.pdf",hcol]
 
 
-(* ::Subsection:: *)
-(*Test with 'Callout' labels*)
+(* ::Section:: *)
+(*Canonical dataset*)
+
+
+(* Taken from stackoverflow *)
+ClearAll[chartColors];
+chartColors::usage="plotColors[plotType,plotTheme] gives a list of the colors used in a plot when several curves are drawn. Here plotType is, for example, Plot or ListLogPlot while plotTheme may be \"Scientific\", \"Classic\" etc.";
+chartColors[chartType_,plotTheme_]:=("ChartDefaultStyle"/.(Method/.Charting`ResolvePlotTheme[plotTheme,chartType]))/.Directive[x_,__]:>x
+cl1=chartColors[Histogram,$PlotTheme]
+
+
+gsraw=Import[NotebookDirectory[]<>"data/graphdata_canonical_creationfreqs.m"];
+(* gsraw=SortBy[gsraw,{#[[1,1]]&,#[[1,2]]&}]; (* Sort by n and then by tau. The {} forces a *stable* sort because otherwise Mathematica sorts also on triangle count and other things. *) *)
 
 
-createCalloutPlot[data_]:=Module[{h,hl,bcdata,llp},
-h=Histogram[data,{-20.5,20.5,1},{"Log","Probability"},PlotRange->All,ImageSize->280];
-hl=HistogramList[data,{-20.5,20.5,1},"Probability"];
-bcdata=Map[If[#>=0.01,Callout[#,NumberForm[#,{2,3}]],Clip[#,{10^-5,2}]]&,hl[[2]]];
-llp=ListLogPlot[bcdata,PlotStyle->None,DataRange->{-20,20}];
+gdata=gsraw;
+(* Data format: *)
+(* gdata[[ tau index , datatype index ]] *)
+(* datatype index:
+1: {n,tau}
+2: {{delta1, freq1}, {delta2, freq2}, ... }
+3: {successful moves, move attemps}
+*)
+
+
+ticks={{1,1}}~Join~Map[{10^-#,Superscript[10,-#]}&,Range[1,9]];
+histogramData=Map[WeightedData[#[[All,1]],#[[All,2]]]&,gdata[[All,2]]];
+largeHistogram=Histogram[histogramData,{-100-0.5,100+0.5,1},{"Log","Probability"},
+PlotRange->{Automatic,Automatic},
+ChartLegends->Placed[{"\[Tau] = 2.1","\[Tau] = 2.5","\[Tau] = 2.9"},Scaled[{0.8,0.75}]],
+ChartStyle->cl1,
+FrameTicks->{{ticks,None},{Automatic,None}},
+PlotLabel->"n = 10000",
+FrameLabel->{"net triangles created by a switch","Probability"},
+Frame->True,ImageSize->265,AspectRatio->1]
+
+
+Export[NotebookDirectory[]<>"plots/triangle_creation_frequencies_large.pdf",largeHistogram]
+
+
+createCalloutPlotNew[freqs_,bottomTicks_,epilog_,color_]:=Module[{total,plotrange,ticks,h,probs,cpos,callouts,llp,range=501},
+total=Total[freqs[[All,2]]];
+plotrange={{-7,7},{freqs[[Floor[Length[freqs]/2]-3,2]]/total,0.3+Max[freqs[[All,2]]]/total}};
+ticks={{1,1}}~Join~Map[{10^-#,Superscript[10,-#]}&,Range[1,4]];
+h=Histogram[WeightedData[freqs[[All,1]],freqs[[All,2]]],{-range-0.5,range+0.5,1},{"Log","Probability"},
+PlotRange->plotrange,
+PlotRangeClipping->True,
+ChartStyle->color,
+ImagePadding->{{1,30},{If[bottomTicks==True,15,0.5],0.5}},
+Epilog->epilog,
+FrameTicks->{{None,ticks},{bottomTicks,None}},
+Frame->True,ImageSize->145];
+
+probs=Select[freqs,Abs[#[[1]]]<=2&];
+cpos[i_]:=\!\(\*
+TagBox[GridBox[{
+{"\[Piecewise]", GridBox[{
+{"Before", 
+RowBox[{"i", "<", "0"}]},
+{"After", 
+RowBox[{"i", ">", "0"}]},
+{"Automatic", "True"}
+},
+AllowedDimensions->{2, Automatic},
+Editable->True,
+GridBoxAlignment->{"Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, "RowsIndexed" -> {}, "Items" -> {}, "ItemsIndexed" -> {}},
+GridBoxItemSize->{"Columns" -> {{Automatic}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, "RowsIndexed" -> {}, "Items" -> {}, "ItemsIndexed" -> {}},
+GridBoxSpacings->{"Columns" -> {Offset[0.27999999999999997`], {Offset[0.84]}, Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {Offset[0.2], {Offset[0.4]}, Offset[0.2]}, "RowsIndexed" -> {}, "Items" -> {}, "ItemsIndexed" -> {}},
+Selectable->True]}
+},
+GridBoxAlignment->{"Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, "RowsIndexed" -> {}, "Items" -> {}, "ItemsIndexed" -> {}},
+GridBoxItemSize->{"Columns" -> {{Automatic}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, "RowsIndexed" -> {}, "Items" -> {}, "ItemsIndexed" -> {}},
+GridBoxSpacings->{"Columns" -> {Offset[0.27999999999999997`], {Offset[0.35]}, Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {Offset[0.2], {Offset[0.4]}, Offset[0.2]}, "RowsIndexed" -> {}, "Items" -> {}, "ItemsIndexed" -> {}}],
+"Piecewise",
+DeleteWithContents->True,
+Editable->False,
+SelectWithContents->True,
+Selectable->False]\);
+callouts=Map[Callout[{#[[1]],#[[2]]/total},NumberForm[N[#[[2]]/total],{2,3}],cpos[#[[1]]]]&,probs];
+llp=ListLogPlot[callouts,PlotStyle->None,PlotRange->plotrange];
 Show[h,llp]
 ]
-histograms3=Map[createCalloutPlot[Flatten[#]]&,differences,{2}];
-
 
-(* TODO: Somehow the values of these histograms do not match the ones above!!! ????? *)
 
+histograms3={
+createCalloutPlotNew[gdata[[1,2]],None,Text["\[Tau] = 2.1",Scaled[{0.85,0.9}]],cl1[[1]]],
+createCalloutPlotNew[gdata[[2,2]],None,Text["\[Tau] = 2.5",Scaled[{0.85,0.9}]],cl1[[2]]],
+createCalloutPlotNew[gdata[[3,2]],True,Text["\[Tau] = 2.9",Scaled[{0.85,0.9}]],cl1[[3]]]
+};
+plotcol=Column[histograms3,Spacings->0]
 
-Show[histograms3[[2]],PlotLabel->"n=1000, \[Tau]=2.2"]
-Show[histograms3[[5]],PlotLabel->"n=1000, \[Tau]=2.5"]
-Show[histograms3[[8]],PlotLabel->"n=1000, \[Tau]=2.8"]
 
+combiplot=Row[{largeHistogram,plotcol}]
 
 
+Export[NotebookDirectory[]<>"plots/triangle_creation_frequencies_combiplot.pdf",combiplot]