{
	"id":"TpHhMmSsMx",
	"spec":{
		"t":"list",
		"bounds":{
			"t":"bounds",
			"from":[[{ "t":"factor", "arg0":{"t":"integer", "value":3}, "quals0":[], "arg1":null, "quals1":null }]],
			"to":[[{ "t":"factor", "arg0":{"t":"integer", "value":4}, "quals0":[], "arg1":null, "quals1":null }]]
		},
		"spec":{"t":"integer"},
		"unique":false
	},
	"t":"type",
	"wheres":[
		{
			"t":"where",
			"id":"minLess60",
			"expr":{
				"t":"expr",
				"arg0":[[
					{
						"t":"factor",
						"arg0":{
							"t":"bifct",
							"id":"abs",
							"values":[
								{
									"arg0":[[
										{
											"t":"factor",
											"arg0":{"id":"self","t":"biconst"},
											"quals0":[
												{
													"t":"idx_qual",
													"idxStart":[[
														{
															"t":"factor",
															"arg0":{"t":"integer", "value":2},
															"quals0":[],
															"arg1":null,
															"quals1":null
														}
													]],
													"idxEnd":[]
												}
											],
											"arg1":null,
											"quals1":null
										}
									]],
									"op":null,
									"arg1":null,
									"t":"expr"
								}
							]
						},
						"quals0":[],
						"arg1":null,
						"quals1":null
					}
				]],
				"op":{"t":"relopext", "id":"lt"},
				"arg1":[[
					{
						"t":"factor",
						"arg0":{"t":"integer","value":60},
						"quals0":[],
						"arg1":null,
						"quals1":null
					}
				]]
			}
		},
		{
			"t":"where",
			"id":"secLess60",
			"expr":{
				"t":"expr",
				"arg0":[[
					{
						"t":"factor",
						"arg0":{
							"t":"bifct",
							"id":"abs",
							"values":[
								{
									"arg0":[[
										{
											"t":"factor",
											"arg0":{"id":"self","t":"biconst"},
											"quals0":[
												{
													"t":"idx_qual",
													"idxStart":[[
														{
															"t":"factor",
															"arg0":{"t":"integer", "value":3},
															"quals0":[],
															"arg1":null,
															"quals1":null
														}
													]],
													"idxEnd":[]
												}
											],
											"arg1":null,
											"quals1":null
										}
									]],
									"op":null,
									"arg1":null,
									"t":"expr"
								}
							]
						},
						"quals0":[],
						"arg1":null,
						"quals1":null
					}
				]],
				"op":{"t":"relopext", "id":"lt"},
				"arg1":[[
					{
						"t":"factor",
						"arg0":{"t":"integer","value":60},
						"quals0":[],
						"arg1":null,
						"quals1":null
					}
				]]
			}
		},
		{
			"t":"where",
			"id":"msecLess1000",
			"expr":{
				"t":"expr",
				"arg0":[
					[
						{
							"t":"factor",
							"arg0":{
								"t":"parenthesis",
								"expr":{
									"t":"expr",
									"arg0":[[
										{
											"t":"factor",
											"arg0":{
												"t":"bifct",
												"id":"sizeof",
												"values":[
													{
														"t":"expr",
														"arg0":[[{
															"t":"factor",
															"arg0":{"t":"biconst", "id":"self"},
															"quals0":[],
															"arg1":null,
															"quals1":null
														}]],
														"op":null,
														"arg1":null
													}
												]
											},
											"quals0":[],
											"arg1":null,
											"quals1":null
										}
										]],
									"op":{"t":"relopext", "id":"eq"},
									"arg1":[[
										{
											"t":"factor",
											"arg0":{"t":"integer","value":3},
											"quals0":[],
											"arg1":null,
											"quals1":null
										}
									]]
								}
							},
							"quals0":[],
							"arg1":null,
							"quals1":null
						}
					],
					{"t":"addlikeop", "id":"or"},
					[
						{
							"t":"factor",
							"arg0":{
								"t":"parenthesis",
								"expr":{
									"t":"expr",
									"arg0":[[
										{
											"t":"factor",
											"arg0":{
												"t":"bifct",
												"id":"abs",
												"values":[
													{
														"t":"expr",
														"arg0":[[{
															"t":"factor",
															"arg0":{"t":"biconst", "id":"self"},
															"quals0":[
																{
																	"t":"idx_qual",
																	"idxStart":[[
																		{
																			"t":"factor",
																			"arg0":{"t":"integer", "value":4},
																			"quals0":[],
																			"arg1":null,
																			"quals1":null
																		}
																	]],
																	"idxEnd":[]
																}
															],
															"arg1":null,
															"quals1":null
														}]],
														"op":null,
														"arg1":null
													}
												]
											},
											"quals0":[],
											"arg1":null,
											"quals1":null
										}
										]],
									"op":{"t":"relopext", "id":"lt"},
									"arg1":[[
										{
											"t":"factor",
											"arg0":{"t":"integer","value":1000},
											"quals0":[],
											"arg1":null,
											"quals1":null
										}
									]]
								}
							},
							"quals0":[],
							"arg1":null,
							"quals1":null
						}
					]
				],
				"op":null,
				"arg1":null
			}
		},
		{
			"t":"where",
			"id":"oneSignOrNone",
			"expr":{
				"t":"expr",
				"arg0":[[{
					"t":"factor",
					"arg0":{
						"t":"parenthesis",
						"expr":{
							"t":"expr",
							"arg0":[[
								{
									"t":"factor",
									"arg0":{
										"t":"parenthesis",
										"expr":{
											"t":"expr",
											"arg0":[[{
												"t":"factor",
												"arg0":{"t":"biconst", "id":"self"},
												"arg1":null,
												"quals0":[{
													"t":"idx_qual",
													"idxStart":[[{
														"t":"factor",
														"arg0":{"t":"integer", "value":2},
														"quals0":[],
														"arg1":null,
														"quals1":null
													}]],
													"idxEnd":[]
												}],
												"quals1":null
											}]],
											"op":{"t":"relopext", "id":"ge"},
											"arg1":[[{
												"t":"factor",
												"arg0":{"t":"integer", "value":0},
												"quals0":[],
												"arg1":null,
												"quals1":null
											}]]
										}
									},
									"quals0":[],
									"arg1":null,
									"quals1":null
								},
								{"t":"multlikeop", "id":"and"},
								{
									"t":"factor",
									"arg0":{
										"t":"parenthesis",
										"expr":{
											"t":"expr",
											"arg0":[[{
												"t":"factor",
												"arg0":{"t":"biconst", "id":"self"},
												"quals0":[{
													"t":"idx_qual",
													"idxStart":[[
														{
															"t":"factor",
															"arg0":{"t":"integer", "value":3},
															"quals0":[],
															"arg1":null,
															"quals1":null
														}
													]],
													"idxEnd":[]
												}],
												"arg1":null,
												"quals1":null
											}]],
											"op":{"t":"relopext", "id":"ge"},
											"arg1":[[{
												"t":"factor",
												"arg0":{"t":"integer", "value":0},
												"quals0":[],
												"arg1":null,
												"quals1":null
											}]]
										}
									},
									"quals0":[],
									"arg1":null,
									"quals1":null
								},
								{"t":"multlikeop", "id":"and"},
								{
									"t":"factor",
									"arg0":{
										"t":"parenthesis",
										"expr":{
											"t":"expr",
											"arg0":[
												[
													{
														"t":"factor",
														"arg0":{
															"t":"parenthesis",
															"expr":{
																"t":"expr",
																"arg0":[[{
																	"t":"factor",
																	"arg0":{
																		"t":"bifct",
																		"id":"sizeof",
																		"values":[{
																			"t":"expr",
																			"arg0":[[{
																				"t":"factor",
																				"arg0":{"t":"biconst", "id":"self"},
																				"quals0":[],
																				"arg1":null,
																				"quals1":null
																			}]],
																			"op":null,
																			"arg1":null
																		}]
																	},
																	"quals0":[],
																	"arg1":null,
																	"quals1":null
																}]],
																"op":{"t":"relopext", "id":"eq"},
																"arg1":[[{
																	"t":"factor",
																	"arg0":{"t":"integer", "value":3},
																	"quals0":[],
																	"arg1":null,
																	"quals1":null
																}]]
															}
														},
														"quals0":[],
														"arg1":null,
														"quals1":null
													}
												],
												{"id":"or","t":"addlikeop"},
												[
													{
														"t":"factor",
														"arg0":{
															"t":"parenthesis",
															"expr":{
																"t":"expr",
																"arg0":[[{
																	"t":"factor",
																	"arg0":{"id":"self","t":"biconst"},
																	"arg1":null,
																	"quals0":[{
																		"t":"idx_qual",
																		"idxStart":[[{
																			"t":"factor",
																			"arg0":{"t":"integer", "value":4},
																			"quals0":[],
																			"arg1":null,
																			"quals1":null
																		}]],
																		"idxEnd":[]
																	}],
																	"quals1":null
																}]],
																"op":{"t":"relopext", "id":"ge"},
																"arg1":[[{
																	"t":"factor",
																	"arg0":{"t":"integer", "value":0},
																	"quals0":[],
																	"arg1":null,
																	"quals1":null
																}]]
															}
														},
														"quals0":[],
														"arg1":null,
														"quals1":null
													}
												]
											],
											"op":null,
											"arg1":null
										}
									},
									"quals0":[],
									"arg1":null,
									"quals1":null
								}
							]],
							"op":null,
							"arg1":null
						}
					},
					"quals0":[],
					"arg1":null,
					"quals1":null
				}]],
				"op":null,
				"arg1":null
			}
		}
	]
}