Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SWV506-1.030/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	hyp497.p	2024-10-04 18:21	98
	hyp496.p	2024-10-04 18:21	98
	hyp495.p	2024-10-04 18:21	98
	hyp494.p	2024-10-04 18:21	98
	hyp493.p	2024-10-04 18:21	98
	hyp492.p	2024-10-04 18:21	98
	hyp491.p	2024-10-04 18:21	98
	hyp490.p	2024-10-04 18:21	98
	hyp489.p	2024-10-04 18:21	99
	hyp488.p	2024-10-04 18:21	99
	hyp487.p	2024-10-04 18:21	99
	hyp486.p	2024-10-04 18:21	99
	hyp485.p	2024-10-04 18:21	99
	hyp484.p	2024-10-04 18:21	99
	hyp483.p	2024-10-04 18:21	99
	hyp482.p	2024-10-04 18:21	99
	hyp481.p	2024-10-04 18:21	99
	hyp480.p	2024-10-04 18:21	99
	hyp479.p	2024-10-04 18:21	99
	hyp478.p	2024-10-04 18:21	99
	hyp477.p	2024-10-04 18:21	99
	hyp476.p	2024-10-04 18:21	99
	hyp475.p	2024-10-04 18:21	99
	hyp474.p	2024-10-04 18:21	99
	hyp473.p	2024-10-04 18:21	99
	hyp472.p	2024-10-04 18:21	99
	hyp471.p	2024-10-04 18:21	99
	hyp470.p	2024-10-04 18:21	99
	hyp469.p	2024-10-04 18:21	99
	hyp468.p	2024-10-04 18:21	98
	hyp467.p	2024-10-04 18:21	98
	hyp466.p	2024-10-04 18:21	98
	hyp465.p	2024-10-04 18:21	98
	hyp464.p	2024-10-04 18:21	98
	hyp463.p	2024-10-04 18:21	98
	hyp462.p	2024-10-04 18:21	98
	hyp461.p	2024-10-04 18:21	99
	hyp460.p	2024-10-04 18:21	99
	hyp459.p	2024-10-04 18:21	99
	hyp458.p	2024-10-04 18:21	99
	hyp457.p	2024-10-04 18:21	99
	hyp456.p	2024-10-04 18:21	99
	hyp455.p	2024-10-04 18:21	99
	hyp454.p	2024-10-04 18:21	99
	hyp453.p	2024-10-04 18:21	99
	hyp452.p	2024-10-04 18:21	99
	hyp451.p	2024-10-04 18:21	99
	hyp450.p	2024-10-04 18:21	99
	hyp449.p	2024-10-04 18:21	99
	hyp448.p	2024-10-04 18:21	99
	hyp447.p	2024-10-04 18:21	99
	hyp446.p	2024-10-04 18:21	99
	hyp445.p	2024-10-04 18:21	99
	hyp444.p	2024-10-04 18:21	99
	hyp443.p	2024-10-04 18:21	99
	hyp442.p	2024-10-04 18:21	99
	hyp441.p	2024-10-04 18:21	99
	hyp440.p	2024-10-04 18:21	98
	hyp439.p	2024-10-04 18:21	98
	hyp438.p	2024-10-04 18:21	98
	hyp437.p	2024-10-04 18:21	98
	hyp436.p	2024-10-04 18:21	98
	hyp435.p	2024-10-04 18:21	98
	hyp434.p	2024-10-04 18:21	99
	hyp433.p	2024-10-04 18:21	99
	hyp432.p	2024-10-04 18:21	99
	hyp431.p	2024-10-04 18:21	99
	hyp430.p	2024-10-04 18:21	99
	hyp429.p	2024-10-04 18:21	99
	hyp428.p	2024-10-04 18:21	99
	hyp427.p	2024-10-04 18:21	99
	hyp426.p	2024-10-04 18:21	99
	hyp425.p	2024-10-04 18:21	99
	hyp424.p	2024-10-04 18:21	99
	hyp423.p	2024-10-04 18:21	99
	hyp422.p	2024-10-04 18:21	99
	hyp421.p	2024-10-04 18:21	99
	hyp420.p	2024-10-04 18:21	99
	hyp419.p	2024-10-04 18:21	99
	hyp418.p	2024-10-04 18:21	99
	hyp417.p	2024-10-04 18:21	99
	hyp416.p	2024-10-04 18:21	99
	hyp415.p	2024-10-04 18:21	99
	hyp414.p	2024-10-04 18:21	99
	hyp413.p	2024-10-04 18:21	98
	hyp412.p	2024-10-04 18:21	98
	hyp411.p	2024-10-04 18:21	98
	hyp410.p	2024-10-04 18:21	98
	hyp409.p	2024-10-04 18:21	98
	hyp408.p	2024-10-04 18:21	99
	hyp407.p	2024-10-04 18:21	99
	hyp406.p	2024-10-04 18:21	99
	hyp405.p	2024-10-04 18:21	99
	hyp404.p	2024-10-04 18:21	99
	hyp403.p	2024-10-04 18:21	99
	hyp402.p	2024-10-04 18:21	99
	hyp401.p	2024-10-04 18:21	99
	hyp400.p	2024-10-04 18:21	99
	hyp399.p	2024-10-04 18:21	99
	hyp398.p	2024-10-04 18:21	99
	hyp397.p	2024-10-04 18:21	99
	hyp396.p	2024-10-04 18:21	99
	hyp395.p	2024-10-04 18:21	99
	hyp394.p	2024-10-04 18:21	99
	hyp393.p	2024-10-04 18:21	99
	hyp392.p	2024-10-04 18:21	99
	hyp391.p	2024-10-04 18:21	99
	hyp390.p	2024-10-04 18:21	99
	hyp389.p	2024-10-04 18:21	99
	hyp388.p	2024-10-04 18:21	99
	hyp387.p	2024-10-04 18:21	98
	hyp386.p	2024-10-04 18:21	98
	hyp385.p	2024-10-04 18:21	98
	hyp384.p	2024-10-04 18:21	98
	hyp383.p	2024-10-04 18:21	99
	hyp382.p	2024-10-04 18:21	99
	hyp381.p	2024-10-04 18:21	99
	hyp380.p	2024-10-04 18:21	99
	hyp379.p	2024-10-04 18:21	99
	hyp378.p	2024-10-04 18:21	99
	hyp377.p	2024-10-04 18:21	99
	hyp376.p	2024-10-04 18:21	99
	hyp375.p	2024-10-04 18:21	99
	hyp374.p	2024-10-04 18:21	99
	hyp373.p	2024-10-04 18:21	99
	hyp372.p	2024-10-04 18:21	99
	hyp371.p	2024-10-04 18:21	99
	hyp370.p	2024-10-04 18:21	99
	hyp369.p	2024-10-04 18:21	99
	hyp368.p	2024-10-04 18:21	99
	hyp367.p	2024-10-04 18:21	99
	hyp366.p	2024-10-04 18:21	99
	hyp365.p	2024-10-04 18:21	99
	hyp364.p	2024-10-04 18:21	99
	hyp363.p	2024-10-04 18:21	99
	hyp362.p	2024-10-04 18:21	98
	hyp361.p	2024-10-04 18:21	98
	hyp360.p	2024-10-04 18:21	98
	hyp359.p	2024-10-04 18:21	99
	hyp358.p	2024-10-04 18:21	99
	hyp357.p	2024-10-04 18:21	99
	hyp356.p	2024-10-04 18:21	99
	hyp355.p	2024-10-04 18:21	99
	hyp354.p	2024-10-04 18:21	99
	hyp353.p	2024-10-04 18:21	99
	hyp352.p	2024-10-04 18:21	99
	hyp351.p	2024-10-04 18:21	99
	hyp350.p	2024-10-04 18:21	99
	hyp349.p	2024-10-04 18:21	99
	hyp348.p	2024-10-04 18:21	99
	hyp347.p	2024-10-04 18:21	99
	hyp346.p	2024-10-04 18:21	99
	hyp345.p	2024-10-04 18:21	99
	hyp344.p	2024-10-04 18:21	99
	hyp343.p	2024-10-04 18:21	99
	hyp342.p	2024-10-04 18:21	99
	hyp341.p	2024-10-04 18:21	99
	hyp340.p	2024-10-04 18:21	99
	hyp339.p	2024-10-04 18:21	99
	hyp338.p	2024-10-04 18:21	98
	hyp337.p	2024-10-04 18:21	98
	hyp336.p	2024-10-04 18:21	99
	hyp335.p	2024-10-04 18:21	99
	hyp334.p	2024-10-04 18:21	99
	hyp333.p	2024-10-04 18:21	99
	hyp332.p	2024-10-04 18:21	99
	hyp331.p	2024-10-04 18:21	99
	hyp330.p	2024-10-04 18:21	99
	hyp329.p	2024-10-04 18:21	99
	hyp328.p	2024-10-04 18:21	99
	hyp327.p	2024-10-04 18:21	99
	hyp326.p	2024-10-04 18:21	99
	hyp325.p	2024-10-04 18:21	99
	hyp324.p	2024-10-04 18:21	99
	hyp323.p	2024-10-04 18:21	99
	hyp322.p	2024-10-04 18:21	99
	hyp321.p	2024-10-04 18:21	99
	hyp320.p	2024-10-04 18:21	99
	hyp319.p	2024-10-04 18:21	99
	hyp318.p	2024-10-04 18:21	99
	hyp317.p	2024-10-04 18:21	99
	hyp316.p	2024-10-04 18:21	99
	hyp315.p	2024-10-04 18:21	98
	hyp314.p	2024-10-04 18:21	99
	hyp313.p	2024-10-04 18:21	99
	hyp312.p	2024-10-04 18:21	99
	hyp311.p	2024-10-04 18:21	99
	hyp310.p	2024-10-04 18:21	99
	hyp309.p	2024-10-04 18:21	99
	hyp308.p	2024-10-04 18:21	99
	hyp307.p	2024-10-04 18:21	99
	hyp306.p	2024-10-04 18:21	99
	hyp305.p	2024-10-04 18:21	99
	hyp304.p	2024-10-04 18:21	99
	hyp303.p	2024-10-04 18:21	99
	hyp302.p	2024-10-04 18:21	99
	hyp301.p	2024-10-04 18:21	99
	hyp300.p	2024-10-04 18:21	99
	hyp299.p	2024-10-04 18:21	99
	hyp298.p	2024-10-04 18:21	99
	hyp297.p	2024-10-04 18:21	99
	hyp296.p	2024-10-04 18:21	99
	hyp295.p	2024-10-04 18:21	99
	hyp294.p	2024-10-04 18:21	99
	hyp293.p	2024-10-04 18:21	99
	hyp292.p	2024-10-04 18:21	99
	hyp291.p	2024-10-04 18:21	99
	hyp290.p	2024-10-04 18:21	99
	hyp289.p	2024-10-04 18:21	99
	hyp288.p	2024-10-04 18:21	99
	hyp287.p	2024-10-04 18:21	99
	hyp286.p	2024-10-04 18:21	99
	hyp285.p	2024-10-04 18:21	99
	hyp284.p	2024-10-04 18:21	99
	hyp283.p	2024-10-04 18:21	99
	hyp282.p	2024-10-04 18:21	99
	hyp281.p	2024-10-04 18:21	99
	hyp280.p	2024-10-04 18:21	99
	hyp279.p	2024-10-04 18:21	99
	hyp278.p	2024-10-04 18:21	99
	hyp277.p	2024-10-04 18:21	99
	hyp276.p	2024-10-04 18:21	99
	hyp275.p	2024-10-04 18:21	99
	hyp274.p	2024-10-04 18:21	99
	hyp273.p	2024-10-04 18:21	99
	hyp272.p	2024-10-04 18:21	100
	hyp271.p	2024-10-04 18:21	100
	hyp270.p	2024-10-04 18:21	100
	hyp269.p	2024-10-04 18:21	100
	hyp268.p	2024-10-04 18:21	100
	hyp267.p	2024-10-04 18:21	100
	hyp266.p	2024-10-04 18:21	100
	hyp265.p	2024-10-04 18:21	100
	hyp264.p	2024-10-04 18:21	100
	hyp263.p	2024-10-04 18:21	100
	hyp262.p	2024-10-04 18:21	100
	hyp261.p	2024-10-04 18:21	100
	hyp260.p	2024-10-04 18:21	100
	hyp259.p	2024-10-04 18:21	100
	hyp258.p	2024-10-04 18:21	100
	hyp257.p	2024-10-04 18:21	100
	hyp256.p	2024-10-04 18:21	100
	hyp255.p	2024-10-04 18:21	100
	hyp254.p	2024-10-04 18:21	100
	hyp253.p	2024-10-04 18:21	100
	hyp252.p	2024-10-04 18:21	100
	hyp251.p	2024-10-04 18:21	100
	hyp250.p	2024-10-04 18:21	100
	hyp249.p	2024-10-04 18:21	100
	hyp248.p	2024-10-04 18:21	100
	hyp247.p	2024-10-04 18:21	100
	hyp246.p	2024-10-04 18:21	100
	hyp245.p	2024-10-04 18:21	100
	hyp244.p	2024-10-04 18:21	100
	hyp243.p	2024-10-04 18:21	100
	hyp242.p	2024-10-04 18:21	100
	hyp241.p	2024-10-04 18:21	100
	hyp240.p	2024-10-04 18:21	100
	hyp239.p	2024-10-04 18:21	100
	hyp238.p	2024-10-04 18:21	100
	hyp237.p	2024-10-04 18:21	100
	hyp236.p	2024-10-04 18:21	100
	hyp235.p	2024-10-04 18:21	100
	hyp234.p	2024-10-04 18:21	100
	hyp233.p	2024-10-04 18:21	100
	hyp232.p	2024-10-04 18:21	100
	hyp231.p	2024-10-04 18:21	100
	hyp230.p	2024-10-04 18:21	100
	hyp229.p	2024-10-04 18:21	100
	hyp228.p	2024-10-04 18:21	100
	hyp227.p	2024-10-04 18:21	100
	hyp226.p	2024-10-04 18:21	100
	hyp225.p	2024-10-04 18:21	100
	hyp224.p	2024-10-04 18:21	100
	hyp223.p	2024-10-04 18:21	100
	hyp222.p	2024-10-04 18:21	100
	hyp221.p	2024-10-04 18:21	100
	hyp220.p	2024-10-04 18:21	100
	hyp219.p	2024-10-04 18:21	100
	hyp218.p	2024-10-04 18:21	100
	hyp217.p	2024-10-04 18:21	100
	hyp216.p	2024-10-04 18:21	100
	hyp215.p	2024-10-04 18:21	100
	hyp214.p	2024-10-04 18:21	100
	hyp213.p	2024-10-04 18:21	100
	hyp212.p	2024-10-04 18:21	100
	hyp211.p	2024-10-04 18:21	100
	hyp210.p	2024-10-04 18:21	100
	hyp209.p	2024-10-04 18:21	100
	hyp208.p	2024-10-04 18:21	100
	hyp207.p	2024-10-04 18:21	100
	hyp206.p	2024-10-04 18:21	100
	hyp205.p	2024-10-04 18:21	100
	hyp204.p	2024-10-04 18:21	100
	hyp203.p	2024-10-04 18:21	100
	hyp202.p	2024-10-04 18:21	100
	hyp201.p	2024-10-04 18:21	100
	hyp200.p	2024-10-04 18:21	100
	hyp199.p	2024-10-04 18:21	100
	hyp198.p	2024-10-04 18:21	100
	hyp197.p	2024-10-04 18:21	100
	hyp196.p	2024-10-04 18:21	100
	hyp195.p	2024-10-04 18:21	100
	hyp194.p	2024-10-04 18:21	100
	hyp193.p	2024-10-04 18:21	100
	hyp192.p	2024-10-04 18:21	100
	hyp191.p	2024-10-04 18:21	100
	hyp190.p	2024-10-04 18:21	100
	hyp189.p	2024-10-04 18:21	100
	hyp188.p	2024-10-04 18:21	100
	hyp187.p	2024-10-04 18:21	100
	hyp186.p	2024-10-04 18:21	100
	hyp185.p	2024-10-04 18:21	100
	hyp184.p	2024-10-04 18:21	100
	hyp183.p	2024-10-04 18:21	100
	hyp182.p	2024-10-04 18:21	100
	hyp181.p	2024-10-04 18:21	100
	hyp180.p	2024-10-04 18:21	100
	hyp179.p	2024-10-04 18:21	100
	hyp178.p	2024-10-04 18:21	100
	hyp177.p	2024-10-04 18:21	100
	hyp176.p	2024-10-04 18:21	100
	hyp175.p	2024-10-04 18:21	100
	hyp174.p	2024-10-04 18:21	100
	hyp173.p	2024-10-04 18:21	100
	hyp172.p	2024-10-04 18:21	100
	hyp171.p	2024-10-04 18:21	100
	hyp170.p	2024-10-04 18:21	100
	hyp169.p	2024-10-04 18:21	100
	hyp168.p	2024-10-04 18:21	100
	hyp167.p	2024-10-04 18:21	100
	hyp166.p	2024-10-04 18:21	100
	hyp165.p	2024-10-04 18:21	100
	hyp164.p	2024-10-04 18:21	100
	hyp163.p	2024-10-04 18:21	100
	hyp162.p	2024-10-04 18:21	100
	hyp161.p	2024-10-04 18:21	100
	hyp160.p	2024-10-04 18:21	100
	hyp159.p	2024-10-04 18:21	100
	hyp158.p	2024-10-04 18:21	100
	hyp157.p	2024-10-04 18:21	100
	hyp156.p	2024-10-04 18:21	100
	hyp155.p	2024-10-04 18:21	100
	hyp154.p	2024-10-04 18:21	100
	hyp153.p	2024-10-04 18:21	100
	hyp152.p	2024-10-04 18:21	100
	hyp151.p	2024-10-04 18:21	100
	hyp150.p	2024-10-04 18:21	100
	hyp149.p	2024-10-04 18:21	100
	hyp148.p	2024-10-04 18:21	100
	hyp147.p	2024-10-04 18:21	100
	hyp146.p	2024-10-04 18:21	100
	hyp145.p	2024-10-04 18:21	100
	hyp144.p	2024-10-04 18:21	100
	hyp143.p	2024-10-04 18:21	100
	hyp142.p	2024-10-04 18:21	100
	hyp141.p	2024-10-04 18:21	100
	hyp140.p	2024-10-04 18:21	100
	hyp139.p	2024-10-04 18:21	100
	hyp138.p	2024-10-04 18:21	100
	hyp137.p	2024-10-04 18:21	100
	hyp136.p	2024-10-04 18:21	100
	hyp135.p	2024-10-04 18:21	100
	hyp134.p	2024-10-04 18:21	100
	hyp133.p	2024-10-04 18:21	100
	hyp132.p	2024-10-04 18:21	100
	hyp131.p	2024-10-04 18:21	100
	hyp130.p	2024-10-04 18:21	100
	hyp129.p	2024-10-04 18:21	100
	hyp128.p	2024-10-04 18:21	100
	hyp127.p	2024-10-04 18:21	100
	hyp126.p	2024-10-04 18:21	100
	hyp125.p	2024-10-04 18:21	100
	hyp124.p	2024-10-04 18:21	100
	hyp123.p	2024-10-04 18:21	100
	hyp122.p	2024-10-04 18:21	100
	hyp121.p	2024-10-04 18:21	100
	hyp120.p	2024-10-04 18:21	100
	hyp119.p	2024-10-04 18:21	100
	hyp118.p	2024-10-04 18:21	100
	hyp117.p	2024-10-04 18:21	100
	hyp116.p	2024-10-04 18:21	100
	hyp115.p	2024-10-04 18:21	100
	hyp114.p	2024-10-04 18:21	100
	hyp113.p	2024-10-04 18:21	100
	hyp112.p	2024-10-04 18:21	100
	hyp111.p	2024-10-04 18:21	100
	hyp110.p	2024-10-04 18:21	100
	hyp109.p	2024-10-04 18:21	100
	hyp108.p	2024-10-04 18:21	100
	hyp107.p	2024-10-04 18:21	100
	hyp106.p	2024-10-04 18:21	100
	hyp105.p	2024-10-04 18:21	100
	hyp104.p	2024-10-04 18:21	100
	hyp103.p	2024-10-04 18:21	100
	hyp102.p	2024-10-04 18:21	100
	hyp101.p	2024-10-04 18:21	100
	hyp100.p	2024-10-04 18:21	100
	hyp99.p	2024-10-04 18:21	99
	hyp98.p	2024-10-04 18:21	99
	hyp97.p	2024-10-04 18:21	99
	hyp96.p	2024-10-04 18:21	99
	hyp95.p	2024-10-04 18:21	99
	hyp94.p	2024-10-04 18:21	99
	hyp93.p	2024-10-04 18:21	99
	hyp92.p	2024-10-04 18:21	99
	hyp91.p	2024-10-04 18:21	99
	hyp90.p	2024-10-04 18:21	99
	hyp89.p	2024-10-04 18:21	99
	hyp88.p	2024-10-04 18:21	99
	hyp87.p	2024-10-04 18:21	99
	hyp86.p	2024-10-04 18:21	99
	hyp85.p	2024-10-04 18:21	99
	hyp84.p	2024-10-04 18:21	99
	hyp83.p	2024-10-04 18:21	99
	hyp82.p	2024-10-04 18:21	99
	hyp81.p	2024-10-04 18:21	99
	hyp80.p	2024-10-04 18:21	99
	hyp79.p	2024-10-04 18:21	99
	hyp78.p	2024-10-04 18:21	99
	hyp77.p	2024-10-04 18:21	99
	hyp76.p	2024-10-04 18:21	99
	hyp75.p	2024-10-04 18:21	99
	hyp74.p	2024-10-04 18:21	99
	hyp73.p	2024-10-04 18:21	99
	hyp72.p	2024-10-04 18:21	99
	hyp71.p	2024-10-04 18:21	99
	hyp70.p	2024-10-04 18:21	99
	hyp69.p	2024-10-04 18:21	99
	hyp68.p	2024-10-04 18:21	99
	hyp67.p	2024-10-04 18:21	99
	hyp66.p	2024-10-04 18:21	99
	hyp65.p	2024-10-04 18:21	99
	hyp64.p	2024-10-04 18:21	99
	hyp63.p	2024-10-04 18:21	99
	hyp62.p	2024-10-04 18:21	115
	hyp61.p	2024-10-04 18:21	119
	hyp60.p	2024-10-04 18:21	119
	hyp59.p	2024-10-04 18:21	119
	hyp58.p	2024-10-04 18:21	117
	hyp57.p	2024-10-04 18:21	119
	hyp56.p	2024-10-04 18:21	119
	hyp55.p	2024-10-04 18:21	119
	hyp54.p	2024-10-04 18:21	119
	hyp53.p	2024-10-04 18:21	119
	hyp52.p	2024-10-04 18:21	119
	hyp51.p	2024-10-04 18:21	117
	hyp50.p	2024-10-04 18:21	119
	hyp49.p	2024-10-04 18:21	119
	hyp48.p	2024-10-04 18:21	119
	hyp47.p	2024-10-04 18:21	117
	hyp46.p	2024-10-04 18:21	119
	hyp45.p	2024-10-04 18:21	119
	hyp44.p	2024-10-04 18:21	119
	hyp43.p	2024-10-04 18:21	117
	hyp42.p	2024-10-04 18:21	119
	hyp41.p	2024-10-04 18:21	117
	hyp40.p	2024-10-04 18:21	119
	hyp39.p	2024-10-04 18:21	119
	hyp38.p	2024-10-04 18:21	119
	hyp37.p	2024-10-04 18:21	119
	hyp36.p	2024-10-04 18:21	117
	hyp35.p	2024-10-04 18:21	119
	hyp34.p	2024-10-04 18:21	117
	hyp33.p	2024-10-04 18:21	117
	hyp32.p	2024-10-04 18:21	119
	hyp31.p	2024-10-04 18:21	117
	hyp30.p	2024-10-04 18:21	115
	hyp29.p	2024-10-04 18:21	117
	hyp28.p	2024-10-04 18:21	119
	hyp27.p	2024-10-04 18:21	119
	hyp26.p	2024-10-04 18:21	119
	hyp25.p	2024-10-04 18:21	119
	hyp24.p	2024-10-04 18:21	119
	hyp23.p	2024-10-04 18:21	119
	hyp22.p	2024-10-04 18:21	119
	hyp21.p	2024-10-04 18:21	119
	hyp20.p	2024-10-04 18:21	119
	hyp19.p	2024-10-04 18:21	119
	hyp18.p	2024-10-04 18:21	119
	hyp17.p	2024-10-04 18:21	119
	hyp16.p	2024-10-04 18:21	119
	hyp15.p	2024-10-04 18:21	119
	hyp14.p	2024-10-04 18:21	119
	hyp13.p	2024-10-04 18:21	119
	hyp12.p	2024-10-04 18:21	119
	hyp11.p	2024-10-04 18:21	119
	hyp10.p	2024-10-04 18:21	119
	hyp9.p	2024-10-04 18:21	118
	hyp8.p	2024-10-04 18:21	116
	hyp7.p	2024-10-04 18:21	116
	hyp6.p	2024-10-04 18:21	116
	hyp5.p	2024-10-04 18:21	116
	hyp4.p	2024-10-04 18:21	116
	hyp3.p	2024-10-04 18:21	116
	hyp2.p	2024-10-04 18:21	116
	hyp1.p	2024-10-04 18:21	116
	hyp0.p	2024-10-04 18:21	112
	goal.p	2024-10-04 18:21	104
	a2.p	2024-10-04 18:21	166
	a1.p	2024-10-04 18:21	136