2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								---
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								source: kcl-lib/src/simulation_tests.rs
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								description: Result of parsing washer.kcl
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								---
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								{
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  "Ok": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    "body": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "commentStart": 518,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "declaration": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "commentStart": 555,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								          "id": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "commentStart": 555,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "name": "innerDiameter",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "init": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "commentStart": 571,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "raw": "0.203",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            "value": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "value": 0.203,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "suffix": "None"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								          "type": "VariableDeclarator"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "kind": "const",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "preComments": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "// Define constants in inches (in)"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        ],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "type": "VariableDeclaration",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        "type": "VariableDeclaration"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "commentStart": 577,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "declaration": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "commentStart": 577,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								          "id": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "commentStart": 577,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "name": "outerDiameter",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "init": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "commentStart": 593,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "raw": "0.438",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            "value": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "value": 0.438,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "suffix": "None"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								          "type": "VariableDeclarator"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "kind": "const",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "type": "VariableDeclaration",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        "type": "VariableDeclaration"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "commentStart": 599,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "declaration": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "commentStart": 599,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								          "id": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "commentStart": 599,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "name": "thicknessMax",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "init": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "commentStart": 614,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "raw": "0.038",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            "value": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "value": 0.038,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "suffix": "None"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								          "type": "VariableDeclarator"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "kind": "const",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "type": "VariableDeclaration",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        "type": "VariableDeclaration"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "commentStart": 620,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "declaration": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "commentStart": 620,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								          "id": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "commentStart": 620,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "name": "thicknessMin",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "init": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "commentStart": 635,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "raw": "0.024",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            "value": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "value": 0.024,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "suffix": "None"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								          "type": "VariableDeclarator"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "kind": "const",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "type": "VariableDeclaration",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        "type": "VariableDeclaration"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "commentStart": 640,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "declaration": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "commentStart": 705,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								          "id": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "commentStart": 705,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "name": "washer",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "init": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            "body": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "body": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "commentStart": 745,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                  "declaration": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                    "commentStart": 785,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                    "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                    "id": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                      "commentStart": 785,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                      "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                      "name": "washerSketch",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                      "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                      "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                    },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                    "init": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                      "body": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                        {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "arguments": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                              "abs_path": false,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                              "commentStart": 814,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                              "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                              "name": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                "commentStart": 814,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                "name": "plane",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                              "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                              "type": "Name",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                            }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          ],
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "callee": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "abs_path": false,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "commentStart": 800,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "name": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "commentStart": 800,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "name": "startSketchOn",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                          },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                          "commentStart": 800,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                          "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                          "type": "CallExpression",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "type": "CallExpression"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                        },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                        {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "arguments": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "type": "LabeledArg",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "label": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "commentStart": 835,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                "name": "center",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "arg": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "commentStart": 844,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                "elements": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "commentStart": 845,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                    "raw": "0",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                    "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    "value": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                      "value": 0.0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                      "suffix": "None"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "commentStart": 848,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                    "raw": "0",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                    "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    "value": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                      "value": 0.0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                      "suffix": "None"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                ],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                "type": "ArrayExpression",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                "type": "ArrayExpression"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "type": "LabeledArg",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "label": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "commentStart": 852,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                "name": "radius",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "arg": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "commentStart": 861,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                "left": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                  "abs_path": false,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                  "commentStart": 861,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                  "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                  "name": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "commentStart": 861,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    "name": "outerDia",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                  "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                  "type": "Name",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                "operator": "/",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                "right": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                  "commentStart": 872,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                  "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                  "raw": "2",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                  "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                  "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  "value": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    "value": 2.0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    "suffix": "None"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                "type": "BinaryExpression",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                "type": "BinaryExpression"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          ],
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "callee": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "abs_path": false,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "commentStart": 828,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "name": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "commentStart": 828,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "name": "circle",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                          },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                          "commentStart": 828,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                          "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                          "type": "CallExpressionKw",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "type": "CallExpressionKw",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "unlabeled": null
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                        },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                        {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "arguments": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "arguments": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  "type": "LabeledArg",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  "label": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "commentStart": 894,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                    "name": "center",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                    "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  "arg": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "commentStart": 903,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                    "elements": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                      {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                        "commentStart": 904,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                        "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                        "raw": "0",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                        "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                        "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                        "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                        "value": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                          "value": 0.0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                          "suffix": "None"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                        }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                      },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                      {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                        "commentStart": 907,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                        "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                        "raw": "0",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                        "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                        "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                        "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                        "value": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                          "value": 0.0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                          "suffix": "None"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                        }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                      }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    ],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                    "type": "ArrayExpression",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    "type": "ArrayExpression"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  "type": "LabeledArg",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  "label": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "commentStart": 911,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                    "name": "radius",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                    "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  "arg": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "commentStart": 920,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                    "left": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                      "abs_path": false,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                      "commentStart": 920,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                      "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                      "name": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                        "commentStart": 920,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                        "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                        "name": "innerDia",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                        "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                        "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                      },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                      "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                      "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                      "type": "Name",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                      "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                    },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    "operator": "/",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    "right": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                      "commentStart": 931,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                      "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                      "raw": "2",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                      "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                      "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                      "type": "Literal",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                      "value": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                        "value": 2.0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                        "suffix": "None"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                      }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                    "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                                    "type": "BinaryExpression",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                    "type": "BinaryExpression"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              ],
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "callee": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "abs_path": false,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "commentStart": 887,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "name": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                  "commentStart": 887,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                  "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  "name": "circle",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                  "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                                "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                                "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                              },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                              "commentStart": 887,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                              "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                              "type": "CallExpressionKw",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "type": "CallExpressionKw",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "unlabeled": null
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                              "commentStart": 935,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                              "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                              "type": "PipeSubstitution",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "type": "PipeSubstitution"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          ],
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "callee": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "abs_path": false,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "commentStart": 882,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "name": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                              "commentStart": 882,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                              "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "name": "hole",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                          },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                          "commentStart": 882,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                          "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                          "type": "CallExpression",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "type": "CallExpression"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                        }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                      ],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                      "commentStart": 800,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                      "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                      "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                      "type": "PipeExpression",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                      "type": "PipeExpression"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                    },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                    "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                    "type": "VariableDeclarator"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                  },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                  "kind": "const",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "preComments": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                    "// Define the sketch of the washer"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                  ],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                  "type": "VariableDeclaration",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                  "type": "VariableDeclaration"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "commentStart": 937,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                  "declaration": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                    "commentStart": 941,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                    "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                    "id": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                      "commentStart": 941,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                      "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                      "name": "washer",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                      "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                      "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                    },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                    "init": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                      "arguments": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                        {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "type": "LabeledArg",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "label": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "commentStart": 972,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                            "name": "length",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                            "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "arg": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "abs_path": false,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "commentStart": 981,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "name": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                              "commentStart": 981,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                              "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "name": "thk",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                              "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                            "type": "Name",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                            "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                          }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                        }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                      ],
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                      "callee": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                        "abs_path": false,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                        "commentStart": 950,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                        "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                        "name": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                          "commentStart": 950,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                          "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "name": "extrude",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                        },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                        "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                        "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                        "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                      },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                      "commentStart": 950,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                      "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                      "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                      "type": "CallExpressionKw",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                      "type": "CallExpressionKw",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                      "unlabeled": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                        "abs_path": false,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                        "commentStart": 958,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                        "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                        "name": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                          "commentStart": 958,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                          "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "name": "washerSketch",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                          "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                        },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                        "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                        "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                        "type": "Name",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                        "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                      }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                    },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                    "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                    "type": "VariableDeclarator"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                  },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                  "kind": "const",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                  "type": "VariableDeclaration",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                  "type": "VariableDeclaration"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                  "argument": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                    "abs_path": false,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                    "commentStart": 995,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                    "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                    "name": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                      "commentStart": 995,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                      "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                      "name": "washer",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                      "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                      "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                    },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                    "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                    "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                    "type": "Name",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                    "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                  },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "commentStart": 988,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                  "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                  "type": "ReturnStatement",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                  "type": "ReturnStatement"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              ],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "commentStart": 745,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								              "nonCodeMeta": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "nonCodeNodes": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                  "0": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                    {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                      "commentStart": 937,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                      "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                      "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                      "type": "NonCodeNode",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                      "value": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                        "type": "newLine"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                      }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                    }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                  ]
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                "startNodes": []
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								              },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "start": 0
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "commentStart": 711,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "params": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "type": "Parameter",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "identifier": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "commentStart": 712,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                  "name": "plane",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                  "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "type": "Parameter",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "identifier": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "commentStart": 719,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                  "name": "innerDia",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                  "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "type": "Parameter",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "identifier": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "commentStart": 729,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                  "name": "outerDia",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                  "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "type": "Parameter",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "identifier": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "commentStart": 739,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                  "name": "thk",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                  "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								                  "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            ],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "type": "FunctionExpression",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            "type": "FunctionExpression"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								          "type": "VariableDeclarator"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "kind": "fn",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "preComments": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "// Write a function that defines the washer and extrude it."
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        ],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "type": "VariableDeclaration",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        "type": "VariableDeclaration"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "commentStart": 1003,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "expression": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "arguments": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "abs_path": false,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "commentStart": 1012,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "name": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "commentStart": 1012,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "name": "XY",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "type": "Name",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "abs_path": false,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "commentStart": 1016,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "name": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                "commentStart": 1016,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "name": "innerDiameter",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "type": "Name",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "abs_path": false,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "commentStart": 1031,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "name": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                "commentStart": 1031,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "name": "outerDiameter",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "type": "Name",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "abs_path": false,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "commentStart": 1046,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "name": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                "commentStart": 1046,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								                "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "name": "thicknessMax",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "type": "Name",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          ],
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "callee": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "abs_path": false,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "commentStart": 1005,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "name": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "commentStart": 1005,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "name": "washer",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								          },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "commentStart": 1005,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								          "type": "CallExpression",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "type": "CallExpression"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "type": "ExpressionStatement",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        "type": "ExpressionStatement"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    ],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								    "commentStart": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								    "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								    "innerAttrs": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "commentStart": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "name": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "commentStart": 486,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								          "name": "settings",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								          "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "preComments": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "// Washer",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "// A small, typically disk-shaped component with a hole in the middle, used in a wide range of applications, primarily in conjunction with fasteners like bolts and screws. Washers distribute the load of a fastener across a broader area. This is especially important when the fastening surface is soft or uneven, as it helps to prevent damage to the surface and ensures the load is evenly distributed, reducing the risk of the fastener becoming loose over time.",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "// Set units"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        ],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "properties": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "commentStart": 495,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "key": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "commentStart": 495,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								              "name": "defaultLengthUnit",
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								              "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            },
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "type": "ObjectProperty",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            "value": {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "abs_path": false,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "commentStart": 515,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "end": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "name": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "commentStart": 515,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "name": "in",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "start": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								                "type": "Identifier"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "path": [],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-24 20:58:55 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								              "type": "Name",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "type": "Name"
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        ],
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								        "type": "Annotation"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    ],
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    "nonCodeMeta": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      "nonCodeNodes": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        "4": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-26 08:53:34 -07:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "commentStart": 1003,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								            "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								            "type": "NonCodeNode",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            "value": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								              "type": "newLine"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        ]
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      "startNodes": [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        {
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 16:23:20 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "commentStart": 518,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-20 11:06:27 +13:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          "end": 0,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "start": 0,
							 
						 
					
						
							
								
									
										
										
										
											2025-03-06 18:01:24 -05:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								          "type": "NonCodeNode",
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          "value": {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								            "type": "newLine"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      ]
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    },
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    "start": 0
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								}