{
"dougowings.net": {
"/doc/logics/cpl.html": {
"date": "2026-02-14T04:37:37Z",
"httpProtocol": "h2, tls/1.3",
"httpStatus": 200,
"ipAddress": "44.237.152.85",
"ipASN": "Amazon.com, Inc.",
"ipCountry": "United States",
"httpHeaderHash": "YZTY2AK724GIRU4CVKSCW67QLQLYKWXU",
"httpHeaderTechnologies": [
"CherryPy:18.8.0"
],
"httpHeaderUrls": [],
"httpHeaderByteSize": 352,
"httpBodyHash": "KXFJXVAZK4YGTVPWKGIKCBDFA33XLDQU",
"httpBodyTechnologies": [
"jQuery",
"Pygments",
"jsDelivr"
],
"httpBodyUrls": [
"#pytableaux.logics.k.Rules.Conjunction",
"#id3",
"#references",
"../python/index.html",
"../_static/tableau.css",
"https://docs.python.org/3/library/functions.html#type",
"../_modules/pytableaux/logics/k.html#Rules.MaterialBiconditionalNegated",
"../_static/doc.css",
"#pytableaux.logics.k.Rules.Assertion",
"k.html#k",
"#nodes",
"#id6",
"#id8",
"#notes",
"../genindex.html",
"#pytableaux.logics.k.Rules.ContradictionClosure",
"../_modules/pytableaux/logics/k.html#Rules.Biconditional",
"../search.html",
"../glossary.html",
"../_static/js/theme.js",
"../logics.html#bivalent-modal",
"#pytableaux.logics.k.Rules.AssertionNegated",
"#pytableaux.logics.k.Rules.MaterialConditionalNegated",
"https://docs.python.org/3/library/stdtypes.html#tuple",
"../_modules/pytableaux/logics/k.html#Rules.AssertionNegated",
"#",
"#rules",
"cfol.html#cfol",
"#disjunction-rules",
"#compatibility-rules",
"../logics.html#many-valued-modal",
"../_modules/pytableaux/logics/k.html#Rules.ConditionalNegated",
"#id11",
"../tables.html",
"#conjunction-rules",
"#cpl-classical-predicate-logic",
"../_static/jquery.js?v=5d32c60e",
"#pytableaux.logics.k.Rules.Disjunction",
"../_modules/pytableaux/logics/cpl.html#Rules",
"#pytableaux.logics.k.Rules.BiconditionalNegated",
"#tableaux",
"#id10",
"#materialconditional-rules",
"../logics.html#many-valued",
"#pytableaux.logics.k.Rules.DisjunctionNegated",
"../_modules/pytableaux/logics/k.html#Rules.Conjunction",
"../_modules/pytableaux/logics/k.html#Rules.Disjunction",
"#id5",
"#id7",
"#truth-tables",
"../python/intro.html",
"../_static/sphinx_highlight.js?v=dc90522c",
"#pytableaux.logics.k.Rules.NonExistenceClosure",
"../python/modules/proof.html#pytableaux.proof.Rule",
"../_modules/pytableaux/logics/k.html#Rules.DoubleNegation",
"#operator-rules",
"#biconditional-rules",
"../_static/pygments.css",
"#materialbiconditional-rules",
"../_sources/logics/cpl.rst.txt",
"#pytableaux.logics.k.Rules.Biconditional",
"../_modules/pytableaux/logics/k.html#Rules.DisjunctionNegated",
"../_modules/pytableaux/logics/k.html#Rules.MaterialConditional",
"../index.html",
"../_static/documentation_options.js?v=9f508d57",
"../_modules/pytableaux/logics/k.html#Rules.Conditional",
"https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js",
"../_modules/pytableaux/logics/k.html#Rules.ConjunctionNegated",
"#id1",
"#id9",
"#pytableaux.logics.k.Rules.MaterialConditional",
"https://logic.dougowings.net/doc/logics/cpl.html",
"../_modules/pytableaux/logics/k.html#Rules.Assertion",
"../_modules/pytableaux/logics/k.html#Rules.NonExistenceClosure",
"../_modules/pytableaux/logics/k.html#Rules.SelfIdentityClosure",
"../_modules/pytableaux/logics/k.html#Rules.MaterialBiconditional",
"#id12",
"#truth-values",
"../_static/doc.rtd.css",
"../logics.html#bivalent",
"../_static/doctools.js?v=888ff710",
"#pytableaux.logics.cpl.Rules.closure",
"#pytableaux.logics.k.Rules.MaterialBiconditionalNegated",
"../_modules/pytableaux/logics/k.html#Rules.BiconditionalNegated",
"#consequence",
"#assertion-rules",
"#pytableaux.logics.k.Rules.Conditional",
"#pytableaux.logics.k.Rules.DoubleNegation",
"#pytableaux.logics.k.Rules.ConditionalNegated",
"#pytableaux.logics.k.Rules.SelfIdentityClosure",
"../_modules/pytableaux/logics/k.html#Rules.ContradictionClosure",
"#id4",
"#trunk",
"#closure",
"cfol.html",
"../design.html",
"../logics.html",
"#negation-rules",
"#conditional-rules",
"#id2",
"#pytableaux.logics.k.Rules.ConjunctionNegated",
"#pytableaux.logics.k.Rules.MaterialBiconditional",
"../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c",
"../_modules/pytableaux/logics/k.html#Rules.MaterialConditionalNegated",
"#semantics",
"#predication",
"../_static/css/theme.css",
"#pytableaux.logics.cpl.Rules",
"#pytableaux.logics.cpl.Rules.groups"
],
"httpBodyMetaTags": {},
"httpBodyByteSize": 78878,
"httpBodyPageTitle": "CPL - Classical Predicate Logic — pytableaux 2.3.3-final documentation"
},
"/doc/logics/d.html": {
"date": "2026-02-14T03:48:03Z",
"httpProtocol": "h2, tls/1.3",
"httpStatus": 200,
"ipAddress": "34.213.149.130",
"ipASN": "Amazon.com, Inc.",
"ipCountry": "United States",
"httpHeaderHash": "4X7UOSI4DZXDO4FOS7G4J4UCYMIR4CD4",
"httpHeaderTechnologies": [
"CherryPy:18.8.0"
],
"httpHeaderUrls": [],
"httpHeaderByteSize": 354,
"httpBodyHash": "6NMHIWVZVUJU572B5E4FJWNDHGJZZPVY",
"httpBodyTechnologies": [
"jQuery",
"Pygments",
"jsDelivr"
],
"httpBodyUrls": [
"../genindex.html",
"#pytableaux.logics.d.Rules.groups",
"#pytableaux.logics.d.Rules.Serial.name",
"#pytableaux.logics.k.Rules.Biconditional",
"../_modules/pytableaux/logics/d.html#Rules",
"https://docs.python.org/3/library/functions.html#bool",
"#notes",
"../glossary.html",
"#modal-operator-rules",
"https://docs.python.org/3/library/stdtypes.html#tuple",
"../_modules/pytableaux/logics/k.html#Rules.MaterialConditionalNegated",
"../search.html",
"#biconditional-rules",
"#pytableaux.logics.d.Rules.Serial.ticking",
"#pytableaux.logics.d.Rules.Serial.marklegend",
"http://plato.stanford.edu/entries/logic-deontic/",
"../_modules/pytableaux/logics/k.html#Rules.Conjunction",
"../_modules/pytableaux/logics/k.html#Rules.Possibility",
"s5.html",
"../tables.html",
"#pytableaux.logics.k.Rules.AssertionNegated",
"#pytableaux.logics.k.Rules.ExistentialNegated",
"../_static/documentation_options.js?v=9f508d57",
"../logics.html",
"../python/intro.html",
"../_static/tableau.css",
"#id3",
"#references",
"#possibility-rules",
"../_static/css/theme.css",
"../_modules/pytableaux/logics/k.html#Rules.NecessityNegated",
"#pytableaux.logics.k.Rules.IdentityIndiscernability",
"k.html#k",
"#seriality",
"#assertion-rules",
"#pytableaux.logics.k.Rules.SelfIdentityClosure",
"https://docs.python.org/3/library/functions.html#int",
"../_modules/pytableaux/logics/k.html#Rules.Conditional",
"../_modules/pytableaux/logics/k.html#Rules.DoubleNegation",
"#quantifier-rules",
"https://logic.dougowings.net/doc/logics/d.html",
"../_modules/pytableaux/logics/k.html#Rules.Existential",
"../_modules/pytableaux/logics/k.html#Rules.SelfIdentityClosure",
"../_modules/pytableaux/logics/k.html#Rules.MaterialBiconditional",
"#tableaux",
"#semantics",
"#negation-rules",
"../_static/doc.rtd.css",
"#pytableaux.logics.d.Rules.Serial.example_nodes",
"#pytableaux.logics.k.Rules.BiconditionalNegated",
"#id4",
"#pytableaux.logics.d.Rules.Serial.Helpers",
"#id5",
"#pytableaux.logics.k.Rules.MaterialConditional",
"#universal-rules",
"#pytableaux.logics.k.Rules.Conditional",
"#pytableaux.logics.k.Rules.Possibility",
"../_modules/pytableaux/logics/k.html#Rules.UniversalNegated",
"../_modules/pytableaux/logics/k.html#Rules.MaterialConditional",
"../index.html",
"../design.html",
"#closure",
"#pytableaux.logics.k.Rules.NonExistenceClosure",
"https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js",
"#compatibility-rules",
"#conditional-rules",
"#trunk",
"k.html",
"../logics.html#many-valued",
"#pytableaux.logics.d.Rules.Serial.defaults",
"../python/modules/proof.html#pytableaux.proof.Rule",
"../_modules/pytableaux/logics/k.html#Rules.NonExistenceClosure",
"#pytableaux.logics.k.Rules.ContradictionClosure",
"#predicate-rules",
"#d-deontic-normal-modal-logic",
"#pytableaux.logics.d.Rules.closure",
"#pytableaux.logics.d.Rules.Serial.branching",
"#pytableaux.logics.k.Rules.PossibilityNegated",
"../_modules/pytableaux/logics/k.html#Rules.ContradictionClosure",
"../_modules/pytableaux/logics/k.html#Rules.IdentityIndiscernability",
"#",
"#conjunction-rules",
"../python/index.html",
"../_sources/logics/d.rst.txt",
"#pytableaux.logics.k.Rules.UniversalNegated",
"../_modules/pytableaux/logics/d.html#Rules.Serial",
"../_static/pygments.css",
"#id9",
"#materialconditional-rules",
"../_static/jquery.js?v=5d32c60e",
"../_static/sphinx_highlight.js?v=dc90522c",
"../_modules/pytableaux/logics/k.html#Rules.Necessity",
"#pytableaux.logics.k.Rules.MaterialConditionalNegated",
"../python/modules/proof.html#pytableaux.proof.Tableau",
"#nodes",
"#necessity-rules",
"#id2",
"#id8",
"#pytableaux.logics.k.Rules.MaterialBiconditionalNegated",
"../_modules/pytableaux/logics/k.html#Rules.ConditionalNegated",
"../_modules/pytableaux/logics/k.html#Rules.ConjunctionNegated",
"#disjunction-rules",
"../logics.html#bivalent-modal",
"../_modules/pytableaux/logics/k.html#Rules.Biconditional",
"../_modules/pytableaux/logics/k.html#Rules.PossibilityNegated",
"../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c",
"#pytableaux.logics.d.Rules",
"#pytableaux.logics.k.Rules.Assertion",
"#pytableaux.logics.k.Rules.Necessity",
"#pytableaux.logics.k.Rules.MaterialBiconditional",
"#existential-rules",
"#pytableaux.logics.k.Rules.Disjunction",
"#pytableaux.logics.d.Rules.Serial.legend",
"#pytableaux.logics.k.Rules.DoubleNegation",
"../_modules/pytableaux/logics/d.html#Rules.Serial.example_nodes",
"#access-rules",
"https://docs.python.org/3/library/functions.html#type",
"../_modules/pytableaux/logics/k.html#Rules.DisjunctionNegated",
"t.html",
"#pytableaux.logics.k.Rules.Universal",
"#pytableaux.logics.k.Rules.NecessityNegated",
"../python/modules/proof.html#pytableaux.proof.tableaux.Rule.Helper",
"../logics.html#many-valued-modal",
"#pytableaux.logics.k.Rules.Existential",
"#pytableaux.logics.k.Rules.ConditionalNegated",
"#pytableaux.logics.k.Rules.DisjunctionNegated",
"#identity-rules",
"#operator-rules",
"../_modules/pytableaux/logics/k.html#Rules.Assertion",
"../_modules/pytableaux/logics/k.html#Rules.MaterialBiconditionalNegated",
"../_static/js/theme.js",
"#pytableaux.logics.k.Rules.Conjunction",
"#pytableaux.logics.k.Rules.ConjunctionNegated",
"#pytableaux.logics.d.Rules.Serial.ignore_ticked",
"../_modules/pytableaux/logics/k.html#Rules.Disjunction",
"../_modules/pytableaux/logics/k.html#Rules.AssertionNegated",
"#id1",
"#id6",
"#rules",
"s4.html",
"../_static/doc.css",
"#pytableaux.logics.d.Rules.Serial",
"../_static/doctools.js?v=888ff710",
"https://docs.python.org/3/library/stdtypes.html#str",
"../logics.html#bivalent",
"#id7",
"#materialbiconditional-rules",
"#pytableaux.logics.d.Rules.Serial.timer_names",
"../_modules/pytableaux/logics/k.html#Rules.Universal",
"../_modules/pytableaux/logics/k.html#Rules.ExistentialNegated",
"../_modules/pytableaux/logics/k.html#Rules.BiconditionalNegated"
],
"httpBodyMetaTags": {},
"httpBodyByteSize": 121098,
"httpBodyPageTitle": "D - Deontic Normal Modal Logic — pytableaux 2.3.3-final documentation"
},
"/doc/logics/k.html": {
"date": "2026-02-14T05:33:26Z",
"httpProtocol": "h2, tls/1.3",
"httpStatus": 200,
"ipAddress": "44.237.152.85",
"ipASN": "Amazon.com, Inc.",
"ipCountry": "United States",
"httpHeaderHash": "PVG2R7IIEO2DMV6VFQCCZ4YZBQ5YAFFE",
"httpHeaderTechnologies": [
"CherryPy:18.8.0"
],
"httpHeaderUrls": [],
"httpHeaderByteSize": 354,
"httpBodyHash": "YGNQBPRUJKQROWWCTMZ4ESJFOW4XMHQJ",
"httpBodyTechnologies": [
"Pygments",
"jsDelivr",
"jQuery"
],
"httpBodyUrls": [
"#id9",
"#pytableaux.logics.k.Rules.Assertion.Helpers",
"#pytableaux.logics.k.Rules.Conditional.branching",
"s5.html",
"#pytableaux.logics.k.Rules.NonExistenceClosure.legend",
"#pytableaux.logics.k.Rules.MaterialBiconditional.negated",
"../_modules/pytableaux/logics/k.html#Rules.MaterialConditional",
"#pytableaux.logics.k.Rules.PossibilityNegated.NodeFilters",
"#pytableaux.logics.k.Rules.BiconditionalNegated",
"#pytableaux.logics.k.Rules.DoubleNegation.legend",
"#pytableaux.logics.k.Rules.Possibility.designation",
"#pytableaux.logics.k.Rules.IdentityIndiscernability",
"#pytableaux.logics.k.Rules.MaterialConditional.operator",
"#pytableaux.logics.k.Rules.NonExistenceClosure",
"#pytableaux.logics.k.Rules.BiconditionalNegated.timer_names",
"#pytableaux.logics.k.Rules.Possibility.quantifier",
"#pytableaux.logics.k.Rules.MaterialConditional.negated",
"#pytableaux.logics.k.Rules.MaterialConditionalNegated.defaults",
"#pytableaux.logics.k.Rules",
"#pytableaux.logics.k.Rules.Universal.quantifier",
"#pytableaux.logics.k.Rules.Conjunction.name",
"#pytableaux.logics.k.Rules.MaterialBiconditional.quantifier",
"#pytableaux.logics.k.Rules.MaterialBiconditional.designation",
"#pytableaux.logics.k.Rules.MaterialConditional.branching",
"#references",
"#pytableaux.logics.k.Rules.Conjunction.predicate",
"#pytableaux.logics.k.Rules.DisjunctionNegated.operator",
"#pytableaux.logics.k.Rules.BiconditionalNegated.quantifier",
"cfol.html",
"#pytableaux.logics.k.Rules.Conditional.name",
"#pytableaux.logics.k.Rules.Disjunction.name",
"#pytableaux.logics.k.Rules.Necessity.Helpers",
"../index.html",
"#pytableaux.logics.k.Rules.Assertion",
"#pytableaux.logics.k.Rules.Existential.legend",
"#pytableaux.logics.k.Rules.AssertionNegated.Helpers",
"#pytableaux.logics.k.Rules.UniversalNegated.operator",
"https://docs.python.org/3/library/functions.html#int",
"../logics.html#many-valued",
"#pytableaux.logics.k.Rules.AssertionNegated.name",
"#pytableaux.logics.k.Rules.AssertionNegated.timer_names",
"#pytableaux.logics.k.Rules.Existential.designation",
"#pytableaux.logics.k.Rules.NecessityNegated.quantifier",
"#pytableaux.logics.k.Rules.PossibilityNegated.predicate",
"#pytableaux.logics.k.Rules.Universal.name",
"#pytableaux.logics.k.Rules.DoubleNegation.operator",
"t.html",
"#pytableaux.logics.k.Rules.UniversalNegated.name",
"#pytableaux.logics.k.Rules.MaterialConditional.quantifier",
"#pytableaux.logics.k.Rules.MaterialBiconditionalNegated.designation",
"#pytableaux.logics.k.Rules.SelfIdentityClosure",
"#pytableaux.logics.k.Rules.Disjunction.defaults",
"#pytableaux.logics.k.Rules.Biconditional.negated",
"#pytableaux.logics.k.Rules.Biconditional.predicate",
"#pytableaux.logics.k.Rules.Universal.negated",
"#closure",
"#pytableaux.logics.k.Rules.AssertionNegated.branching",
"#pytableaux.logics.k.Rules.DisjunctionNegated.defaults",
"#pytableaux.logics.k.Rules.DisjunctionNegated.designation",
"#pytableaux.logics.k.Rules.SelfIdentityClosure.NodeFilters",
"#pytableaux.logics.k.Rules.Assertion.negated",
"#possibility-rules",
"#pytableaux.logics.k.Rules.Conditional.operator",
"#pytableaux.logics.k.Rules.MaterialBiconditionalNegated.NodeFilters",
"#pytableaux.logics.k.Rules.Universal.operator",
"#pytableaux.logics.k.Rules.Biconditional.legend",
"#pytableaux.logics.k.Rules.Necessity.designation",
"#pytableaux.logics.k.Rules.Universal",
"#pytableaux.logics.k.Rules.Assertion.name",
"#pytableaux.logics.k.Rules.PossibilityNegated.designation",
"../genindex.html",
"#pytableaux.logics.k.Rules.Assertion.legend",
"#pytableaux.logics.k.Rules.Conjunction.legend",
"#pytableaux.logics.k.Rules.UniversalNegated.NodeFilters",
"#pytableaux.logics.k.Rules.SelfIdentityClosure.predicate",
"../_modules/pytableaux/logics/k.html#Rules.IdentityIndiscernability",
"#pytableaux.logics.k.Rules.Biconditional",
"#pytableaux.logics.k.Rules.AssertionNegated.predicate",
"https://docs.python.org/3/library/constants.html#None",
"#pytableaux.logics.k.Rules.ConditionalNegated.predicate",
"#pytableaux.logics.k.Rules.SelfIdentityClosure.branching",
"#pytableaux.logics.k.Rules.MaterialBiconditional.defaults",
"#pytableaux.logics.k.Rules.MaterialConditional.designation",
"#pytableaux.logics.k.Rules.MaterialBiconditionalNegated.legend",
"#biconditional-rules",
"#pytableaux.logics.k.Rules.Universal.defaults",
"#pytableaux.logics.k.Rules.SelfIdentityClosure.Helpers",
"#pytableaux.logics.k.Rules.UniversalNegated.quantifier",
"#pytableaux.logics.k.Rules.MaterialBiconditionalNegated.operator",
"#pytableaux.logics.k.Rules.AssertionNegated.operator",
"#id2",
"https://logic.dougowings.net/doc/logics/k.html",
"../_modules/pytableaux/logics/k.html#Rules.BiconditionalNegated",
"#pytableaux.logics.k.Rules.ConditionalNegated.negated",
"#pytableaux.logics.k.Rules.MaterialBiconditionalNegated.timer_names",
"#id14",
"#pytableaux.logics.k.Rules.Disjunction.legend",
"#pytableaux.logics.k.Rules.Conditional.defaults",
"../_modules/pytableaux/logics/k.html#Rules.Universal",
"#pytableaux.logics.k.Rules.Universal.predicate",
"#pytableaux.logics.k.Rules.Possibility.NodeFilters",
"#pytableaux.logics.k.Rules.IdentityIndiscernability.ticking",
"#pytableaux.logics.k.Rules.Existential.NodeFilters",
"#pytableaux.logics.k.Rules.NecessityNegated.NodeFilters",
"#pytableaux.logics.k.Rules.ConjunctionNegated.designation",
"#pytableaux.logics.k.Rules.SelfIdentityClosure.timer_names",
"../_modules/pytableaux/logics/k.html#Rules.NonExistenceClosure.node_will_close_branch",
"#pytableaux.logics.k.Rules.Universal.designation",
"#pytableaux.logics.k.Rules.AssertionNegated",
"cpl.html#cpl",
"#pytableaux.logics.k.Rules.ConditionalNegated",
"#pytableaux.logics.k.Rules.Possibility.legend",
"#pytableaux.logics.k.Rules.Conjunction.quantifier",
"#pytableaux.logics.k.Rules.PossibilityNegated.legend",
"#pytableaux.logics.k.Rules.NonExistenceClosure.negated",
"../_modules/pytableaux/logics/k.html#Rules.ExistentialNegated",
"#id8",
"../_static/doctools.js?v=888ff710",
"#pytableaux.logics.k.Rules.Necessity.branching",
"#pytableaux.logics.k.Rules.Disjunction.predicate",
"https://docs.python.org/3/library/functions.html#bool",
"#pytableaux.logics.k.Rules.IdentityIndiscernability.NodeFilters",
"#pytableaux.logics.k.Rules.MaterialBiconditionalNegated.predicate",
"#pytableaux.logics.k.Rules.NonExistenceClosure.node_will_close_branch",
"d.html",
"#pytableaux.logics.k.Rules.Conjunction.timer_names",
"#pytableaux.logics.k.Rules.NecessityNegated.legend",
"#pytableaux.logics.k.Rules.ContradictionClosure.legend",
"#pytableaux.logics.k.Rules.NonExistenceClosure.defaults",
"#pytableaux.logics.k.Rules.ConditionalNegated.timer_names",
"#pytableaux.logics.k.Rules.DisjunctionNegated.NodeFilters",
"https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js",
"#assertion-rules",
"#pytableaux.logics.k.Rules.ConditionalNegated.Helpers",
"#id3",
"#identity-rules",
"#pytableaux.logics.k.Rules.Assertion.timer_names",
"#pytableaux.logics.k.Rules.UniversalNegated.Helpers",
"#pytableaux.logics.k.Rules.NecessityNegated.predicate",
"#pytableaux.logics.k.Rules.AssertionNegated.quantifier",
"#pytableaux.logics.k.Rules.NecessityNegated",
"#pytableaux.logics.k.Rules.IdentityIndiscernability.legend",
"#id10",
"#pytableaux.logics.k.Rules.DoubleNegation.negated",
"#pytableaux.logics.k.Rules.Biconditional.designation",
"#pytableaux.logics.k.Rules.IdentityIndiscernability.branching",
"../_static/doc.rtd.css",
"#pytableaux.logics.k.Rules.Disjunction",
"#pytableaux.logics.k.Rules.ConjunctionNegated",
"#pytableaux.logics.k.Rules.Possibility.operator",
"#pytableaux.logics.k.Rules.ExistentialNegated.branching",
"../_modules/pytableaux/logics/k.html#Rules",
"#pytableaux.logics.k.Rules.Universal.branching",
"#pytableaux.logics.k.Rules.Existential.timer_names",
"#pytableaux.logics.k.Rules.MaterialConditionalNegated",
"#pytableaux.logics.k.Rules.NonExistenceClosure.example_nodes",
"#id6",
"#pytableaux.logics.k.Rules.Necessity.NodeFilters",
"https://docs.python.org/3/library/stdtypes.html#str",
"#pytableaux.logics.k.Rules.AssertionNegated.designation",
"#pytableaux.logics.k.Rules.Conjunction.negated",
"#pytableaux.logics.k.Rules.Disjunction.NodeFilters",
"#pytableaux.logics.k.Rules.ConjunctionNegated.branching",
"#modal-operator-rules",
"#pytableaux.logics.k.Rules.Universal.Helpers",
"#pytableaux.logics.k.Rules.SelfIdentityClosure.name",
"#pytableaux.logics.k.Rules.NonExistenceClosure.predicate",
"#pytableaux.logics.k.Rules.MaterialBiconditional.predicate",
"../python/modules/proof.html#pytableaux.proof.tableaux.Rule.Helper",
"#operator-rules",
"#pytableaux.logics.k.Rules.AssertionNegated.legend",
"#pytableaux.logics.k.Rules.BiconditionalNegated.name",
"#pytableaux.logics.k.Rules.MaterialConditionalNegated.name",
"#pytableaux.logics.k.Rules.BiconditionalNegated.NodeFilters",
"#pytableaux.logics.k.Rules.Conditional.quantifier",
"#pytableaux.logics.k.Rules.NecessityNegated.defaults",
"#pytableaux.logics.k.Rules.NonExistenceClosure.branching",
"../_modules/pytableaux/logics/k.html#Rules.Assertion",
"https://docs.python.org/3/library/stdtypes.html#tuple",
"#pytableaux.logics.k.Rules.IdentityIndiscernability.Helpers",
"../_modules/pytableaux/logics/k.html#Rules.UniversalNegated",
"#universal-rules",
"#pytableaux.logics.k.Rules.NonExistenceClosure.name",
"#pytableaux.logics.k.Rules.MaterialConditionalNegated.quantifier",
"../_modules/pytableaux/logics/k.html#Rules.MaterialBiconditional",
"#pytableaux.logics.k.Rules.Disjunction.branching",
"#existential-rules",
"#id1",
"#truth-tables",
"../_static/js/theme.js",
"#pytableaux.logics.k.Rules.ConjunctionNegated.legend",
"#pytableaux.logics.k.Rules.DisjunctionNegated.quantifier",
"#pytableaux.logics.k.Rules.MaterialConditional.timer_names",
"../_static/tableau.css",
"#pytableaux.logics.k.Rules.Existential.defaults",
"../python/modules/proof.html#pytableaux.proof.Rule",
"#pytableaux.logics.k.Rules.PossibilityNegated.negated",
"#pytableaux.logics.k.Rules.PossibilityNegated.quantifier",
"#predication",
"#pytableaux.logics.k.Rules.Existential.quantifier",
"#pytableaux.logics.k.Rules.PossibilityNegated.name",
"#pytableaux.logics.k.Rules.ExistentialNegated.quantifier",
"../_modules/pytableaux/logics/k.html#Rules.ContradictionClosure.example_nodes",
"../_modules/pytableaux/logics/k.html#Rules.ContradictionClosure",
"#pytableaux.logics.k.Rules.Existential",
"#pytableaux.logics.k.Rules.Existential.predicate",
"#pytableaux.logics.k.Rules.UniversalNegated.designation",
"#pytableaux.logics.k.Rules.Possibility.defaults",
"#pytableaux.logics.k.Rules.ConditionalNegated.designation",
"#pytableaux.logics.k.Rules.Necessity.legend",
"#pytableaux.logics.k.Rules.ExistentialNegated.name",
"#pytableaux.logics.k.Rules.ConditionalNegated.legend",
"#pytableaux.logics.k.Rules.MaterialConditional.defaults",
"../python/index.html",
"../logics.html#bivalent",
"#pytableaux.logics.k.Rules.DoubleNegation.name",
"#pytableaux.logics.k.Rules.MaterialConditional",
"#pytableaux.logics.k.Rules.Possibility.predicate",
"#pytableaux.logics.k.Rules.MaterialBiconditionalNegated.name",
"#pytableaux.logics.k.Rules.Assertion.predicate",
"#pytableaux.logics.k.Rules.Conjunction.NodeFilters",
"#pytableaux.logics.k.Rules.AssertionNegated.defaults",
"#pytableaux.logics.k.Rules.ContradictionClosure.name",
"#pytableaux.logics.k.Rules.DoubleNegation.quantifier",
"#pytableaux.logics.k.Rules.Universal.legend",
"#pytableaux.logics.k.Rules.Conditional.Helpers",
"#pytableaux.logics.k.Rules.DisjunctionNegated.predicate",
"#pytableaux.logics.k.Rules.BiconditionalNegated.operator",
"../python/intro.html",
"#pytableaux.logics.k.Rules.Universal.timer_names",
"../_modules/pytableaux/logics/k.html#Rules.MaterialBiconditionalNegated",
"../_static/documentation_options.js?v=9f508d57",
"#pytableaux.logics.k.Rules.Necessity.timer_names",
"../_modules/pytableaux/logics/k.html#Rules.Possibility",
"#pytableaux.logics.k.Rules.MaterialBiconditional.legend",
"#pytableaux.logics.k.Rules.MaterialBiconditionalNegated.defaults",
"#pytableaux.logics.k.Rules.MaterialConditional.Helpers",
"#pytableaux.logics.k.Rules.MaterialConditional.predicate",
"#nodes",
"#pytableaux.logics.k.Rules.Conjunction",
"#pytableaux.logics.k.Rules.Conditional.timer_names",
"#pytableaux.logics.k.Rules.Biconditional.NodeFilters",
"#pytableaux.logics.k.Rules.MaterialBiconditionalNegated",
"#pytableaux.logics.k.Rules.MaterialBiconditional.operator",
"#pytableaux.logics.k.Rules.MaterialBiconditionalNegated.branching",
"#id7",
"../_static/sphinx_highlight.js?v=dc90522c",
"#pytableaux.logics.k.Rules.NecessityNegated.designation",
"#truth-values",
"../design.html",
"#compatibility-rules",
"#pytableaux.logics.k.Rules.ExistentialNegated",
"../_modules/pytableaux/logics/k.html#Rules.NecessityNegated",
"#pytableaux.logics.k.Rules.Disjunction.Helpers",
"#pytableaux.logics.k.Rules.Disjunction.timer_names",
"#pytableaux.logics.k.Rules.DoubleNegation.branching",
"#pytableaux.logics.k.Rules.ConditionalNegated.operator",
"#pytableaux.logics.k.Rules.ContradictionClosure.defaults",
"#quantification",
"#pytableaux.logics.k.Rules.DoubleNegation.NodeFilters",
"#pytableaux.logics.k.Rules.NonExistenceClosure.Helpers",
"../_modules/pytableaux/logics/k.html#Rules.NonExistenceClosure",
"#negation-rules",
"#pytableaux.logics.k.Rules.ExistentialNegated.NodeFilters",
"#id5",
"#pytableaux.logics.k.Rules.Possibility",
"#pytableaux.logics.k.Rules.Assertion.defaults",
"#pytableaux.logics.k.Rules.BiconditionalNegated.negated",
"#pytableaux.logics.k.Rules.Biconditional.branching",
"#pytableaux.logics.k.Rules.DisjunctionNegated.negated",
"#pytableaux.logics.k.Rules.Existential.name",
"#pytableaux.logics.k.Rules.PossibilityNegated.timer_names",
"#pytableaux.logics.k.Rules.PossibilityNegated",
"#pytableaux.logics.k.Rules.AssertionNegated.NodeFilters",
"#quantifier-rules",
"#id11",
"#pytableaux.logics.k.Rules.DoubleNegation",
"#pytableaux.logics.k.Rules.Biconditional.Helpers",
"#pytableaux.logics.k.Rules.ConjunctionNegated.Helpers",
"../_modules/pytableaux/logics/k.html#Rules.MaterialConditionalNegated",
"#pytableaux.logics.k.Rules.ConditionalNegated.defaults",
"#pytableaux.logics.k.Rules.ConjunctionNegated.timer_names",
"#pytableaux.logics.k.Rules.NonExistenceClosure.NodeFilters",
"#k-kripke-normal-modal-logic",
"#pytableaux.logics.k.Rules.Possibility.Helpers",
"#pytableaux.logics.k.Rules.Disjunction.quantifier",
"#pytableaux.logics.k.Rules.DoubleNegation.predicate",
"#pytableaux.logics.k.Rules.PossibilityNegated.branching",
"#pytableaux.logics.k.Rules.IdentityIndiscernability.name",
"#semantics",
"#pytableaux.logics.k.Rules.Assertion.designation",
"#pytableaux.logics.k.Rules.MaterialBiconditional",
"#pytableaux.logics.k.Rules.MaterialConditionalNegated.Helpers",
"#trunk",
"#modal-operators",
"#pytableaux.logics.k.Rules.Necessity",
"#pytableaux.logics.k.Rules.UniversalNegated.legend",
"#materialbiconditional-rules",
"#pytableaux.logics.k.Rules.Conditional",
"#pytableaux.logics.k.Rules.NecessityNegated.operator",
"#disjunction-rules",
"#pytableaux.logics.k.Rules.Possibility.negated",
"#pytableaux.logics.k.Rules.UniversalNegated.predicate",
"../_modules/pytableaux/logics/k.html#Rules.DoubleNegation",
"#pytableaux.logics.k.Rules.ContradictionClosure.timer_names",
"s4.html",
"../logics.html#bivalent-modal",
"#pytableaux.logics.k.Rules.UniversalNegated",
"#pytableaux.logics.k.Rules.Assertion.NodeFilters",
"#pytableaux.logics.k.Rules.Universal.NodeFilters",
"#pytableaux.logics.k.Rules.SelfIdentityClosure.negated",
"#pytableaux.logics.k.Rules.Possibility.branching",
"#pytableaux.logics.k.Rules.MaterialBiconditional.NodeFilters",
"#predicate-rules",
"../_sources/logics/k.rst.txt",
"#pytableaux.logics.k.Rules.closure",
"#pytableaux.logics.k.Rules.Existential.operator",
"#pytableaux.logics.k.Rules.Necessity.quantifier",
"#pytableaux.logics.k.Rules.AssertionNegated.negated",
"#pytableaux.logics.k.Rules.MaterialConditionalNegated.NodeFilters",
"../_static/jquery.js?v=5d32c60e",
"#pytableaux.logics.k.Rules.Conditional.negated",
"#pytableaux.logics.k.Rules.ExistentialNegated.negated",
"#pytableaux.logics.k.Rules.NecessityNegated.timer_names",
"#pytableaux.logics.k.Rules.IdentityIndiscernability.timer_names",
"#pytableaux.logics.k.Rules.BiconditionalNegated.designation",
"#pytableaux.logics.k.Rules.MaterialConditionalNegated.predicate",
"#id13",
"#",
"#tableaux",
"#pytableaux.logics.k.Rules.Conjunction.defaults",
"#pytableaux.logics.k.Rules.UniversalNegated.branching",
"#pytableaux.logics.k.Rules.BiconditionalNegated.legend",
"#pytableaux.logics.k.Rules.MaterialBiconditionalNegated.Helpers",
"#conditional-rules",
"#pytableaux.logics.k.Rules.Biconditional.operator",
"#pytableaux.logics.k.Rules.ConjunctionNegated.operator",
"../_modules/pytableaux/logics/k.html#Rules.Existential",
"#pytableaux.logics.k.Rules.MaterialBiconditionalNegated.quantifier",
"#pytableaux.logics.k.Rules.PossibilityNegated.operator",
"#pytableaux.logics.k.Rules.ConditionalNegated.branching",
"#pytableaux.logics.k.Rules.MaterialConditionalNegated.negated",
"#pytableaux.logics.k.Rules.DoubleNegation.timer_names",
"../logics.html#many-valued-modal",
"../_modules/pytableaux/logics/k.html#Rules.Necessity",
"#pytableaux.logics.k.Rules.DisjunctionNegated.Helpers",
"#pytableaux.logics.k.Rules.MaterialConditionalNegated.timer_names",
"#pytableaux.logics.k.Rules.ContradictionClosure",
"#pytableaux.logics.k.Rules.ConjunctionNegated.negated",
"../_modules/pytableaux/logics/k.html#Rules.Conditional",
"#pytableaux.logics.k.Rules.ConditionalNegated.NodeFilters",
"#pytableaux.logics.k.Rules.DisjunctionNegated.timer_names",
"#pytableaux.logics.k.Rules.NonExistenceClosure.timer_names",
"#pytableaux.logics.k.Rules.Necessity.defaults",
"#pytableaux.logics.k.Rules.Biconditional.defaults",
"../search.html",
"#pytableaux.logics.k.Rules.UniversalNegated.timer_names",
"#pytableaux.logics.k.Rules.MaterialBiconditional.branching",
"#pytableaux.logics.k.Rules.IdentityIndiscernability.example_nodes",
"#pytableaux.logics.k.Rules.ConjunctionNegated.defaults",
"#pytableaux.logics.k.Rules.BiconditionalNegated.Helpers",
"../_modules/pytableaux/logics/k.html#Rules.ConjunctionNegated",
"#pytableaux.logics.k.Rules.DisjunctionNegated",
"#pytableaux.logics.k.Rules.Necessity.predicate",
"#pytableaux.logics.k.Rules.NecessityNegated.negated",
"#pytableaux.logics.k.Rules.MaterialConditional.legend",
"#pytableaux.logics.k.Rules.PossibilityNegated.defaults",
"#pytableaux.logics.k.Rules.MaterialConditional.NodeFilters",
"#pytableaux.logics.k.Rules.Conditional.NodeFilters",
"https://docs.python.org/3/library/functions.html#type",
"../_modules/pytableaux/logics/k.html#Rules.Disjunction",
"#necessity-rules",
"#pytableaux.logics.k.Rules.groups",
"#pytableaux.logics.k.Rules.Conditional.legend",
"#pytableaux.logics.k.Rules.MaterialConditional.name",
"#pytableaux.logics.k.Rules.IdentityIndiscernability.defaults",
"#pytableaux.logics.k.Rules.Conditional.designation",
"#pytableaux.logics.k.Rules.MaterialBiconditional.name",
"#pytableaux.logics.k.Rules.ContradictionClosure.branching",
"#pytableaux.logics.k.Rules.ExistentialNegated.operator",
"#pytableaux.logics.k.Rules.MaterialConditionalNegated.legend",
"../_modules/pytableaux/logics/k.html#Rules.NonExistenceClosure.example_nodes",
"../_modules/pytableaux/logics/k.html#Rules.ConditionalNegated",
"#pytableaux.logics.k.Rules.Conjunction.Helpers",
"../_modules/pytableaux/logics/k.html#Rules.SelfIdentityClosure",
"#pytableaux.logics.k.Rules.MaterialBiconditionalNegated.negated",
"#pytableaux.logics.k.Rules.Existential.branching",
"#pytableaux.logics.k.Rules.DoubleNegation.designation",
"#pytableaux.logics.k.Rules.ExistentialNegated.predicate",
"#pytableaux.logics.k.Rules.IdentityIndiscernability.predicate",
"../_modules/pytableaux/logics/k.html#Rules.PossibilityNegated",
"../glossary.html",
"#materialconditional-rules",
"#rules",
"#pytableaux.logics.k.Rules.Conjunction.operator",
"#pytableaux.logics.k.Rules.PossibilityNegated.Helpers",
"../python/modules/proof.html#pytableaux.proof.Tableau",
"../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c",
"../_static/pygments.css",
"#pytableaux.logics.k.Rules.UniversalNegated.defaults",
"#pytableaux.logics.k.Rules.BiconditionalNegated.predicate",
"../_modules/pytableaux/logics/k.html#Rules.SelfIdentityClosure.example_nodes",
"#conjunction-rules",
"#pytableaux.logics.k.Rules.Existential.negated",
"#pytableaux.logics.k.Rules.DisjunctionNegated.legend",
"#pytableaux.logics.k.Rules.Assertion.branching",
"#pytableaux.logics.k.Rules.DisjunctionNegated.name",
"#pytableaux.logics.k.Rules.UniversalNegated.negated",
"#pytableaux.logics.k.Rules.ExistentialNegated.Helpers",
"#pytableaux.logics.k.Rules.ExistentialNegated.defaults",
"#pytableaux.logics.k.Rules.ConjunctionNegated.predicate",
"#pytableaux.logics.k.Rules.BiconditionalNegated.defaults",
"#pytableaux.logics.k.Rules.ExistentialNegated.designation",
"#pytableaux.logics.k.Rules.MaterialBiconditional.timer_names",
"#pytableaux.logics.k.Rules.ConditionalNegated.name",
"#pytableaux.logics.k.Rules.SelfIdentityClosure.legend",
"#pytableaux.logics.k.Rules.MaterialConditionalNegated.branching",
"../_modules/pytableaux/logics/k.html#Rules.IdentityIndiscernability.example_nodes",
"#pytableaux.logics.k.Rules.Conjunction.designation",
"#pytableaux.logics.k.Rules.Necessity.name",
"#id4",
"#pytableaux.logics.k.Rules.Existential.Helpers",
"#pytableaux.logics.k.Rules.Possibility.timer_names",
"#pytableaux.logics.k.Rules.SelfIdentityClosure.example_nodes",
"#pytableaux.logics.k.Rules.Conditional.predicate",
"#pytableaux.logics.k.Rules.ConjunctionNegated.quantifier",
"#pytableaux.logics.k.Rules.Disjunction.operator",
"#pytableaux.logics.k.Rules.NecessityNegated.Helpers",
"#pytableaux.logics.k.Rules.ContradictionClosure.Helpers",
"#pytableaux.logics.k.Rules.DoubleNegation.Helpers",
"#pytableaux.logics.k.Rules.Disjunction.designation",
"#pytableaux.logics.k.Rules.Disjunction.negated",
"../python/modules/lang.html#pytableaux.lang.Operator",
"#pytableaux.logics.k.Rules.ConjunctionNegated.NodeFilters",
"#pytableaux.logics.k.Rules.SelfIdentityClosure.node_will_close_branch",
"../_modules/pytableaux/logics/k.html#Rules.SelfIdentityClosure.node_will_close_branch",
"#pytableaux.logics.k.Rules.Biconditional.quantifier",
"#pytableaux.logics.k.Rules.Assertion.quantifier",
"#pytableaux.logics.k.Rules.ConjunctionNegated.name",
"../_modules/pytableaux/logics/k.html#Rules.AssertionNegated",
"#consequence",
"../tables.html",
"../_static/css/theme.css",
"#pytableaux.logics.k.Rules.ExistentialNegated.legend",
"../_modules/pytableaux/logics/k.html#Rules.Conjunction",
"../logics.html",
"#pytableaux.logics.k.Rules.Possibility.name",
"#pytableaux.logics.k.Rules.Conjunction.branching",
"#pytableaux.logics.k.Rules.DoubleNegation.defaults",
"../python/modules/lang.html#pytableaux.lang.Predicate",
"#pytableaux.logics.k.Rules.MaterialBiconditional.Helpers",
"#id12",
"#pytableaux.logics.k.Rules.Necessity.negated",
"#pytableaux.logics.k.Rules.Biconditional.name",
"#pytableaux.logics.k.Rules.NecessityNegated.branching",
"../python/modules/lang.html#pytableaux.lang.Quantifier",
"#pytableaux.logics.k.Rules.ExistentialNegated.timer_names",
"../_modules/pytableaux/logics/k.html#Rules.DisjunctionNegated",
"../_static/doc.css",
"#pytableaux.logics.k.Rules.BiconditionalNegated.branching",
"#pytableaux.logics.k.Rules.Assertion.operator",
"#pytableaux.logics.k.Rules.NecessityNegated.name",
"#pytableaux.logics.k.Rules.Biconditional.timer_names",
"#pytableaux.logics.k.Rules.DisjunctionNegated.branching",
"#pytableaux.logics.k.Rules.ConditionalNegated.quantifier",
"../_modules/pytableaux/logics/k.html#Rules.Biconditional",
"#pytableaux.logics.k.Rules.ContradictionClosure.example_nodes",
"#pytableaux.logics.k.Rules.MaterialConditionalNegated.operator",
"#notes",
"#pytableaux.logics.k.Rules.Necessity.operator",
"http://plato.stanford.edu/entries/logic-modal/",
"#pytableaux.logics.k.Rules.SelfIdentityClosure.defaults",
"#pytableaux.logics.k.Rules.MaterialConditionalNegated.designation"
],
"httpBodyMetaTags": {},
"httpBodyByteSize": 546061,
"httpBodyPageTitle": "K - Kripke Normal Modal Logic — pytableaux 2.3.3-final documentation"
}
},
"padsystem.com": {
"/content/payment_refund_policy": {
"date": "2026-02-13T15:25:23Z",
"httpProtocol": "http/1.1, tls/1.2",
"httpStatus": 200,
"ipAddress": "218.189.80.5",
"ipASN": "HGC Global Communications Limited",
"ipCountry": "Hong Kong",
"httpHeaderHash": "N4BCLORGABGZE53IH2RPTI4CAW4CJV5M",
"httpHeaderTechnologies": [
"CherryPy:18.8.0"
],
"httpHeaderUrls": [],
"httpHeaderByteSize": 234,
"httpBodyHash": "7PJTN3K55SE5Y4RSUQ2U6ADBD3B5WZQT",
"httpBodyTechnologies": [
"jQuery Modal:0.9.1",
"cdnjs",
"Popper",
"Cloudflare",
"Tailwind CSS",
"jQuery:3.6.0"
],
"httpBodyUrls": [
"/",
"contact_us",
"./assets/images/youtube.svg",
"./assets/images/envelope_fill.svg",
"/assets/images/padwebsite_icon.png",
"https://www.linkedin.com/company/pad-system",
"https://www.facebook.com/PADSystemInternational",
"https://cdnjs.cloudflare.com/ajax/libs/jquery-modal/0.9.1/jquery.modal.min.js",
"about_us",
"./assets/images/lang.svg",
"./assets/images/linkedin.svg",
"/assets/js/jquery-3.6.0.min.js",
"/assets/images/pad_logo_trans_white.png",
"marker",
"/assets/js/logo.js",
"payment_refund_policy",
"/assets/js/language.js",
"/assets/js/popper.min.js",
"https://cdn.tailwindcss.com",
"./assets/images/facebook.svg",
"https://www.youtube.com/PADSystem",
"cloud",
"padsystem",
"mailto:sales@padsystem.com",
"./assets/images/telephone_fill.svg",
"./assets/images/pad_logo_trans_color.png",
"https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.5.1/css/all.min.css",
"https://cdnjs.cloudflare.com/ajax/libs/jquery-modal/0.9.1/jquery.modal.min.css",
"partner",
"digitize",
"privacy_policy",
"https://cdnjs.cloudflare.com/ajax/libs/flowbite/2.3.0/flowbite.min.js",
"pricing",
"https://cloud.padsystem.com",
"pattern",
"knowledge",
"/assets/js/counter.js"
],
"httpBodyMetaTags": {},
"httpBodyByteSize": 14852,
"httpBodyPageTitle": "Payment and Refund Policy"
},
"/knowledge/manuals/en/pattern_tutorial/6000_T-Shirt_Basic_cut-in.html": {
"date": "2026-02-13T16:07:34Z",
"httpProtocol": "http/1.1, tls/1.2",
"httpStatus": 200,
"ipAddress": "218.189.80.5",
"ipASN": "HGC Global Communications Limited",
"ipCountry": "Hong Kong",
"httpHeaderHash": "HHIPWAOA2MOJAB7YNUXK3GRLGXQ3BIKT",
"httpHeaderTechnologies": [
"CherryPy:18.8.0"
],
"httpHeaderUrls": [],
"httpHeaderByteSize": 301,
"httpBodyHash": "NWFP5YB4LY2ID4A4OIGDHLNYN23AHTEM",
"httpBodyTechnologies": [
"jQuery",
"Pygments",
"Bootstrap",
"Underscore.js"
],
"httpBodyUrls": [
"index.html",
"Bra_basic_block.html",
"http://sphinx.pocoo.org/",
"../_static/js/bootstrap.js",
"../_static/fonts/source-serif-pro/source-serif-pro.css",
"basic-top-pattern.html",
"skirt-A.html",
"../_images/tc03.png",
"../_images/tc05.png",
"#t-shirt-basic-cut-in",
"../_static/doctools.js",
"../index.html",
"6700_t_shirt.html",
"../_static/css/bootstrap.min.css",
"../_static/css/bootstrap-theme.min.css",
"blk_m_t_shirt.html",
"../utilities/index.html",
"../_sources/pattern_tutorial/6000_T-Shirt_Basic_cut-in.rst.txt",
"#",
"../search.html",
"../_static/jquery.js",
"pants.html",
"BLK_W_Skirt.html",
"../_images/tc04.png",
"../mypad/index.html",
"6000_T-Shirt_Basic.html",
"../_static/underscore.js",
"6200_T-Shirt_Raglan.html",
"../_static/fonts/open-sans/stylesheet.css",
"../pattern/index.html",
"../_static/pygments.css",
"../_images/tc02.png",
"lady_brife.html",
"BLK_M_Shirt.html",
"../_images/tc01.png",
"../marker/index.html",
"../_static/guzzle.css",
"../genindex.html",
"../resources/index.html",
"../_static/documentation_options.js"
],
"httpBodyMetaTags": {},
"httpBodyByteSize": 8535,
"httpBodyPageTitle": "6000 T-Shirt Basic Cut-in — PAD System Document System documentation"
},
"/knowledge/manuals/en/pattern_tutorial/skirt-A.html": {
"date": "2026-02-13T15:36:08Z",
"httpProtocol": "http/1.1, tls/1.2",
"httpStatus": 200,
"ipAddress": "218.189.80.5",
"ipASN": "HGC Global Communications Limited",
"ipCountry": "Hong Kong",
"httpHeaderHash": "SMHXNZKNP77PVASN6CLO5RDNRNTNL7OM",
"httpHeaderTechnologies": [
"CherryPy:18.8.0"
],
"httpHeaderUrls": [],
"httpHeaderByteSize": 302,
"httpBodyHash": "44PO46RU5NMTWSX6SAXTBVFX6U5IVEOB",
"httpBodyTechnologies": [
"Bootstrap",
"Underscore.js",
"jQuery",
"Pygments"
],
"httpBodyUrls": [
"#size",
"#steps",
"#a-line-skirt",
"../_images/skirt-A-011.jpg",
"../_images/skirt-A-016.jpg",
"../_images/skirt-A-019.jpg",
"BLK_M_Shirt.html",
"6700_t_shirt.html",
"../marker/index.html",
"basic-top-pattern.html",
"../_images/tool-curve2.png",
"../_static/fonts/open-sans/stylesheet.css",
"../_images/skirt-A-009.jpg",
"../_static/doctools.js",
"6200_T-Shirt_Raglan.html",
"../_images/skirt-A-003.jpg",
"../_images/skirt-A-010.jpg",
"../_images/tool-segment_length2.png",
"../_static/css/bootstrap-theme.min.css",
"../search.html",
"../genindex.html",
"../_static/jquery.js",
"../_static/pygments.css",
"../_images/formula-A-001.jpg",
"../resources/index.html",
"../_images/skirt-A-004.jpg",
"../_images/skirt-A-007.jpg",
"../_images/skirt-A-013.jpg",
"../_images/tool-rectangle2.png",
"6000_T-Shirt_Basic.html",
"http://sphinx.pocoo.org/",
"../_images/skirt-A-012.jpg",
"6000_T-Shirt_Basic_cut-in.html",
"../_images/tool-seam_allowance1.png",
"../_static/documentation_options.js",
"../utilities/index.html",
"index.html",
"pants.html",
"../_images/skirt-A-014.jpg",
"../_images/tool-segment_sync1.png",
"BLK_W_Skirt.html",
"blk_m_t_shirt.html",
"../_images/skirt-A-002.jpg",
"../_static/js/bootstrap.js",
"../_sources/pattern_tutorial/skirt-A.rst.txt",
"../pattern/index.html",
"../_static/underscore.js",
"../_images/skirt-A-008.jpg",
"../_images/tool-parallel_line2.png",
"../_images/skirt-A-006.jpg",
"../_images/skirt-A-017.jpg",
"../_images/tool-segment2.png",
"../_images/tool002.jpg",
"#",
"../_static/guzzle.css",
"../_images/tool001.png",
"../_images/tool-point2.png",
"../_static/css/bootstrap.min.css",
"../index.html",
"../_images/skirt-A-018.jpg",
"../_images/tool-mirror.png",
"lady_brife.html",
"../_images/tool-dart2.png",
"../_images/skirt-A-001.jpg",
"../_images/skirt-A-005.jpg",
"../_images/tool-divide-segment.png",
"../mypad/index.html",
"Bra_basic_block.html",
"../_images/skirt-A-015.jpg",
"../_static/fonts/source-serif-pro/source-serif-pro.css"
],
"httpBodyMetaTags": {},
"httpBodyByteSize": 17467,
"httpBodyPageTitle": "A-Line Skirt — PAD System Document System documentation"
}
},
"radt.info": {
"/": {
"date": "2026-02-14T13:17:42Z",
"httpProtocol": "http/1.1",
"httpStatus": 200,
"ipAddress": "64.111.99.149",
"ipASN": "New Dream Network, LLC",
"ipCountry": "United States",
"httpHeaderHash": "PWHA2EFU2M2C3WKQDF6MH5EQCFHK3QIM",
"httpHeaderTechnologies": [
"CherryPy:18.8.0"
],
"httpHeaderUrls": [],
"httpHeaderByteSize": 310,
"httpBodyHash": "GVH5O6GN4AI6NDIPNWKTQWJVXKZ6YNDW",
"httpBodyTechnologies": [
"jQuery:1.11.1"
],
"httpBodyUrls": [
"static/css/radt.css",
"static/pdf/2026-02-08.pdf",
"static/js/jquery-1.11.1.min.js",
"static/site-images/favicon.png",
"static/js/jquery.mobile.datepicker.js",
"static/pdf/Calendario_Febrero_2026.pdf",
"static/site-images/apple-touch-icon.png",
"static/site-images/Rios-Al-Desierto-Logo-Blanco.png",
"static/js/jquery.mobile-1.4.5.min.js",
"static/css/jquery.mobile.icons.min.css",
"static/css/jquery.mobile.structure-1.4.5.min.css",
"static/site-images/logo-riosaldesierto-blue-white.png"
],
"httpBodyMetaTags": {},
"httpBodyByteSize": 6415,
"httpBodyPageTitle": "Info - Ríos al Desierto"
}
},
"thelordsway.com": {
"/run?d=/public/TheLordsWay": {
"date": "2026-02-13T12:24:33Z",
"httpProtocol": "http/1.1, tls/1.3",
"httpStatus": 200,
"ipAddress": "107.131.171.170",
"ipASN": "AT\u0026T Enterprises, LLC",
"ipCountry": "United States",
"httpHeaderHash": "SCHTC4INU74UOFLP3XCPY4YWND4F4OHJ",
"httpHeaderTechnologies": [
"CherryPy:18.8.0"
],
"httpHeaderUrls": [],
"httpHeaderByteSize": 1093,
"httpBodyHash": "YA3WJHHTBEEV7U4IRZLLCI6JPULHZ6V6",
"httpBodyTechnologies": [
"jQuery UI:1.13.2",
"jQuery:3.5.1"
],
"httpBodyUrls": [
"/js9.0-268004/jquery-3.5.1.min.js",
"/js9.0-268004/jquery.autosize.min.js",
"/js9.0-268004/jquery-ui-1.13.2.min.js",
"/shared9.0-268004/js/jquery.blockUI.js",
"/css9.0-268004/jquery-ui-1.13.2.min.css",
"/css9.0-268004/webapp.css",
"/images/mobiletogether.ico",
"/js9.0-268004/webapp.min.js"
],
"httpBodyMetaTags": {},
"httpBodyByteSize": 1870,
"httpBodyPageTitle": null
}
}
}