(************** Content-type: application/mathematica ************** CreatedBy='Mathematica 4.2' Mathematica-Compatible Notebook This notebook can be used with any Mathematica-compatible application, such as Mathematica, MathReader or Publicon. The data for the notebook starts with the line containing stars above. To get the notebook into a Mathematica-compatible application, do one of the following: * Save the data starting with the line of stars above into a file with a name ending in .nb, then open the file inside the application; * Copy the data starting with the line of stars above to the clipboard, then use the Paste menu command inside the application. Data for notebooks contains only printable 7-bit ASCII and can be sent directly in email or through ftp in text mode. Newlines can be CR, LF or CRLF (Unix, Macintosh or MS-DOS style). NOTE: If you modify the data for this notebook not in a Mathematica- compatible application, you must delete the line below containing the word CacheID, otherwise Mathematica-compatible applications may try to use invalid cache data. For more information on notebooks and Mathematica-compatible applications, contact Wolfram Research: web: http://www.wolfram.com email: info@wolfram.com phone: +1-217-398-0700 (U.S.) Notebook reader applications are available free of charge from Wolfram Research. *******************************************************************) (*CacheID: 232*) (*NotebookFileLineBreakTest NotebookFileLineBreakTest*) (*NotebookOptionsPosition[ 159066, 8596]*) (*NotebookOutlinePosition[ 159713, 8618]*) (* CellTagsIndexPosition[ 159669, 8614]*) (*WindowFrame->Normal*) Notebook[{ Cell[CellGroupData[{ Cell["A Tour of Combinatorica", "Title"], Cell[BoxData[ \(<< DiscreteMath`Combinatorica`\)], "Input"], Cell[CellGroupData[{ Cell["Basic Combinatorial Objects", "Subtitle"], Cell[CellGroupData[{ Cell[BoxData[ \(Permutations[3]\)], "Input"], Cell[BoxData[ \({{1, 2, 3}, {1, 3, 2}, {2, 1, 3}, {2, 3, 1}, {3, 1, 2}, {3, 2, 1}}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Subsets[4]\)], "Input"], Cell[BoxData[ \({{}, {4}, {3, 4}, {3}, {2, 3}, {2, 3, 4}, {2, 4}, {2}, {1, 2}, {1, 2, 4}, {1, 2, 3, 4}, {1, 2, 3}, {1, 3}, {1, 3, 4}, {1, 4}, {1}}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Partitions[5]\)], "Input"], Cell[BoxData[ \({{5}, {4, 1}, {3, 2}, {3, 1, 1}, {2, 2, 1}, {2, 1, 1, 1}, {1, 1, 1, 1, 1}}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Timing[Length[Partitions[30]]]\)], "Input"], Cell[BoxData[ \({4.9`\ Second, 5604}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(\(FerrersDiagram[RandomPartition[500]];\)\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: 1 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations 0.0121951 0.0116144 0.0109395 0.01287 [ [ 0 0 0 0 ] [ 1 1 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 g .00602 w .02381 .02381 Mdot .02381 .03668 Mdot .02381 .04955 Mdot .02381 .06242 Mdot .02381 .07529 Mdot .02381 .08816 Mdot .02381 .10103 Mdot .02381 .1139 Mdot .02381 .12677 Mdot .02381 .13964 Mdot .02381 .15251 Mdot .02381 .16538 Mdot .02381 .17825 Mdot .02381 .19112 Mdot .02381 .20399 Mdot .02381 .21686 Mdot .02381 .22973 Mdot .02381 .2426 Mdot .02381 .25547 Mdot .02381 .26834 Mdot .02381 .28121 Mdot .02381 .29408 Mdot .02381 .30695 Mdot .02381 .31982 Mdot .02381 .33269 Mdot .02381 .34556 Mdot .02381 .35843 Mdot .02381 .3713 Mdot .03542 .3713 Mdot .02381 .38417 Mdot .03542 .38417 Mdot .02381 .39704 Mdot .03542 .39704 Mdot .02381 .40991 Mdot .03542 .40991 Mdot .04704 .40991 Mdot .02381 .42278 Mdot .03542 .42278 Mdot .04704 .42278 Mdot .02381 .43565 Mdot .03542 .43565 Mdot .04704 .43565 Mdot .02381 .44852 Mdot .03542 .44852 Mdot .04704 .44852 Mdot .02381 .46139 Mdot .03542 .46139 Mdot .04704 .46139 Mdot .02381 .47426 Mdot .03542 .47426 Mdot .04704 .47426 Mdot .02381 .48713 Mdot .03542 .48713 Mdot .04704 .48713 Mdot .02381 .5 Mdot .03542 .5 Mdot .04704 .5 Mdot .02381 .51287 Mdot .03542 .51287 Mdot .04704 .51287 Mdot .02381 .52574 Mdot .03542 .52574 Mdot .04704 .52574 Mdot .05865 .52574 Mdot .02381 .53861 Mdot .03542 .53861 Mdot .04704 .53861 Mdot .05865 .53861 Mdot .02381 .55148 Mdot .03542 .55148 Mdot .04704 .55148 Mdot .05865 .55148 Mdot .02381 .56435 Mdot .03542 .56435 Mdot .04704 .56435 Mdot .05865 .56435 Mdot .07027 .56435 Mdot .02381 .57722 Mdot .03542 .57722 Mdot .04704 .57722 Mdot .05865 .57722 Mdot .07027 .57722 Mdot .08188 .57722 Mdot .02381 .59009 Mdot .03542 .59009 Mdot .04704 .59009 Mdot .05865 .59009 Mdot .07027 .59009 Mdot .08188 .59009 Mdot .02381 .60296 Mdot .03542 .60296 Mdot .04704 .60296 Mdot .05865 .60296 Mdot .07027 .60296 Mdot .08188 .60296 Mdot .02381 .61583 Mdot .03542 .61583 Mdot .04704 .61583 Mdot .05865 .61583 Mdot .07027 .61583 Mdot .08188 .61583 Mdot .02381 .6287 Mdot .03542 .6287 Mdot .04704 .6287 Mdot .05865 .6287 Mdot .07027 .6287 Mdot .08188 .6287 Mdot .02381 .64157 Mdot .03542 .64157 Mdot .04704 .64157 Mdot .05865 .64157 Mdot .07027 .64157 Mdot .08188 .64157 Mdot .02381 .65444 Mdot .03542 .65444 Mdot .04704 .65444 Mdot .05865 .65444 Mdot .07027 .65444 Mdot .08188 .65444 Mdot .02381 .66731 Mdot .03542 .66731 Mdot .04704 .66731 Mdot .05865 .66731 Mdot .07027 .66731 Mdot .08188 .66731 Mdot .02381 .68018 Mdot .03542 .68018 Mdot .04704 .68018 Mdot .05865 .68018 Mdot .07027 .68018 Mdot .08188 .68018 Mdot .02381 .69305 Mdot .03542 .69305 Mdot .04704 .69305 Mdot .05865 .69305 Mdot .07027 .69305 Mdot .08188 .69305 Mdot .02381 .70592 Mdot .03542 .70592 Mdot .04704 .70592 Mdot .05865 .70592 Mdot .07027 .70592 Mdot .08188 .70592 Mdot .02381 .71879 Mdot .03542 .71879 Mdot .04704 .71879 Mdot .05865 .71879 Mdot .07027 .71879 Mdot .08188 .71879 Mdot .02381 .73166 Mdot .03542 .73166 Mdot .04704 .73166 Mdot .05865 .73166 Mdot .07027 .73166 Mdot .08188 .73166 Mdot .0935 .73166 Mdot .02381 .74453 Mdot .03542 .74453 Mdot .04704 .74453 Mdot .05865 .74453 Mdot .07027 .74453 Mdot .08188 .74453 Mdot .0935 .74453 Mdot .02381 .7574 Mdot .03542 .7574 Mdot .04704 .7574 Mdot .05865 .7574 Mdot .07027 .7574 Mdot .08188 .7574 Mdot .0935 .7574 Mdot .02381 .77027 Mdot .03542 .77027 Mdot .04704 .77027 Mdot .05865 .77027 Mdot .07027 .77027 Mdot .08188 .77027 Mdot .0935 .77027 Mdot .02381 .78314 Mdot .03542 .78314 Mdot .04704 .78314 Mdot .05865 .78314 Mdot .07027 .78314 Mdot .08188 .78314 Mdot .0935 .78314 Mdot .02381 .79601 Mdot .03542 .79601 Mdot .04704 .79601 Mdot .05865 .79601 Mdot .07027 .79601 Mdot .08188 .79601 Mdot .0935 .79601 Mdot .02381 .80888 Mdot .03542 .80888 Mdot .04704 .80888 Mdot .05865 .80888 Mdot .07027 .80888 Mdot .08188 .80888 Mdot .0935 .80888 Mdot .10511 .80888 Mdot .11672 .80888 Mdot .02381 .82175 Mdot .03542 .82175 Mdot .04704 .82175 Mdot .05865 .82175 Mdot .07027 .82175 Mdot .08188 .82175 Mdot .0935 .82175 Mdot .10511 .82175 Mdot .11672 .82175 Mdot .02381 .83462 Mdot .03542 .83462 Mdot .04704 .83462 Mdot .05865 .83462 Mdot .07027 .83462 Mdot .08188 .83462 Mdot .0935 .83462 Mdot .10511 .83462 Mdot .11672 .83462 Mdot .02381 .84749 Mdot .03542 .84749 Mdot .04704 .84749 Mdot .05865 .84749 Mdot .07027 .84749 Mdot .08188 .84749 Mdot .0935 .84749 Mdot .10511 .84749 Mdot .11672 .84749 Mdot .02381 .86036 Mdot .03542 .86036 Mdot .04704 .86036 Mdot .05865 .86036 Mdot .07027 .86036 Mdot .08188 .86036 Mdot .0935 .86036 Mdot .10511 .86036 Mdot .11672 .86036 Mdot .02381 .87323 Mdot .03542 .87323 Mdot .04704 .87323 Mdot .05865 .87323 Mdot .07027 .87323 Mdot .08188 .87323 Mdot .0935 .87323 Mdot .10511 .87323 Mdot .11672 .87323 Mdot .12834 .87323 Mdot .13995 .87323 Mdot .02381 .8861 Mdot .03542 .8861 Mdot .04704 .8861 Mdot .05865 .8861 Mdot .07027 .8861 Mdot .08188 .8861 Mdot .0935 .8861 Mdot .10511 .8861 Mdot .11672 .8861 Mdot .12834 .8861 Mdot .13995 .8861 Mdot .02381 .89897 Mdot .03542 .89897 Mdot .04704 .89897 Mdot .05865 .89897 Mdot .07027 .89897 Mdot .08188 .89897 Mdot .0935 .89897 Mdot .10511 .89897 Mdot .11672 .89897 Mdot .12834 .89897 Mdot .13995 .89897 Mdot .15157 .89897 Mdot .16318 .89897 Mdot .1748 .89897 Mdot .18641 .89897 Mdot .02381 .91184 Mdot .03542 .91184 Mdot .04704 .91184 Mdot .05865 .91184 Mdot .07027 .91184 Mdot .08188 .91184 Mdot .0935 .91184 Mdot .10511 .91184 Mdot .11672 .91184 Mdot .12834 .91184 Mdot .13995 .91184 Mdot .15157 .91184 Mdot .16318 .91184 Mdot .1748 .91184 Mdot .18641 .91184 Mdot .02381 .92471 Mdot .03542 .92471 Mdot .04704 .92471 Mdot .05865 .92471 Mdot .07027 .92471 Mdot .08188 .92471 Mdot .0935 .92471 Mdot .10511 .92471 Mdot .11672 .92471 Mdot .12834 .92471 Mdot .13995 .92471 Mdot .15157 .92471 Mdot .16318 .92471 Mdot .1748 .92471 Mdot .18641 .92471 Mdot .19803 .92471 Mdot .02381 .93758 Mdot .03542 .93758 Mdot .04704 .93758 Mdot .05865 .93758 Mdot .07027 .93758 Mdot .08188 .93758 Mdot .0935 .93758 Mdot .10511 .93758 Mdot .11672 .93758 Mdot .12834 .93758 Mdot .13995 .93758 Mdot .15157 .93758 Mdot .16318 .93758 Mdot .1748 .93758 Mdot .18641 .93758 Mdot .19803 .93758 Mdot .20964 .93758 Mdot .22125 .93758 Mdot .23287 .93758 Mdot .24448 .93758 Mdot .2561 .93758 Mdot .26771 .93758 Mdot .27933 .93758 Mdot .29094 .93758 Mdot .30256 .93758 Mdot .31417 .93758 Mdot .02381 .95045 Mdot .03542 .95045 Mdot .04704 .95045 Mdot .05865 .95045 Mdot .07027 .95045 Mdot .08188 .95045 Mdot .0935 .95045 Mdot .10511 .95045 Mdot .11672 .95045 Mdot .12834 .95045 Mdot .13995 .95045 Mdot .15157 .95045 Mdot .16318 .95045 Mdot .1748 .95045 Mdot .18641 .95045 Mdot .19803 .95045 Mdot .20964 .95045 Mdot .22125 .95045 Mdot .23287 .95045 Mdot .24448 .95045 Mdot .2561 .95045 Mdot .26771 .95045 Mdot .27933 .95045 Mdot .29094 .95045 Mdot .30256 .95045 Mdot .31417 .95045 Mdot .32578 .95045 Mdot .3374 .95045 Mdot .34901 .95045 Mdot .02381 .96332 Mdot .03542 .96332 Mdot .04704 .96332 Mdot .05865 .96332 Mdot .07027 .96332 Mdot .08188 .96332 Mdot .0935 .96332 Mdot .10511 .96332 Mdot .11672 .96332 Mdot .12834 .96332 Mdot .13995 .96332 Mdot .15157 .96332 Mdot .16318 .96332 Mdot .1748 .96332 Mdot .18641 .96332 Mdot .19803 .96332 Mdot .20964 .96332 Mdot .22125 .96332 Mdot .23287 .96332 Mdot .24448 .96332 Mdot .2561 .96332 Mdot .26771 .96332 Mdot .27933 .96332 Mdot .29094 .96332 Mdot .30256 .96332 Mdot .31417 .96332 Mdot .32578 .96332 Mdot .3374 .96332 Mdot .34901 .96332 Mdot .36063 .96332 Mdot .37224 .96332 Mdot .38386 .96332 Mdot .39547 .96332 Mdot .40708 .96332 Mdot .4187 .96332 Mdot .43031 .96332 Mdot .44193 .96332 Mdot .45354 .96332 Mdot .46516 .96332 Mdot .47677 .96332 Mdot .48839 .96332 Mdot .5 .96332 Mdot .51161 .96332 Mdot .52323 .96332 Mdot .53484 .96332 Mdot .54646 .96332 Mdot .55807 .96332 Mdot .56969 .96332 Mdot .5813 .96332 Mdot .59292 .96332 Mdot .60453 .96332 Mdot .61614 .96332 Mdot .62776 .96332 Mdot .63937 .96332 Mdot .65099 .96332 Mdot .6626 .96332 Mdot .67422 .96332 Mdot .68583 .96332 Mdot .02381 .97619 Mdot .03542 .97619 Mdot .04704 .97619 Mdot .05865 .97619 Mdot .07027 .97619 Mdot .08188 .97619 Mdot .0935 .97619 Mdot .10511 .97619 Mdot .11672 .97619 Mdot .12834 .97619 Mdot .13995 .97619 Mdot .15157 .97619 Mdot .16318 .97619 Mdot .1748 .97619 Mdot .18641 .97619 Mdot .19803 .97619 Mdot .20964 .97619 Mdot .22125 .97619 Mdot .23287 .97619 Mdot .24448 .97619 Mdot .2561 .97619 Mdot .26771 .97619 Mdot .27933 .97619 Mdot .29094 .97619 Mdot .30256 .97619 Mdot .31417 .97619 Mdot .32578 .97619 Mdot .3374 .97619 Mdot .34901 .97619 Mdot .36063 .97619 Mdot .37224 .97619 Mdot .38386 .97619 Mdot .39547 .97619 Mdot .40708 .97619 Mdot .4187 .97619 Mdot .43031 .97619 Mdot .44193 .97619 Mdot .45354 .97619 Mdot .46516 .97619 Mdot .47677 .97619 Mdot .48839 .97619 Mdot .5 .97619 Mdot .51161 .97619 Mdot .52323 .97619 Mdot .53484 .97619 Mdot .54646 .97619 Mdot .55807 .97619 Mdot .56969 .97619 Mdot .5813 .97619 Mdot .59292 .97619 Mdot .60453 .97619 Mdot .61614 .97619 Mdot .62776 .97619 Mdot .63937 .97619 Mdot .65099 .97619 Mdot .6626 .97619 Mdot .67422 .97619 Mdot .68583 .97619 Mdot .69744 .97619 Mdot .70906 .97619 Mdot .72067 .97619 Mdot .73229 .97619 Mdot .7439 .97619 Mdot .75552 .97619 Mdot .76713 .97619 Mdot .77875 .97619 Mdot .79036 .97619 Mdot .80197 .97619 Mdot .81359 .97619 Mdot .8252 .97619 Mdot .83682 .97619 Mdot .84843 .97619 Mdot .86005 .97619 Mdot .87166 .97619 Mdot .88328 .97619 Mdot .89489 .97619 Mdot .9065 .97619 Mdot .91812 .97619 Mdot .92973 .97619 Mdot .94135 .97619 Mdot .95296 .97619 Mdot .96458 .97619 Mdot .97619 .97619 Mdot 0 0 m 1 0 L 1 1 L 0 1 L closepath clip newpath % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 288}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCache->GraphicsData["Bitmap", "\<\ CF5dJ6E]HGAYHf4PAg9QL6QYHgP0oooo 003o0?ooob40oooo003o0?ooob40oooo003o0?ooob40oooo00060?ooo`040000003oool0oooo0000 00<0oooo00@000000?ooo`3oool000000P3oool01@000000oooo0?ooo`3oool000000080oooo00@0 00000?ooo`3oool000000`3oool010000000oooo0?ooo`0000020?ooo`050000003oool0oooo0?oo o`0000000P3oool010000000oooo0?ooo`0000030?ooo`030000003oool0oooo0>P0oooo003o0?oo ob40oooo003o0?ooob40oooo00060?ooo`040000003oool0oooo000000<0oooo00@000000?ooo`3o ool000000P3oool01@000000oooo0?ooo`3oool000000080oooo00@000000?ooo`3oool000000`3o ool010000000oooo0?ooo`0000020?ooo`050000003oool0oooo0?ooo`0000000P3oool010000000 oooo0?ooo`0000030?ooo`040000003oool0oooo00000>L0oooo003o0?ooob40oooo003o0?ooob40 oooo003o0?ooob40oooo00060?ooo`040000003oool0oooo000000<0oooo00@000000?ooo`3oool0 00000P3oool01@000000oooo0?ooo`3oool000000080oooo00@000000?ooo`3oool000000`3oool0 10000000oooo0?ooo`0000020?ooo`050000003oool0oooo0?ooo`0000000P3oool010000000oooo 0?ooo`0000030?ooo`040000003oool0oooo00000080oooo00D000000?ooo`3oool0oooo00000002 0?ooo`040000003oool0oooo000000<0oooo00@000000?ooo`3oool000000P3oool01@000000oooo 0?ooo`3oool000000080oooo00@000000?ooo`3oool00000aP3oool00?l0oooo8@3oool00?l0oooo 8@3oool00?l0oooo8@3oool000H0oooo00@000000?ooo`3oool000000`3oool010000000oooo0?oo o`0000020?ooo`050000003oool0oooo0?ooo`0000000P3oool010000000oooo0?ooo`0000030?oo o`040000003oool0oooo00000080oooo00D000000?ooo`3oool0oooo000000020?ooo`040000003o ool0oooo000000<0oooo00@000000?ooo`3oool000000P3oool01@000000oooo0?ooo`3oool00000 0080oooo00@000000?ooo`3oool000000`3oool010000000oooo0?ooo`0000020?ooo`050000003o ool0oooo0?ooo`0000000P3oool010000000oooo0?ooo`0000030?ooo`040000003oool0oooo0000 0080oooo00<000000?ooo`3oool0^P3oool00?l0oooo8@3oool00?l0oooo8@3oool000H0oooo00@0 00000?ooo`3oool000000`3oool010000000oooo0?ooo`0000020?ooo`050000003oool0oooo0?oo o`0000000P3oool010000000oooo0?ooo`0000030?ooo`040000003oool0oooo00000080oooo00D0 00000?ooo`3oool0oooo000000020?ooo`040000003oool0oooo000000<0oooo00@000000?ooo`3o ool000000P3oool01@000000oooo0?ooo`3oool000000080oooo00@000000?ooo`3oool000000`3o ool010000000oooo0?ooo`0000020?ooo`050000003oool0oooo0?ooo`0000000P3oool010000000 oooo0?ooo`0000030?ooo`040000003oool0oooo00000080oooo00D000000?ooo`3oool0oooo0000 00020?ooo`040000003oool0oooo000000<0oooo00@000000?ooo`3oool000000P3oool01@000000 oooo0?ooo`3oool000000080oooo00@000000?ooo`3oool000000`3oool010000000oooo0?ooo`00 00020?ooo`050000003oool0oooo0?ooo`0000000P3oool010000000oooo0?ooo`0000030?ooo`04 0000003oool0oooo00000080oooo00D000000?ooo`3oool0oooo000000020?ooo`040000003oool0 oooo000000<0oooo00@000000?ooo`3oool000000P3oool01@000000oooo0?ooo`3oool000000080 oooo00@000000?ooo`3oool000000`3oool010000000oooo0?ooo`00001K0?ooo`00o`3ooolQ0?oo o`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`001P3oool010000000oooo0?ooo`0000030?ooo`040000 003oool0oooo00000080oooo00D000000?ooo`3oool0oooo000000020?ooo`040000003oool0oooo 000000<0oooo00@000000?ooo`3oool000000P3oool01@000000oooo0?ooo`3oool000000080oooo 00@000000?ooo`3oool000000`3oool010000000oooo0?ooo`0000020?ooo`050000003oool0oooo 0?ooo`0000000P3oool010000000oooo0?ooo`0000030?ooo`040000003oool0oooo00000080oooo 00D000000?ooo`3oool0oooo000000020?ooo`040000003oool0oooo000000<0oooo00@000000?oo o`3oool000000P3oool01@000000oooo0?ooo`3oool000000080oooo00@000000?ooo`3oool00000 0`3oool010000000oooo0?ooo`0000020?ooo`050000003oool0oooo0?ooo`0000000P3oool01000 0000oooo0?ooo`0000030?ooo`040000003oool0oooo00000080oooo00D000000?ooo`3oool0oooo 000000020?ooo`040000003oool0oooo000000<0oooo00@000000?ooo`3oool000000P3oool01@00 0000oooo0?ooo`3oool000000080oooo00@000000?ooo`3oool000000`3oool010000000oooo0?oo o`0000020?ooo`050000003oool0oooo0?ooo`0000000P3oool010000000oooo0?ooo`0000030?oo o`040000003oool0oooo00000080oooo00D000000?ooo`3oool0oooo000000020?ooo`040000003o ool0oooo000000<0oooo00@000000?ooo`3oool000000P3oool01@000000oooo0?ooo`3oool00000 0080oooo00@000000?ooo`3oool000000`3oool010000000oooo0?ooo`0000020?ooo`050000003o ool0oooo0?ooo`0000000P3oool010000000oooo0?ooo`0000030?ooo`040000003oool0oooo0000 0080oooo00D000000?ooo`3oool0oooo000000020?ooo`040000003oool0oooo000000<0oooo00@0 00000?ooo`3oool000000P3oool00`000000oooo0?ooo`060?ooo`00o`3ooolQ0?ooo`00o`3ooolQ 0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00o`3ooolQ0?ooo`00\ \>"], ImageRangeCache->{{{0, 287}, {287, 0}} -> {-1.05043, -0.850389, 0.300003, \ 0.270735}}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(SetPartitions[4]\)], "Input"], Cell[BoxData[ \({{{1, 2, 3, 4}}, {{1}, {2, 3, 4}}, {{1, 2}, {3, 4}}, {{1, 3, 4}, {2}}, {{1, 2, 3}, {4}}, {{1, 4}, {2, 3}}, {{1, 2, 4}, {3}}, {{1, 3}, {2, 4}}, {{1}, {2}, {3, 4}}, {{1}, {2, 3}, {4}}, {{1}, {2, 4}, {3}}, {{1, 2}, {3}, {4}}, {{1, 3}, {2}, {4}}, {{1, 4}, {2}, {3}}, {{1}, {2}, {3}, {4}}}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Tableaux[{3, 3}]\)], "Input"], Cell[BoxData[ \({{{1, 3, 5}, {2, 4, 6}}, {{1, 2, 5}, {3, 4, 6}}, {{1, 3, 4}, {2, 5, 6}}, {{1, 2, 4}, {3, 5, 6}}, {{1, 2, 3}, {4, 5, 6}}}\)], "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Counting", "Subtitle"], Cell[CellGroupData[{ Cell[BoxData[ \(Table[NumberOfTableaux[{i, i}], {i, 1, 10}]\)], "Input"], Cell[BoxData[ \({1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Table[NumberOfGraphs[i], {i, 1, 10}]\)], "Input"], Cell[BoxData[ \({1, 2, 4, 11, 34, 156, 1044, 12346, 274668, 12005168}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(\(ShowGraph[\ Highlight[\ gg = GridGraph[3, 3, 3], {Edges[ t = DepthFirstTraversal[\ gg, 1, Tree]]}, HighlightedEdgeColors \[Rule] {Red}]];\)\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: 1 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations 0.0573227 1.14645 -0.285906 1.22467 [ [ 0 0 0 0 ] [ 1 1 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 0 m 1 0 L 1 1 L 0 1 L closepath clip newpath 1 0 0 r .02 w [ ] 0 setdash .23577 .06123 m .58923 .06123 L s 0 0 0 r .005 w .23577 .06123 m .23577 .4388 L s .23577 .06123 m .14655 .12243 L s 1 0 0 r .02 w .58923 .06123 m .94268 .06123 L s 0 0 0 r .005 w .58923 .06123 m .58923 .4388 L s .58923 .06123 m .5 .12243 L s 1 0 0 r .02 w .94268 .06123 m .94268 .4388 L s 0 0 0 r .005 w .94268 .06123 m .85345 .12243 L s 1 0 0 r .02 w .23577 .4388 m .58923 .4388 L s .23577 .4388 m .23577 .81637 L s 0 0 0 r .005 w .23577 .4388 m .14655 .5 L s 1 0 0 r .02 w .58923 .4388 m .94268 .4388 L s 0 0 0 r .005 w .58923 .4388 m .58923 .81637 L s .58923 .4388 m .5 .5 L s .94268 .4388 m .94268 .81637 L s .94268 .4388 m .85345 .5 L s 1 0 0 r .02 w .23577 .81637 m .58923 .81637 L s 0 0 0 r .005 w .23577 .81637 m .14655 .87757 L s 1 0 0 r .02 w .58923 .81637 m .94268 .81637 L s 0 0 0 r .005 w .58923 .81637 m .5 .87757 L s 1 0 0 r .02 w .94268 .81637 m .85345 .87757 L s .14655 .12243 m .5 .12243 L s .14655 .12243 m .14655 .5 L s 0 0 0 r .005 w .14655 .12243 m .05732 .18363 L s 1 0 0 r .02 w .5 .12243 m .85345 .12243 L s 0 0 0 r .005 w .5 .12243 m .5 .5 L s .5 .12243 m .41077 .18363 L s 1 0 0 r .02 w .85345 .12243 m .85345 .5 L s 0 0 0 r .005 w .85345 .12243 m .76423 .18363 L s 1 0 0 r .02 w .14655 .5 m .5 .5 L s 0 0 0 r .005 w .14655 .5 m .14655 .87757 L s .14655 .5 m .05732 .5612 L s .5 .5 m .85345 .5 L s 1 0 0 r .02 w .5 .5 m .5 .87757 L s 0 0 0 r .005 w .5 .5 m .41077 .5612 L s 1 0 0 r .02 w .85345 .5 m .85345 .87757 L s 0 0 0 r .005 w .85345 .5 m .76423 .5612 L s 1 0 0 r .02 w .14655 .87757 m .5 .87757 L s .14655 .87757 m .05732 .93877 L s 0 0 0 r .005 w .5 .87757 m .85345 .87757 L s .5 .87757 m .41077 .93877 L s .85345 .87757 m .76423 .93877 L s 1 0 0 r .02 w .05732 .18363 m .41077 .18363 L s .05732 .18363 m .05732 .5612 L s .41077 .18363 m .76423 .18363 L s 0 0 0 r .005 w .41077 .18363 m .41077 .5612 L s 1 0 0 r .02 w .76423 .18363 m .76423 .5612 L s 0 0 0 r .005 w .05732 .5612 m .41077 .5612 L s 1 0 0 r .02 w .05732 .5612 m .05732 .93877 L s .41077 .5612 m .76423 .5612 L s .41077 .5612 m .41077 .93877 L s 0 0 0 r .005 w .76423 .5612 m .76423 .93877 L s .05732 .93877 m .41077 .93877 L s 1 0 0 r .02 w .41077 .93877 m .76423 .93877 L s 0 0 0 r .025 w .23577 .06123 Mdot .58923 .06123 Mdot .94268 .06123 Mdot .23577 .4388 Mdot .58923 .4388 Mdot .94268 .4388 Mdot .23577 .81637 Mdot .58923 .81637 Mdot .94268 .81637 Mdot .14655 .12243 Mdot .5 .12243 Mdot .85345 .12243 Mdot .14655 .5 Mdot .5 .5 Mdot .85345 .5 Mdot .14655 .87757 Mdot .5 .87757 Mdot .85345 .87757 Mdot .05732 .18363 Mdot .41077 .18363 Mdot .76423 .18363 Mdot .05732 .5612 Mdot .41077 .5612 Mdot .76423 .5612 Mdot .05732 .93877 Mdot .41077 .93877 Mdot .76423 .93877 Mdot % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 288}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCache->GraphicsData["Bitmap", "\<\ CF5dJ6E]HGAYHf4PAg9QL6QYHg0?ooo`00@@3oool600000600o`00 1P00001O0?l000H000003P3oool00440oooo1P00001P0?l000H00000G`3o0006000000h0oooo0010 0?ooo`H00000H03o00000`000000o`0000000003000005l0o`0000<000000?l0000000000`00000? 0?ooo`00?P3oool2000000<0oooo00<000000?ooo`3oool0GP3oool2000000<0oooo00<000000?oo o`3oool0G@3oool2000000030?ooo`3o0000o`0000<0o`003`3oool003d0oooo0P0000040?ooo`03 0000003oool0oooo05d0oooo0P0000040?ooo`030000003oool0oooo05`0oooo0P0000020?ooo`D0 o`003`3oool003`0oooo00<000000?ooo`3oool0103oool00`000000oooo0?ooo`1K0?ooo`800000 1P3oool00`000000oooo0?ooo`1J0?ooo`800000103oool50?l000l0oooo000j0?ooo`8000001`3o ool00`000000oooo0?ooo`1J0?ooo`8000001`3oool00`000000oooo0?ooo`1I0?ooo`8000001@3o ool50?l000l0oooo000i0?ooo`800000203oool00`000000oooo0?ooo`1I0?ooo`030000003oool0 oooo00L0oooo00<000000?ooo`3oool0F03oool00`000000oooo0?ooo`050?ooo`D0o`003`3oool0 03P0oooo00<000000?ooo`3oool0203oool00`000000oooo0?ooo`1G0?ooo`8000002P3oool00`00 0000oooo0?ooo`1F0?ooo`800000203oool50?l000l0oooo000f0?ooo`8000002`3oool00`000000 oooo0?ooo`1F0?ooo`030000003oool0oooo00X0oooo00<000000?ooo`3oool0E@3oool00`000000 oooo0?ooo`080?ooo`D0o`003`3oool003D0oooo00<000000?ooo`3oool02`3oool00`000000oooo 0?ooo`1D0?ooo`8000003@3oool00`000000oooo0?ooo`1C0?ooo`8000002`3oool50?l000l0oooo 000c0?ooo`8000003P3oool00`000000oooo0?ooo`1C0?ooo`030000003oool0oooo00d0oooo00<0 00000?ooo`3oool0DP3oool00`000000oooo0?ooo`0;0?ooo`D0o`003`3oool00380oooo0P00000? 0?ooo`030000003oool0oooo0540oooo0P00000@0?ooo`030000003oool0oooo0500oooo0P00000> 0?ooo`D0o`003`3oool00340oooo00<000000?ooo`3oool03`3oool00`000000oooo0?ooo`1@0?oo o`8000004@3oool00`000000oooo0?ooo`1?0?ooo`8000003`3oool50?l000l0oooo000_0?ooo`80 00004P3oool00`000000oooo0?ooo`1>0?ooo`8000004`3oool00`000000oooo0?ooo`1=0?ooo`80 00004@3oool50?l000l0oooo000Y0?ooo`@0000000<0oooo0000000000004`3oool00`000000oooo 0?ooo`180?ooo`@0000000<0oooo000000000000503oool00`000000oooo0?ooo`170?ooo`@00000 00<0oooo0000000000004P3oool50?l000l0oooo000X0?ooo`H00000G`3o0006000005l0o`001P00 000D0?ooo`D0o`003`3oool002P0oooo1P00001O0?l000H00000G`3o0006000001@0oooo1@3o000? 0?ooo`00:03oool6000005l0o`001P00001O0?l000H00000503oool50?l000l0oooo000X0?ooo`H0 0000G`3o0006000005l0o`001P00000D0?ooo`D0o`003`3oool002L0oooo00<000000?l000000000 0`00001O0?l000030000003o0000000000<00000G`3o00000`000000o`0000000003000001D0oooo 1@3o000?0?ooo`009@3oool2000000030?ooo`3o0000o`0000<0o`005P3oool00`000000oooo0?oo o`140?ooo`8000000`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo04<0oooo0P00 00000`3oool0o`000?l000030?l001D0oooo1@3o000?0?ooo`008`3oool2000000<0oooo1@3o000F 0?ooo`030000003oool0oooo0480oooo0P0000050?ooo`030000003oool0oooo01L0oooo00<00000 0?ooo`3oool0@P3oool200000080oooo1@3o000E0?ooo`D0o`003`3oool00280oooo0P0000040?oo o`D0o`005P3oool00`000000oooo0?ooo`110?ooo`8000001P3oool00`000000oooo0?ooo`0G0?oo o`030000003oool0oooo0400oooo0P0000040?ooo`D0o`005@3oool50?l000l0oooo000P0?ooo`80 00001P3oool50?l001H0oooo00<000000?ooo`3oool0?`3oool2000000P0oooo00<000000?ooo`3o ool05`3oool00`000000oooo0?ooo`0o0?ooo`8000001@3oool50?l001D0oooo1@3o000?0?ooo`00 7`3oool2000000L0oooo1@3o000F0?ooo`030000003oool0oooo03h0oooo0P0000090?ooo`030000 003oool0oooo01L0oooo00<000000?ooo`3oool0?@3oool2000000L0oooo1@3o000E0?ooo`D0o`00 3`3oool001d0oooo0P0000090?ooo`D0o`005P3oool00`000000oooo0?ooo`0l0?ooo`8000002`3o ool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo03`0oooo0P0000080?ooo`D0o`005@3o ool50?l000l0oooo000L0?ooo`8000002P3oool50?l001H0oooo00<000000?ooo`3oool0>`3oool2 000000`0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0j0?ooo`8000002P3oool5 0?l001D0oooo1@3o000?0?ooo`006P3oool2000000`0oooo1@3o000F0?ooo`030000003oool0oooo 03T0oooo0P00000>0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool0>@3oool20000 00/0oooo1@3o000E0?ooo`D0o`003`3oool001T0oooo0P00000=0?ooo`D0o`005P3oool00`000000 oooo0?ooo`0h0?ooo`8000003`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo03L0 oooo0P00000=0?ooo`D0o`005@3oool50?l000l0oooo000G0?ooo`8000003`3oool50?l001H0oooo 00<000000?ooo`3oool0=P3oool200000140oooo00<000000?ooo`3oool05`3oool00`000000oooo 0?ooo`0f0?ooo`8000003P3oool50?l001D0oooo1@3o000?0?ooo`005P3oool200000100oooo1@3o 000F0?ooo`030000003oool0oooo03D0oooo0P00000B0?ooo`030000003oool0oooo01L0oooo00<0 00000?ooo`3oool0=03oool200000100oooo1@3o000E0?ooo`D0o`003`3oool000l0oooo10000000 0`3oool000000000000B0?ooo`D0o`005P3oool00`000000oooo0?ooo`0^0?ooo`@0000000<0oooo 000000000000503oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo02h0oooo10000000 0`3oool000000000000A0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`H00000G`3o00060000 0600o`001P00000C0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`H00000G`3o000600000600 o`001P00000C0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`H00000G`3o000600000600o`00 1P00000C0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`H00000G`3o000600000600o`001P00 000C0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`030?l000000000000000800000H@3o0004 00000680o`001000000D0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`D0o`005@3oool50?l0 01H0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo 01L0oooo00<000000?ooo`3oool0;@3oool50?l001@0oooo1@3o000E0?ooo`D0o`003`3oool000h0 oooo1@3o000E0?ooo`D0o`005P3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01L0 oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0]0?ooo`D0o`00503oool50?l001D0 oooo1@3o000?0?ooo`003P3oool50?l001D0oooo1@3o000F0?ooo`030000003oool0oooo02l0oooo 00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo02d0oooo 1@3o000D0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`D0o`005@3oool50?l001H0oooo00<0 00000?ooo`3oool0;`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo01L0oooo00<0 00000?ooo`3oool0;@3oool50?l001@0oooo1@3o000E0?ooo`D0o`003`3oool000h0oooo1@3o000E 0?ooo`D0o`005P3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01L0oooo00<00000 0?ooo`3oool05`3oool00`000000oooo0?ooo`0]0?ooo`D0o`00503oool50?l001D0oooo1@3o000? 0?ooo`003P3oool50?l001D0oooo1@3o000F0?ooo`030000003oool0oooo02l0oooo00<000000?oo o`3oool05`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo02d0oooo1@3o000D0?oo o`D0o`005@3oool50?l000l0oooo000>0?ooo`D0o`005@3oool50?l001H0oooo00<000000?ooo`3o ool0;`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3o ool0;@3oool50?l001@0oooo1@3o000E0?ooo`D0o`003`3oool000h0oooo1@3o000E0?ooo`D0o`00 5P3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool0 5`3oool00`000000oooo0?ooo`0]0?ooo`D0o`00503oool50?l001D0oooo1@3o000?0?ooo`003P3o ool50?l001D0oooo1@3o000F0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool05`3o ool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo02d0oooo1@3o000D0?ooo`D0o`005@3o ool50?l000l0oooo000>0?ooo`D0o`005@3oool50?l001H0oooo00<000000?ooo`3oool0;`3oool0 0`000000oooo0?ooo`0G0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool0;@3oool5 0?l001@0oooo1@3o000E0?ooo`D0o`003`3oool000h0oooo1@3o000E0?ooo`D0o`005P3oool00`00 0000oooo0?ooo`0_0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool05`3oool00`00 0000oooo0?ooo`0]0?ooo`D0o`00503oool50?l001D0oooo1@3o000?0?ooo`003P3oool50?l001D0 oooo1@3o000F0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool05`3oool00`000000 oooo0?ooo`0G0?ooo`030000003oool0oooo02d0oooo1@3o000D0?ooo`D0o`005@3oool50?l000l0 oooo000>0?ooo`D0o`005@3oool50?l001H0oooo00<000000?ooo`3oool0;`3oool00`000000oooo 0?ooo`0G0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool0;@3oool50?l001@0oooo 1@3o000E0?ooo`D0o`003`3oool000h0oooo1@3o000E0?ooo`D0o`005P3oool00`000000oooo0?oo o`0_0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?oo o`0]0?ooo`D0o`00503oool50?l001D0oooo1@3o000?0?ooo`003P3oool50?l001D0oooo1@3o000F 0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0G 0?ooo`030000003oool0oooo02d0oooo1@3o000D0?ooo`D0o`005@3oool50?l000l0oooo000>0?oo o`D0o`005@3oool50?l001H0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0G0?oo o`030000003oool0oooo01L0oooo00<000000?ooo`3oool0;@3oool50?l001@0oooo1@3o000E0?oo o`D0o`003`3oool000h0oooo1@3o000E0?ooo`D0o`005P3oool00`000000oooo0?ooo`0_0?ooo`03 0000003oool0oooo01L0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0]0?ooo`D0 o`00503oool50?l001D0oooo1@3o000?0?ooo`003P3oool50?l001D0oooo1@3o000F0?ooo`030000 003oool0oooo02l0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0G0?ooo`030000 003oool0oooo02d0oooo1@3o000D0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`D0o`005@3o ool50?l001H0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0G0?ooo`030000003o ool0oooo01L0oooo00<000000?ooo`3oool0;@3oool50?l001@0oooo1@3o000E0?ooo`D0o`003`3o ool000h0oooo1@3o000E0?ooo`D0o`005P3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0 oooo01L0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0]0?ooo`D0o`00503oool5 0?l001D0oooo1@3o000?0?ooo`003P3oool50?l001D0oooo1@3o000F0?ooo`030000003oool0oooo 02l0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo 02d0oooo1@3o000D0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`D0o`005@3oool50?l001H0 oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo01L0 oooo00<000000?ooo`3oool0;@3oool50?l001@0oooo1@3o000E0?ooo`D0o`003`3oool000h0oooo 1@3o000E0?ooo`D0o`005P3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01L0oooo 00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0]0?ooo`D0o`00503oool50?l001D0oooo 1@3o000?0?ooo`003P3oool50?l001D0oooo1@3o000F0?ooo`030000003oool0oooo02l0oooo00<0 00000?ooo`3oool05`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo02d0oooo1@3o 000D0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`D0o`005@3oool50?l001H0oooo00<00000 0?ooo`3oool0;`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo01L0oooo00<00000 0?ooo`3oool0;@3oool50?l001@0oooo1@3o000E0?ooo`D0o`003`3oool000h0oooo1@3o000E0?oo o`D0o`005P3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01L0oooo00<000000?oo o`3oool05`3oool00`000000oooo0?ooo`0]0?ooo`D0o`00503oool50?l001D0oooo1@3o000?0?oo o`003P3oool50?l001D0oooo1@3o000F0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3o ool05`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo02d0oooo1@3o000D0?ooo`D0 o`005@3oool50?l000l0oooo000>0?ooo`D0o`005@3oool50?l001H0oooo00<000000?ooo`3oool0 ;`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool0 ;@3oool50?l001@0oooo1@3o000E0?ooo`D0o`003`3oool000h0oooo1@3o000E0?ooo`D0o`005P3o ool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool05`3o ool00`000000oooo0?ooo`0]0?ooo`D0o`00503oool50?l001D0oooo1@3o000?0?ooo`003P3oool5 0?l001D0oooo1@3o000F0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool05`3oool0 0`000000oooo0?ooo`0G0?ooo`030000003oool0oooo02d0oooo1@3o000D0?ooo`D0o`005@3oool5 0?l000l0oooo000>0?ooo`D0o`005@3oool50?l001H0oooo00<000000?ooo`3oool0;`3oool00`00 0000oooo0?ooo`0G0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool0;@3oool50?l0 01@0oooo1@3o000E0?ooo`D0o`003`3oool000h0oooo1@3o000E0?ooo`D0o`005P3oool00`000000 oooo0?ooo`0_0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool05`3oool00`000000 oooo0?ooo`0]0?ooo`D0o`00503oool50?l001D0oooo1@3o000?0?ooo`003P3oool50?l001D0oooo 1@3o000F0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool05`3oool00`000000oooo 0?ooo`0G0?ooo`030000003oool0oooo02d0oooo1@3o000D0?ooo`D0o`005@3oool50?l000l0oooo 000>0?ooo`D0o`005@3oool50?l001H0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?oo o`0G0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool0;@3oool50?l001@0oooo1@3o 000E0?ooo`D0o`003`3oool000h0oooo1@3o000E0?ooo`D0o`005P3oool00`000000oooo0?ooo`0_ 0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0] 0?ooo`D0o`00503oool50?l001D0oooo1@3o000?0?ooo`003P3oool50?l001D0oooo1@3o000F0?oo o`030000003oool0oooo02l0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0G0?oo o`030000003oool0oooo02d0oooo1@3o000D0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`D0 o`005@3oool50?l001H0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0G0?ooo`03 0000003oool0oooo01L0oooo00<000000?ooo`3oool0;@3oool50?l001@0oooo1@3o000E0?ooo`D0 o`003`3oool000h0oooo1@3o000E0?ooo`D0o`005P3oool00`000000oooo0?ooo`0_0?ooo`030000 003oool0oooo01L0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0]0?ooo`D0o`00 503oool50?l001D0oooo1@3o000?0?ooo`003P3oool50?l001D0oooo1@3o000F0?ooo`030000003o ool0oooo02l0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0G0?ooo`030000003o ool0oooo02d0oooo1@3o000D0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`D0o`005@3oool5 0?l001H0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0 oooo01L0oooo00<000000?ooo`3oool0;@3oool50?l001@0oooo1@3o000E0?ooo`D0o`003`3oool0 00h0oooo1@3o000E0?ooo`D0o`005P3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo 01L0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0]0?ooo`D0o`00503oool50?l0 01D0oooo1@3o000?0?ooo`003P3oool50?l001D0oooo1@3o000F0?ooo`030000003oool0oooo02l0 oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo02d0 oooo1@3o000D0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`D0o`005@3oool50?l001H0oooo 00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo01L0oooo 00<000000?ooo`3oool0;@3oool50?l001@0oooo1@3o000E0?ooo`D0o`003`3oool000h0oooo1@3o 000E0?ooo`D0o`005P3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01L0oooo00<0 00000?ooo`3oool05`3oool00`000000oooo0?ooo`0]0?ooo`D0o`00503oool50?l001D0oooo1@3o 000?0?ooo`003P3oool50?l001D0oooo1@3o000F0?ooo`030000003oool0oooo02l0oooo00<00000 0?ooo`3oool05`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo02d0oooo1@3o000D 0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`D0o`005@3oool50?l001H0oooo00<000000?oo o`3oool0;`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo01L0oooo00<000000?oo o`3oool0;@3oool50?l001@0oooo1@3o000E0?ooo`D0o`003`3oool000h0oooo1@3o000E0?ooo`D0 o`005P3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3o ool05`3oool00`000000oooo0?ooo`0]0?ooo`D0o`00503oool50?l001D0oooo1@3o000?0?ooo`00 3P3oool50?l001D0oooo1@3o000F0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool0 5`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo02d0oooo1@3o000D0?ooo`D0o`00 5@3oool50?l000l0oooo000>0?ooo`D0o`005@3oool50?l001H0oooo00<000000?ooo`3oool0;`3o ool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool0;@3o ool50?l001@0oooo1@3o000E0?ooo`D0o`003`3oool000h0oooo1@3o000E0?ooo`D0o`005P3oool0 0`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool05`3oool0 0`000000oooo0?ooo`0]0?ooo`D0o`00503oool50?l001D0oooo1@3o000?0?ooo`003P3oool50?l0 01D0oooo1@3o000F0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool05`3oool00`00 0000oooo0?ooo`0G0?ooo`030000003oool0oooo02d0oooo1@3o000D0?ooo`D0o`005@3oool50?l0 00l0oooo000>0?ooo`D0o`005@3oool50?l001H0oooo00<000000?ooo`3oool0;`3oool00`000000 oooo0?ooo`0G0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool0;@3oool50?l001@0 oooo1@3o000E0?ooo`D0o`003`3oool000h0oooo1@3o000E0?ooo`D0o`005P3oool00`000000oooo 0?ooo`0_0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool05`3oool00`000000oooo 0?ooo`0]0?ooo`D0o`00503oool50?l001D0oooo1@3o000?0?ooo`003P3oool50?l001D0oooo1@3o 000F0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?oo o`0G0?ooo`030000003oool0oooo02d0oooo1@3o000D0?ooo`D0o`005@3oool50?l000l0oooo000> 0?ooo`D0o`005@3oool50?l001H0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0G 0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool0;@3oool50?l001@0oooo1@3o000E 0?ooo`D0o`003`3oool000h0oooo1@3o000E0?ooo`D0o`005P3oool00`000000oooo0?ooo`0_0?oo o`030000003oool0oooo01L0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0]0?oo o`D0o`00503oool50?l001D0oooo1@3o000?0?ooo`003P3oool50?l001D0oooo1@3o000F0?ooo`03 0000003oool0oooo02l0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0G0?ooo`03 0000003oool0oooo02d0oooo1@3o000D0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`D0o`00 5@3oool50?l001H0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0G0?ooo`030000 003oool0oooo01L0oooo00<000000?ooo`3oool0;@3oool50?l001@0oooo1@3o000E0?ooo`D0o`00 3`3oool000h0oooo1@3o000E0?ooo`D0o`005P3oool00`000000oooo0?ooo`0_0?ooo`030000003o ool0oooo01L0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0]0?ooo`D0o`00503o ool50?l001D0oooo1@3o000?0?ooo`003P3oool50?l001D0oooo1@3o000F0?ooo`030000003oool0 oooo02l0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0 oooo02d0oooo1@3o000D0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`D0o`005@3oool50?l0 01H0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo 01L0oooo00<000000?ooo`3oool0;@3oool50?l001@0oooo1@3o000E0?ooo`D0o`003`3oool000h0 oooo1@3o000E0?ooo`D0o`005P3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01L0 oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0]0?ooo`D0o`00503oool50?l001D0 oooo1@3o000?0?ooo`003P3oool50?l001D0oooo1@3o000F0?ooo`030000003oool0oooo02l0oooo 00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo02d0oooo 1@3o000D0?ooo`D0o`005@3oool50?l000l0oooo000>0?ooo`D0o`005@3oool50?l001H0oooo00<0 00000?ooo`3oool0;`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo01L0oooo00<0 00000?ooo`3oool0;@3oool50?l001@0oooo1@3o000E0?ooo`D0o`003`3oool000h0oooo1@3o000E 0?ooo`D0o`005P3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01L0oooo00<00000 0?ooo`3oool05`3oool00`000000oooo0?ooo`0]0?ooo`D0o`00503oool50?l001D0oooo1@3o000? 0?ooo`003P3oool50?l001D0oooo1@3o000F0?ooo`030000003oool0oooo02l0oooo00<000000?oo o`3oool05`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo02d0oooo1@3o000D0?oo o`D0o`005@3oool50?l000l0oooo000>0?ooo`D0o`005@3oool50?l001H0oooo00<000000?ooo`3o ool0;`3oool00`000000oooo0?ooo`0G0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3o ool0;@3oool50?l001@0oooo1@3o000E0?ooo`D0o`003`3oool000h0oooo1@3o000E0?ooo`D0o`00 5@3oool4000002l0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0F0?ooo`@00000 ;@3oool50?l001@0oooo1@3o000E0?ooo`030?l0000000000000008000003`3oool000h0oooo1@3o 000E0?ooo`D0o`00503oool6000002h0o`0000<000000?l0003o00005`3o00000`000000o`000?l0 000E0?l000H00000G`3o0006000000h0oooo000>0?ooo`D0o`005@3oool50?l001@0oooo1P00000^ 0?l000030000003o0000o`0001L0o`0000<000000?l0003o00005@3o0006000005l0o`001P00000> 0?ooo`003P3oool50?l001D0oooo1@3o000D0?ooo`H00000;P3o00000`000000o`000?l0000G0?l0 00030000003o0000o`0001D0o`001P00001O0?l000H000003P3oool000h0oooo1@3o000E0?ooo`D0 o`00503oool6000002h0o`0000<000000?l0003o00005`3o00000`000000o`000?l0000E0?l000H0 0000G`3o0006000000h0oooo000>0?ooo`D0o`005@3oool50?l001<0oooo1P00000_0?l000030000 003o0000o`0001L0o`0000<000000?l0003o0000503o00000`000000o`0000000003000005l0o`00 00<000000?l0000000000`00000?0?ooo`003P3oool50?l001D0oooo1@3o000A0?ooo`80000000<0 oooo0?l0003o00000`3o000_0?ooo`030000003oool0oooo01L0oooo00<000000?ooo`3oool04P3o ool2000000<0oooo00<000000?ooo`3oool0;@3oool50?l001@0oooo1@3o000B0?ooo`8000000`3o ool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l001D0oooo1@3o000@0?ooo`8000000P3oool5 0?l002l0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0A0?ooo`800000103oool0 0`000000oooo0?ooo`0]0?ooo`D0o`00503oool50?l00140oooo0P0000040?ooo`030000003oool0 oooo00l0oooo000>0?ooo`D0o`005@3oool50?l000l0oooo00<000000?ooo`3oool00P3oool50?l0 02l0oooo00<000000?ooo`3oool05`3oool00`000000oooo0?ooo`0?0?ooo`8000001P3oool00`00 0000oooo0?ooo`0]0?ooo`D0o`00503oool50?l000l0oooo0P0000060?ooo`030000003oool0oooo 00l0oooo000>0?ooo`D0o`005@3oool50?l000d0oooo0P0000050?ooo`D0o`00;`3oool00`000000 oooo0?ooo`0G0?ooo`030000003oool0oooo00h0oooo0P0000070?ooo`030000003oool0oooo02d0 oooo1@3o000D0?ooo`D0o`003P3oool2000000L0oooo00<000000?ooo`3oool03`3oool000h0oooo 1@3o000E0?ooo`D0o`00303oool2000000H0oooo1@3o000_0?ooo`030000003oool0oooo01L0oooo 00<000000?ooo`3oool03@3oool00`000000oooo0?ooo`070?ooo`030000003oool0oooo02d0oooo 1@3o000D0?ooo`D0o`003@3oool00`000000oooo0?ooo`070?ooo`030000003oool0oooo00l0oooo 000>0?ooo`D0o`005@3oool50?l000/0oooo00<000000?ooo`3oool01P3oool50?l002l0oooo00<0 00000?ooo`3oool05`3oool00`000000oooo0?ooo`0;0?ooo`8000002P3oool00`000000oooo0?oo o`0]0?ooo`D0o`00503oool50?l000/0oooo0P00000:0?ooo`030000003oool0oooo00l0oooo000> 0?ooo`D0o`005@3oool50?l000T0oooo0P0000090?ooo`D0o`00;`3oool00`000000oooo0?ooo`0G 0?ooo`030000003oool0oooo00X0oooo00<000000?ooo`3oool02P3oool00`000000oooo0?ooo`0] 0?ooo`D0o`00503oool50?l000X0oooo00<000000?ooo`3oool02P3oool00`000000oooo0?ooo`0? 0?ooo`003P3oool50?l001D0oooo1@3o00080?ooo`030000003oool0oooo00T0oooo1@3o000_0?oo o`030000003oool0oooo01L0oooo00<000000?ooo`3oool0203oool2000000d0oooo00<000000?oo o`3oool0;@3oool50?l001@0oooo1@3o00080?ooo`8000003@3oool00`000000oooo0?ooo`0?0?oo o`003P3oool50?l001D0oooo1@3o00060?ooo`800000303oool50?l002l0oooo00<000000?ooo`3o ool05`3oool00`000000oooo0?ooo`070?ooo`030000003oool0oooo00d0oooo00<000000?ooo`3o ool0;@3oool50?l001@0oooo1@3o00070?ooo`030000003oool0oooo00d0oooo00<000000?ooo`3o ool03`3oool000h0oooo1@3o000E0?ooo`D0o`001@3oool2000000d0oooo1@3o000_0?ooo`030000 003oool0oooo01L0oooo00<000000?ooo`3oool01@3oool200000100oooo00<000000?ooo`3oool0 ;@3oool50?l001@0oooo1@3o00050?ooo`800000403oool00`000000oooo0?ooo`0?0?ooo`003P3o ool50?l001D0oooo1@3o00040?ooo`030000003oool0oooo00d0oooo1@3o000_0?ooo`030000003o ool0oooo01L0oooo00<000000?ooo`3oool0103oool200000140oooo00<000000?ooo`3oool0;@3o ool50?l001@0oooo1@3o00040?ooo`8000004@3oool00`000000oooo0?ooo`0?0?ooo`003P3oool5 0?l001D0oooo1@3o00020?ooo`800000403oool50?l002l0oooo00<000000?ooo`3oool05`3oool0 0`000000oooo0?ooo`020?ooo`8000004`3oool00`000000oooo0?ooo`0]0?ooo`D0o`00503oool5 0?l00080oooo0P00000C0?ooo`030000003oool0oooo00l0oooo000>0?ooo`D0o`005@3oool00`3o 0000000000000002000000030?ooo`00000000000140oooo1@3o000_0?ooo`030000003oool0oooo 01H0oooo100000000`3oool000000000000D0?ooo`030000003oool0oooo02d0oooo1@3o000D0?oo o`030?l00000000000000080000000<0oooo000000000000503oool00`000000oooo0?ooo`0?0?oo o`003P3oool50?l001D0oooo1P0000170?l000030000003o0000o`0001D0o`001P00000F0?ooo`03 0000003oool0oooo02d0oooo1@3o000D0?ooo`H000005P3oool00`000000oooo0?ooo`0?0?ooo`00 3P3oool50?l001D0oooo1P0000170?l000030000003o0000o`0001D0o`001P00000F0?ooo`030000 003oool0oooo02d0oooo1@3o000D0?ooo`H000005P3oool00`000000oooo0?ooo`0?0?ooo`003P3o ool50?l001D0oooo1P0000170?l000030000003o0000o`0001D0o`00C00000050?l001X000005P3o ool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l001D0oooo1P0000170?l000030000003o0000 o`0001D0o`001P00000F0?ooo`030000003oool0oooo02d0oooo1@3o000D0?ooo`H000005P3oool0 0`000000oooo0?ooo`0?0?ooo`003P3oool50?l001@0oooo00<000000?l0000000000`0000180?l0 00030000003o0000o`0001@0o`0000<000000?l0000000000`00000G0?ooo`030000003oool0oooo 02d0oooo1@3o000C0?ooo`H000005`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l00180 oooo0P0000030?ooo`030000003oool0oooo01@0oooo1@3o000_0?ooo`030000003oool0oooo0180 oooo0P0000000`3oool0o`000?l000030?l001L0oooo00<000000?ooo`3oool0;@3oool50?l00140 oooo0P0000000`3oool0o`000?l000030?l001L0oooo00<000000?ooo`3oool03`3oool000h0oooo 1@3o000A0?ooo`800000103oool00`000000oooo0?ooo`0D0?ooo`D0o`00;`3oool00`000000oooo 0?ooo`0A0?ooo`8000000P3oool50?l001L0oooo00<000000?ooo`3oool0;@3oool50?l00100oooo 0P0000020?ooo`D0o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l000l0oooo0P00 00060?ooo`030000003oool0oooo01@0oooo1@3o000_0?ooo`030000003oool0oooo00l0oooo0P00 00040?ooo`D0o`005`3oool00`000000oooo0?ooo`0]0?ooo`D0o`003`3oool00`000000oooo0?oo o`020?ooo`D0o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l000h0oooo0P000007 0?ooo`030000003oool0oooo01@0oooo1@3o000_0?ooo`030000003oool0oooo00h0oooo0P000005 0?ooo`D0o`005`3oool00`000000oooo0?ooo`0]0?ooo`D0o`003@3oool2000000D0oooo1@3o000G 0?ooo`030000003oool0oooo00l0oooo000>0?ooo`D0o`003@3oool00`000000oooo0?ooo`070?oo o`030000003oool0oooo01@0oooo1@3o000_0?ooo`030000003oool0oooo00d0oooo00<000000?oo o`3oool01@3oool50?l001L0oooo00<000000?ooo`3oool0;@3oool50?l000`0oooo0P0000060?oo o`D0o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l000/0oooo0P00000:0?ooo`03 0000003oool0oooo01@0oooo1@3o000_0?ooo`030000003oool0oooo00/0oooo0P0000080?ooo`D0 o`005`3oool00`000000oooo0?ooo`0]0?ooo`D0o`002`3oool00`000000oooo0?ooo`060?ooo`D0 o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l000X0oooo00<000000?ooo`3oool0 2P3oool00`000000oooo0?ooo`0D0?ooo`D0o`00;`3oool00`000000oooo0?ooo`0:0?ooo`030000 003oool0oooo00P0oooo1@3o000G0?ooo`030000003oool0oooo02d0oooo1@3o00090?ooo`800000 2@3oool50?l001L0oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o00080?ooo`8000003@3o ool00`000000oooo0?ooo`0D0?ooo`D0o`00;`3oool00`000000oooo0?ooo`080?ooo`8000002`3o ool50?l001L0oooo00<000000?ooo`3oool0;@3oool50?l000P0oooo00<000000?ooo`3oool02@3o ool50?l001L0oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o00070?ooo`030000003oool0 oooo00d0oooo00<000000?ooo`3oool0503oool50?l002l0oooo00<000000?ooo`3oool01`3oool0 0`000000oooo0?ooo`0;0?ooo`D0o`005`3oool00`000000oooo0?ooo`0]0?ooo`D0o`001P3oool2 000000`0oooo1@3o000G0?ooo`030000003oool0oooo00l0oooo000>0?ooo`D0o`001@3oool20000 0100oooo00<000000?ooo`3oool0503oool50?l002l0oooo00<000000?ooo`3oool01@3oool20000 00h0oooo1@3o000G0?ooo`030000003oool0oooo02d0oooo1@3o00050?ooo`8000003@3oool50?l0 01L0oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o00040?ooo`8000004@3oool00`000000 oooo0?ooo`0D0?ooo`D0o`00;`3oool00`000000oooo0?ooo`040?ooo`8000003`3oool50?l001L0 oooo00<000000?ooo`3oool0;@3oool50?l000@0oooo00<000000?ooo`3oool03@3oool50?l001L0 oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o00020?ooo`8000004`3oool00`000000oooo 0?ooo`0D0?ooo`D0o`00;`3oool00`000000oooo0?ooo`020?ooo`8000004@3oool50?l001L0oooo 00<000000?ooo`3oool0;@3oool50?l00080oooo0P00000@0?ooo`D0o`005`3oool00`000000oooo 0?ooo`0?0?ooo`003P3oool00`3o0000000000000002000000030?ooo`000000000001@0oooo00<0 00000?ooo`3oool0503oool50?l002h0oooo100000000`3oool000000000000B0?ooo`D0o`005`3o ool00`000000oooo0?ooo`0]0?ooo`030?l00000000000000080000000<0oooo0000000000004@3o ool50?l001L0oooo00<000000?ooo`3oool03`3oool000h0oooo1P00000F0?ooo`030000003oool0 oooo01@0oooo1@3o000]0?ooo`H00000H03o0006000001<0oooo1@3o000G0?ooo`030000003oool0 oooo00l0oooo000>0?ooo`H000005P3oool00`000000oooo0?ooo`0D0?ooo`D0o`00;@3oool60000 0600o`001P00000C0?ooo`D0o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3ooom[00000600 o`001P00000C0?ooo`D0o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool6000001H0oooo 00<000000?ooo`3oool0503oool50?l002d0oooo1P00001P0?l000H000004`3oool50?l001L0oooo 00<000000?ooo`3oool03`3oool000h0oooo00<0o`000000000000000P00000G0?ooo`030000003o ool0oooo01@0oooo1@3o000]0?ooo`030?l000000000000000800000HP3o0004000001@0oooo1@3o 000G0?ooo`030000003oool0oooo00l0oooo000>0?ooo`D0o`005`3oool00`000000oooo0?ooo`0D 0?ooo`D0o`00;@3oool50?l001D0oooo1@3o000G0?ooo`030000003oool0oooo02l0oooo00<00000 0?ooo`3oool0503oool50?l001L0oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o000G0?oo o`030000003oool0oooo01@0oooo1@3o000]0?ooo`D0o`005@3oool50?l001L0oooo00<000000?oo o`3oool0;`3oool00`000000oooo0?ooo`0D0?ooo`D0o`005`3oool00`000000oooo0?ooo`0?0?oo o`003P3oool50?l001L0oooo00<000000?ooo`3oool0503oool50?l002d0oooo1@3o000E0?ooo`D0 o`005`3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01@0oooo1@3o000G0?ooo`03 0000003oool0oooo00l0oooo000>0?ooo`D0o`005`3oool00`000000oooo0?ooo`0D0?ooo`D0o`00 ;@3oool50?l001D0oooo1@3o000G0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool0 503oool50?l001L0oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o000G0?ooo`030000003o ool0oooo01@0oooo1@3o000]0?ooo`D0o`005@3oool50?l001L0oooo00<000000?ooo`3oool0;`3o ool00`000000oooo0?ooo`0D0?ooo`D0o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool5 0?l001L0oooo00<000000?ooo`3oool0503oool50?l002d0oooo1@3o000E0?ooo`D0o`005`3oool0 0`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01@0oooo1@3o000G0?ooo`030000003oool0 oooo00l0oooo000>0?ooo`D0o`005`3oool00`000000oooo0?ooo`0D0?ooo`D0o`00;@3oool50?l0 01D0oooo1@3o000G0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool0503oool50?l0 01L0oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo01@0 oooo1@3o000]0?ooo`D0o`005@3oool50?l001L0oooo00<000000?ooo`3oool0;`3oool00`000000 oooo0?ooo`0D0?ooo`D0o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l001L0oooo 00<000000?ooo`3oool0503oool50?l002d0oooo1@3o000E0?ooo`D0o`005`3oool00`000000oooo 0?ooo`0_0?ooo`030000003oool0oooo01@0oooo1@3o000G0?ooo`030000003oool0oooo00l0oooo 000>0?ooo`D0o`005`3oool00`000000oooo0?ooo`0D0?ooo`D0o`00;@3oool50?l001D0oooo1@3o 000G0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool0503oool50?l001L0oooo00<0 00000?ooo`3oool03`3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo01@0oooo1@3o000] 0?ooo`D0o`005@3oool50?l001L0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0D 0?ooo`D0o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l001L0oooo00<000000?oo o`3oool0503oool50?l002d0oooo1@3o000E0?ooo`D0o`005`3oool00`000000oooo0?ooo`0_0?oo o`030000003oool0oooo01@0oooo1@3o000G0?ooo`030000003oool0oooo00l0oooo000>0?ooo`D0 o`005`3oool00`000000oooo0?ooo`0D0?ooo`D0o`00;@3oool50?l001D0oooo1@3o000G0?ooo`03 0000003oool0oooo02l0oooo00<000000?ooo`3oool0503oool50?l001L0oooo00<000000?ooo`3o ool03`3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo01@0oooo1@3o000]0?ooo`D0o`00 5@3oool50?l001L0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0D0?ooo`D0o`00 5`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l001L0oooo00<000000?ooo`3oool0503o ool50?l002d0oooo1@3o000E0?ooo`D0o`005`3oool00`000000oooo0?ooo`0_0?ooo`030000003o ool0oooo01@0oooo1@3o000G0?ooo`030000003oool0oooo00l0oooo000>0?ooo`D0o`005`3oool0 0`000000oooo0?ooo`0D0?ooo`D0o`00;@3oool50?l001D0oooo1@3o000G0?ooo`030000003oool0 oooo02l0oooo00<000000?ooo`3oool0503oool50?l001L0oooo00<000000?ooo`3oool03`3oool0 00h0oooo1@3o000G0?ooo`030000003oool0oooo01@0oooo1@3o000]0?ooo`D0o`005@3oool50?l0 01L0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0D0?ooo`D0o`005`3oool00`00 0000oooo0?ooo`0?0?ooo`003P3oool50?l001L0oooo00<000000?ooo`3oool0503oool50?l002d0 oooo1@3o000E0?ooo`D0o`005`3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01@0 oooo1@3o000G0?ooo`030000003oool0oooo00l0oooo000>0?ooo`D0o`005`3oool00`000000oooo 0?ooo`0D0?ooo`D0o`00;@3oool50?l001D0oooo1@3o000G0?ooo`030000003oool0oooo02l0oooo 00<000000?ooo`3oool0503oool50?l001L0oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o 000G0?ooo`030000003oool0oooo01@0oooo1@3o000]0?ooo`D0o`005@3oool50?l001L0oooo00<0 00000?ooo`3oool0;`3oool00`000000oooo0?ooo`0D0?ooo`D0o`005`3oool00`000000oooo0?oo o`0?0?ooo`003P3oool50?l001L0oooo00<000000?ooo`3oool0503oool50?l002d0oooo1@3o000E 0?ooo`D0o`005`3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01@0oooo1@3o000G 0?ooo`030000003oool0oooo00l0oooo000>0?ooo`D0o`005`3oool00`000000oooo0?ooo`0D0?oo o`D0o`00;@3oool50?l001D0oooo1@3o000G0?ooo`030000003oool0oooo02l0oooo00<000000?oo o`3oool0503oool50?l001L0oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o000G0?ooo`03 0000003oool0oooo01@0oooo1@3o000]0?ooo`D0o`005@3oool50?l001L0oooo00<000000?ooo`3o ool0;`3oool00`000000oooo0?ooo`0D0?ooo`D0o`005`3oool00`000000oooo0?ooo`0?0?ooo`00 3P3oool50?l001L0oooo00<000000?ooo`3oool0503oool50?l002d0oooo1@3o000E0?ooo`D0o`00 5`3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01@0oooo1@3o000G0?ooo`030000 003oool0oooo00l0oooo000>0?ooo`D0o`005`3oool00`000000oooo0?ooo`0D0?ooo`D0o`00;@3o ool50?l001D0oooo1@3o000G0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool0503o ool50?l001L0oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o000G0?ooo`030000003oool0 oooo01@0oooo1@3o000]0?ooo`D0o`005@3oool50?l001L0oooo00<000000?ooo`3oool0;`3oool0 0`000000oooo0?ooo`0D0?ooo`D0o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l0 01L0oooo00<000000?ooo`3oool0503oool50?l002d0oooo1@3o000E0?ooo`D0o`005`3oool00`00 0000oooo0?ooo`0_0?ooo`030000003oool0oooo01@0oooo1@3o000G0?ooo`030000003oool0oooo 00l0oooo000>0?ooo`D0o`005`3oool00`000000oooo0?ooo`0D0?ooo`D0o`00;@3oool50?l001D0 oooo1@3o000G0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool0503oool50?l001L0 oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo01@0oooo 1@3o000]0?ooo`D0o`005@3oool50?l001L0oooo00<000000?ooo`3oool0;`3oool00`000000oooo 0?ooo`0D0?ooo`D0o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l001L0oooo00<0 00000?ooo`3oool0503oool50?l002d0oooo1@3o000E0?ooo`D0o`005`3oool00`000000oooo0?oo o`0_0?ooo`030000003oool0oooo01@0oooo1@3o000G0?ooo`030000003oool0oooo00l0oooo000> 0?ooo`D0o`005`3oool00`000000oooo0?ooo`0D0?ooo`D0o`00;@3oool50?l001D0oooo1@3o000G 0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool0503oool50?l001L0oooo00<00000 0?ooo`3oool03`3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo01@0oooo1@3o000]0?oo o`D0o`005@3oool50?l001L0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0D0?oo o`D0o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l001L0oooo00<000000?ooo`3o ool0503oool50?l002d0oooo1@3o000E0?ooo`D0o`005`3oool00`000000oooo0?ooo`0_0?ooo`03 0000003oool0oooo01@0oooo1@3o000G0?ooo`030000003oool0oooo00l0oooo000>0?ooo`D0o`00 5`3oool00`000000oooo0?ooo`0D0?ooo`D0o`00;@3oool50?l001D0oooo1@3o000G0?ooo`030000 003oool0oooo02l0oooo00<000000?ooo`3oool0503oool50?l001L0oooo00<000000?ooo`3oool0 3`3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo01@0oooo1@3o000]0?ooo`D0o`005@3o ool50?l001L0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0D0?ooo`D0o`005`3o ool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l001L0oooo00<000000?ooo`3oool0503oool5 0?l002d0oooo1@3o000E0?ooo`D0o`005`3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0 oooo01@0oooo1@3o000G0?ooo`030000003oool0oooo00l0oooo000>0?ooo`D0o`005`3oool00`00 0000oooo0?ooo`0D0?ooo`D0o`00;@3oool50?l001D0oooo1@3o000G0?ooo`030000003oool0oooo 02l0oooo00<000000?ooo`3oool0503oool50?l001L0oooo00<000000?ooo`3oool03`3oool000h0 oooo1@3o000G0?ooo`030000003oool0oooo01@0oooo1@3o000]0?ooo`D0o`005@3oool50?l001L0 oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0D0?ooo`D0o`005`3oool00`000000 oooo0?ooo`0?0?ooo`003P3oool50?l001L0oooo00<000000?ooo`3oool0503oool50?l002d0oooo 1@3o000E0?ooo`D0o`005`3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01@0oooo 1@3o000G0?ooo`030000003oool0oooo00l0oooo000>0?ooo`D0o`005`3oool00`000000oooo0?oo o`0D0?ooo`D0o`00;@3oool50?l001D0oooo1@3o000G0?ooo`030000003oool0oooo02l0oooo00<0 00000?ooo`3oool0503oool50?l001L0oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o000G 0?ooo`030000003oool0oooo01@0oooo1@3o000]0?ooo`D0o`005@3oool50?l001L0oooo00<00000 0?ooo`3oool0;`3oool00`000000oooo0?ooo`0D0?ooo`D0o`005`3oool00`000000oooo0?ooo`0? 0?ooo`003P3oool50?l001L0oooo00<000000?ooo`3oool0503oool50?l002d0oooo1@3o000E0?oo o`D0o`005`3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01@0oooo1@3o000G0?oo o`030000003oool0oooo00l0oooo000>0?ooo`D0o`005`3oool00`000000oooo0?ooo`0D0?ooo`D0 o`00;@3oool50?l001D0oooo1@3o000G0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3o ool0503oool50?l001L0oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o000G0?ooo`030000 003oool0oooo01@0oooo1@3o000]0?ooo`D0o`005@3oool50?l001L0oooo00<000000?ooo`3oool0 ;`3oool00`000000oooo0?ooo`0D0?ooo`D0o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3o ool50?l001L0oooo00<000000?ooo`3oool0503oool50?l002d0oooo1@3o000E0?ooo`D0o`005`3o ool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01@0oooo1@3o000G0?ooo`030000003o ool0oooo00l0oooo000>0?ooo`D0o`005`3oool00`000000oooo0?ooo`0D0?ooo`D0o`00;@3oool5 0?l001D0oooo1@3o000G0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool0503oool5 0?l001L0oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo 01@0oooo1@3o000]0?ooo`D0o`005@3oool50?l001L0oooo00<000000?ooo`3oool0;`3oool00`00 0000oooo0?ooo`0D0?ooo`D0o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l001L0 oooo00<000000?ooo`3oool0503oool50?l002d0oooo1@3o000E0?ooo`D0o`005`3oool00`000000 oooo0?ooo`0_0?ooo`030000003oool0oooo01@0oooo1@3o000G0?ooo`030000003oool0oooo00l0 oooo000>0?ooo`D0o`005`3oool00`000000oooo0?ooo`0D0?ooo`D0o`00;@3oool50?l001D0oooo 1@3o000G0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool0503oool50?l001L0oooo 00<000000?ooo`3oool03`3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo01@0oooo1@3o 000]0?ooo`D0o`005@3oool50?l001L0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?oo o`0D0?ooo`D0o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l001L0oooo00<00000 0?ooo`3oool0503oool50?l002d0oooo1@3o000E0?ooo`D0o`005`3oool00`000000oooo0?ooo`0_ 0?ooo`030000003oool0oooo01@0oooo1@3o000G0?ooo`030000003oool0oooo00l0oooo000>0?oo o`D0o`005`3oool00`000000oooo0?ooo`0D0?ooo`D0o`00;@3oool50?l001D0oooo1@3o000G0?oo o`030000003oool0oooo02l0oooo00<000000?ooo`3oool0503oool50?l001L0oooo00<000000?oo o`3oool03`3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo01@0oooo1@3o000]0?ooo`D0 o`005@3oool50?l001L0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0D0?ooo`D0 o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool50?l001L0oooo00<000000?ooo`3oool0 503oool50?l002d0oooo1@3o000E0?ooo`D0o`005`3oool00`000000oooo0?ooo`0_0?ooo`030000 003oool0oooo01@0oooo1@3o000G0?ooo`030000003oool0oooo00l0oooo000>0?ooo`D0o`005`3o ool00`000000oooo0?ooo`0D0?ooo`D0o`00;@3oool50?l001D0oooo1@3o000G0?ooo`030000003o ool0oooo02l0oooo00<000000?ooo`3oool0503oool50?l001L0oooo00<000000?ooo`3oool03`3o ool000h0oooo1@3o000G0?ooo`030000003oool0oooo01@0oooo1@3o000]0?ooo`D0o`005@3oool5 0?l001L0oooo00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0D0?ooo`D0o`005`3oool0 0`000000oooo0?ooo`0?0?ooo`003P3oool50?l001L0oooo00<000000?ooo`3oool0503oool50?l0 02d0oooo1@3o000E0?ooo`D0o`005`3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo 01@0oooo1@3o000G0?ooo`030000003oool0oooo00l0oooo000>0?ooo`D0o`005`3oool00`000000 oooo0?ooo`0D0?ooo`D0o`00;@3oool50?l001D0oooo1@3o000G0?ooo`030000003oool0oooo02l0 oooo00<000000?ooo`3oool0503oool50?l001L0oooo00<000000?ooo`3oool03`3oool000h0oooo 1@3o000G0?ooo`030000003oool0oooo01@0oooo1@3o000]0?ooo`D0o`005@3oool50?l001L0oooo 00<000000?ooo`3oool0;`3oool00`000000oooo0?ooo`0D0?ooo`D0o`005`3oool00`000000oooo 0?ooo`0?0?ooo`003P3oool50?l001L0oooo00<000000?ooo`3oool0503oool50?l002d0oooo1@3o 000E0?ooo`D0o`005`3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01@0oooo1@3o 000G0?ooo`030000003oool0oooo00l0oooo000>0?ooo`D0o`005`3oool00`000000oooo0?ooo`0D 0?ooo`D0o`00;@3oool50?l001D0oooo1@3o000G0?ooo`030000003oool0oooo02l0oooo00<00000 0?ooo`3oool0503oool50?l001L0oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o000G0?oo o`030000003oool0oooo01@0oooo1@3o000]0?ooo`D0o`005@3oool50?l001L0oooo00<000000?oo o`3oool0;`3oool00`000000oooo0?ooo`0D0?ooo`D0o`005`3oool00`000000oooo0?ooo`0?0?oo o`003P3oool50?l001L0oooo00<000000?ooo`3oool0503oool50?l002d0oooo1@3o000E0?ooo`D0 o`005`3oool00`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01@0oooo1@3o000G0?ooo`03 0000003oool0oooo00l0oooo000>0?ooo`D0o`005`3oool00`000000oooo0?ooo`0D0?ooo`D0o`00 ;@3oool50?l001D0oooo1@3o000G0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool0 503oool50?l001L0oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o000G0?ooo`030000003o ool0oooo01@0oooo1@3o000]0?ooo`D0o`005@3oool50?l001L0oooo00<000000?ooo`3oool0;`3o ool00`000000oooo0?ooo`0D0?ooo`D0o`005`3oool00`000000oooo0?ooo`0?0?ooo`003P3oool5 0?l001L0oooo00<000000?ooo`3oool0503oool50?l002d0oooo1@3o000E0?ooo`D0o`005`3oool0 0`000000oooo0?ooo`0_0?ooo`030000003oool0oooo01@0oooo1@3o000G0?ooo`030000003oool0 oooo00l0oooo000>0?ooo`D0o`005`3oool00`000000oooo0?ooo`0D0?ooo`D0o`00;@3oool50?l0 01D0oooo1@3o000G0?ooo`030000003oool0oooo02l0oooo00<000000?ooo`3oool0503oool50?l0 01L0oooo00<000000?ooo`3oool03`3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo01@0 oooo00<0o`000000000000000P00000]0?ooo`D0o`005@3oool50?l001H0oooo1000000_0?ooo`03 0000003oool0oooo01@0oooo1@3o000F0?ooo`@000003`3oool000h0oooo1@3o000G0?ooo`030000 003oool0oooo01@0oooo1P00001P0?l000H00000;P3o00000`000000o`000?l0000^0?l000H00000 3P3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo01@0oooo1P00001P0?l000H00000;P3o 00000`000000o`000?l0000^0?l000H000003P3oool000h0oooo1@3o000G0?ooo`030000003oool0 oooo01@0oooo1P00001P0?l000H00000;P3o00000`000000o`000?l0000^0?l000H000003P3oool0 00h0oooo1@3o000G0?ooo`030000003oool0oooo01@0oooo1P00001P0?l000H00000;P3o00000`00 0000o`000?l0000^0?l000H000003P3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo01<0 oooo00<000000?l0000000000`00001P0?l000030000003o0000000000<00000;`3o00000`000000 o`000?l0000_0?l000@000003`3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo0140oooo 0P00000c0?ooo`D0o`005@3oool50?l00180oooo0P00000e0?ooo`030000003oool0oooo01@0oooo 1@3o000>0?ooo`T0o`004P3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo0100oooo0P00 000d0?ooo`D0o`005@3oool50?l00100oooo0P00000g0?ooo`030000003oool0oooo01@0oooo1@3o 000=0?ooo`T0o`004`3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo00h0oooo0P00000f 0?ooo`D0o`005@3oool50?l000l0oooo0P00000h0?ooo`030000003oool0oooo01@0oooo1@3o000; 0?ooo`T0o`005@3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo00d0oooo0P00000g0?oo o`D0o`005@3oool50?l000d0oooo0P00000j0?ooo`030000003oool0oooo01@0oooo1@3o000:0?oo o`T0o`005P3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo00/0oooo0P00000i0?ooo`D0 o`005@3oool50?l000`0oooo0P00000k0?ooo`030000003oool0oooo01@0oooo1@3o00080?ooo`T0 o`00603oool000h0oooo1@3o000G0?ooo`030000003oool0oooo00X0oooo0P00000j0?ooo`D0o`00 5@3oool50?l000X0oooo0P00000m0?ooo`030000003oool0oooo01@0oooo1@3o00070?ooo`T0o`00 6@3oool000h0oooo1@3o000G0?ooo`030000003oool0oooo00P0oooo0P00000l0?ooo`D0o`005@3o ool50?l000T0oooo0P00000n0?ooo`030000003oool0oooo01@0oooo1@3o00050?ooo`T0o`006`3o ool000h0oooo1@3o000G0?ooo`030000003oool0oooo00L0oooo0P00000m0?ooo`D0o`005@3oool5 0?l000L0oooo0P0000100?ooo`030000003oool0oooo01@0oooo1@3o00040?ooo`T0o`00703oool0 00h0oooo1@3o000G0?ooo`030000003oool0oooo00D0oooo0P00000o0?ooo`D0o`005@3oool50?l0 00H0oooo0P0000110?ooo`030000003oool0oooo01@0oooo1@3o00020?ooo`T0o`007P3oool000h0 oooo1@3o000G0?ooo`030000003oool0oooo00@0oooo0P0000100?ooo`D0o`005@3oool50?l000@0 oooo0P0000130?ooo`030000003oool0oooo01@0oooo1@3o00000`3oool0o`000?l000070?l001l0 oooo000>0?ooo`D0o`005`3oool00`000000oooo0?ooo`020?ooo`800000@P3oool50?l001D0oooo 1@3o00030?ooo`800000A03oool00`000000oooo0?ooo`0D0?ooo`d0o`008@3oool000h0oooo1@3o 000F0?ooo`@0000000<0oooo000000000000@`3oool50?l001D0oooo00<0o`000000000000000P00 00000`3oool00000000000160?ooo`030000003oool0oooo01@0oooo00<0o`000000000000000P00 00070?l00280oooo000>0?ooo`D0o`005@3oool6000005l0o`001P0000180?ooo`030000003oool0 oooo01@0oooo1P0000040?l002@0oooo000>0?ooo`D0o`005@3oool6000005l0o`001P0000180?oo o`030000003oool0oooo01<0oooo00<0o`00000000000000100000030?l002D0oooo000>0?ooo`D0 o`004`3oool20?l000H00000G`3o001[000000030?l0003oool0oooo02D0oooo000>0?ooo`D0o`00 4P3oool30?l000H00000G`3o0006000004P0oooo00<000000?ooo`3oool0503oool6000002P0oooo 000>0?ooo`D0o`00403oool60?l000@00000G`3o00000`000000o`0000000003000004T0oooo00<0 00000?ooo`3oool04`3oool6000002T0oooo000>0?ooo`D0o`003`3oool90?l004P0oooo1@3o000B 0?ooo`800000C`3oool00`000000oooo0?ooo`0A0?ooo`8000000P3oool00`3o0000oooo0?ooo`0Z 0?ooo`003P3oool50?l000d0oooo2@3o001:0?ooo`D0o`004@3oool200000500oooo00<000000?oo o`3oool0403oool200000300oooo000>0?ooo`D0o`00303oool90?l004/0oooo1@3o000?0?ooo`80 0000DP3oool00`000000oooo0?ooo`0?0?ooo`030000003oool0oooo0300oooo000>0?ooo`D0o`00 2P3oool90?l004d0oooo1@3o000>0?ooo`800000D`3oool00`000000oooo0?ooo`0=0?ooo`800000 <`3oool000h0oooo1@3o00090?ooo`T0o`00CP3oool50?l000d0oooo00<000000?ooo`3oool0D`3o ool00`000000oooo0?ooo`0<0?ooo`800000=03oool000h0oooo1@3o00080?ooo`P0o`00D03oool5 0?l000/0oooo0P00001F0?ooo`030000003oool0oooo00/0oooo00<000000?ooo`3oool0=03oool0 00h0oooo1@3o00060?ooo`T0o`00D@3oool50?l000X0oooo00<000000?ooo`3oool0EP3oool00`00 0000oooo0?ooo`090?ooo`800000=`3oool000h0oooo1@3o00050?ooo`P0o`00D`3oool50?l000P0 oooo0P00001I0?ooo`030000003oool0oooo00P0oooo00<000000?ooo`3oool0=`3oool000h0oooo 1@3o00030?ooo`T0o`00E03oool50?l000L0oooo00<000000?ooo`3oool0F@3oool00`000000oooo 0?ooo`060?ooo`800000>P3oool000h0oooo1@3o00020?ooo`T0o`00E@3oool50?l000D0oooo0P00 001L0?ooo`030000003oool0oooo00D0oooo0P00000k0?ooo`003P3oool>0?l005L0oooo1@3o0004 0?ooo`800000G@3oool00`000000oooo0?ooo`040?ooo`030000003oool0oooo03/0oooo000>0?oo o`d0o`00F03oool50?l00080oooo0P00001O0?ooo`030000003oool0oooo0080oooo0P00000n0?oo o`003P3oool00`3o0000000000000002000000H0o`00FP3oool00`3o000000000000000200000003 0?ooo`000000000005l0oooo100000000`3oool000000000000o0?ooo`003P3oool6000000@0o`00 F`3oool600000600o`001P0000110?ooo`003P3oool600000080o`00G@3oool600000600o`001P00 00110?ooo`003@3oool00`3o000000000000001Y00000600o`001P0000110?ooo`003P3oool60000 05l0oooo1P00001P0?l000H00000@@3oool000h0oooo00<0o`000000000000000P00001P0?ooo`03 0?l000000000000000800000HP3o000400000480oooo000@0?ooo`030?l0003oool0oooo0?l0oooo 3P3oool00?l0oooo8@3oool00?l0oooo8@3oool00?l0oooo8@3oool00?l0oooo8@3oool00?l0oooo 8@3oool00?l0oooo8@3oool00?l0oooo8@3oool00?l0oooo8@3oool00?l0oooo8@3oool00?l0oooo 8@3oool00?l0oooo8@3oool00?l0oooo8@3oool00?l0oooo8@3oool00?l0oooo8@3oool00001\ \>"], ImageRangeCache->{{{0, 287}, {287, 0}} -> {-0.0500045, 0.233451, \ 0.00303926, 0.00284514}}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(DegreeSequence[t]\)], "Input"], Cell[BoxData[ \({2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 1, 1}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(NumberOfSpanningTrees[gg]\)], "Input"], Cell[BoxData[ \(8193540096000\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(ds\ = \ DeBruijnSequence[{0, 1}, 4]\)], "Input"], Cell[BoxData[ \({1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 0, 0, 0}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Table[Take[RotateLeft[ds, i], 4], {i, 0, Length[ds] - 1}]\)], "Input"], Cell[BoxData[ \({{1, 1, 0, 0}, {1, 0, 0, 1}, {0, 0, 1, 0}, {0, 1, 0, 1}, {1, 0, 1, 1}, {0, 1, 1, 1}, {1, 1, 1, 1}, {1, 1, 1, 0}, {1, 1, 0, 1}, {1, 0, 1, 0}, {0, 1, 0, 0}, {1, 0, 0, 0}, {0, 0, 0, 0}, {0, 0, 0, 1}, {0, 0, 1, 1}, {0, 1, 1, 0}}\)], "Output"] }, Open ]], Cell[BoxData[""], "Input"] }, Open ]], Cell[CellGroupData[{ Cell["Pretty Graphs", "Subtitle"], Cell[CellGroupData[{ Cell[BoxData[ \(\(\(ShowGraph[ hd\ = HasseDiagram[ MakeGraph[ Subsets[6], \((\((Intersection[#2, #1] === #1)\) && \((#1 \ \[NotEqual] #2)\))\) &]], EdgeColor \[Rule] Blue];\)\(\n\) \)\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: 1 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations 0.0454545 0.909091 -1.20886 2.40506 [ [ 0 0 0 0 ] [ 1 1 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 0 m 1 0 L 1 1 L 0 1 L closepath clip newpath 0 0 1 r .005 w [ ] 0 setdash .5 .12025 m .38038 .24684 L s .5 .12025 m .42823 .24684 L s .5 .12025 m .47608 .24684 L s .5 .12025 m .52392 .24684 L s .5 .12025 m .57177 .24684 L s .5 .12025 m .61962 .24684 L s .38038 .24684 m .16507 .37342 L s .38038 .24684 m .26077 .37342 L s .38038 .24684 m .40431 .37342 L s .38038 .24684 m .59569 .37342 L s .38038 .24684 m .83493 .37342 L s .16507 .37342 m .42823 .24684 L s .16507 .37342 m .04545 .5 L s .16507 .37342 m .189 .5 L s .16507 .37342 m .47608 .5 L s .16507 .37342 m .95455 .5 L s .42823 .24684 m .21292 .37342 L s .42823 .24684 m .35646 .37342 L s .42823 .24684 m .54785 .37342 L s .42823 .24684 m .78708 .37342 L s .21292 .37342 m .04545 .5 L s .21292 .37342 m .47608 .24684 L s .21292 .37342 m .14115 .5 L s .21292 .37342 m .42823 .5 L s .21292 .37342 m .9067 .5 L s .04545 .5 m .26077 .37342 L s .04545 .5 m .16507 .62658 L s .04545 .5 m .35646 .62658 L s .04545 .5 m .83493 .62658 L s .26077 .37342 m .47608 .24684 L s .26077 .37342 m .0933 .5 L s .26077 .37342 m .38038 .5 L s .26077 .37342 m .85885 .5 L s .47608 .24684 m .30861 .37342 L s .47608 .24684 m .5 .37342 L s .47608 .24684 m .73923 .37342 L s .30861 .37342 m .0933 .5 L s .30861 .37342 m .14115 .5 L s .30861 .37342 m .52392 .24684 L s .30861 .37342 m .33254 .5 L s .30861 .37342 m .811 .5 L s .0933 .5 m .16507 .62658 L s .0933 .5 m .40431 .37342 L s .0933 .5 m .30861 .62658 L s .0933 .5 m .78708 .62658 L s .16507 .62658 m .14115 .5 L s .16507 .62658 m .189 .5 L s .16507 .62658 m .38038 .75316 L s .16507 .62658 m .61962 .75316 L s .14115 .5 m .35646 .37342 L s .14115 .5 m .26077 .62658 L s .14115 .5 m .73923 .62658 L s .35646 .37342 m .189 .5 L s .35646 .37342 m .52392 .24684 L s .35646 .37342 m .28469 .5 L s .35646 .37342 m .76316 .5 L s .189 .5 m .40431 .37342 L s .189 .5 m .21292 .62658 L s .189 .5 m .69139 .62658 L s .40431 .37342 m .52392 .24684 L s .40431 .37342 m .23684 .5 L s .40431 .37342 m .71531 .5 L s .52392 .24684 m .45215 .37342 L s .52392 .24684 m .69139 .37342 L s .45215 .37342 m .23684 .5 L s .45215 .37342 m .28469 .5 L s .45215 .37342 m .33254 .5 L s .45215 .37342 m .57177 .24684 L s .45215 .37342 m .66746 .5 L s .23684 .5 m .21292 .62658 L s .23684 .5 m .30861 .62658 L s .23684 .5 m .59569 .37342 L s .23684 .5 m .64354 .62658 L s .21292 .62658 m .28469 .5 L s .21292 .62658 m .38038 .75316 L s .21292 .62658 m .47608 .5 L s .21292 .62658 m .57177 .75316 L s .28469 .5 m .26077 .62658 L s .28469 .5 m .54785 .37342 L s .28469 .5 m .59569 .62658 L s .26077 .62658 m .38038 .75316 L s .26077 .62658 m .33254 .5 L s .26077 .62658 m .42823 .5 L s .26077 .62658 m .52392 .75316 L s .38038 .75316 m .30861 .62658 L s .38038 .75316 m .35646 .62658 L s .38038 .75316 m .5 .87975 L s .30861 .62658 m .33254 .5 L s .30861 .62658 m .38038 .5 L s .30861 .62658 m .47608 .75316 L s .33254 .5 m .5 .37342 L s .33254 .5 m .54785 .62658 L s .5 .37342 m .38038 .5 L s .5 .37342 m .42823 .5 L s .5 .37342 m .57177 .24684 L s .5 .37342 m .61962 .5 L s .38038 .5 m .35646 .62658 L s .38038 .5 m .59569 .37342 L s .38038 .5 m .5 .62658 L s .35646 .62658 m .42823 .5 L s .35646 .62658 m .47608 .5 L s .35646 .62658 m .42823 .75316 L s .42823 .5 m .54785 .37342 L s .42823 .5 m .45215 .62658 L s .54785 .37342 m .47608 .5 L s .54785 .37342 m .57177 .24684 L s .54785 .37342 m .57177 .5 L s .47608 .5 m .59569 .37342 L s .47608 .5 m .40431 .62658 L s .59569 .37342 m .57177 .24684 L s .59569 .37342 m .52392 .5 L s .57177 .24684 m .64354 .37342 L s .64354 .37342 m .52392 .5 L s .64354 .37342 m .57177 .5 L s .64354 .37342 m .61962 .5 L s .64354 .37342 m .66746 .5 L s .64354 .37342 m .61962 .24684 L s .52392 .5 m .40431 .62658 L s .52392 .5 m .5 .62658 L s .52392 .5 m .64354 .62658 L s .52392 .5 m .83493 .37342 L s .40431 .62658 m .57177 .5 L s .40431 .62658 m .42823 .75316 L s .40431 .62658 m .57177 .75316 L s .40431 .62658 m .95455 .5 L s .57177 .5 m .45215 .62658 L s .57177 .5 m .59569 .62658 L s .57177 .5 m .78708 .37342 L s .45215 .62658 m .42823 .75316 L s .45215 .62658 m .61962 .5 L s .45215 .62658 m .52392 .75316 L s .45215 .62658 m .9067 .5 L s .42823 .75316 m .5 .62658 L s .42823 .75316 m .5 .87975 L s .42823 .75316 m .83493 .62658 L s .5 .62658 m .61962 .5 L s .5 .62658 m .47608 .75316 L s .5 .62658 m .85885 .5 L s .61962 .5 m .54785 .62658 L s .61962 .5 m .73923 .37342 L s .54785 .62658 m .47608 .75316 L s .54785 .62658 m .52392 .75316 L s .54785 .62658 m .66746 .5 L s .54785 .62658 m .811 .5 L s .47608 .75316 m .5 .87975 L s .47608 .75316 m .64354 .62658 L s .47608 .75316 m .78708 .62658 L s .5 .87975 m .52392 .75316 L s .5 .87975 m .57177 .75316 L s .5 .87975 m .61962 .75316 L s .52392 .75316 m .59569 .62658 L s .52392 .75316 m .73923 .62658 L s .59569 .62658 m .57177 .75316 L s .59569 .62658 m .66746 .5 L s .59569 .62658 m .76316 .5 L s .57177 .75316 m .64354 .62658 L s .57177 .75316 m .69139 .62658 L s .64354 .62658 m .66746 .5 L s .64354 .62658 m .71531 .5 L s .66746 .5 m .69139 .37342 L s .69139 .37342 m .71531 .5 L s .69139 .37342 m .76316 .5 L s .69139 .37342 m .811 .5 L s .69139 .37342 m .61962 .24684 L s .71531 .5 m .69139 .62658 L s .71531 .5 m .78708 .62658 L s .71531 .5 m .83493 .37342 L s .69139 .62658 m .76316 .5 L s .69139 .62658 m .61962 .75316 L s .69139 .62658 m .95455 .5 L s .76316 .5 m .73923 .62658 L s .76316 .5 m .78708 .37342 L s .73923 .62658 m .61962 .75316 L s .73923 .62658 m .811 .5 L s .73923 .62658 m .9067 .5 L s .61962 .75316 m .78708 .62658 L s .61962 .75316 m .83493 .62658 L s .78708 .62658 m .811 .5 L s .78708 .62658 m .85885 .5 L s .811 .5 m .73923 .37342 L s .73923 .37342 m .85885 .5 L s .73923 .37342 m .9067 .5 L s .73923 .37342 m .61962 .24684 L s .85885 .5 m .83493 .62658 L s .85885 .5 m .83493 .37342 L s .83493 .62658 m .9067 .5 L s .83493 .62658 m .95455 .5 L s .9067 .5 m .78708 .37342 L s .78708 .37342 m .95455 .5 L s .78708 .37342 m .61962 .24684 L s .95455 .5 m .83493 .37342 L s .83493 .37342 m .61962 .24684 L s 0 0 0 r .025 w .5 .12025 Mdot .38038 .24684 Mdot .16507 .37342 Mdot .42823 .24684 Mdot .21292 .37342 Mdot .04545 .5 Mdot .26077 .37342 Mdot .47608 .24684 Mdot .30861 .37342 Mdot .0933 .5 Mdot .16507 .62658 Mdot .14115 .5 Mdot .35646 .37342 Mdot .189 .5 Mdot .40431 .37342 Mdot .52392 .24684 Mdot .45215 .37342 Mdot .23684 .5 Mdot .21292 .62658 Mdot .28469 .5 Mdot .26077 .62658 Mdot .38038 .75316 Mdot .30861 .62658 Mdot .33254 .5 Mdot .5 .37342 Mdot .38038 .5 Mdot .35646 .62658 Mdot .42823 .5 Mdot .54785 .37342 Mdot .47608 .5 Mdot .59569 .37342 Mdot .57177 .24684 Mdot .64354 .37342 Mdot .52392 .5 Mdot .40431 .62658 Mdot .57177 .5 Mdot .45215 .62658 Mdot .42823 .75316 Mdot .5 .62658 Mdot .61962 .5 Mdot .54785 .62658 Mdot .47608 .75316 Mdot .5 .87975 Mdot .52392 .75316 Mdot .59569 .62658 Mdot .57177 .75316 Mdot .64354 .62658 Mdot .66746 .5 Mdot .69139 .37342 Mdot .71531 .5 Mdot .69139 .62658 Mdot .76316 .5 Mdot .73923 .62658 Mdot .61962 .75316 Mdot .78708 .62658 Mdot .811 .5 Mdot .73923 .37342 Mdot .85885 .5 Mdot .83493 .62658 Mdot .9067 .5 Mdot .78708 .37342 Mdot .95455 .5 Mdot .83493 .37342 Mdot .61962 .24684 Mdot % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 288}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCacheValid->False] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(\(ShowGraph[\ Highlight[hd, \ {Partition[HamiltonianCycle[hd], 2, 1]}, HighlightedEdgeColors \[Rule] {Red}], EdgeColor \[Rule] Gray];\)\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: 1 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations 0.0454545 0.909091 -1.20886 2.40506 [ [ 0 0 0 0 ] [ 1 1 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 0 m 1 0 L 1 1 L 0 1 L closepath clip newpath 1 0 0 r .02 w [ ] 0 setdash .5 .12025 m .38038 .24684 L s .753 .753 .753 r .005 w .5 .12025 m .42823 .24684 L s .5 .12025 m .47608 .24684 L s .5 .12025 m .52392 .24684 L s .5 .12025 m .57177 .24684 L s 1 0 0 r .02 w .5 .12025 m .61962 .24684 L s .38038 .24684 m .16507 .37342 L s .753 .753 .753 r .005 w .38038 .24684 m .26077 .37342 L s .38038 .24684 m .40431 .37342 L s .38038 .24684 m .59569 .37342 L s .38038 .24684 m .83493 .37342 L s 1 0 0 r .02 w .16507 .37342 m .42823 .24684 L s .753 .753 .753 r .005 w .16507 .37342 m .04545 .5 L s .16507 .37342 m .189 .5 L s .16507 .37342 m .47608 .5 L s .16507 .37342 m .95455 .5 L s 1 0 0 r .02 w .42823 .24684 m .21292 .37342 L s .753 .753 .753 r .005 w .42823 .24684 m .35646 .37342 L s .42823 .24684 m .54785 .37342 L s .42823 .24684 m .78708 .37342 L s 1 0 0 r .02 w .21292 .37342 m .04545 .5 L s .753 .753 .753 r .005 w .21292 .37342 m .47608 .24684 L s .21292 .37342 m .14115 .5 L s .21292 .37342 m .42823 .5 L s .21292 .37342 m .9067 .5 L s 1 0 0 r .02 w .04545 .5 m .26077 .37342 L s .753 .753 .753 r .005 w .04545 .5 m .16507 .62658 L s .04545 .5 m .35646 .62658 L s .04545 .5 m .83493 .62658 L s 1 0 0 r .02 w .26077 .37342 m .47608 .24684 L s .753 .753 .753 r .005 w .26077 .37342 m .0933 .5 L s .26077 .37342 m .38038 .5 L s .26077 .37342 m .85885 .5 L s 1 0 0 r .02 w .47608 .24684 m .30861 .37342 L s .753 .753 .753 r .005 w .47608 .24684 m .5 .37342 L s .47608 .24684 m .73923 .37342 L s 1 0 0 r .02 w .30861 .37342 m .0933 .5 L s .753 .753 .753 r .005 w .30861 .37342 m .14115 .5 L s .30861 .37342 m .52392 .24684 L s .30861 .37342 m .33254 .5 L s .30861 .37342 m .811 .5 L s 1 0 0 r .02 w .0933 .5 m .16507 .62658 L s .753 .753 .753 r .005 w .0933 .5 m .40431 .37342 L s .0933 .5 m .30861 .62658 L s .0933 .5 m .78708 .62658 L s 1 0 0 r .02 w .16507 .62658 m .14115 .5 L s .753 .753 .753 r .005 w .16507 .62658 m .189 .5 L s .16507 .62658 m .38038 .75316 L s .16507 .62658 m .61962 .75316 L s 1 0 0 r .02 w .14115 .5 m .35646 .37342 L s .753 .753 .753 r .005 w .14115 .5 m .26077 .62658 L s .14115 .5 m .73923 .62658 L s 1 0 0 r .02 w .35646 .37342 m .189 .5 L s .753 .753 .753 r .005 w .35646 .37342 m .52392 .24684 L s .35646 .37342 m .28469 .5 L s .35646 .37342 m .76316 .5 L s 1 0 0 r .02 w .189 .5 m .40431 .37342 L s .753 .753 .753 r .005 w .189 .5 m .21292 .62658 L s .189 .5 m .69139 .62658 L s 1 0 0 r .02 w .40431 .37342 m .52392 .24684 L s .753 .753 .753 r .005 w .40431 .37342 m .23684 .5 L s .40431 .37342 m .71531 .5 L s 1 0 0 r .02 w .52392 .24684 m .45215 .37342 L s .753 .753 .753 r .005 w .52392 .24684 m .69139 .37342 L s 1 0 0 r .02 w .45215 .37342 m .23684 .5 L s .753 .753 .753 r .005 w .45215 .37342 m .28469 .5 L s .45215 .37342 m .33254 .5 L s .45215 .37342 m .57177 .24684 L s .45215 .37342 m .66746 .5 L s 1 0 0 r .02 w .23684 .5 m .21292 .62658 L s .753 .753 .753 r .005 w .23684 .5 m .30861 .62658 L s .23684 .5 m .59569 .37342 L s .23684 .5 m .64354 .62658 L s 1 0 0 r .02 w .21292 .62658 m .28469 .5 L s .753 .753 .753 r .005 w .21292 .62658 m .38038 .75316 L s .21292 .62658 m .47608 .5 L s .21292 .62658 m .57177 .75316 L s 1 0 0 r .02 w .28469 .5 m .26077 .62658 L s .753 .753 .753 r .005 w .28469 .5 m .54785 .37342 L s .28469 .5 m .59569 .62658 L s 1 0 0 r .02 w .26077 .62658 m .38038 .75316 L s .753 .753 .753 r .005 w .26077 .62658 m .33254 .5 L s .26077 .62658 m .42823 .5 L s .26077 .62658 m .52392 .75316 L s 1 0 0 r .02 w .38038 .75316 m .30861 .62658 L s .753 .753 .753 r .005 w .38038 .75316 m .35646 .62658 L s .38038 .75316 m .5 .87975 L s 1 0 0 r .02 w .30861 .62658 m .33254 .5 L s .753 .753 .753 r .005 w .30861 .62658 m .38038 .5 L s .30861 .62658 m .47608 .75316 L s 1 0 0 r .02 w .33254 .5 m .5 .37342 L s .753 .753 .753 r .005 w .33254 .5 m .54785 .62658 L s 1 0 0 r .02 w .5 .37342 m .38038 .5 L s .753 .753 .753 r .005 w .5 .37342 m .42823 .5 L s .5 .37342 m .57177 .24684 L s .5 .37342 m .61962 .5 L s 1 0 0 r .02 w .38038 .5 m .35646 .62658 L s .753 .753 .753 r .005 w .38038 .5 m .59569 .37342 L s .38038 .5 m .5 .62658 L s 1 0 0 r .02 w .35646 .62658 m .42823 .5 L s .753 .753 .753 r .005 w .35646 .62658 m .47608 .5 L s .35646 .62658 m .42823 .75316 L s 1 0 0 r .02 w .42823 .5 m .54785 .37342 L s .753 .753 .753 r .005 w .42823 .5 m .45215 .62658 L s 1 0 0 r .02 w .54785 .37342 m .47608 .5 L s .753 .753 .753 r .005 w .54785 .37342 m .57177 .24684 L s .54785 .37342 m .57177 .5 L s 1 0 0 r .02 w .47608 .5 m .59569 .37342 L s .753 .753 .753 r .005 w .47608 .5 m .40431 .62658 L s 1 0 0 r .02 w .59569 .37342 m .57177 .24684 L s .753 .753 .753 r .005 w .59569 .37342 m .52392 .5 L s 1 0 0 r .02 w .57177 .24684 m .64354 .37342 L s .64354 .37342 m .52392 .5 L s .753 .753 .753 r .005 w .64354 .37342 m .57177 .5 L s .64354 .37342 m .61962 .5 L s .64354 .37342 m .66746 .5 L s .64354 .37342 m .61962 .24684 L s 1 0 0 r .02 w .52392 .5 m .40431 .62658 L s .753 .753 .753 r .005 w .52392 .5 m .5 .62658 L s .52392 .5 m .64354 .62658 L s .52392 .5 m .83493 .37342 L s 1 0 0 r .02 w .40431 .62658 m .57177 .5 L s .753 .753 .753 r .005 w .40431 .62658 m .42823 .75316 L s .40431 .62658 m .57177 .75316 L s .40431 .62658 m .95455 .5 L s 1 0 0 r .02 w .57177 .5 m .45215 .62658 L s .753 .753 .753 r .005 w .57177 .5 m .59569 .62658 L s .57177 .5 m .78708 .37342 L s 1 0 0 r .02 w .45215 .62658 m .42823 .75316 L s .753 .753 .753 r .005 w .45215 .62658 m .61962 .5 L s .45215 .62658 m .52392 .75316 L s .45215 .62658 m .9067 .5 L s 1 0 0 r .02 w .42823 .75316 m .5 .62658 L s .753 .753 .753 r .005 w .42823 .75316 m .5 .87975 L s .42823 .75316 m .83493 .62658 L s 1 0 0 r .02 w .5 .62658 m .61962 .5 L s .753 .753 .753 r .005 w .5 .62658 m .47608 .75316 L s .5 .62658 m .85885 .5 L s 1 0 0 r .02 w .61962 .5 m .54785 .62658 L s .753 .753 .753 r .005 w .61962 .5 m .73923 .37342 L s 1 0 0 r .02 w .54785 .62658 m .47608 .75316 L s .753 .753 .753 r .005 w .54785 .62658 m .52392 .75316 L s .54785 .62658 m .66746 .5 L s .54785 .62658 m .811 .5 L s 1 0 0 r .02 w .47608 .75316 m .5 .87975 L s .753 .753 .753 r .005 w .47608 .75316 m .64354 .62658 L s .47608 .75316 m .78708 .62658 L s 1 0 0 r .02 w .5 .87975 m .52392 .75316 L s .753 .753 .753 r .005 w .5 .87975 m .57177 .75316 L s .5 .87975 m .61962 .75316 L s 1 0 0 r .02 w .52392 .75316 m .59569 .62658 L s .753 .753 .753 r .005 w .52392 .75316 m .73923 .62658 L s 1 0 0 r .02 w .59569 .62658 m .57177 .75316 L s .753 .753 .753 r .005 w .59569 .62658 m .66746 .5 L s .59569 .62658 m .76316 .5 L s 1 0 0 r .02 w .57177 .75316 m .64354 .62658 L s .753 .753 .753 r .005 w .57177 .75316 m .69139 .62658 L s 1 0 0 r .02 w .64354 .62658 m .66746 .5 L s .753 .753 .753 r .005 w .64354 .62658 m .71531 .5 L s 1 0 0 r .02 w .66746 .5 m .69139 .37342 L s .69139 .37342 m .71531 .5 L s .753 .753 .753 r .005 w .69139 .37342 m .76316 .5 L s .69139 .37342 m .811 .5 L s .69139 .37342 m .61962 .24684 L s 1 0 0 r .02 w .71531 .5 m .69139 .62658 L s .753 .753 .753 r .005 w .71531 .5 m .78708 .62658 L s .71531 .5 m .83493 .37342 L s 1 0 0 r .02 w .69139 .62658 m .76316 .5 L s .753 .753 .753 r .005 w .69139 .62658 m .61962 .75316 L s .69139 .62658 m .95455 .5 L s 1 0 0 r .02 w .76316 .5 m .73923 .62658 L s .753 .753 .753 r .005 w .76316 .5 m .78708 .37342 L s 1 0 0 r .02 w .73923 .62658 m .61962 .75316 L s .753 .753 .753 r .005 w .73923 .62658 m .811 .5 L s .73923 .62658 m .9067 .5 L s 1 0 0 r .02 w .61962 .75316 m .78708 .62658 L s .753 .753 .753 r .005 w .61962 .75316 m .83493 .62658 L s 1 0 0 r .02 w .78708 .62658 m .811 .5 L s .753 .753 .753 r .005 w .78708 .62658 m .85885 .5 L s 1 0 0 r .02 w .811 .5 m .73923 .37342 L s .73923 .37342 m .85885 .5 L s .753 .753 .753 r .005 w .73923 .37342 m .9067 .5 L s .73923 .37342 m .61962 .24684 L s 1 0 0 r .02 w .85885 .5 m .83493 .62658 L s .753 .753 .753 r .005 w .85885 .5 m .83493 .37342 L s 1 0 0 r .02 w .83493 .62658 m .9067 .5 L s .753 .753 .753 r .005 w .83493 .62658 m .95455 .5 L s 1 0 0 r .02 w .9067 .5 m .78708 .37342 L s .78708 .37342 m .95455 .5 L s .753 .753 .753 r .005 w .78708 .37342 m .61962 .24684 L s 1 0 0 r .02 w .95455 .5 m .83493 .37342 L s .83493 .37342 m .61962 .24684 L s 0 0 0 r .025 w .5 .12025 Mdot .38038 .24684 Mdot .16507 .37342 Mdot .42823 .24684 Mdot .21292 .37342 Mdot .04545 .5 Mdot .26077 .37342 Mdot .47608 .24684 Mdot .30861 .37342 Mdot .0933 .5 Mdot .16507 .62658 Mdot .14115 .5 Mdot .35646 .37342 Mdot .189 .5 Mdot .40431 .37342 Mdot .52392 .24684 Mdot .45215 .37342 Mdot .23684 .5 Mdot .21292 .62658 Mdot .28469 .5 Mdot .26077 .62658 Mdot .38038 .75316 Mdot .30861 .62658 Mdot .33254 .5 Mdot .5 .37342 Mdot .38038 .5 Mdot .35646 .62658 Mdot .42823 .5 Mdot .54785 .37342 Mdot .47608 .5 Mdot .59569 .37342 Mdot .57177 .24684 Mdot .64354 .37342 Mdot .52392 .5 Mdot .40431 .62658 Mdot .57177 .5 Mdot .45215 .62658 Mdot .42823 .75316 Mdot .5 .62658 Mdot .61962 .5 Mdot .54785 .62658 Mdot .47608 .75316 Mdot .5 .87975 Mdot .52392 .75316 Mdot .59569 .62658 Mdot .57177 .75316 Mdot .64354 .62658 Mdot .66746 .5 Mdot .69139 .37342 Mdot .71531 .5 Mdot .69139 .62658 Mdot .76316 .5 Mdot .73923 .62658 Mdot .61962 .75316 Mdot .78708 .62658 Mdot .811 .5 Mdot .73923 .37342 Mdot .85885 .5 Mdot .83493 .62658 Mdot .9067 .5 Mdot .78708 .37342 Mdot .95455 .5 Mdot .83493 .37342 Mdot .61962 .24684 Mdot % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 288}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCacheValid->False] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(\(\(Isomorphism[ HasseDiagram[ MakeGraph[ Subsets[4], \((\((Intersection[#2, #1] === #1)\) && \((#1 \ \[NotEqual] #2)\))\) &]], Hypercube[4]]\)\(\[IndentingNewLine]\)\(\n\) \)\)], "Input"], Cell[BoxData[ \({1, 2, 3, 4, 8, 7, 6, 5, 9, 10, 11, 12, 16, 15, 14, 13}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(\(ShowGraph[ p1 = GraphProduct[K5 = CompleteGraph[5], K3 = CompleteGraph[3]], EdgeColor \[Rule] Purple];\)\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: 1 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations 0.0478922 0.957844 -0.107845 1.05509 [ [ 0 0 0 0 ] [ 1 1 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 0 m 1 0 L 1 1 L 0 1 L closepath clip newpath .628 .126 .941 r .005 w [ ] 0 setdash .14446 .23372 m .04789 .19916 L s .14446 .23372 m .04789 .08732 L s .14446 .23372 m .14446 .05275 L s .14446 .23372 m .20413 .14324 L s .14446 .23372 m .89243 .23372 L s .14446 .23372 m .51844 .94725 L s .04789 .19916 m .04789 .08732 L s .04789 .19916 m .14446 .05275 L s .04789 .19916 m .20413 .14324 L s .04789 .19916 m .79587 .19916 L s .04789 .19916 m .42188 .91268 L s .04789 .08732 m .14446 .05275 L s .04789 .08732 m .20413 .14324 L s .04789 .08732 m .79587 .08732 L s .04789 .08732 m .42188 .80084 L s .14446 .05275 m .20413 .14324 L s .14446 .05275 m .89243 .05275 L s .14446 .05275 m .51844 .76628 L s .20413 .14324 m .95211 .14324 L s .20413 .14324 m .57812 .85676 L s .89243 .23372 m .79587 .19916 L s .89243 .23372 m .79587 .08732 L s .89243 .23372 m .89243 .05275 L s .89243 .23372 m .95211 .14324 L s .89243 .23372 m .51844 .94725 L s .79587 .19916 m .79587 .08732 L s .79587 .19916 m .89243 .05275 L s .79587 .19916 m .95211 .14324 L s .79587 .19916 m .42188 .91268 L s .79587 .08732 m .89243 .05275 L s .79587 .08732 m .95211 .14324 L s .79587 .08732 m .42188 .80084 L s .89243 .05275 m .95211 .14324 L s .89243 .05275 m .51844 .76628 L s .95211 .14324 m .57812 .85676 L s .51844 .94725 m .42188 .91268 L s .51844 .94725 m .42188 .80084 L s .51844 .94725 m .51844 .76628 L s .51844 .94725 m .57812 .85676 L s .42188 .91268 m .42188 .80084 L s .42188 .91268 m .51844 .76628 L s .42188 .91268 m .57812 .85676 L s .42188 .80084 m .51844 .76628 L s .42188 .80084 m .57812 .85676 L s .51844 .76628 m .57812 .85676 L s 0 0 0 r .025 w .14446 .23372 Mdot .04789 .19916 Mdot .04789 .08732 Mdot .14446 .05275 Mdot .20413 .14324 Mdot .89243 .23372 Mdot .79587 .19916 Mdot .79587 .08732 Mdot .89243 .05275 Mdot .95211 .14324 Mdot .51844 .94725 Mdot .42188 .91268 Mdot .42188 .80084 Mdot .51844 .76628 Mdot .57812 .85676 Mdot % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 288}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCacheValid->False] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(\(ShowGraph[\ p2 = GraphProduct[K3, K5], EdgeColor \[Rule] Pink];\)\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: 1 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations 0.0458698 0.917396 0.0178222 0.935407 [ [ 0 0 0 0 ] [ 1 1 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 0 m 1 0 L 1 1 L 0 1 L closepath clip newpath 1 .753 .796 r .005 w [ ] 0 setdash .04587 .66264 m .04587 .51696 L s .04587 .66264 m .1696 .5898 L s .04587 .66264 m .1957 .19245 L s .04587 .66264 m .68056 .19245 L s .04587 .66264 m .8304 .66264 L s .04587 .66264 m .43813 .95323 L s .04587 .51696 m .1696 .5898 L s .04587 .51696 m .1957 .04677 L s .04587 .51696 m .68056 .04677 L s .04587 .51696 m .8304 .51696 L s .04587 .51696 m .43813 .80755 L s .1696 .5898 m .31944 .11961 L s .1696 .5898 m .8043 .11961 L s .1696 .5898 m .95413 .5898 L s .1696 .5898 m .56187 .88039 L s .1957 .19245 m .1957 .04677 L s .1957 .19245 m .31944 .11961 L s .1957 .19245 m .68056 .19245 L s .1957 .19245 m .8304 .66264 L s .1957 .19245 m .43813 .95323 L s .1957 .04677 m .31944 .11961 L s .1957 .04677 m .68056 .04677 L s .1957 .04677 m .8304 .51696 L s .1957 .04677 m .43813 .80755 L s .31944 .11961 m .8043 .11961 L s .31944 .11961 m .95413 .5898 L s .31944 .11961 m .56187 .88039 L s .68056 .19245 m .68056 .04677 L s .68056 .19245 m .8043 .11961 L s .68056 .19245 m .8304 .66264 L s .68056 .19245 m .43813 .95323 L s .68056 .04677 m .8043 .11961 L s .68056 .04677 m .8304 .51696 L s .68056 .04677 m .43813 .80755 L s .8043 .11961 m .95413 .5898 L s .8043 .11961 m .56187 .88039 L s .8304 .66264 m .8304 .51696 L s .8304 .66264 m .95413 .5898 L s .8304 .66264 m .43813 .95323 L s .8304 .51696 m .95413 .5898 L s .8304 .51696 m .43813 .80755 L s .95413 .5898 m .56187 .88039 L s .43813 .95323 m .43813 .80755 L s .43813 .95323 m .56187 .88039 L s .43813 .80755 m .56187 .88039 L s 0 0 0 r .025 w .04587 .66264 Mdot .04587 .51696 Mdot .1696 .5898 Mdot .1957 .19245 Mdot .1957 .04677 Mdot .31944 .11961 Mdot .68056 .19245 Mdot .68056 .04677 Mdot .8043 .11961 Mdot .8304 .66264 Mdot .8304 .51696 Mdot .95413 .5898 Mdot .43813 .95323 Mdot .43813 .80755 Mdot .56187 .88039 Mdot % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 288}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCacheValid->False] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Isomorphism[p1, p2]\)], "Input"], Cell[BoxData[ \({1, 4, 7, 10, 13, 2, 5, 8, 11, 14, 3, 6, 9, 12, 15}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(\(\(ShowGraph[lg\ = \ LineGraph[LineGraph[CompleteGraph[5]]], EdgeColor \[Rule] Orange];\)\(\n\) \)\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: 1 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations -0.0221976 0.973522 0.0465153 0.930307 [ [ 0 0 0 0 ] [ 1 1 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 0 m 1 0 L 1 1 L 0 1 L closepath clip newpath 1 .5 0 r .005 w [ ] 0 setdash .26176 .84643 m .47485 .78027 L s .26176 .84643 m .60654 .95348 L s .26176 .84643 m .04868 .78027 L s .26176 .84643 m .26176 .71411 L s .26176 .84643 m .39346 .88732 L s .26176 .84643 m .47485 .56616 L s .26176 .84643 m .60654 .73938 L s .26176 .84643 m .04868 .56616 L s .26176 .84643 m .26176 .28589 L s .26176 .84643 m .39346 .45911 L s .47485 .78027 m .60654 .95348 L s .47485 .78027 m .04868 .78027 L s .47485 .78027 m .26176 .71411 L s .47485 .78027 m .39346 .88732 L s .47485 .78027 m .47485 .56616 L s .47485 .78027 m .81963 .67322 L s .47485 .78027 m .47485 .43384 L s .47485 .78027 m .47485 .21973 L s .47485 .78027 m .81963 .32678 L s .60654 .95348 m .04868 .78027 L s .60654 .95348 m .26176 .71411 L s .60654 .95348 m .39346 .88732 L s .60654 .95348 m .60654 .73938 L s .60654 .95348 m .81963 .67322 L s .60654 .95348 m .73824 .78027 L s .60654 .95348 m .73824 .56616 L s .60654 .95348 m .95132 .5 L s .04868 .78027 m .26176 .71411 L s .04868 .78027 m .39346 .88732 L s .04868 .78027 m .04868 .56616 L s .04868 .78027 m .04868 .43384 L s .04868 .78027 m .18037 .60705 L s .04868 .78027 m .04868 .21973 L s .04868 .78027 m .18037 .39295 L s .26176 .71411 m .39346 .88732 L s .26176 .71411 m .47485 .43384 L s .26176 .71411 m .04868 .43384 L s .26176 .71411 m .39346 .54089 L s .26176 .71411 m .26176 .15357 L s .26176 .71411 m .60654 .26062 L s .39346 .88732 m .73824 .78027 L s .39346 .88732 m .18037 .60705 L s .39346 .88732 m .39346 .54089 L s .39346 .88732 m .52515 .5 L s .39346 .88732 m .73824 .43384 L s .47485 .56616 m .60654 .73938 L s .47485 .56616 m .04868 .56616 L s .47485 .56616 m .26176 .28589 L s .47485 .56616 m .39346 .45911 L s .47485 .56616 m .81963 .67322 L s .47485 .56616 m .47485 .43384 L s .47485 .56616 m .47485 .21973 L s .47485 .56616 m .81963 .32678 L s .60654 .73938 m .04868 .56616 L s .60654 .73938 m .26176 .28589 L s .60654 .73938 m .39346 .45911 L s .60654 .73938 m .81963 .67322 L s .60654 .73938 m .73824 .78027 L s .60654 .73938 m .73824 .56616 L s .60654 .73938 m .95132 .5 L s .04868 .56616 m .26176 .28589 L s .04868 .56616 m .39346 .45911 L s .04868 .56616 m .04868 .43384 L s .04868 .56616 m .18037 .60705 L s .04868 .56616 m .04868 .21973 L s .04868 .56616 m .18037 .39295 L s .26176 .28589 m .39346 .45911 L s .26176 .28589 m .47485 .21973 L s .26176 .28589 m .04868 .21973 L s .26176 .28589 m .26176 .15357 L s .26176 .28589 m .39346 .11268 L s .26176 .28589 m .60654 .04652 L s .39346 .45911 m .73824 .56616 L s .39346 .45911 m .18037 .39295 L s .39346 .45911 m .52515 .5 L s .39346 .45911 m .39346 .11268 L s .39346 .45911 m .73824 .21973 L s .81963 .67322 m .47485 .43384 L s .81963 .67322 m .47485 .21973 L s .81963 .67322 m .81963 .32678 L s .81963 .67322 m .73824 .78027 L s .81963 .67322 m .73824 .56616 L s .81963 .67322 m .95132 .5 L s .47485 .43384 m .47485 .21973 L s .47485 .43384 m .81963 .32678 L s .47485 .43384 m .04868 .43384 L s .47485 .43384 m .39346 .54089 L s .47485 .43384 m .26176 .15357 L s .47485 .43384 m .60654 .26062 L s .47485 .21973 m .81963 .32678 L s .47485 .21973 m .04868 .21973 L s .47485 .21973 m .26176 .15357 L s .47485 .21973 m .39346 .11268 L s .47485 .21973 m .60654 .04652 L s .81963 .32678 m .95132 .5 L s .81963 .32678 m .60654 .26062 L s .81963 .32678 m .73824 .43384 L s .81963 .32678 m .60654 .04652 L s .81963 .32678 m .73824 .21973 L s .73824 .78027 m .73824 .56616 L s .73824 .78027 m .95132 .5 L s .73824 .78027 m .18037 .60705 L s .73824 .78027 m .39346 .54089 L s .73824 .78027 m .52515 .5 L s .73824 .78027 m .73824 .43384 L s .73824 .56616 m .95132 .5 L s .73824 .56616 m .18037 .39295 L s .73824 .56616 m .52515 .5 L s .73824 .56616 m .39346 .11268 L s .73824 .56616 m .73824 .21973 L s .95132 .5 m .60654 .26062 L s .95132 .5 m .73824 .43384 L s .95132 .5 m .60654 .04652 L s .95132 .5 m .73824 .21973 L s .04868 .43384 m .18037 .60705 L s .04868 .43384 m .04868 .21973 L s .04868 .43384 m .18037 .39295 L s .04868 .43384 m .39346 .54089 L s .04868 .43384 m .26176 .15357 L s .04868 .43384 m .60654 .26062 L s .18037 .60705 m .04868 .21973 L s .18037 .60705 m .18037 .39295 L s .18037 .60705 m .39346 .54089 L s .18037 .60705 m .52515 .5 L s .18037 .60705 m .73824 .43384 L s .04868 .21973 m .18037 .39295 L s .04868 .21973 m .26176 .15357 L s .04868 .21973 m .39346 .11268 L s .04868 .21973 m .60654 .04652 L s .18037 .39295 m .52515 .5 L s .18037 .39295 m .39346 .11268 L s .18037 .39295 m .73824 .21973 L s .39346 .54089 m .26176 .15357 L s .39346 .54089 m .60654 .26062 L s .39346 .54089 m .52515 .5 L s .39346 .54089 m .73824 .43384 L s .26176 .15357 m .60654 .26062 L s .26176 .15357 m .39346 .11268 L s .26176 .15357 m .60654 .04652 L s .60654 .26062 m .73824 .43384 L s .60654 .26062 m .60654 .04652 L s .60654 .26062 m .73824 .21973 L s .52515 .5 m .73824 .43384 L s .52515 .5 m .39346 .11268 L s .52515 .5 m .73824 .21973 L s .73824 .43384 m .60654 .04652 L s .73824 .43384 m .73824 .21973 L s .39346 .11268 m .60654 .04652 L s .39346 .11268 m .73824 .21973 L s .60654 .04652 m .73824 .21973 L s 0 0 0 r .025 w .26176 .84643 Mdot .47485 .78027 Mdot .60654 .95348 Mdot .04868 .78027 Mdot .26176 .71411 Mdot .39346 .88732 Mdot .47485 .56616 Mdot .60654 .73938 Mdot .04868 .56616 Mdot .26176 .28589 Mdot .39346 .45911 Mdot .81963 .67322 Mdot .47485 .43384 Mdot .47485 .21973 Mdot .81963 .32678 Mdot .73824 .78027 Mdot .73824 .56616 Mdot .95132 .5 Mdot .04868 .43384 Mdot .18037 .60705 Mdot .04868 .21973 Mdot .18037 .39295 Mdot .39346 .54089 Mdot .26176 .15357 Mdot .60654 .26062 Mdot .52515 .5 Mdot .73824 .43384 Mdot .39346 .11268 Mdot .60654 .04652 Mdot .73824 .21973 Mdot % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 288}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCacheValid->False] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(\(ShowGraph[PetersenGraph, VertexStyle \[Rule] Disk[Large], EdgeColor \[Rule] Red, EdgeStyle \[Rule] ThickDashed, Background \[Rule] LightBlue];\)\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: 1 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Background color .678 .847 .902 r MFill % Scaling calculations -0.0221976 0.973522 0.0465153 0.930307 [ [ 0 0 0 0 ] [ 1 1 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 0 m 1 0 L 1 1 L 0 1 L closepath clip newpath 1 0 0 r .02 w [ .05 .03 ] 0 setdash .52945 .72674 m .25051 .35987 L s .52945 .72674 m .52945 .27326 L s .52945 .72674 m .60654 .95348 L s .25051 .64013 m .52945 .27326 L s .25051 .64013 m .70184 .5 L s .25051 .64013 m .04868 .78027 L s .25051 .35987 m .70184 .5 L s .25051 .35987 m .04868 .21973 L s .52945 .27326 m .60654 .04652 L s .70184 .5 m .95132 .5 L s .60654 .95348 m .04868 .78027 L s .60654 .95348 m .95132 .5 L s .04868 .78027 m .04868 .21973 L s .04868 .21973 m .60654 .04652 L s .60654 .04652 m .95132 .5 L s 0 0 0 r .07 w .52945 .72674 Mdot .25051 .64013 Mdot .25051 .35987 Mdot .52945 .27326 Mdot .70184 .5 Mdot .60654 .95348 Mdot .04868 .78027 Mdot .04868 .21973 Mdot .60654 .04652 Mdot .95132 .5 Mdot % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 288}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCacheValid->False] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(\(ShowGraph[ Highlight[ k = KnightsTourGraph[6, 6], {Partition[HamiltonianCycle[k], 2, 1]}, HighlightedEdgeColors \[Rule] {Green}], EdgeColor \[Rule] Gray];\)\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: 1 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations 0.0454545 0.909091 0.0454545 0.909091 [ [ 0 0 0 0 ] [ 1 1 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 0 m 1 0 L 1 1 L 0 1 L closepath clip newpath 0 1 0 r .02 w [ ] 0 setdash .04545 .04545 m .22727 .40909 L s .04545 .04545 m .40909 .22727 L s .04545 .22727 m .22727 .59091 L s .753 .753 .753 r .005 w .04545 .22727 m .40909 .04545 L s 0 1 0 r .02 w .04545 .22727 m .40909 .40909 L s .04545 .40909 m .22727 .04545 L s .753 .753 .753 r .005 w .04545 .40909 m .22727 .77273 L s .04545 .40909 m .40909 .22727 L s 0 1 0 r .02 w .04545 .40909 m .40909 .59091 L s .04545 .59091 m .22727 .22727 L s .04545 .59091 m .22727 .95455 L s .753 .753 .753 r .005 w .04545 .59091 m .40909 .40909 L s .04545 .59091 m .40909 .77273 L s 0 1 0 r .02 w .04545 .77273 m .22727 .40909 L s .04545 .77273 m .40909 .59091 L s .753 .753 .753 r .005 w .04545 .77273 m .40909 .95455 L s 0 1 0 r .02 w .04545 .95455 m .22727 .59091 L s .04545 .95455 m .40909 .77273 L s .22727 .04545 m .40909 .40909 L s .753 .753 .753 r .005 w .22727 .04545 m .59091 .22727 L s .22727 .22727 m .40909 .59091 L s 0 1 0 r .02 w .22727 .22727 m .59091 .04545 L s .753 .753 .753 r .005 w .22727 .22727 m .59091 .40909 L s .22727 .40909 m .40909 .04545 L s .22727 .40909 m .40909 .77273 L s .22727 .40909 m .59091 .22727 L s .22727 .40909 m .59091 .59091 L s .22727 .59091 m .40909 .22727 L s .22727 .59091 m .40909 .95455 L s .22727 .59091 m .59091 .40909 L s .22727 .59091 m .59091 .77273 L s .22727 .77273 m .40909 .40909 L s 0 1 0 r .02 w .22727 .77273 m .59091 .59091 L s .22727 .77273 m .59091 .95455 L s .753 .753 .753 r .005 w .22727 .95455 m .40909 .59091 L s 0 1 0 r .02 w .22727 .95455 m .59091 .77273 L s .40909 .04545 m .59091 .40909 L s .40909 .04545 m .77273 .22727 L s .753 .753 .753 r .005 w .40909 .22727 m .59091 .59091 L s 0 1 0 r .02 w .40909 .22727 m .77273 .04545 L s .753 .753 .753 r .005 w .40909 .22727 m .77273 .40909 L s .40909 .40909 m .59091 .04545 L s .40909 .40909 m .59091 .77273 L s .40909 .40909 m .77273 .22727 L s .40909 .40909 m .77273 .59091 L s .40909 .59091 m .59091 .22727 L s .40909 .59091 m .59091 .95455 L s .40909 .59091 m .77273 .40909 L s .40909 .59091 m .77273 .77273 L s .40909 .77273 m .59091 .40909 L s .40909 .77273 m .77273 .59091 L s 0 1 0 r .02 w .40909 .77273 m .77273 .95455 L s .40909 .95455 m .59091 .59091 L s .40909 .95455 m .77273 .77273 L s .753 .753 .753 r .005 w .59091 .04545 m .77273 .40909 L s 0 1 0 r .02 w .59091 .04545 m .95455 .22727 L s .59091 .22727 m .77273 .59091 L s .59091 .22727 m .95455 .04545 L s .753 .753 .753 r .005 w .59091 .22727 m .95455 .40909 L s .59091 .40909 m .77273 .04545 L s .59091 .40909 m .77273 .77273 L s 0 1 0 r .02 w .59091 .40909 m .95455 .22727 L s .753 .753 .753 r .005 w .59091 .40909 m .95455 .59091 L s .59091 .59091 m .77273 .22727 L s .59091 .59091 m .77273 .95455 L s .59091 .59091 m .95455 .40909 L s .59091 .59091 m .95455 .77273 L s .59091 .77273 m .77273 .40909 L s .59091 .77273 m .95455 .59091 L s 0 1 0 r .02 w .59091 .77273 m .95455 .95455 L s .753 .753 .753 r .005 w .59091 .95455 m .77273 .59091 L s 0 1 0 r .02 w .59091 .95455 m .95455 .77273 L s .77273 .04545 m .95455 .40909 L s .77273 .22727 m .95455 .59091 L s .77273 .40909 m .95455 .04545 L s .77273 .40909 m .95455 .77273 L s .753 .753 .753 r .005 w .77273 .59091 m .95455 .22727 L s 0 1 0 r .02 w .77273 .59091 m .95455 .95455 L s .77273 .77273 m .95455 .40909 L s .77273 .95455 m .95455 .59091 L s 0 0 0 r .025 w .04545 .04545 Mdot .04545 .22727 Mdot .04545 .40909 Mdot .04545 .59091 Mdot .04545 .77273 Mdot .04545 .95455 Mdot .22727 .04545 Mdot .22727 .22727 Mdot .22727 .40909 Mdot .22727 .59091 Mdot .22727 .77273 Mdot .22727 .95455 Mdot .40909 .04545 Mdot .40909 .22727 Mdot .40909 .40909 Mdot .40909 .59091 Mdot .40909 .77273 Mdot .40909 .95455 Mdot .59091 .04545 Mdot .59091 .22727 Mdot .59091 .40909 Mdot .59091 .59091 Mdot .59091 .77273 Mdot .59091 .95455 Mdot .77273 .04545 Mdot .77273 .22727 Mdot .77273 .40909 Mdot .77273 .59091 Mdot .77273 .77273 Mdot .77273 .95455 Mdot .95455 .04545 Mdot .95455 .22727 Mdot .95455 .40909 Mdot .95455 .59091 Mdot .95455 .77273 Mdot .95455 .95455 Mdot % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 288}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCacheValid->False] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Timing[\ \(g = InduceSubgraph[GridGraph[20, 30], RandomKSubset[Range[600], 400]];\)\ ]\)], "Input"], Cell[BoxData[ \({1.0499999999999972`\ Second, Null}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Timing[\ \(m = MaximalMatching[g];\)]\)], "Input"], Cell[BoxData[ \({0.5600000000000023`\ Second, Null}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(\(ShowGraph[ Highlight[g, {m}, HighlightedEdgeColors -> {Purple}]];\)\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: 1 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations 0.06621 1.3242 0.0454545 0.909091 [ [ 0 0 0 0 ] [ 1 1 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 0 m 1 0 L 1 1 L 0 1 L closepath clip newpath 0 0 0 r .005 w [ ] 0 setdash .06621 .04545 m .06621 .0768 L s .628 .126 .941 r .02 w .43151 .04545 m .47717 .04545 L s 0 0 0 r .005 w .47717 .04545 m .52283 .04545 L s .628 .126 .941 r .02 w .75114 .04545 m .7968 .04545 L s 0 0 0 r .005 w .7968 .04545 m .84247 .04545 L s .628 .126 .941 r .02 w .93379 .04545 m .93379 .0768 L s .06621 .0768 m .11187 .0768 L s 0 0 0 r .005 w .06621 .0768 m .06621 .10815 L s .11187 .0768 m .11187 .10815 L s .628 .126 .941 r .02 w .2032 .0768 m .24886 .0768 L s 0 0 0 r .005 w .2032 .0768 m .2032 .10815 L s .24886 .0768 m .24886 .10815 L s .628 .126 .941 r .02 w .34018 .0768 m .38584 .0768 L s 0 0 0 r .005 w .34018 .0768 m .34018 .10815 L s .56849 .0768 m .56849 .10815 L s .70548 .0768 m .70548 .10815 L s .93379 .0768 m .93379 .10815 L s .628 .126 .941 r .02 w .06621 .10815 m .11187 .10815 L s 0 0 0 r .005 w .11187 .10815 m .15753 .10815 L s .628 .126 .941 r .02 w .15753 .10815 m .2032 .10815 L s 0 0 0 r .005 w .15753 .10815 m .15753 .1395 L s .2032 .10815 m .24886 .10815 L s .628 .126 .941 r .02 w .24886 .10815 m .29452 .10815 L s 0 0 0 r .005 w .24886 .10815 m .24886 .1395 L s .29452 .10815 m .34018 .10815 L s .29452 .10815 m .29452 .1395 L s .34018 .10815 m .34018 .1395 L s .628 .126 .941 r .02 w .56849 .10815 m .61416 .10815 L s 0 0 0 r .005 w .56849 .10815 m .56849 .1395 L s .61416 .10815 m .61416 .1395 L s .628 .126 .941 r .02 w .70548 .10815 m .75114 .10815 L s 0 0 0 r .005 w .70548 .10815 m .70548 .1395 L s .75114 .10815 m .75114 .1395 L s .84247 .10815 m .84247 .1395 L s .93379 .10815 m .93379 .1395 L s .15753 .1395 m .15753 .17085 L s .628 .126 .941 r .02 w .24886 .1395 m .29452 .1395 L s 0 0 0 r .005 w .29452 .1395 m .34018 .1395 L s .29452 .1395 m .29452 .17085 L s .628 .126 .941 r .02 w .34018 .1395 m .38584 .1395 L s 0 0 0 r .005 w .38584 .1395 m .38584 .17085 L s .628 .126 .941 r .02 w .52283 .1395 m .56849 .1395 L s 0 0 0 r .005 w .52283 .1395 m .52283 .17085 L s .56849 .1395 m .61416 .1395 L s .56849 .1395 m .56849 .17085 L s .61416 .1395 m .61416 .17085 L s .628 .126 .941 r .02 w .70548 .1395 m .75114 .1395 L s 0 0 0 r .005 w .70548 .1395 m .70548 .17085 L s .75114 .1395 m .7968 .1395 L s .75114 .1395 m .75114 .17085 L s .628 .126 .941 r .02 w .7968 .1395 m .84247 .1395 L s 0 0 0 r .005 w .7968 .1395 m .7968 .17085 L s .84247 .1395 m .88813 .1395 L s .84247 .1395 m .84247 .17085 L s .628 .126 .941 r .02 w .88813 .1395 m .93379 .1395 L s 0 0 0 r .005 w .93379 .1395 m .93379 .17085 L s .628 .126 .941 r .02 w .15753 .17085 m .2032 .17085 L s 0 0 0 r .005 w .15753 .17085 m .15753 .20219 L s .29452 .17085 m .29452 .20219 L s .628 .126 .941 r .02 w .47717 .17085 m .52283 .17085 L s 0 0 0 r .005 w .47717 .17085 m .47717 .20219 L s .52283 .17085 m .56849 .17085 L s .52283 .17085 m .52283 .20219 L s .628 .126 .941 r .02 w .56849 .17085 m .61416 .17085 L s 0 0 0 r .005 w .56849 .17085 m .56849 .20219 L s .628 .126 .941 r .02 w .70548 .17085 m .75114 .17085 L s 0 0 0 r .005 w .70548 .17085 m .70548 .20219 L s .75114 .17085 m .7968 .17085 L s .75114 .17085 m .75114 .20219 L s .628 .126 .941 r .02 w .7968 .17085 m .84247 .17085 L s 0 0 0 r .005 w .84247 .17085 m .84247 .20219 L s .628 .126 .941 r .02 w .93379 .17085 m .93379 .20219 L s .11187 .20219 m .15753 .20219 L s 0 0 0 r .005 w .15753 .20219 m .15753 .23354 L s .628 .126 .941 r .02 w .29452 .20219 m .34018 .20219 L s .47717 .20219 m .52283 .20219 L s 0 0 0 r .005 w .47717 .20219 m .47717 .23354 L s .52283 .20219 m .56849 .20219 L s .628 .126 .941 r .02 w .70548 .20219 m .75114 .20219 L s 0 0 0 r .005 w .75114 .20219 m .75114 .23354 L s .628 .126 .941 r .02 w .84247 .20219 m .88813 .20219 L s 0 0 0 r .005 w .84247 .20219 m .84247 .23354 L s .88813 .20219 m .93379 .20219 L s .88813 .20219 m .88813 .23354 L s .628 .126 .941 r .02 w .15753 .23354 m .2032 .23354 L s 0 0 0 r .005 w .38584 .23354 m .38584 .26489 L s .47717 .23354 m .47717 .26489 L s .628 .126 .941 r .02 w .61416 .23354 m .65982 .23354 L s 0 0 0 r .005 w .61416 .23354 m .61416 .26489 L s .65982 .23354 m .65982 .26489 L s .628 .126 .941 r .02 w .75114 .23354 m .7968 .23354 L s 0 0 0 r .005 w .75114 .23354 m .75114 .26489 L s .7968 .23354 m .84247 .23354 L s .628 .126 .941 r .02 w .84247 .23354 m .88813 .23354 L s 0 0 0 r .005 w .84247 .23354 m .84247 .26489 L s .88813 .23354 m .88813 .26489 L s .628 .126 .941 r .02 w .24886 .26489 m .29452 .26489 L s 0 0 0 r .005 w .24886 .26489 m .24886 .29624 L s .29452 .26489 m .34018 .26489 L s .628 .126 .941 r .02 w .34018 .26489 m .38584 .26489 L s 0 0 0 r .005 w .34018 .26489 m .34018 .29624 L s .38584 .26489 m .38584 .29624 L s .628 .126 .941 r .02 w .47717 .26489 m .52283 .26489 L s 0 0 0 r .005 w .47717 .26489 m .47717 .29624 L s .52283 .26489 m .56849 .26489 L s .52283 .26489 m .52283 .29624 L s .628 .126 .941 r .02 w .56849 .26489 m .61416 .26489 L s 0 0 0 r .005 w .61416 .26489 m .65982 .26489 L s .61416 .26489 m .61416 .29624 L s .65982 .26489 m .65982 .29624 L s .628 .126 .941 r .02 w .84247 .26489 m .88813 .26489 L s 0 0 0 r .005 w .84247 .26489 m .84247 .29624 L s .88813 .26489 m .93379 .26489 L s .88813 .26489 m .88813 .29624 L s .06621 .29624 m .06621 .32759 L s .628 .126 .941 r .02 w .24886 .29624 m .24886 .32759 L s .34018 .29624 m .38584 .29624 L s 0 0 0 r .005 w .38584 .29624 m .43151 .29624 L s .38584 .29624 m .38584 .32759 L s .628 .126 .941 r .02 w .43151 .29624 m .47717 .29624 L s 0 0 0 r .005 w .43151 .29624 m .43151 .32759 L s .47717 .29624 m .52283 .29624 L s .47717 .29624 m .47717 .32759 L s .628 .126 .941 r .02 w .61416 .29624 m .65982 .29624 L s 0 0 0 r .005 w .65982 .29624 m .70548 .29624 L s .65982 .29624 m .65982 .32759 L s .628 .126 .941 r .02 w .7968 .29624 m .84247 .29624 L s 0 0 0 r .005 w .7968 .29624 m .7968 .32759 L s .84247 .29624 m .88813 .29624 L s .84247 .29624 m .84247 .32759 L s .628 .126 .941 r .02 w .88813 .29624 m .88813 .32759 L s .06621 .32759 m .11187 .32759 L s 0 0 0 r .005 w .06621 .32759 m .06621 .35893 L s .24886 .32759 m .24886 .35893 L s .628 .126 .941 r .02 w .38584 .32759 m .43151 .32759 L s 0 0 0 r .005 w .38584 .32759 m .38584 .35893 L s .43151 .32759 m .47717 .32759 L s .43151 .32759 m .43151 .35893 L s .65982 .32759 m .65982 .35893 L s .628 .126 .941 r .02 w .7968 .32759 m .84247 .32759 L s 0 0 0 r .005 w .84247 .32759 m .88813 .32759 L s .84247 .32759 m .84247 .35893 L s .88813 .32759 m .88813 .35893 L s .06621 .35893 m .06621 .39028 L s .628 .126 .941 r .02 w .15753 .35893 m .2032 .35893 L s 0 0 0 r .005 w .15753 .35893 m .15753 .39028 L s .2032 .35893 m .24886 .35893 L s .2032 .35893 m .2032 .39028 L s .628 .126 .941 r .02 w .34018 .35893 m .38584 .35893 L s 0 0 0 r .005 w .34018 .35893 m .34018 .39028 L s .38584 .35893 m .43151 .35893 L s .38584 .35893 m .38584 .39028 L s .43151 .35893 m .43151 .39028 L s .628 .126 .941 r .02 w .52283 .35893 m .56849 .35893 L s 0 0 0 r .005 w .52283 .35893 m .52283 .39028 L s .56849 .35893 m .56849 .39028 L s .628 .126 .941 r .02 w .65982 .35893 m .70548 .35893 L s 0 0 0 r .005 w .65982 .35893 m .65982 .39028 L s .70548 .35893 m .70548 .39028 L s .628 .126 .941 r .02 w .84247 .35893 m .88813 .35893 L s 0 0 0 r .005 w .88813 .35893 m .93379 .35893 L s .88813 .35893 m .88813 .39028 L s .93379 .35893 m .93379 .39028 L s .628 .126 .941 r .02 w .06621 .39028 m .11187 .39028 L s 0 0 0 r .005 w .06621 .39028 m .06621 .42163 L s .11187 .39028 m .15753 .39028 L s .628 .126 .941 r .02 w .15753 .39028 m .2032 .39028 L s 0 0 0 r .005 w .15753 .39028 m .15753 .42163 L s .2032 .39028 m .2032 .42163 L s .628 .126 .941 r .02 w .34018 .39028 m .38584 .39028 L s 0 0 0 r .005 w .34018 .39028 m .34018 .42163 L s .38584 .39028 m .43151 .39028 L s .628 .126 .941 r .02 w .43151 .39028 m .47717 .39028 L s 0 0 0 r .005 w .43151 .39028 m .43151 .42163 L s .47717 .39028 m .52283 .39028 L s .47717 .39028 m .47717 .42163 L s .628 .126 .941 r .02 w .52283 .39028 m .56849 .39028 L s 0 0 0 r .005 w .52283 .39028 m .52283 .42163 L s .56849 .39028 m .61416 .39028 L s .56849 .39028 m .56849 .42163 L s .628 .126 .941 r .02 w .61416 .39028 m .65982 .39028 L s 0 0 0 r .005 w .61416 .39028 m .61416 .42163 L s .65982 .39028 m .70548 .39028 L s .65982 .39028 m .65982 .42163 L s .70548 .39028 m .70548 .42163 L s .628 .126 .941 r .02 w .7968 .39028 m .7968 .42163 L s .88813 .39028 m .93379 .39028 L s 0 0 0 r .005 w .88813 .39028 m .88813 .42163 L s .93379 .39028 m .93379 .42163 L s .628 .126 .941 r .02 w .15753 .42163 m .2032 .42163 L s 0 0 0 r .005 w .15753 .42163 m .15753 .45298 L s .2032 .42163 m .24886 .42163 L s .2032 .42163 m .2032 .45298 L s .628 .126 .941 r .02 w .24886 .42163 m .29452 .42163 L s 0 0 0 r .005 w .24886 .42163 m .24886 .45298 L s .29452 .42163 m .34018 .42163 L s .29452 .42163 m .29452 .45298 L s .34018 .42163 m .34018 .45298 L s .628 .126 .941 r .02 w .43151 .42163 m .47717 .42163 L s 0 0 0 r .005 w .47717 .42163 m .52283 .42163 L s .47717 .42163 m .47717 .45298 L s .628 .126 .941 r .02 w .52283 .42163 m .56849 .42163 L s 0 0 0 r .005 w .56849 .42163 m .61416 .42163 L s .56849 .42163 m .56849 .45298 L s .628 .126 .941 r .02 w .61416 .42163 m .65982 .42163 L s 0 0 0 r .005 w .61416 .42163 m .61416 .45298 L s .65982 .42163 m .70548 .42163 L s .65982 .42163 m .65982 .45298 L s .628 .126 .941 r .02 w .70548 .42163 m .75114 .42163 L s 0 0 0 r .005 w .75114 .42163 m .7968 .42163 L s .628 .126 .941 r .02 w .88813 .42163 m .93379 .42163 L s 0 0 0 r .005 w .88813 .42163 m .88813 .45298 L s .93379 .42163 m .93379 .45298 L s .628 .126 .941 r .02 w .15753 .45298 m .2032 .45298 L s 0 0 0 r .005 w .15753 .45298 m .15753 .48433 L s .2032 .45298 m .24886 .45298 L s .2032 .45298 m .2032 .48433 L s .628 .126 .941 r .02 w .24886 .45298 m .29452 .45298 L s 0 0 0 r .005 w .29452 .45298 m .34018 .45298 L s .29452 .45298 m .29452 .48433 L s .628 .126 .941 r .02 w .34018 .45298 m .38584 .45298 L s 0 0 0 r .005 w .38584 .45298 m .38584 .48433 L s .47717 .45298 m .47717 .48433 L s .628 .126 .941 r .02 w .56849 .45298 m .61416 .45298 L s 0 0 0 r .005 w .56849 .45298 m .56849 .48433 L s .61416 .45298 m .65982 .45298 L s .61416 .45298 m .61416 .48433 L s .65982 .45298 m .65982 .48433 L s .628 .126 .941 r .02 w .84247 .45298 m .88813 .45298 L s 0 0 0 r .005 w .84247 .45298 m .84247 .48433 L s .88813 .45298 m .93379 .45298 L s .628 .126 .941 r .02 w .93379 .45298 m .93379 .48433 L s .06621 .48433 m .11187 .48433 L s 0 0 0 r .005 w .06621 .48433 m .06621 .51567 L s .11187 .48433 m .15753 .48433 L s .11187 .48433 m .11187 .51567 L s .628 .126 .941 r .02 w .15753 .48433 m .2032 .48433 L s 0 0 0 r .005 w .15753 .48433 m .15753 .51567 L s .2032 .48433 m .2032 .51567 L s .29452 .48433 m .29452 .51567 L s .628 .126 .941 r .02 w .38584 .48433 m .43151 .48433 L s 0 0 0 r .005 w .43151 .48433 m .47717 .48433 L s .628 .126 .941 r .02 w .47717 .48433 m .52283 .48433 L s 0 0 0 r .005 w .47717 .48433 m .47717 .51567 L s .52283 .48433 m .56849 .48433 L s .52283 .48433 m .52283 .51567 L s .628 .126 .941 r .02 w .56849 .48433 m .61416 .48433 L s 0 0 0 r .005 w .56849 .48433 m .56849 .51567 L s .61416 .48433 m .65982 .48433 L s .61416 .48433 m .61416 .51567 L s .628 .126 .941 r .02 w .65982 .48433 m .70548 .48433 L s 0 0 0 r .005 w .65982 .48433 m .65982 .51567 L s .70548 .48433 m .75114 .48433 L s .628 .126 .941 r .02 w .75114 .48433 m .7968 .48433 L s 0 0 0 r .005 w .75114 .48433 m .75114 .51567 L s .7968 .48433 m .84247 .48433 L s .7968 .48433 m .7968 .51567 L s .84247 .48433 m .84247 .51567 L s .93379 .48433 m .93379 .51567 L s .628 .126 .941 r .02 w .06621 .51567 m .11187 .51567 L s 0 0 0 r .005 w .06621 .51567 m .06621 .54702 L s .11187 .51567 m .15753 .51567 L s .11187 .51567 m .11187 .54702 L s .628 .126 .941 r .02 w .15753 .51567 m .2032 .51567 L s 0 0 0 r .005 w .15753 .51567 m .15753 .54702 L s .2032 .51567 m .2032 .54702 L s .628 .126 .941 r .02 w .29452 .51567 m .34018 .51567 L s .47717 .51567 m .52283 .51567 L s 0 0 0 r .005 w .52283 .51567 m .56849 .51567 L s .52283 .51567 m .52283 .54702 L s .628 .126 .941 r .02 w .56849 .51567 m .61416 .51567 L s 0 0 0 r .005 w .56849 .51567 m .56849 .54702 L s .61416 .51567 m .65982 .51567 L s .628 .126 .941 r .02 w .65982 .51567 m .65982 .54702 L s .75114 .51567 m .7968 .51567 L s 0 0 0 r .005 w .7968 .51567 m .84247 .51567 L s .628 .126 .941 r .02 w .84247 .51567 m .88813 .51567 L s 0 0 0 r .005 w .84247 .51567 m .84247 .54702 L s .88813 .51567 m .93379 .51567 L s .628 .126 .941 r .02 w .93379 .51567 m .93379 .54702 L s .06621 .54702 m .11187 .54702 L s 0 0 0 r .005 w .06621 .54702 m .06621 .57837 L s .11187 .54702 m .15753 .54702 L s .11187 .54702 m .11187 .57837 L s .628 .126 .941 r .02 w .15753 .54702 m .2032 .54702 L s 0 0 0 r .005 w .15753 .54702 m .15753 .57837 L s .2032 .54702 m .24886 .54702 L s .628 .126 .941 r .02 w .24886 .54702 m .24886 .57837 L s .38584 .54702 m .43151 .54702 L s 0 0 0 r .005 w .43151 .54702 m .43151 .57837 L s .628 .126 .941 r .02 w .52283 .54702 m .56849 .54702 L s 0 0 0 r .005 w .56849 .54702 m .56849 .57837 L s .84247 .54702 m .84247 .57837 L s .628 .126 .941 r .02 w .06621 .57837 m .11187 .57837 L s 0 0 0 r .005 w .11187 .57837 m .15753 .57837 L s .15753 .57837 m .15753 .60972 L s .24886 .57837 m .24886 .60972 L s .34018 .57837 m .34018 .60972 L s .628 .126 .941 r .02 w .43151 .57837 m .47717 .57837 L s 0 0 0 r .005 w .43151 .57837 m .43151 .60972 L s .628 .126 .941 r .02 w .56849 .57837 m .61416 .57837 L s 0 0 0 r .005 w .56849 .57837 m .56849 .60972 L s .628 .126 .941 r .02 w .7968 .57837 m .84247 .57837 L s 0 0 0 r .005 w .7968 .57837 m .7968 .60972 L s .84247 .57837 m .84247 .60972 L s .628 .126 .941 r .02 w .15753 .60972 m .2032 .60972 L s 0 0 0 r .005 w .15753 .60972 m .15753 .64107 L s .2032 .60972 m .24886 .60972 L s .628 .126 .941 r .02 w .24886 .60972 m .29452 .60972 L s 0 0 0 r .005 w .29452 .60972 m .34018 .60972 L s .29452 .60972 m .29452 .64107 L s .628 .126 .941 r .02 w .34018 .60972 m .38584 .60972 L s 0 0 0 r .005 w .38584 .60972 m .43151 .60972 L s .43151 .60972 m .43151 .64107 L s .628 .126 .941 r .02 w .75114 .60972 m .7968 .60972 L s 0 0 0 r .005 w .75114 .60972 m .75114 .64107 L s .7968 .60972 m .84247 .60972 L s .628 .126 .941 r .02 w .84247 .60972 m .88813 .60972 L s 0 0 0 r .005 w .84247 .60972 m .84247 .64107 L s .88813 .60972 m .93379 .60972 L s .628 .126 .941 r .02 w .93379 .60972 m .93379 .64107 L s .06621 .64107 m .11187 .64107 L s 0 0 0 r .005 w .11187 .64107 m .15753 .64107 L s .11187 .64107 m .11187 .67241 L s .15753 .64107 m .15753 .67241 L s .29452 .64107 m .29452 .67241 L s .628 .126 .941 r .02 w .43151 .64107 m .47717 .64107 L s 0 0 0 r .005 w .43151 .64107 m .43151 .67241 L s .628 .126 .941 r .02 w .61416 .64107 m .65982 .64107 L s 0 0 0 r .005 w .61416 .64107 m .61416 .67241 L s .84247 .64107 m .84247 .67241 L s .628 .126 .941 r .02 w .11187 .67241 m .15753 .67241 L s 0 0 0 r .005 w .11187 .67241 m .11187 .70376 L s .15753 .67241 m .2032 .67241 L s .15753 .67241 m .15753 .70376 L s .628 .126 .941 r .02 w .2032 .67241 m .24886 .67241 L s 0 0 0 r .005 w .2032 .67241 m .2032 .70376 L s .24886 .67241 m .29452 .67241 L s .24886 .67241 m .24886 .70376 L s .628 .126 .941 r .02 w .29452 .67241 m .34018 .67241 L s 0 0 0 r .005 w .29452 .67241 m .29452 .70376 L s .34018 .67241 m .34018 .70376 L s .628 .126 .941 r .02 w .52283 .67241 m .56849 .67241 L s 0 0 0 r .005 w .52283 .67241 m .52283 .70376 L s .56849 .67241 m .61416 .67241 L s .628 .126 .941 r .02 w .7968 .67241 m .84247 .67241 L s 0 0 0 r .005 w .7968 .67241 m .7968 .70376 L s .84247 .67241 m .88813 .67241 L s .84247 .67241 m .84247 .70376 L s .628 .126 .941 r .02 w .11187 .70376 m .15753 .70376 L s 0 0 0 r .005 w .11187 .70376 m .11187 .73511 L s .15753 .70376 m .2032 .70376 L s .15753 .70376 m .15753 .73511 L s .628 .126 .941 r .02 w .2032 .70376 m .24886 .70376 L s 0 0 0 r .005 w .2032 .70376 m .2032 .73511 L s .24886 .70376 m .29452 .70376 L s .24886