TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml TRS/Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml TRS/Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml TRS/Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml TRS/Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml TRS/Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml TRS/Transformed_CSR_innermost_04/Ex25_Luc06_L.xml TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml TRS/Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml TRS/Transformed_CSR_innermost_04/Ex23_Luc06_L.xml TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml TRS/Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml TRS/Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml TRS/Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml TRS/Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml TRS/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml TRS/Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml TRS/Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml TRS/Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml TRS/Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml TRS/Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml TRS/Transformed_CSR_innermost_04/ExConc_Zan97_L.xml TRS/Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml TRS/Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml TRS/Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml TRS/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml TRS/Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml TRS/Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml TRS/Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml TRS/Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml TRS/Transformed_CSR_innermost_04/Ex18_Luc06_L.xml TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml TRS/Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml TRS/Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml TRS/Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml TRS/Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml TRS/Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml TRS/Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml TRS/Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml TRS/Transformed_CSR_innermost_04/PEANO_complete_iGM.xml TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml TRS/Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml TRS/Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml TRS/Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml TRS/Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml TRS/Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml TRS/Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml TRS/Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml TRS/ICFP_2010/96612.xml TRS/ICFP_2010/167087.xml TRS/ICFP_2010/3939.xml TRS/ICFP_2010/132957.xml TRS/ICFP_2010/4002.xml TRS/ICFP_2010/26127.xml TRS/ICFP_2010/4847.xml TRS/ICFP_2010/130304.xml TRS/ICFP_2010/4979.xml TRS/ICFP_2010/3989.xml TRS/ICFP_2010/135601.xml TRS/ICFP_2010/137799.xml TRS/ICFP_2010/48686.xml TRS/ICFP_2010/157466.xml TRS/ICFP_2010/26951.xml TRS/ICFP_2010/161930.xml TRS/ICFP_2010/96119.xml TRS/ICFP_2010/139018.xml TRS/ICFP_2010/264033.xml TRS/ICFP_2010/212308.xml TRS/ICFP_2010/51842.xml TRS/ICFP_2010/135505.xml TRS/ICFP_2010/167294.xml TRS/ICFP_2010/259405.xml TRS/ICFP_2010/137715.xml TRS/ICFP_2010/4029.xml TRS/ICFP_2010/188696.xml TRS/ICFP_2010/26110.xml TRS/ICFP_2010/139185.xml TRS/ICFP_2010/212062.xml TRS/ICFP_2010/26910.xml TRS/ICFP_2010/158208.xml TRS/ICFP_2010/91218.xml TRS/ICFP_2010/95952.xml TRS/ICFP_2010/43621.xml TRS/ICFP_2010/57132.xml TRS/ICFP_2010/137136.xml TRS/ICFP_2010/4200.xml TRS/ICFP_2010/3770.xml TRS/ICFP_2010/86745.xml TRS/ICFP_2010/96156.xml TRS/ICFP_2010/25775.xml TRS/ICFP_2010/149849.xml TRS/ICFP_2010/140287.xml TRS/ICFP_2010/86025.xml TRS/ICFP_2010/183803.xml TRS/ICFP_2010/150815.xml TRS/ICFP_2010/26954.xml TRS/ICFP_2010/26978.xml TRS/ICFP_2010/3705.xml TRS/ICFP_2010/186023.xml TRS/ICFP_2010/65081.xml TRS/ICFP_2010/188238.xml TRS/ICFP_2010/212043.xml TRS/ICFP_2010/27028.xml TRS/ICFP_2010/5011.xml TRS/ICFP_2010/186333.xml TRS/ICFP_2010/41843.xml TRS/ICFP_2010/212026.xml TRS/ICFP_2010/27026.xml TRS/ICFP_2010/96104.xml TRS/ICFP_2010/213537.xml TRS/ICFP_2010/91254.xml TRS/ICFP_2010/88283.xml TRS/ICFP_2010/41838.xml TRS/ICFP_2010/139167.xml TRS/ICFP_2010/140664.xml TRS/ICFP_2010/150839.xml TRS/ICFP_2010/160398.xml TRS/ICFP_2010/91242.xml TRS/ICFP_2010/128691.xml TRS/ICFP_2010/128486.xml TRS/ICFP_2010/42466.xml TRS/ICFP_2010/97885.xml TRS/ICFP_2010/166001.xml TRS/ICFP_2010/26916.xml TRS/ICFP_2010/132611.xml TRS/ICFP_2010/68535.xml TRS/ICFP_2010/26903.xml TRS/ICFP_2010/27034.xml TRS/ICFP_2010/147437.xml TRS/ICFP_2010/213407.xml TRS/ICFP_2010/3842.xml TRS/ICFP_2010/133432.xml TRS/ICFP_2010/85477.xml TRS/ICFP_2010/214169.xml TRS/ICFP_2010/133532.xml TRS/ICFP_2010/165755.xml TRS/ICFP_2010/138330.xml TRS/ICFP_2010/167452.xml TRS/ICFP_2010/158477.xml TRS/ICFP_2010/4074.xml TRS/ICFP_2010/88143.xml TRS/ICFP_2010/157436.xml TRS/ICFP_2010/4106.xml TRS/ICFP_2010/150188.xml TRS/ICFP_2010/26965.xml TRS/ICFP_2010/41865.xml TRS/ICFP_2010/26974.xml TRS/ICFP_2010/45970.xml TRS/ICFP_2010/160068.xml TRS/ICFP_2010/151247.xml TRS/ICFP_2010/128620.xml TRS/ICFP_2010/186919.xml TRS/ICFP_2010/4964.xml TRS/ICFP_2010/85749.xml TRS/ICFP_2010/4141.xml TRS/ICFP_2010/57278.xml TRS/ICFP_2010/132720.xml TRS/ICFP_2010/167433.xml TRS/ICFP_2010/160427.xml TRS/ICFP_2010/4938.xml TRS/ICFP_2010/86052.xml TRS/ICFP_2010/26940.xml TRS/ICFP_2010/139100.xml TRS/ICFP_2010/29415.xml TRS/ICFP_2010/85294.xml TRS/ICFP_2010/135652.xml TRS/ICFP_2010/254704.xml TRS/ICFP_2010/136571.xml TRS/ICFP_2010/3467.xml TRS/ICFP_2010/139256.xml TRS/ICFP_2010/158620.xml TRS/ICFP_2010/27036.xml TRS/ICFP_2010/3930.xml TRS/ICFP_2010/182946.xml TRS/ICFP_2010/212892.xml TRS/ICFP_2010/85920.xml TRS/ICFP_2010/96642.xml TRS/ICFP_2010/107193.xml TRS/ICFP_2010/96485.xml TRS/ICFP_2010/133010.xml TRS/ICFP_2010/4920.xml TRS/ICFP_2010/40033.xml TRS/ICFP_2010/211915.xml TRS/ICFP_2010/25849.xml TRS/ICFP_2010/96176.xml TRS/ICFP_2010/153243.xml TRS/ICFP_2010/4991.xml TRS/ICFP_2010/142142.xml TRS/ICFP_2010/153034.xml TRS/ICFP_2010/51424.xml TRS/ICFP_2010/96563.xml TRS/ICFP_2010/25734.xml TRS/ICFP_2010/137087.xml TRS/ICFP_2010/132969.xml TRS/ICFP_2010/68322.xml TRS/ICFP_2010/132738.xml TRS/ICFP_2010/167041.xml TRS/ICFP_2010/58221.xml TRS/ICFP_2010/88208.xml TRS/ICFP_2010/213218.xml TRS/ICFP_2010/139025.xml TRS/ICFP_2010/41688.xml TRS/ICFP_2010/149361.xml TRS/ICFP_2010/27009.xml TRS/ICFP_2010/187254.xml TRS/ICFP_2010/85345.xml TRS/ICFP_2010/27019.xml TRS/ICFP_2010/58125.xml TRS/ICFP_2010/41378.xml TRS/ICFP_2010/25808.xml TRS/ICFP_2010/107236.xml TRS/ICFP_2010/26976.xml TRS/ICFP_2010/96198.xml TRS/ICFP_2010/96302.xml TRS/ICFP_2010/136354.xml TRS/ICFP_2010/4827.xml TRS/ICFP_2010/25422.xml TRS/ICFP_2010/157275.xml TRS/ICFP_2010/133079.xml TRS/ICFP_2010/140318.xml TRS/ICFP_2010/142146.xml TRS/ICFP_2010/153371.xml TRS/ICFP_2010/140359.xml TRS/ICFP_2010/4314.xml TRS/ICFP_2010/96464.xml TRS/ICFP_2010/88172.xml TRS/ICFP_2010/64160.xml TRS/ICFP_2010/50904.xml TRS/ICFP_2010/157593.xml TRS/ICFP_2010/4374.xml TRS/ICFP_2010/84977.xml TRS/ICFP_2010/51577.xml TRS/ICFP_2010/85650.xml TRS/ICFP_2010/48328.xml TRS/ICFP_2010/4819.xml TRS/ICFP_2010/3817.xml TRS/ICFP_2010/97917.xml TRS/ICFP_2010/26980.xml TRS/ICFP_2010/4017.xml TRS/ICFP_2010/3861.xml TRS/ICFP_2010/167310.xml TRS/ICFP_2010/212263.xml TRS/ICFP_2010/3336.xml TRS/ICFP_2010/160364.xml TRS/ICFP_2010/26896.xml TRS/ICFP_2010/4953.xml TRS/ICFP_2010/150258.xml TRS/ICFP_2010/3498.xml TRS/ICFP_2010/98623.xml TRS/ICFP_2010/188674.xml TRS/ICFP_2010/132540.xml TRS/ICFP_2010/167636.xml TRS/ICFP_2010/140639.xml TRS/ICFP_2010/26105.xml TRS/ICFP_2010/43987.xml TRS/ICFP_2010/139004.xml TRS/ICFP_2010/162244.xml TRS/ICFP_2010/138993.xml TRS/ICFP_2010/149319.xml TRS/ICFP_2010/149713.xml TRS/ICFP_2010/39830.xml TRS/ICFP_2010/160210.xml TRS/ICFP_2010/167742.xml TRS/ICFP_2010/139174.xml TRS/ICFP_2010/161533.xml TRS/ICFP_2010/26875.xml TRS/ICFP_2010/136623.xml TRS/ICFP_2010/139036.xml TRS/ICFP_2010/3856.xml TRS/ICFP_2010/137956.xml TRS/ICFP_2010/3680.xml TRS/ICFP_2010/133236.xml TRS/ICFP_2010/26116.xml TRS/ICFP_2010/95899.xml TRS/ICFP_2010/135410.xml TRS/ICFP_2010/138254.xml TRS/ICFP_2010/160324.xml TRS/ICFP_2010/186810.xml TRS/ICFP_2010/42321.xml TRS/ICFP_2010/4248.xml TRS/ICFP_2010/157161.xml TRS/ICFP_2010/158342.xml TRS/ICFP_2010/40976.xml TRS/ICFP_2010/135659.xml TRS/ICFP_2010/84886.xml TRS/ICFP_2010/26933.xml TRS/ICFP_2010/91210.xml TRS/ICFP_2010/25416.xml TRS/ICFP_2010/26946.xml TRS/ICFP_2010/25409.xml TRS/ICFP_2010/167391.xml TRS/ICFP_2010/128515.xml TRS/ICFP_2010/96417.xml TRS/ICFP_2010/132235.xml TRS/ICFP_2010/26741.xml TRS/ICFP_2010/27006.xml TRS/ICFP_2010/166558.xml TRS/ICFP_2010/26993.xml TRS/ICFP_2010/138142.xml TRS/ICFP_2010/124211.xml TRS/ICFP_2010/132864.xml TRS/ICFP_2010/4816.xml TRS/ICFP_2010/259625.xml TRS/ICFP_2010/139236.xml TRS/ICFP_2010/213865.xml TRS/ICFP_2010/26927.xml TRS/ICFP_2010/135936.xml TRS/ICFP_2010/42170.xml TRS/ICFP_2010/86857.xml TRS/ICFP_2010/3927.xml TRS/ICFP_2010/26986.xml TRS/ICFP_2010/25388.xml TRS/ICFP_2010/212189.xml TRS/ICFP_2010/160660.xml TRS/ICFP_2010/3633.xml TRS/ICFP_2010/185453.xml TRS/ICFP_2010/149915.xml TRS/ICFP_2010/139190.xml TRS/ICFP_2010/26871.xml TRS/ICFP_2010/4934.xml TRS/ICFP_2010/26998.xml TRS/ICFP_2010/186617.xml TRS/ICFP_2010/4057.xml TRS/ICFP_2010/160234.xml TRS/ICFP_2010/26931.xml TRS/ICFP_2010/136280.xml TRS/ICFP_2010/136323.xml TRS/ICFP_2010/96029.xml TRS/ICFP_2010/213147.xml TRS/ICFP_2010/5109.xml TRS/ICFP_2010/180915.xml TRS/ICFP_2010/54097.xml TRS/ICFP_2010/96256.xml TRS/ICFP_2010/96403.xml TRS/ICFP_2010/159731.xml TRS/ICFP_2010/3865.xml TRS/ICFP_2010/138089.xml TRS/ICFP_2010/136562.xml TRS/ICFP_2010/4840.xml TRS/ICFP_2010/96334.xml TRS/ICFP_2010/161519.xml TRS/ICFP_2010/211978.xml TRS/ICFP_2010/136497.xml TRS/ICFP_2010/95978.xml TRS/ICFP_2010/167526.xml TRS/ICFP_2010/139180.xml TRS/ICFP_2010/4854.xml TRS/ICFP_2010/25726.xml TRS/ICFP_2010/157713.xml TRS/ICFP_2010/85380.xml TRS/ICFP_2010/124791.xml TRS/ICFP_2010/86499.xml TRS/ICFP_2010/137316.xml TRS/ICFP_2010/130472.xml TRS/ICFP_2010/212774.xml TRS/ICFP_2010/137404.xml TRS/ICFP_2010/39849.xml TRS/ICFP_2010/27015.xml TRS/ICFP_2010/188296.xml TRS/ICFP_2010/86617.xml TRS/ICFP_2010/88156.xml TRS/ICFP_2010/26862.xml TRS/ICFP_2010/153288.xml TRS/ICFP_2010/26845.xml TRS/ICFP_2010/26949.xml TRS/ICFP_2010/131633.xml TRS/ICFP_2010/3762.xml TRS/ICFP_2010/188261.xml TRS/ICFP_2010/160462.xml TRS/ICFP_2010/160254.xml TRS/ICFP_2010/57453.xml TRS/ICFP_2010/26923.xml TRS/ICFP_2010/135328.xml TRS/ICFP_2010/85675.xml TRS/ICFP_2010/4487.xml TRS/ICFP_2010/153170.xml TRS/ICFP_2010/184957.xml TRS/ICFP_2010/26969.xml TRS/ICFP_2010/96370.xml TRS/ICFP_2010/139282.xml TRS/ICFP_2010/85834.xml TRS/ICFP_2010/4943.xml TRS/ICFP_2010/142157.xml TRS/ICFP_2010/213719.xml TRS/ICFP_2010/165713.xml TRS/ICFP_2010/137623.xml TRS/ICFP_2010/152949.xml TRS/ICFP_2010/86559.xml TRS/ICFP_2010/86816.xml TRS/ICFP_2010/27003.xml TRS/ICFP_2010/44332.xml TRS/ICFP_2010/86526.xml TRS/ICFP_2010/140654.xml TRS/ICFP_2010/85874.xml TRS/ICFP_2010/3831.xml TRS/ICFP_2010/85782.xml TRS/ICFP_2010/128280.xml TRS/ICFP_2010/148543.xml TRS/ICFP_2010/214320.xml TRS/ICFP_2010/57852.xml TRS/ICFP_2010/96086.xml TRS/ICFP_2010/214261.xml TRS/ICFP_2010/142150.xml TRS/ICFP_2010/166465.xml TRS/ICFP_2010/162095.xml TRS/ICFP_2010/26919.xml TRS/ICFP_2010/96065.xml TRS/ICFP_2010/107220.xml TRS/ICFP_2010/4412.xml TRS/ICFP_2010/134918.xml TRS/ICFP_2010/3786.xml TRS/ICFP_2010/152786.xml TRS/ICFP_2010/167240.xml TRS/ICFP_2010/128430.xml TRS/ICFP_2010/25711.xml TRS/ICFP_2010/130962.xml TRS/ICFP_2010/86452.xml TRS/ICFP_2010/139163.xml TRS/ICFP_2010/5130.xml TRS/ICFP_2010/138468.xml TRS/ICFP_2010/3533.xml TRS/ICFP_2010/26943.xml TRS/ICFP_2010/24100.xml TRS/ICFP_2010/3589.xml TRS/ICFP_2010/56144.xml TRS/ICFP_2010/4824.xml TRS/ICFP_2010/4046.xml TRS/ICFP_2010/85590.xml TRS/ICFP_2010/127538.xml TRS/ICFP_2010/131982.xml TRS/ICFP_2010/3450.xml TRS/ICFP_2010/3385.xml TRS/ICFP_2010/149297.xml TRS/ICFP_2010/137621.xml TRS/ICFP_2010/27013.xml TRS/ICFP_2010/149633.xml TRS/ICFP_2010/133827.xml TRS/ICFP_2010/161593.xml TRS/ICFP_2010/132848.xml TRS/ICFP_2010/123759.xml TRS/ICFP_2010/85267.xml TRS/ICFP_2010/139214.xml TRS/ICFP_2010/149251.xml TRS/ICFP_2010/212037.xml TRS/ICFP_2010/133159.xml TRS/ICFP_2010/3729.xml TRS/ICFP_2010/4036.xml TRS/ICFP_2010/140631.xml TRS/ICFP_2010/4206.xml TRS/ICFP_2010/153090.xml TRS/ICFP_2010/138477.xml TRS/ICFP_2010/161917.xml TRS/ICFP_2010/3995.xml TRS/ICFP_2010/136051.xml TRS/ICFP_2010/26879.xml TRS/ICFP_2010/43650.xml TRS/ICFP_2010/135604.xml TRS/ICFP_2010/88183.xml TRS/ICFP_2010/136693.xml TRS/ICFP_2010/91233.xml TRS/ICFP_2010/150725.xml TRS/ICFP_2010/86636.xml TRS/ICFP_2010/137809.xml TRS/ICFP_2010/135115.xml TRS/ICFP_2010/128056.xml TRS/ICFP_2010/3268.xml TRS/ICFP_2010/212364.xml TRS/ICFP_2010/139310.xml TRS/ICFP_2010/3916.xml TRS/ICFP_2010/25736.xml TRS/ICFP_2010/3562.xml TRS/ICFP_2010/135782.xml TRS/ICFP_2010/5076.xml TRS/ICFP_2010/152694.xml TRS/ICFP_2010/133881.xml TRS/ICFP_2010/162075.xml TRS/ICFP_2010/149277.xml TRS/ICFP_2010/186222.xml TRS/ICFP_2010/43603.xml TRS/ICFP_2010/4051.xml TRS/ICFP_2010/166493.xml TRS/ICFP_2010/133486.xml TRS/ICFP_2010/4157.xml TRS/ICFP_2010/149415.xml TRS/ICFP_2010/136463.xml TRS/ICFP_2010/152865.xml TRS/ICFP_2010/136601.xml TRS/ICFP_2010/96673.xml TRS/ICFP_2010/212534.xml TRS/ICFP_2010/26972.xml TRS/ICFP_2010/124269.xml TRS/ICFP_2010/26882.xml TRS/ICFP_2010/48374.xml TRS/ICFP_2010/138194.xml TRS/ICFP_2010/97901.xml TRS/ICFP_2010/130161.xml TRS/ICFP_2010/188004.xml TRS/ICFP_2010/214183.xml TRS/ICFP_2010/25743.xml TRS/ICFP_2010/4181.xml TRS/ICFP_2010/150067.xml TRS/ICFP_2010/150468.xml TRS/ICFP_2010/26132.xml TRS/ICFP_2010/25395.xml TRS/ICFP_2010/96224.xml TRS/ICFP_2010/43266.xml TRS/ICFP_2010/85079.xml TRS/ICFP_2010/85721.xml TRS/ICFP_2010/57799.xml TRS/ICFP_2010/26957.xml TRS/ICFP_2010/4893.xml TRS/ICFP_2010/157150.xml TRS/ICFP_2010/53216.xml TRS/ICFP_2010/98362.xml TRS/ICFP_2010/96274.xml TRS/ICFP_2010/4970.xml TRS/ICFP_2010/96239.xml TRS/ICFP_2010/213051.xml TRS/ICFP_2010/96289.xml TRS/ICFP_2010/157603.xml TRS/ICFP_2010/96523.xml TRS/ICFP_2010/139378.xml TRS/ICFP_2010/165975.xml TRS/ICFP_2010/85039.xml TRS/ICFP_2010/166848.xml TRS/ICFP_2010/160475.xml TRS/ICFP_2010/40540.xml TRS/ICFP_2010/140659.xml TRS/ICFP_2010/128182.xml TRS/ICFP_2010/63142.xml TRS/ICFP_2010/97929.xml TRS/ICFP_2010/185628.xml TRS/ICFP_2010/187837.xml TRS/ICFP_2010/135714.xml TRS/ICFP_2010/128550.xml TRS/ICFP_2010/165904.xml TRS/ICFP_2010/132622.xml TRS/ICFP_2010/4282.xml TRS/ICFP_2010/81452.xml TRS/ICFP_2010/136934.xml TRS/ICFP_2010/3746.xml TRS/ICFP_2010/42683.xml TRS/ICFP_2010/132782.xml TRS/ICFP_2010/186973.xml TRS/ICFP_2010/4484.xml TRS/ICFP_2010/27001.xml TRS/ICFP_2010/263745.xml TRS/ICFP_2010/262998.xml TRS/ICFP_2010/136534.xml TRS/ICFP_2010/68989.xml TRS/ICFP_2010/48267.xml TRS/ICFP_2010/86577.xml TRS/ICFP_2010/150877.xml TRS/ICFP_2010/95858.xml TRS/ICFP_2010/132833.xml TRS/ICFP_2010/186775.xml TRS/ICFP_2010/97888.xml TRS/ICFP_2010/161864.xml TRS/ICFP_2010/27039.xml TRS/ICFP_2010/150630.xml TRS/ICFP_2010/212795.xml TRS/ICFP_2010/162016.xml TRS/ICFP_2010/41427.xml TRS/ICFP_2010/96438.xml TRS/ICFP_2010/27023.xml TRS/ICFP_2010/132920.xml TRS/ICFP_2010/138269.xml TRS/ICFP_2010/153444.xml TRS/ICFP_2010/165936.xml TRS/ICFP_2010/132478.xml TRS/ICFP_2010/26886.xml TRS/ICFP_2010/26960.xml TRS/Mixed_TRS/5.xml TRS/Mixed_TRS/7.xml TRS/Mixed_TRS/beans.xml TRS/Mixed_TRS/1.xml TRS/Mixed_TRS/3.xml TRS/Mixed_TRS/while2.xml TRS/Mixed_TRS/6.xml TRS/Mixed_TRS/2.xml TRS/Mixed_TRS/4.xml TRS/Mixed_TRS/motivation.xml TRS/Strategy_removed_AG01/#4.3.xml TRS/Strategy_removed_AG01/#4.4.xml TRS/Strategy_removed_AG01/#4.20.xml TRS/Strategy_removed_AG01/#4.13.xml TRS/Strategy_removed_AG01/#4.21.xml TRS/Strategy_removed_AG01/#4.12a.xml TRS/Strategy_removed_AG01/#4.15.xml TRS/Strategy_removed_AG01/#4.18.xml TRS/AotoYamada_05/004.xml TRS/AotoYamada_05/025.xml TRS/AotoYamada_05/001.xml TRS/AotoYamada_05/024.xml TRS/AotoYamada_05/014.xml TRS/AotoYamada_05/019.xml TRS/AotoYamada_05/Ex5TermProof.xml TRS/AotoYamada_05/027.xml TRS/AotoYamada_05/010.xml TRS/AotoYamada_05/022.xml TRS/AotoYamada_05/Ex1SimplyTyped.xml TRS/AotoYamada_05/028.xml TRS/AotoYamada_05/006.xml TRS/AotoYamada_05/009.xml TRS/AotoYamada_05/002.xml TRS/AotoYamada_05/012.xml TRS/AotoYamada_05/007.xml TRS/AotoYamada_05/023.xml TRS/AotoYamada_05/021.xml TRS/AotoYamada_05/015.xml TRS/AotoYamada_05/003.xml TRS/AotoYamada_05/020.xml TRS/AotoYamada_05/011.xml TRS/AotoYamada_05/017.xml TRS/AotoYamada_05/013.xml TRS/AotoYamada_05/005.xml TRS/AotoYamada_05/016.xml TRS/AotoYamada_05/026.xml TRS/AG01/#3.21.xml TRS/AG01_innermost/#4.3.xml TRS/AG01_innermost/#4.4.xml TRS/AG01_innermost/#4.20.xml TRS/AG01_innermost/#4.13.xml TRS/AG01_innermost/#4.21.xml TRS/AG01_innermost/#4.12a.xml TRS/AG01_innermost/#4.5.xml TRS/AG01_innermost/#4.15.xml TRS/AG01_innermost/#4.18.xml TRS/Strategy_removed_CSR_05/Ex24_GM04.xml TRS/Strategy_removed_CSR_05/Ex1_GM99.xml TRS/HirokawaMiddeldorp_04/t007.xml TRS/HirokawaMiddeldorp_04/t008.xml TRS/HirokawaMiddeldorp_04/t000.xml TRS/HirokawaMiddeldorp_04/t005.xml TRS/HirokawaMiddeldorp_04/n008.xml TRS/HirokawaMiddeldorp_04/t010.xml TRS/HirokawaMiddeldorp_04/t006.xml TRS/Waldmann_06/jwno3.xml TRS/Waldmann_06/jwteparla2.xml TRS/Waldmann_06/jwcime1.xml TRS/Waldmann_06/jwno7.xml TRS/Waldmann_06/jwteparla1.xml TRS/Waldmann_06/jwno5.xml TRS/Waldmann_06/jwtpa2.xml TRS/Waldmann_06/jwno8.xml TRS/Waldmann_06/jwcime2.xml TRS/Waldmann_06/jwno2.xml TRS/Waldmann_06/jwaprove1.xml TRS/Waldmann_06/jwno9.xml TRS/Waldmann_06/jwttt.xml TRS/Waldmann_06/jwaprove2.xml TRS/Waldmann_06/jwtpa1.xml TRS/Bouchare_06/10.xml TRS/Bouchare_06/17.xml TRS/Bouchare_06/04.xml TRS/Bouchare_06/16.xml TRS/Bouchare_06/08.xml TRS/Bouchare_06/11.xml TRS/Bouchare_06/03.xml TRS/Bouchare_06/14.xml TRS/Bouchare_06/13.xml TRS/Bouchare_06/09.xml TRS/Bouchare_06/15.xml TRS/Bouchare_06/18.xml TRS/Bouchare_06/02.xml TRS/Bouchare_06/07.xml TRS/Bouchare_06/06.xml TRS/Bouchare_06/01.xml TRS/Bouchare_06/05.xml TRS/Secret_07_TRS/5.xml TRS/Secret_07_TRS/7.xml TRS/Secret_07_TRS/1.xml TRS/Secret_07_TRS/2.xml TRS/Secret_07_TRS/4.xml TRS/Secret_07_TRS/secret2.xml TRS/MNZ_10/8.xml TRS/MNZ_10/nvsr.xml TRS/MNZ_10/5.xml TRS/MNZ_10/7.xml TRS/MNZ_10/0.xml TRS/MNZ_10/1.xml TRS/MNZ_10/3.xml TRS/MNZ_10/6.xml TRS/MNZ_10/2.xml TRS/MNZ_10/4.xml TRS/MNZ_10/9.xml TRS/CiME_04/boolean_rings.xml TRS/Applicative_AG01_innermost/#4.3.xml TRS/Applicative_AG01_innermost/#4.7.xml TRS/Applicative_AG01_innermost/#4.2.xml TRS/Applicative_AG01_innermost/#4.8.xml TRS/Applicative_AG01_innermost/#4.13.xml TRS/Applicative_AG01_innermost/#4.26.xml TRS/Applicative_AG01_innermost/#4.22.xml TRS/Applicative_AG01_innermost/#4.19.xml TRS/Applicative_AG01_innermost/#4.36.xml TRS/Applicative_AG01_innermost/#4.10.xml TRS/Applicative_AG01_innermost/#4.24.xml TRS/Applicative_AG01_innermost/#4.17.xml TRS/Applicative_AG01_innermost/#4.34.xml TRS/Applicative_AG01_innermost/#4.5.xml TRS/Applicative_AG01_innermost/#4.15.xml TRS/Applicative_AG01_innermost/#4.28.xml TRS/Zantema_06/17.xml TRS/Zantema_06/16.xml TRS/Zantema_06/11.xml TRS/Zantema_06/12.xml TRS/Zantema_06/14.xml TRS/Zantema_06/beans7.xml TRS/Zantema_06/13.xml TRS/Zantema_06/18.xml TRS/Zantema_06/loop2.xml TRS/Zantema_06/beans5.xml TRS/Zantema_06/abc.xml TRS/Zantema_06/beans4.xml TRS/Secret_05_SRS/aprove4.xml TRS/Secret_05_SRS/jambox4.xml TRS/Secret_05_SRS/jambox2.xml TRS/Secret_05_SRS/torpa2.xml TRS/Secret_05_SRS/matchbox1.xml TRS/Mixed_SRS/04.xml TRS/Mixed_SRS/08.xml TRS/Mixed_SRS/03.xml TRS/Mixed_SRS/03-oppelt08.xml TRS/Mixed_SRS/09.xml TRS/Mixed_SRS/05-oppelt08.xml TRS/Mixed_SRS/02-oppelt08.xml TRS/Mixed_SRS/3.xml TRS/Mixed_SRS/02.xml TRS/Mixed_SRS/s6.xml TRS/Mixed_SRS/touzet.xml TRS/Mixed_SRS/2.xml TRS/Mixed_SRS/4.xml TRS/Mixed_SRS/06.xml TRS/Mixed_SRS/01.xml TRS/Mixed_SRS/05.xml TRS/Mixed_SRS/04-oppelt08.xml TRS/Secret_06_TRS/gen-15.xml TRS/Secret_06_TRS/8.xml TRS/Secret_06_TRS/gen-25.xml TRS/Secret_06_TRS/gen-18.xml TRS/Secret_06_TRS/tpa01.xml TRS/Secret_06_TRS/5.xml TRS/Secret_06_TRS/gen-14.xml TRS/Secret_06_TRS/gen-9.xml TRS/Secret_06_TRS/tpa02.xml TRS/Secret_06_TRS/7.xml TRS/Secret_06_TRS/gen-10.xml TRS/Secret_06_TRS/tpa03.xml TRS/Secret_06_TRS/cime1.xml TRS/Secret_06_TRS/3.xml TRS/Secret_06_TRS/2.xml TRS/Secret_06_TRS/9.xml TRS/Secret_06_TRS/gen-22.xml TRS/Endrullis_06/pair3hard.xml TRS/Endrullis_06/linear1.xml TRS/Endrullis_06/quadruple1.xml TRS/Endrullis_06/quadruple2.xml TRS/Endrullis_06/pair3rotate.xml TRS/Endrullis_06/labeling.xml TRS/Endrullis_06/linear2.xml TRS/Endrullis_06/pair2simple2.xml TRS/Endrullis_06/pair3swap.xml TRS/Endrullis_06/pair2hard.xml TRS/Endrullis_06/pair2simple1.xml TRS/Secret_07_SRS/dj.xml TRS/Secret_07_SRS/x07.xml TRS/Secret_07_SRS/x09.xml TRS/Secret_07_SRS/x08.xml TRS/Secret_07_SRS/x06.xml TRS/Secret_07_SRS/x04.xml TRS/TCT_09/ackhofbauernonsimp.xml TRS/TCT_09/z86.xml TRS/TCT_09/ackhofbauer.xml TRS/AProVE_07/thiemann39.xml TRS/AProVE_07/kabasci06.xml TRS/AProVE_07/thiemann35.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-226.xml TRS/Waldmann_07_size12/size-12-alpha-2-num-4.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-94.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-70.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-134.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-95.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-44.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-23.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-195.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-200.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-273.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-417.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-223.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-283.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-494.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-100.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-287.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-285.xml TRS/Waldmann_07_size12/size-12-alpha-2-num-7.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-220.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-178.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-213.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-495.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-255.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-399.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-526.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-215.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-180.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-412.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-181.xml TRS/Waldmann_07_size12/size-12-alpha-2-num-19.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-507.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-149.xml TRS/Waldmann_07_size12/size-12-alpha-2-num-3.xml TRS/Waldmann_07_size12/size-12-alpha-2-num-20.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-51.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-194.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-479.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-82.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-45.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-19.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-207.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-418.xml TRS/Waldmann_07_size12/size-12-alpha-2-num-15.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-284.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-76.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-191.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-453.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-265.xml TRS/Waldmann_07_size12/size-12-alpha-2-num-21.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-455.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-351.xml TRS/Waldmann_07_size12/size-12-alpha-2-num-5.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-460.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-31.xml TRS/Waldmann_07_size12/size-12-alpha-2-num-14.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-186.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-168.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-99.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-1.xml TRS/Waldmann_07_size12/size-12-alpha-2-num-10.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-165.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-288.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-470.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-90.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-281.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-190.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-241.xml TRS/Waldmann_07_size12/size-12-alpha-2-num-16.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-209.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-74.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-163.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-159.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-474.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-225.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-503.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-152.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-415.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-343.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-3.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-239.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-203.xml TRS/Waldmann_07_size12/size-12-alpha-2-num-11.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-52.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-160.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-206.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-454.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-452.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-101.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-389.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-176.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-221.xml TRS/Waldmann_07_size12/size-12-alpha-2-num-12.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-61.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-219.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-164.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-499.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-204.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-177.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-568.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-202.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-257.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-475.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-414.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-468.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-461.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-392.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-498.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-146.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-135.xml TRS/Waldmann_07_size12/size-12-alpha-2-num-22.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-462.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-467.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-279.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-282.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-493.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-352.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-201.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-20.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-210.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-140.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-413.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-416.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-484.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-427.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-350.xml TRS/Waldmann_07_size12/size-12-alpha-2-num-1.xml TRS/Waldmann_07_size12/size-12-alpha-3-num-478.xml TRS/Gebhardt_06/10.xml TRS/Gebhardt_06/17.xml TRS/Gebhardt_06/04.xml TRS/Gebhardt_06/16.xml TRS/Gebhardt_06/08.xml TRS/Gebhardt_06/11.xml TRS/Gebhardt_06/19.xml TRS/Gebhardt_06/12.xml TRS/Gebhardt_06/03.xml TRS/Gebhardt_06/14.xml TRS/Gebhardt_06/13.xml TRS/Gebhardt_06/09.xml TRS/Gebhardt_06/15.xml TRS/Gebhardt_06/18.xml TRS/Gebhardt_06/20.xml TRS/Gebhardt_06/02.xml TRS/Gebhardt_06/07.xml TRS/Gebhardt_06/06.xml TRS/Gebhardt_06/01.xml TRS/Gebhardt_06/05.xml TRS/Strategy_removed_mixed_05/test75.xml TRS/Strategy_removed_mixed_05/test9.xml TRS/Strategy_removed_mixed_05/bn111.xml TRS/Strategy_removed_mixed_05/toyama.xml TRS/Strategy_removed_mixed_05/n001.xml TRS/Strategy_removed_mixed_05/gkg.xml TRS/ICFP_2010_relative/167087.xml TRS/ICFP_2010_relative/26127.xml TRS/ICFP_2010_relative/130304.xml TRS/ICFP_2010_relative/135601.xml TRS/ICFP_2010_relative/137799.xml TRS/ICFP_2010_relative/48686.xml TRS/ICFP_2010_relative/157466.xml TRS/ICFP_2010_relative/26951.xml TRS/ICFP_2010_relative/161930.xml TRS/ICFP_2010_relative/212308.xml TRS/ICFP_2010_relative/51842.xml TRS/ICFP_2010_relative/135505.xml TRS/ICFP_2010_relative/167294.xml TRS/ICFP_2010_relative/259405.xml TRS/ICFP_2010_relative/137715.xml TRS/ICFP_2010_relative/188696.xml TRS/ICFP_2010_relative/26110.xml TRS/ICFP_2010_relative/26910.xml TRS/ICFP_2010_relative/158208.xml TRS/ICFP_2010_relative/91218.xml TRS/ICFP_2010_relative/43621.xml TRS/ICFP_2010_relative/137136.xml TRS/ICFP_2010_relative/25775.xml TRS/ICFP_2010_relative/149849.xml TRS/ICFP_2010_relative/183803.xml TRS/ICFP_2010_relative/150815.xml TRS/ICFP_2010_relative/26954.xml TRS/ICFP_2010_relative/26978.xml TRS/ICFP_2010_relative/188238.xml TRS/ICFP_2010_relative/212043.xml TRS/ICFP_2010_relative/27028.xml TRS/ICFP_2010_relative/186333.xml TRS/ICFP_2010_relative/41843.xml TRS/ICFP_2010_relative/27026.xml TRS/ICFP_2010_relative/91254.xml TRS/ICFP_2010_relative/88283.xml TRS/ICFP_2010_relative/41838.xml TRS/ICFP_2010_relative/150839.xml TRS/ICFP_2010_relative/160398.xml TRS/ICFP_2010_relative/42466.xml TRS/ICFP_2010_relative/97885.xml TRS/ICFP_2010_relative/166001.xml TRS/ICFP_2010_relative/26916.xml TRS/ICFP_2010_relative/26903.xml TRS/ICFP_2010_relative/27034.xml TRS/ICFP_2010_relative/147437.xml TRS/ICFP_2010_relative/133432.xml TRS/ICFP_2010_relative/133532.xml TRS/ICFP_2010_relative/165755.xml TRS/ICFP_2010_relative/167452.xml TRS/ICFP_2010_relative/158477.xml TRS/ICFP_2010_relative/150188.xml TRS/ICFP_2010_relative/26965.xml TRS/ICFP_2010_relative/41865.xml TRS/ICFP_2010_relative/26974.xml TRS/ICFP_2010_relative/45970.xml TRS/ICFP_2010_relative/160068.xml TRS/ICFP_2010_relative/151247.xml TRS/ICFP_2010_relative/186919.xml TRS/ICFP_2010_relative/57278.xml TRS/ICFP_2010_relative/167433.xml TRS/ICFP_2010_relative/160427.xml TRS/ICFP_2010_relative/26940.xml TRS/ICFP_2010_relative/29415.xml TRS/ICFP_2010_relative/254704.xml TRS/ICFP_2010_relative/136571.xml TRS/ICFP_2010_relative/158620.xml TRS/ICFP_2010_relative/27036.xml TRS/ICFP_2010_relative/182946.xml TRS/ICFP_2010_relative/107193.xml TRS/ICFP_2010_relative/40033.xml TRS/ICFP_2010_relative/211915.xml TRS/ICFP_2010_relative/25849.xml TRS/ICFP_2010_relative/153243.xml TRS/ICFP_2010_relative/153034.xml TRS/ICFP_2010_relative/51424.xml TRS/ICFP_2010_relative/25734.xml TRS/ICFP_2010_relative/137087.xml TRS/ICFP_2010_relative/167041.xml TRS/ICFP_2010_relative/88208.xml TRS/ICFP_2010_relative/41688.xml TRS/ICFP_2010_relative/149361.xml TRS/ICFP_2010_relative/27009.xml TRS/ICFP_2010_relative/27019.xml TRS/ICFP_2010_relative/58125.xml TRS/ICFP_2010_relative/25808.xml TRS/ICFP_2010_relative/26976.xml TRS/ICFP_2010_relative/136354.xml TRS/ICFP_2010_relative/25422.xml TRS/ICFP_2010_relative/157275.xml TRS/ICFP_2010_relative/133079.xml TRS/ICFP_2010_relative/153371.xml TRS/ICFP_2010_relative/50904.xml TRS/ICFP_2010_relative/51577.xml TRS/ICFP_2010_relative/48328.xml TRS/ICFP_2010_relative/26980.xml TRS/ICFP_2010_relative/167310.xml TRS/ICFP_2010_relative/160364.xml TRS/ICFP_2010_relative/26896.xml TRS/ICFP_2010_relative/150258.xml TRS/ICFP_2010_relative/98623.xml TRS/ICFP_2010_relative/167636.xml TRS/ICFP_2010_relative/26105.xml TRS/ICFP_2010_relative/43987.xml TRS/ICFP_2010_relative/162244.xml TRS/ICFP_2010_relative/149319.xml TRS/ICFP_2010_relative/149713.xml TRS/ICFP_2010_relative/39830.xml TRS/ICFP_2010_relative/160210.xml TRS/ICFP_2010_relative/167742.xml TRS/ICFP_2010_relative/161533.xml TRS/ICFP_2010_relative/26875.xml TRS/ICFP_2010_relative/137956.xml TRS/ICFP_2010_relative/133236.xml TRS/ICFP_2010_relative/26116.xml TRS/ICFP_2010_relative/135410.xml TRS/ICFP_2010_relative/160324.xml TRS/ICFP_2010_relative/186810.xml TRS/ICFP_2010_relative/42321.xml TRS/ICFP_2010_relative/157161.xml TRS/ICFP_2010_relative/158342.xml TRS/ICFP_2010_relative/40976.xml TRS/ICFP_2010_relative/135659.xml TRS/ICFP_2010_relative/26933.xml TRS/ICFP_2010_relative/91210.xml TRS/ICFP_2010_relative/25416.xml TRS/ICFP_2010_relative/26946.xml TRS/ICFP_2010_relative/25409.xml TRS/ICFP_2010_relative/167391.xml TRS/ICFP_2010_relative/26741.xml TRS/ICFP_2010_relative/27006.xml TRS/ICFP_2010_relative/166558.xml TRS/ICFP_2010_relative/26993.xml TRS/ICFP_2010_relative/259625.xml TRS/ICFP_2010_relative/26927.xml TRS/ICFP_2010_relative/42170.xml TRS/ICFP_2010_relative/3927.xml TRS/ICFP_2010_relative/26986.xml TRS/ICFP_2010_relative/25388.xml TRS/ICFP_2010_relative/160660.xml TRS/ICFP_2010_relative/185453.xml TRS/ICFP_2010_relative/149915.xml TRS/ICFP_2010_relative/26871.xml TRS/ICFP_2010_relative/26998.xml TRS/ICFP_2010_relative/186617.xml TRS/ICFP_2010_relative/26931.xml TRS/ICFP_2010_relative/136280.xml TRS/ICFP_2010_relative/136323.xml TRS/ICFP_2010_relative/213147.xml TRS/ICFP_2010_relative/180915.xml TRS/ICFP_2010_relative/138089.xml TRS/ICFP_2010_relative/161519.xml TRS/ICFP_2010_relative/136497.xml TRS/ICFP_2010_relative/167526.xml TRS/ICFP_2010_relative/25726.xml TRS/ICFP_2010_relative/157713.xml TRS/ICFP_2010_relative/137316.xml TRS/ICFP_2010_relative/130472.xml TRS/ICFP_2010_relative/27015.xml TRS/ICFP_2010_relative/188296.xml TRS/ICFP_2010_relative/88156.xml TRS/ICFP_2010_relative/26862.xml TRS/ICFP_2010_relative/153288.xml TRS/ICFP_2010_relative/26845.xml TRS/ICFP_2010_relative/26949.xml TRS/ICFP_2010_relative/188261.xml TRS/ICFP_2010_relative/160462.xml TRS/ICFP_2010_relative/160254.xml TRS/ICFP_2010_relative/26923.xml TRS/ICFP_2010_relative/153170.xml TRS/ICFP_2010_relative/184957.xml TRS/ICFP_2010_relative/26969.xml TRS/ICFP_2010_relative/165713.xml TRS/ICFP_2010_relative/152949.xml TRS/ICFP_2010_relative/27003.xml TRS/ICFP_2010_relative/44332.xml TRS/ICFP_2010_relative/148543.xml TRS/ICFP_2010_relative/166465.xml TRS/ICFP_2010_relative/162095.xml TRS/ICFP_2010_relative/26919.xml TRS/ICFP_2010_relative/152786.xml TRS/ICFP_2010_relative/167240.xml TRS/ICFP_2010_relative/25711.xml TRS/ICFP_2010_relative/130962.xml TRS/ICFP_2010_relative/26943.xml TRS/ICFP_2010_relative/24100.xml TRS/ICFP_2010_relative/56144.xml TRS/ICFP_2010_relative/149297.xml TRS/ICFP_2010_relative/137621.xml TRS/ICFP_2010_relative/27013.xml TRS/ICFP_2010_relative/149633.xml TRS/ICFP_2010_relative/161593.xml TRS/ICFP_2010_relative/132848.xml TRS/ICFP_2010_relative/149251.xml TRS/ICFP_2010_relative/4206.xml TRS/ICFP_2010_relative/153090.xml TRS/ICFP_2010_relative/161917.xml TRS/ICFP_2010_relative/26879.xml TRS/ICFP_2010_relative/43650.xml TRS/ICFP_2010_relative/88183.xml TRS/ICFP_2010_relative/136693.xml TRS/ICFP_2010_relative/91233.xml TRS/ICFP_2010_relative/150725.xml TRS/ICFP_2010_relative/212364.xml TRS/ICFP_2010_relative/25736.xml TRS/ICFP_2010_relative/152694.xml TRS/ICFP_2010_relative/162075.xml TRS/ICFP_2010_relative/149277.xml TRS/ICFP_2010_relative/186222.xml TRS/ICFP_2010_relative/43603.xml TRS/ICFP_2010_relative/166493.xml TRS/ICFP_2010_relative/149415.xml TRS/ICFP_2010_relative/136463.xml TRS/ICFP_2010_relative/152865.xml TRS/ICFP_2010_relative/136601.xml TRS/ICFP_2010_relative/26972.xml TRS/ICFP_2010_relative/26882.xml TRS/ICFP_2010_relative/48374.xml TRS/ICFP_2010_relative/130161.xml TRS/ICFP_2010_relative/188004.xml TRS/ICFP_2010_relative/214183.xml TRS/ICFP_2010_relative/25743.xml TRS/ICFP_2010_relative/150067.xml TRS/ICFP_2010_relative/150468.xml TRS/ICFP_2010_relative/26132.xml TRS/ICFP_2010_relative/25395.xml TRS/ICFP_2010_relative/43266.xml TRS/ICFP_2010_relative/26957.xml TRS/ICFP_2010_relative/157150.xml TRS/ICFP_2010_relative/53216.xml TRS/ICFP_2010_relative/157603.xml TRS/ICFP_2010_relative/165975.xml TRS/ICFP_2010_relative/166848.xml TRS/ICFP_2010_relative/160475.xml TRS/ICFP_2010_relative/40540.xml TRS/ICFP_2010_relative/185628.xml TRS/ICFP_2010_relative/187837.xml TRS/ICFP_2010_relative/135714.xml TRS/ICFP_2010_relative/165904.xml TRS/ICFP_2010_relative/136934.xml TRS/ICFP_2010_relative/42683.xml TRS/ICFP_2010_relative/186973.xml TRS/ICFP_2010_relative/27001.xml TRS/ICFP_2010_relative/263745.xml TRS/ICFP_2010_relative/136534.xml TRS/ICFP_2010_relative/48267.xml TRS/ICFP_2010_relative/150877.xml TRS/ICFP_2010_relative/186775.xml TRS/ICFP_2010_relative/161864.xml TRS/ICFP_2010_relative/27039.xml TRS/ICFP_2010_relative/150630.xml TRS/ICFP_2010_relative/162016.xml TRS/ICFP_2010_relative/41427.xml TRS/ICFP_2010_relative/27023.xml TRS/ICFP_2010_relative/153444.xml TRS/ICFP_2010_relative/165936.xml TRS/ICFP_2010_relative/26886.xml TRS/ICFP_2010_relative/26960.xml TRS/SK90/4.37.xml TRS/SK90/2.01.xml TRS/SK90/4.04.xml TRS/SK90/4.32.xml TRS/SK90/4.11.xml TRS/SK90/2.33.xml TRS/SK90/4.33.xml TRS/SK90/4.40.xml TRS/SK90/2.46.xml TRS/SK90/4.55.xml TRS/SK90/4.23.xml TRS/SK90/2.58.xml TRS/SK90/4.21.xml TRS/SK90/2.60.xml TRS/SK90/2.06.xml TRS/SK90/4.52.xml TRS/SK90/2.35.xml TRS/SK90/4.56.xml TRS/SK90/4.41.xml TRS/SK90/2.32.xml TRS/SK90/4.39.xml TRS/SK90/2.56.xml TRS/SK90/2.04.xml TRS/SK90/4.44.xml TRS/SK90/2.10.xml TRS/SK90/4.49.xml TRS/SK90/4.20.xml TRS/SK90/4.19.xml TRS/SK90/2.34.xml TRS/SK90/4.15.xml TRS/SK90/2.57.xml TRS/SK90/4.03.xml TRS/SK90/4.01.xml TRS/SK90/2.08.xml TRS/SK90/4.14.xml TRS/SK90/2.05.xml TRS/SK90/4.08.xml TRS/SK90/4.46.xml TRS/SK90/4.02.xml TRS/SK90/4.50.xml TRS/SK90/4.36.xml TRS/AProVE_04/improved_usable2.xml TRS/AProVE_04/forward_instantiation2.xml TRS/AProVE_04/forward_instantiation.xml TRS/AProVE_04/improved_usable.xml TRS/Applicative_05/Ex2_6_1Composition.xml TRS/Applicative_05/Ex8Polymorphic.xml TRS/Applicative_05/TreeLevels.xml TRS/Applicative_05/TakeDropWhile.xml TRS/Applicative_05/TreeMap.xml TRS/Applicative_05/TreeSize.xml TRS/Applicative_05/Ex4MapList.xml TRS/Applicative_05/TypeEx3.xml TRS/Applicative_05/Ex6Folding.xml TRS/Applicative_05/Ex7Sorting.xml TRS/Applicative_05/TypeEx1.xml TRS/Applicative_05/termMonTypes.xml TRS/Applicative_05/Ex10Functional.xml TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml TRS/Applicative_05/Ex6Recursor.xml TRS/Applicative_05/Ex7_9.xml TRS/Applicative_05/TreeHeight.xml TRS/Applicative_05/mapDivMinus.xml TRS/Applicative_05/BTreeMember.xml TRS/Applicative_05/Ex6_11.xml TRS/Applicative_05/Ex5Sorting.xml TRS/Applicative_05/Ex2PrimRec.xml TRS/Applicative_05/Ex9Maps.xml TRS/Applicative_05/mapDivMinusHard.xml TRS/Applicative_05/Ex7OrdinalRec.xml TRS/Applicative_05/ReverseLastInit.xml TRS/Applicative_05/Ex5Folding.xml TRS/Applicative_05/Ex3Lists.xml TRS/Applicative_05/nonTermF.xml TRS/Applicative_05/TreeFlatten.xml TRS/Zantema_05/jw50.xml TRS/Zantema_05/jw14.xml TRS/Zantema_05/jw26.xml TRS/Zantema_05/jw01.xml TRS/Zantema_05/jw24.xml TRS/Zantema_05/z08.xml TRS/Zantema_05/z09.xml TRS/Zantema_05/jw28.xml TRS/Zantema_05/jw30.xml TRS/Zantema_05/jw23.xml TRS/Zantema_05/jw20.xml TRS/Zantema_05/z05.xml TRS/Zantema_05/jw19.xml TRS/Zantema_05/z11.xml TRS/Zantema_05/jw43.xml TRS/Zantema_05/jw09.xml TRS/Zantema_05/jw16.xml TRS/Zantema_05/z21.xml TRS/Zantema_05/jw38.xml TRS/Zantema_05/jw47.xml TRS/Zantema_05/jw44.xml TRS/Zantema_05/jw02.xml TRS/Zantema_05/jw42.xml TRS/Zantema_05/jw39.xml TRS/Zantema_05/jw33.xml TRS/Zantema_05/jw31.xml TRS/Zantema_05/jw40.xml TRS/Zantema_05/jw04.xml TRS/Zantema_05/jw13.xml TRS/Zantema_05/jw41.xml TRS/Zantema_05/z04.xml TRS/Zantema_05/z19.xml TRS/Zantema_05/jw36.xml TRS/Zantema_05/jw11.xml TRS/Zantema_05/z25.xml TRS/Zantema_05/jw18.xml TRS/Zantema_05/z01.xml TRS/Zantema_05/jw17.xml TRS/Zantema_05/jw35.xml TRS/Zantema_05/jw34.xml TRS/Zantema_05/jw15.xml TRS/Zantema_05/jw08.xml TRS/Zantema_05/jw22.xml TRS/Zantema_05/jw32.xml TRS/Zantema_05/z22.xml TRS/Zantema_05/z02.xml TRS/Zantema_05/z03.xml TRS/Zantema_05/jw25.xml TRS/Zantema_05/jw27.xml TRS/Zantema_05/jw03.xml TRS/Zantema_05/jw05.xml TRS/Zantema_05/z20.xml TRS/Zantema_05/jw07.xml TRS/Zantema_05/jw06.xml TRS/Zantema_05/z30.xml TRS/Zantema_05/z06.xml TRS/Zantema_05/jw12.xml TRS/Zantema_05/jw37.xml TRS/Zantema_05/z07.xml TRS/Zantema_05/z29.xml TRS/Zantema_05/jw21.xml TRS/Zantema_05/jw29.xml TRS/Zantema_04/z089.xml TRS/Zantema_04/z071.xml TRS/Zantema_04/z012.xml TRS/Zantema_04/z096.xml TRS/Zantema_04/z006.xml TRS/Zantema_04/z021.xml TRS/Zantema_04/z109.xml TRS/Zantema_04/z066.xml TRS/Zantema_04/z087.xml TRS/Zantema_04/z036.xml TRS/Zantema_04/z041.xml TRS/Zantema_04/z035.xml TRS/Zantema_04/z025.xml TRS/Zantema_04/z085.xml TRS/Zantema_04/z048.xml TRS/Zantema_04/z064.xml TRS/Zantema_04/z088.xml TRS/Zantema_04/z050.xml TRS/Zantema_04/z040.xml TRS/Zantema_04/z108.xml TRS/Zantema_04/z033.xml TRS/Zantema_04/z031.xml TRS/Zantema_04/z039.xml TRS/Zantema_04/z023.xml TRS/Zantema_04/z029.xml TRS/Zantema_04/z119.xml TRS/Zantema_04/z113.xml TRS/Zantema_04/z030.xml TRS/Zantema_04/z127.xml TRS/Zantema_04/z104.xml TRS/Zantema_04/z034.xml TRS/Zantema_04/z027.xml TRS/Zantema_04/z061.xml TRS/Zantema_04/z007.xml TRS/Zantema_04/z001.xml TRS/Zantema_04/z128.xml TRS/Zantema_04/z101.xml TRS/Zantema_04/z086.xml TRS/Zantema_04/z038.xml TRS/Zantema_04/z049.xml TRS/Zantema_04/z053.xml TRS/Zantema_04/z037.xml TRS/Zantema_04/z024.xml TRS/Zantema_04/z063.xml TRS/Zantema_04/z056.xml TRS/Zantema_04/z058.xml TRS/Zantema_04/z032.xml TRS/Zantema_04/z110.xml TRS/Zantema_04/z028.xml TRS/Zantema_04/z102.xml TRS/Zantema_04/z098.xml TRS/Zantema_04/z121.xml TRS/Zantema_04/z097.xml TRS/Zantema_04/z115.xml TRS/Zantema_04/z069.xml TRS/Zantema_04/z055.xml TRS/Zantema_04/z051.xml TRS/Zantema_04/z059.xml TRS/Zantema_04/z095.xml TRS/Zantema_04/z093.xml TRS/Zantema_04/z022.xml TRS/Zantema_04/z062.xml TRS/Zantema_04/z116.xml TRS/Zantema_04/z019.xml TRS/Zantema_04/z060.xml TRS/Zantema_04/z126.xml TRS/Zantema_04/z070.xml TRS/Zantema_04/z011.xml TRS/Zantema_04/z068.xml TRS/Zantema_04/z122.xml TRS/Zantema_04/z015.xml TRS/Zantema_04/z112.xml TRS/Zantema_04/z052.xml TRS/Zantema_04/z067.xml TRS/Zantema_04/z054.xml TRS/Zantema_04/z084.xml TRS/Zantema_04/z057.xml TRS/Mixed_HO_10/prenex.xml TRS/Secret_06_SRS/secr7.xml TRS/Secret_06_SRS/multum4.xml TRS/Secret_06_SRS/8.xml TRS/Secret_06_SRS/secr9.xml TRS/Secret_06_SRS/multum6.xml TRS/Secret_06_SRS/secr10.xml TRS/Secret_06_SRS/5.xml TRS/Secret_06_SRS/3-matchbox.xml TRS/Secret_06_SRS/secr6.xml TRS/Secret_06_SRS/multum3.xml TRS/Secret_06_SRS/secr1.xml TRS/Secret_06_SRS/multum1.xml TRS/Secret_06_SRS/2-matchbox.xml TRS/Secret_06_SRS/1.xml TRS/Secret_06_SRS/3.xml TRS/Secret_06_SRS/6.xml TRS/Secret_06_SRS/multum2.xml TRS/Secret_06_SRS/2.xml TRS/Secret_06_SRS/multum5.xml TRS/Secret_06_SRS/secr2.xml TRS/Trafo_06/dup13.xml TRS/Trafo_06/dup17.xml TRS/Trafo_06/dup10.xml TRS/Trafo_06/un16.xml TRS/Trafo_06/un09.xml TRS/Trafo_06/un06.xml TRS/Trafo_06/un04.xml TRS/Trafo_06/hom03.xml TRS/Trafo_06/dup14.xml TRS/Trafo_06/un07.xml TRS/Trafo_06/un15.xml TRS/Trafo_06/hom02.xml TRS/Trafo_06/un08.xml TRS/Trafo_06/un02.xml TRS/Trafo_06/dup08.xml TRS/Trafo_06/hom01.xml TRS/Trafo_06/dup07.xml TRS/Trafo_06/un14.xml TRS/Trafo_06/dup09.xml TRS/Trafo_06/dup06.xml TRS/Trafo_06/un17.xml TRS/Trafo_06/un10.xml TRS/Trafo_06/dup15.xml TRS/Trafo_06/dup12.xml TRS/Trafo_06/dup01.xml TRS/Trafo_06/un12.xml TRS/Trafo_06/dup05.xml TRS/Trafo_06/un18.xml TRS/Trafo_06/un13.xml TRS/Trafo_06/un05.xml TRS/Trafo_06/dup11.xml TRS/Trafo_06/un11.xml TRS/Trafo_06/dup16.xml TRS/Waldmann_06_SRS/uni-2.xml TRS/Waldmann_06_SRS/uni-1.xml TRS/Waldmann_06_SRS/sym-1.xml TRS/Waldmann_06_SRS/sym-6.xml TRS/Waldmann_06_SRS/uni-7.xml TRS/Waldmann_06_SRS/sym-2.xml TRS/Waldmann_06_SRS/uni-5.xml TRS/Waldmann_06_SRS/uni-4.xml TRS/Waldmann_06_SRS/jw5.xml TRS/Waldmann_06_SRS/uni-3.xml TRS/Waldmann_06_SRS/sym-4.xml TRS/Waldmann_06_SRS/jw1.xml TRS/Waldmann_06_SRS/sym-5.xml TRS/Waldmann_06_SRS/jw4.xml TRS/Waldmann_06_SRS/uni-6.xml TRS/Waldmann_06_SRS/z086-variant.xml TRS/Applicative_first_order_05/hydra.xml TRS/Applicative_first_order_05/17.xml TRS/Applicative_first_order_05/08.xml TRS/Applicative_first_order_05/#3.22.xml TRS/Applicative_first_order_05/#3.36.xml TRS/Applicative_first_order_05/#3.57.xml TRS/Applicative_first_order_05/#3.40.xml TRS/Applicative_first_order_05/minsort.xml TRS/Applicative_first_order_05/11.xml TRS/Applicative_first_order_05/12.xml TRS/Applicative_first_order_05/#3.52.xml TRS/Applicative_first_order_05/#3.45.xml TRS/Applicative_first_order_05/#3.25.xml TRS/Applicative_first_order_05/#3.27.xml TRS/Applicative_first_order_05/#3.18.xml TRS/Applicative_first_order_05/13.xml TRS/Applicative_first_order_05/18.xml TRS/Applicative_first_order_05/#3.16.xml TRS/Applicative_first_order_05/perfect.xml TRS/Applicative_first_order_05/#3.2.xml TRS/Applicative_first_order_05/33.xml TRS/Applicative_first_order_05/#3.13.xml TRS/Applicative_first_order_05/30.xml TRS/Applicative_first_order_05/perfect2.xml TRS/Applicative_first_order_05/#3.48.xml TRS/Applicative_first_order_05/#3.38.xml TRS/Applicative_first_order_05/#3.8.xml TRS/Applicative_first_order_05/#3.32.xml TRS/Applicative_first_order_05/02.xml TRS/Applicative_first_order_05/21.xml TRS/Applicative_first_order_05/#3.10.xml TRS/Applicative_first_order_05/31.xml TRS/Applicative_first_order_05/06.xml TRS/Applicative_first_order_05/01.xml TRS/Applicative_first_order_05/#3.6.xml TRS/Applicative_first_order_05/motivation.xml TRS/Applicative_first_order_05/29.xml TRS/Applicative_first_order_05/#3.55.xml TRS/Waldmann_07_size11/size-11-alpha-3-num-19.xml TRS/Waldmann_07_size11/size-11-alpha-3-num-21.xml TRS/Waldmann_07_size11/size-11-alpha-2-num-3.xml TRS/Waldmann_07_size11/size-11-alpha-3-num-18.xml TRS/Waldmann_07_size11/size-11-alpha-3-num-17.xml TRS/Waldmann_07_size11/size-11-alpha-3-num-3.xml TRS/Waldmann_07_size11/size-11-alpha-3-num-13.xml TRS/Waldmann_07_size11/size-11-alpha-2-num-4.xml TRS/Waldmann_07_size11/size-11-alpha-3-num-20.xml TRS/Various_04/19.xml TRS/Various_04/03.xml TRS/Various_04/27.xml TRS/Various_04/26.xml TRS/Various_04/09.xml TRS/Various_04/25.xml TRS/Various_04/02.xml TRS/Various_04/21.xml TRS/Various_04/07.xml TRS/Various_04/06.xml TRS/Various_04/05.xml TRS/Mixed_innermost/test75.xml TRS/Mixed_innermost/innermost2.xml TRS/Mixed_innermost/innermost1.xml TRS/Mixed_innermost/test9.xml TRS/Mixed_innermost/bn111.xml TRS/Mixed_innermost/toyama.xml TRS/Mixed_innermost/innermost3.xml TRS/Mixed_innermost/n001.xml TRS/Mixed_innermost/gkg.xml TRS/Mixed_innermost/test833.xml TRS/AProVE_06/mapHard.xml TRS/Der95/17.xml TRS/Der95/04.xml TRS/Der95/03.xml TRS/Der95/28.xml TRS/Der95/13.xml TRS/Der95/09.xml TRS/Der95/30.xml TRS/Der95/02.xml TRS/Der95/01.xml TRS/Secret_05_TRS/aprove1.xml TRS/Secret_05_TRS/teparla1.xml TRS/Secret_05_TRS/teparla3.xml TRS/Secret_05_TRS/matchbox2.xml TRS/Secret_05_TRS/teparla2.xml TRS/Secret_05_TRS/cime1.xml TRS/Secret_05_TRS/matchbox1.xml TRS/Rubio_04/mfp90b.xml TRS/Rubio_04/lescanne.xml TRS/Rubio_04/aoto.xml TRS/Rubio_04/bn129.xml TRS/Rubio_04/lindau.xml TRS/Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml TRS/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml TRS/Transformed_CSR_04/Ex1_GM03_iGM.xml TRS/Transformed_CSR_04/Ex1_Luc02b_iGM.xml TRS/Transformed_CSR_04/Ex9_BLR02_iGM.xml TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml TRS/Transformed_CSR_04/Ex25_Luc06_L.xml TRS/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml TRS/Transformed_CSR_04/Ex23_Luc06_L.xml TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml TRS/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml TRS/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml TRS/Transformed_CSR_04/Ex25_Luc06_iGM.xml TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml TRS/Transformed_CSR_04/Ex1_GL02a_iGM.xml TRS/Transformed_CSR_04/Ex14_Luc06_FR.xml TRS/Transformed_CSR_04/Ex9_Luc04_iGM.xml TRS/Transformed_CSR_04/Ex1_GM99_FR.xml TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml TRS/Transformed_CSR_04/Ex9_Luc06_iGM.xml TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml TRS/Transformed_CSR_04/Ex49_GM04_iGM.xml TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml TRS/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml TRS/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml TRS/Transformed_CSR_04/Ex6_Luc98_iGM.xml TRS/Transformed_CSR_04/Ex7_BLR02_iGM.xml TRS/Transformed_CSR_04/MYNAT_nosorts_iGM.xml TRS/Transformed_CSR_04/Ex2_Luc03b_iGM.xml TRS/Transformed_CSR_04/ExConc_Zan97_L.xml TRS/Transformed_CSR_04/Ex23_Luc06_iGM.xml TRS/Transformed_CSR_04/PEANO_nosorts_iGM.xml TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml TRS/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml TRS/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml TRS/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml TRS/Transformed_CSR_04/PALINDROME_nosorts_FR.xml TRS/Transformed_CSR_04/PEANO_nokinds_iGM.xml TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml TRS/Transformed_CSR_04/Ex8_BLR02_iGM.xml TRS/Transformed_CSR_04/MYNAT_complete_iGM.xml TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml TRS/Transformed_CSR_04/Ex14_Luc06_L.xml TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml TRS/Transformed_CSR_04/Ex18_Luc06_L.xml TRS/Transformed_CSR_04/Ex16_Luc06_FR.xml TRS/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml TRS/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml TRS/Transformed_CSR_04/Ex18_Luc06_iGM.xml TRS/Transformed_CSR_04/Ex4_Zan97_iGM.xml TRS/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml TRS/Transformed_CSR_04/OvConsOS_complete_iGM.xml TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml TRS/Transformed_CSR_04/Ex6_GM04_L.xml TRS/Transformed_CSR_04/Ex24_GM04_iGM.xml TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml TRS/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml TRS/Transformed_CSR_04/Ex1_GM99_iGM.xml TRS/Transformed_CSR_04/ExIntrod_GM04_iGM.xml TRS/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml TRS/Transformed_CSR_04/PEANO_complete_iGM.xml TRS/Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml TRS/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml TRS/Transformed_CSR_04/Ex14_AEGL02_iGM.xml TRS/Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml TRS/Transformed_CSR_04/Ex26_Luc03b_iGM.xml TRS/Transformed_CSR_04/Ex24_Luc06_iGM.xml TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml TRS/Transformed_CSR_04/ExIntrod_GM99_iGM.xml TRS/Transformed_CSR_04/PEANO_complete_noand_iGM.xml TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml TRS/Transformed_CSR_04/Ex5_Zan97_iGM.xml TRS/Transformed_CSR_04/Ex9_Luc04_FR.xml TRS/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml TRS/Transformed_CSR_04/Ex14_Luc06_iGM.xml TRS/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml TRS/Transformed_CSR_04/ExIntrod_GM01_iGM.xml TRS/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml TRS/Transformed_CSR_04/PALINDROME_complete_iGM.xml TRS/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml