[
  "MachineTheory.Behavior",
  "MachineTheory.Transfer",
  "MachineTheory.Correction",
  "MachineTheory.Instrument",
  "MachineTheory.Feedback",
  "MachineTheory.Examples",
  "MachineTheory.Bayes",
  "MachineTheory.BayesianLumping",
  "MachineTheory.Refinement",
  "MachineTheory.Block02Examples",
  "MachineTheory.Planning",
  "MachineTheory.PlanningTransport",
  "MachineTheory.PlanningSensor",
  "MachineTheory.PlanningControls",
  "MachineTheory.Variation",
  "MachineTheory.ApproximateHistory",
  "MachineTheory.ApproximateDecision",
  "MachineTheory.ApproximationExamples",
  "MachineTheory.ResponseDecision",
  "MachineTheory.DecisionHistory",
  "MachineTheory.ResponseExamples",
  "MachineTheory.Recipient",
  "MachineTheory.RecipientExecution",
  "MachineTheory.RecipientExamples",
  "MachineTheory.HardPareto",
  "MachineTheory.HardInquiry",
  "MachineTheory.HardExecution",
  "MachineTheory.HardSemantics",
  "MachineTheory.HardExamples",
  "MachineTheory.HardControls",
  "MachineTheory.BinaryStructure",
  "MachineTheory.BinaryDiagnosis",
  "MachineTheory.BinaryExecution",
  "MachineTheory.BinaryCertificate",
  "MachineTheory.BinaryExamples",
  "MachineTheory.Synthesis",
  "MachineTheory.SynthesisQuotient",
  "MachineTheory.SynthesisTrace",
  "MachineTheory.SynthesisProtocol",
  "MachineTheory.SynthesisBudget",
  "MachineTheory.SynthesisExamples",
  "MachineTheory.PrefixScan",
  "MachineTheory.OrderedCompiler",
  "MachineTheory.PrefixSemantics",
  "MachineTheory.PrefixAdmission",
  "MachineTheory.PrefixExamples",
  "MachineTheory.DependencyGraph",
  "MachineTheory.Revision",
  "MachineTheory.RevisionReplay",
  "MachineTheory.RevisionAdmission",
  "MachineTheory.RevisionExamples",
  "MachineTheory.RevisionControls",
  "MachineTheory.ResourcePrices",
  "MachineTheory.WorkloadPricing",
  "MachineTheory.PriceExamples",
  "MachineTheory.PriceRevision",
  "MachineTheory.Lineage",
  "MachineTheory.LineageExamples",
  "MachineTheory.JointReconstruction",
  "MachineTheory.JointReconstructionExamples",
  "MachineTheory.LegalQuotient",
  "MachineTheory.LegalTrace",
  "MachineTheory.LegalQuotientExamples",
  "MachineTheory.FiniteFixedPoints",
  "MachineTheory.SafeEnding",
  "MachineTheory.SafeEndingPolicies",
  "MachineTheory.SafeEndingExamples",
  "MachineTheory.CommonQuotient",
  "MachineTheory.CommonQuotientInterface",
  "MachineTheory.DiscrepancyClosure",
  "MachineTheory.CommonQuotientExamples",
  "MachineTheory.PositivePackets",
  "MachineTheory.CoordinatePackets",
  "MachineTheory.PacketTransport",
  "MachineTheory.PositivePacketExamples",
  "MachineTheory.PartitionOccupancy",
  "MachineTheory.OccupancyBinary",
  "MachineTheory.OccupancyExamples",
  "MachineTheory"
]