Index of /~kirst/drafts/website

	Name	Last modified	Size	Description
	Parent Directory		-
	resources/	2024-01-26 21:17	-
	Undecidability.TM.Re..>	2024-01-27 12:19	98K
	Undecidability.Strin..>	2024-01-27 12:19	17K
	Undecidability.FOL.A..>	2024-01-27 12:19	24K
	Undecidability.Synth..>	2024-01-27 12:19	23K
	Undecidability.Share..>	2024-01-27 12:19	109K
	Undecidability.MuRec..>	2024-01-27 12:19	3.6K
	Undecidability.FOL.M..>	2024-01-27 12:19	71K
	Undecidability.Count..>	2024-01-27 12:19	120K
	Undecidability.Share..>	2024-01-27 12:19	66K
	Undecidability.L.Com..>	2024-01-27 12:19	99K
	Undecidability.SetCo..>	2024-01-27 12:19	38K
	Undecidability.L.Tac..>	2024-01-27 12:19	144K
	Undecidability.TRAKH..>	2024-01-27 12:19	155K
	Undecidability.TM.L...>	2024-01-27 12:19	25K
	Undecidability.Syste..>	2024-01-27 12:19	23K
	Undecidability.Share..>	2024-01-27 12:19	440K
	Undecidability.FOL.S..>	2024-01-27 12:19	24K
	Undecidability.Count..>	2024-01-27 12:19	228K
	Undecidability.TM.Co..>	2024-01-27 12:19	76K
	Undecidability.TM.Co..>	2024-01-27 12:19	3.6K
	Undecidability.L.Pre..>	2024-01-27 12:19	49K
	Undecidability.Share..>	2024-01-27 12:19	59K
	Undecidability.Share..>	2024-01-27 12:19	20K
	Undecidability.FOL.S..>	2024-01-27 12:19	44K
	Undecidability.L.Fun..>	2024-01-27 12:19	16K
	Undecidability.FOL.C..>	2024-01-27 12:19	252K
	Undecidability.SetCo..>	2024-01-27 12:19	14K
	Undecidability.FOL.C..>	2024-01-27 12:19	163K
	Undecidability.TM.Pr..>	2024-01-27 12:19	128K
	Undecidability.L.Dat..>	2024-01-27 12:19	6.3K
	Undecidability.L.Pre..>	2024-01-27 12:19	218K
	Undecidability.FOL.U..>	2024-01-27 12:19	14K
	Undecidability.L.Enu..>	2024-01-27 12:19	12K
	Undecidability.MuRec..>	2024-01-27 12:19	380K
	Undecidability.FOL.U..>	2024-01-27 12:19	47K
	Undecidability.FOL.U..>	2024-01-27 12:19	86K
	Undecidability.L.Com..>	2024-01-27 12:19	136K
	Undecidability.TM.Ba..>	2024-01-27 12:19	34K
	Undecidability.Share..>	2024-01-27 12:19	47K
	Undecidability.TM.En..>	2024-01-27 12:19	42K
	Undecidability.TRAKH..>	2024-01-27 12:19	72K
	Undecidability.FOL.U..>	2024-01-27 12:19	353K
	Undecidability.Share..>	2024-01-27 12:19	37K
	Undecidability.L.Abs..>	2024-01-27 12:19	122K
	Undecidability.Synth..>	2024-01-27 12:19	6.4K
	Undecidability.FOL.S..>	2024-01-27 12:19	51K
	Undecidability.FOL.F..>	2024-01-27 12:19	2.9K
	Undecidability.TM.Co..>	2024-01-27 12:19	137K
	Undecidability.TM.Un..>	2024-01-27 12:19	269K
	Undecidability.L.Dat..>	2024-01-27 12:19	56K
	Undecidability.FOL.U..>	2024-01-27 12:19	14K
	Undecidability.TRAKH..>	2024-01-27 12:19	270K
	Undecidability.FOL.I..>	2024-01-27 12:19	39K
	Undecidability.SOL.U..>	2024-01-27 12:19	314K
	Undecidability.MuRec..>	2024-01-27 12:19	6.6K
	Undecidability.FOL.U..>	2024-01-27 12:19	31K
	Undecidability.FOL.A..>	2024-01-27 12:19	37K
	Undecidability.TM.Co..>	2024-01-27 12:19	143K
	coqdocjs.css	2024-01-27 12:19	3.1K
	Undecidability.Synth..>	2024-01-27 12:19	12K
	Undecidability.L.Fun..>	2024-01-27 12:19	35K
	Undecidability.TM.Co..>	2024-01-27 12:19	142K
	Undecidability.FOL.I..>	2024-01-27 12:19	273K
	Undecidability.SOL.R..>	2024-01-27 12:19	125K
	Undecidability.H10.H..>	2024-01-27 12:19	11K
	Undecidability.Minsk..>	2024-01-27 12:19	235K
	Undecidability.FOL.R..>	2024-01-27 12:19	108K
	Undecidability.L.Abs..>	2024-01-27 12:19	95K
	Undecidability.L.Fun..>	2024-01-27 12:19	12K
	Undecidability.FOL.U..>	2024-01-27 12:19	91K
	Undecidability.Share..>	2024-01-27 12:19	361K
	Undecidability.FOL.S..>	2024-01-27 12:19	31K
	Undecidability.FOL.I..>	2024-01-27 12:19	116K
	Undecidability.TM.Ba..>	2024-01-27 12:19	13K
	Undecidability.L.Tac..>	2024-01-27 12:19	3.2K
	Undecidability.MuRec..>	2024-01-27 12:19	160K
	Undecidability.FOL.I..>	2024-01-27 12:19	309K
	Undecidability.L.Tac..>	2024-01-27 12:19	193K
	Undecidability.FOL.F..>	2024-01-27 12:19	2.4K
	Undecidability.Count..>	2024-01-27 12:19	5.8K
	Undecidability.Strin..>	2024-01-27 12:19	77K
	Undecidability.Share..>	2024-01-27 12:19	712K
	Undecidability.Share..>	2024-01-27 12:19	3.0K
	Undecidability.H10.H..>	2024-01-27 12:19	16K
	Undecidability.HOU.c..>	2024-01-27 12:19	88K
	Undecidability.FOL.P..>	2024-01-27 12:19	747K
	Undecidability.Minsk..>	2024-01-27 12:19	6.4K
	Undecidability.Strin..>	2024-01-27 12:19	14K
	Undecidability.FOL.U..>	2024-01-27 12:19	284K
	Undecidability.FOL.U..>	2024-01-27 12:19	56K
	Undecidability.Share..>	2024-01-27 12:19	96K
	Undecidability.TM.Ho..>	2024-01-27 12:19	13K
	Undecidability.FOL.I..>	2024-01-27 12:19	67K
	Undecidability.MuRec..>	2024-01-27 12:19	21K
	Undecidability.Minsk..>	2024-01-27 12:19	3.2K
	Undecidability.TM.L...>	2024-01-27 12:19	114K
	Undecidability.TM.L...>	2024-01-27 12:19	77K
	Undecidability.FOL.U..>	2024-01-27 12:19	7.0K
	Undecidability.L.Tac..>	2024-01-27 12:19	46K
	Undecidability.FRACT..>	2024-01-27 12:19	21K
	Undecidability.FOL.D..>	2024-01-27 12:19	344K
	Undecidability.TRAKH..>	2024-01-27 12:19	176K
	Undecidability.Share..>	2024-01-27 12:19	207K
	Undecidability.HOU.s..>	2024-01-27 12:19	26K
	Undecidability.Share..>	2024-01-27 12:19	107K
	Undecidability.Share..>	2024-01-27 12:19	111K
	Undecidability.HOU.c..>	2024-01-27 12:19	34K
	Undecidability.FOL.A..>	2024-01-27 12:19	9.1K
	Undecidability.Share..>	2024-01-27 12:19	162K
	Undecidability.FOL.M..>	2024-01-27 12:19	188K
	Undecidability.PCP.R..>	2024-01-27 12:19	5.3K
	Undecidability.Share..>	2024-01-27 12:19	45K
	Undecidability.PCP.R..>	2024-01-27 12:19	77K
	Undecidability.L.Dat..>	2024-01-27 12:19	91K
	Undecidability.CFG.R..>	2024-01-27 12:19	8.0K
	Undecidability.HOU.c..>	2024-01-27 12:19	140K
	Undecidability.Share..>	2024-01-27 12:19	130K
	Undecidability.Minsk..>	2024-01-27 12:19	14K
	Undecidability.Separ..>	2024-01-27 12:19	28K
	Undecidability.Synth..>	2024-01-27 12:19	39K
	Undecidability.Share..>	2024-01-27 12:19	143K
	Undecidability.FOL.I..>	2024-01-27 12:19	110K
	Undecidability.TM.Co..>	2024-01-27 12:19	28K
	Undecidability.TM.L...>	2024-01-27 12:19	118K
	Undecidability.Separ..>	2024-01-27 12:19	17K
	Undecidability.FOL.I..>	2024-01-27 12:19	55K
	Undecidability.SOL.U..>	2024-01-27 12:19	237K
	Undecidability.MuRec..>	2024-01-27 12:19	32K
	Undecidability.L.L_e..>	2024-01-27 12:19	2.8K
	Undecidability.FOL.S..>	2024-01-27 12:19	83K
	Undecidability.Share..>	2024-01-27 12:19	265K
	Undecidability.TM.L...>	2024-01-27 12:19	139K
	Undecidability.HOU.s..>	2024-01-27 12:19	159K
	Undecidability.FOL.S..>	2024-01-27 12:19	126K
	Undecidability.FOL.U..>	2024-01-27 12:19	144K
	Undecidability.FOL.U..>	2024-01-27 12:19	445K
	Undecidability.TM.L...>	2024-01-27 12:19	305K
	Undecidability.Syste..>	2024-01-27 12:19	72K
	Undecidability.TM.Li..>	2024-01-27 12:19	229K
	Undecidability.FOL.D..>	2024-01-27 12:19	168K
	Undecidability.Share..>	2024-01-27 12:19	44K
	Undecidability.L.Fun..>	2024-01-27 12:19	9.3K
	Undecidability.Share..>	2024-01-27 12:19	48K
	Undecidability.Minsk..>	2024-01-27 12:19	141K
	Undecidability.Share..>	2024-01-27 12:19	106K
	Undecidability.L.Fun..>	2024-01-27 12:19	25K
	Undecidability.TRAKH..>	2024-01-27 12:19	328K
	Undecidability.Minsk..>	2024-01-27 12:19	44K
	Undecidability.HOU.s..>	2024-01-27 12:19	57K
	Undecidability.HOU.t..>	2024-01-27 12:19	47K
	Undecidability.TM.Co..>	2024-01-27 12:19	36K
	Undecidability.L.Abs..>	2024-01-27 12:19	54K
	Undecidability.TM.SB..>	2024-01-27 12:19	39K
	Undecidability.CFG.U..>	2024-01-27 12:19	27K
	Undecidability.Share..>	2024-01-27 12:19	99K
	Undecidability.TRAKH..>	2024-01-27 12:19	130K
	Undecidability.ILL.L..>	2024-01-27 12:19	175K
	Undecidability.Share..>	2024-01-27 12:19	27K
	Undecidability.L.Com..>	2024-01-27 12:19	30K
	Undecidability.ILL.E..>	2024-01-27 12:19	38K
	Undecidability.Stack..>	2024-01-27 12:19	582K
	Undecidability.Share..>	2024-01-27 12:19	67K
	Undecidability.Share..>	2024-01-27 12:19	9.3K
	Undecidability.Count..>	2024-01-27 12:19	185K
	Undecidability.HOU.u..>	2024-01-27 12:19	59K
	Undecidability.FOL.M..>	2024-01-27 12:19	319K
	Undecidability.TM.L...>	2024-01-27 12:19	318K
	Undecidability.Dioph..>	2024-01-27 12:19	60K
	Undecidability.TM.Un..>	2024-01-27 12:19	282K
	Undecidability.TM.L...>	2024-01-27 12:19	201K
	Undecidability.ILL.C..>	2024-01-27 12:19	197K
	Undecidability.TM.Co..>	2024-01-27 12:19	80K
	Undecidability.FRACT..>	2024-01-27 12:19	4.9K
	Undecidability.Stack..>	2024-01-27 12:19	3.4K
	Undecidability.HOU.s..>	2024-01-27 12:19	132K
	Undecidability.TM.Ut..>	2024-01-27 12:19	82K
	Undecidability.TRAKH..>	2024-01-27 12:19	205K
	Undecidability.HOU.a..>	2024-01-27 12:19	5.0K
	Undecidability.FRACT..>	2024-01-27 12:19	5.5K
	Undecidability.FOL.S..>	2024-01-27 12:19	97K
	Undecidability.TM.Co..>	2024-01-27 12:19	175K
	Undecidability.Minsk..>	2024-01-27 12:19	102K
	Undecidability.TRAKH..>	2024-01-27 12:19	193K
	Undecidability.Minsk..>	2024-01-27 12:19	27K
	Undecidability.SemiU..>	2024-01-27 12:19	8.0K
	Undecidability.H10.A..>	2024-01-27 12:19	473K
	Undecidability.TRAKH..>	2024-01-27 12:19	60K
	Undecidability.Share..>	2024-01-27 12:19	21K
	Undecidability.ILL.R..>	2024-01-27 12:19	11K
	Undecidability.Strin..>	2024-01-27 12:19	81K
	Undecidability.Separ..>	2024-01-27 12:19	3.2K
	Undecidability.Stack..>	2024-01-27 12:19	31K
	Undecidability.TM.Ho..>	2024-01-27 12:19	605K
	Undecidability.MuRec..>	2024-01-27 12:19	10K
	Undecidability.TM.Co..>	2024-01-27 12:19	507K
	Undecidability.Share..>	2024-01-27 12:19	68K
	Undecidability.L.Tac..>	2024-01-27 12:19	179K
	Undecidability.HOU.s..>	2024-01-27 12:19	286K
	Undecidability.HOU.s..>	2024-01-27 12:19	156K
	Undecidability.FOL.D..>	2024-01-27 12:19	9.5K
	Undecidability.TM.L...>	2024-01-27 12:19	54K
	Undecidability.TM.Ho..>	2024-01-27 12:19	248K
	Undecidability.Stack..>	2024-01-27 12:19	284K
	Undecidability.Syste..>	2024-01-27 12:19	403K
	Undecidability.HOU.t..>	2024-01-27 12:19	36K
	Undecidability.Syste..>	2024-01-27 12:19	108K
	Undecidability.Count..>	2024-01-27 12:19	33K
	Undecidability.FOL.U..>	2024-01-27 12:19	11K
	Undecidability.Syste..>	2024-01-27 12:19	429K
	Undecidability.TM.L...>	2024-01-27 12:19	166K
	Undecidability.L.Dat..>	2024-01-27 12:19	21K
	Undecidability.L.Red..>	2024-01-27 12:19	36K
	Undecidability.HOU.f..>	2024-01-27 12:19	507K
	Undecidability.L.TM...>	2024-01-27 12:19	54K
	Undecidability.L.Com..>	2024-01-27 12:19	7.0K
	Undecidability.Synth..>	2024-01-27 12:19	118K
	Undecidability.FOL.P..>	2024-01-27 12:19	129K
	Undecidability.FOL.U..>	2024-01-27 12:19	667K
	Undecidability.TRAKH..>	2024-01-27 12:19	259K
	Undecidability.Share..>	2024-01-27 12:19	54K
	Undecidability.FOL.P..>	2024-01-27 12:19	83K
	Undecidability.PCP.R..>	2024-01-27 12:19	15K
	toc.html	2024-01-27 12:19	2.3K
	Undecidability.TM.Co..>	2024-01-27 12:19	50K
	Undecidability.Stack..>	2024-01-27 12:19	70K
	Undecidability.TRAKH..>	2024-01-27 12:19	141K
	Undecidability.L.Tac..>	2024-01-27 12:19	33K
	Undecidability.HOU.u..>	2024-01-27 12:19	65K
	Undecidability.TRAKH..>	2024-01-27 12:19	110K
	Undecidability.FOL.R..>	2024-01-27 12:19	116K
	Undecidability.Syste..>	2024-01-27 12:19	677K
	Undecidability.ILL.L..>	2024-01-27 12:19	155K
	Undecidability.TM.L...>	2024-01-27 12:19	682K
	Undecidability.TM.L...>	2024-01-27 12:19	178K
	Undecidability.TM.Co..>	2024-01-27 12:19	230K
	Undecidability.Dioph..>	2024-01-27 12:19	16K
	Undecidability.Share..>	2024-01-27 12:19	95K
	Undecidability.HOU.c..>	2024-01-27 12:19	136K
	Undecidability.FOL.D..>	2024-01-27 12:19	43K
	Undecidability.L.Com..>	2024-01-27 12:19	5.5K
	Undecidability.SemiU..>	2024-01-27 12:19	227K
	Undecidability.L.Tac..>	2024-01-27 12:19	59K
	Undecidability.Share..>	2024-01-27 12:19	148K
	Undecidability.TM.Co..>	2024-01-27 12:19	37K
	Undecidability.Minsk..>	2024-01-27 12:19	159K
	Undecidability.Hilbe..>	2024-01-27 12:19	16K
	Undecidability.Count..>	2024-01-27 12:19	3.6K
	Undecidability.FOL.S..>	2024-01-27 12:19	133K
	Undecidability.TM.Co..>	2024-01-27 12:19	139K
	Undecidability.Synth..>	2024-01-27 12:19	95K
	Undecidability.CFG.R..>	2024-01-27 12:19	140K
	Undecidability.Share..>	2024-01-27 12:19	115K
	Undecidability.FOL.S..>	2024-01-27 12:19	149K
	Undecidability.Share..>	2024-01-27 12:19	248K
	Undecidability.L.Com..>	2024-01-27 12:19	4.6K
	Undecidability.L.Com..>	2024-01-27 12:19	39K
	Undecidability.L.L_u..>	2024-01-27 12:19	4.2K
	Undecidability.Stack..>	2024-01-27 12:19	146K
	Undecidability.HOU.u..>	2024-01-27 12:19	172K
	Undecidability.HOU.s..>	2024-01-27 12:19	14K
	Undecidability.SOL.U..>	2024-01-27 12:19	341K
	Undecidability.FOL.M..>	2024-01-27 12:19	31K
	Undecidability.HOU.c..>	2024-01-27 12:19	39K
	Undecidability.TM.Ho..>	2024-01-27 12:19	144K
	Undecidability.TM.Co..>	2024-01-27 12:19	29K
	Undecidability.H10.R..>	2024-01-27 12:19	24K
	Undecidability.HOU.s..>	2024-01-27 12:19	94K
	Undecidability.MuRec..>	2024-01-27 12:19	10K
	Undecidability.Share..>	2024-01-27 12:19	32K
	Undecidability.CFG.C..>	2024-01-27 12:19	4.6K
	Undecidability.L.Tac..>	2024-01-27 12:19	6.8K
	Undecidability.HOU.s..>	2024-01-27 12:19	32K
	Undecidability.HOU.s..>	2024-01-27 12:19	175K
	Undecidability.Syste..>	2024-01-27 12:19	151K
	Undecidability.SemiU..>	2024-01-27 12:19	39K
	Undecidability.CFG.C..>	2024-01-27 12:19	17K
	Undecidability.L.Dat..>	2024-01-27 12:19	38K
	Undecidability.FOL.I..>	2024-01-27 12:19	87K
	Undecidability.L.Fun..>	2024-01-27 12:19	45K
	Undecidability.TRAKH..>	2024-01-27 12:19	27K
	Undecidability.Hilbe..>	2024-01-27 12:19	51K
	Undecidability.Syste..>	2024-01-27 12:19	880K
	Undecidability.TM.Co..>	2024-01-27 12:19	330K
	Undecidability.H10.F..>	2024-01-27 12:19	21K
	Undecidability.Share..>	2024-01-27 12:19	3.0K
	Undecidability.FOL.U..>	2024-01-27 12:19	141K
	Undecidability.FOL.S..>	2024-01-27 12:19	51K
	Undecidability.FOL.D..>	2024-01-27 12:19	393K
	Undecidability.TM.L...>	2024-01-27 12:19	92K
	Undecidability.PCP.U..>	2024-01-27 12:19	182K
	Undecidability.HOU.t..>	2024-01-27 12:19	169K
	Undecidability.HOU.s..>	2024-01-27 12:19	24K
	Undecidability.H10.H..>	2024-01-27 12:19	45K
	Undecidability.ILL.L..>	2024-01-27 12:19	52K
	Undecidability.MuRec..>	2024-01-27 12:19	35K
	Undecidability.TM.Co..>	2024-01-27 12:19	179K
	Undecidability.Syste..>	2024-01-27 12:19	5.2K
	Undecidability.TM.Si..>	2024-01-27 12:19	76K
	Undecidability.SOL.S..>	2024-01-27 12:19	93K
	Undecidability.FOL.M..>	2024-01-27 12:19	71K
	Undecidability.Separ..>	2024-01-27 12:19	3.5K
	Undecidability.FOL.A..>	2024-01-27 12:19	85K
	Undecidability.TM.TM..>	2024-01-27 12:19	51K
	Undecidability.Dioph..>	2024-01-27 12:19	46K
	Undecidability.TRAKH..>	2024-01-27 12:19	92K
	Undecidability.Share..>	2024-01-27 12:19	42K
	Undecidability.ILL.L..>	2024-01-27 12:19	150K
	Undecidability.Strin..>	2024-01-27 12:19	203K
	Undecidability.TM.Li..>	2024-01-27 12:19	1.7K
	Undecidability.Share..>	2024-01-27 12:19	80K
	Undecidability.FOL.U..>	2024-01-27 12:19	343K
	Undecidability.HOU.c..>	2024-01-27 12:19	72K
	Undecidability.Stack..>	2024-01-27 12:19	12K
	Undecidability.TM.Ho..>	2024-01-27 12:19	33K
	Undecidability.FOL.M..>	2024-01-27 12:19	577K
	Undecidability.HOU.s..>	2024-01-27 12:19	27K
	Undecidability.Syste..>	2024-01-27 12:19	167K
	Undecidability.Share..>	2024-01-27 12:19	34K
	Undecidability.FOL.I..>	2024-01-27 12:19	272K
	Undecidability.PCP.U..>	2024-01-27 12:19	82K
	Undecidability.Syste..>	2024-01-27 12:19	64K
	Undecidability.Dioph..>	2024-01-27 12:19	61K
	Undecidability.FOL.A..>	2024-01-27 12:19	75K
	Undecidability.Share..>	2024-01-27 12:19	18K
	Undecidability.Minsk..>	2024-01-27 12:19	3.5K
	Undecidability.TRAKH..>	2024-01-27 12:19	77K
	Undecidability.FOL.P..>	2024-01-27 12:19	66K
	Undecidability.L.Fun..>	2024-01-27 12:19	40K
	Undecidability.HOU.c..>	2024-01-27 12:19	55K
	Undecidability.TRAKH..>	2024-01-27 12:19	64K
	Undecidability.TM.Co..>	2024-01-27 12:19	154K
	Undecidability.Strin..>	2024-01-27 12:19	5.0K
	Undecidability.HOU.s..>	2024-01-27 12:19	82K
	Undecidability.Syste..>	2024-01-27 12:19	28K
	Undecidability.FOL.S..>	2024-01-27 12:19	65K
	Undecidability.TM.Co..>	2024-01-27 12:19	133K
	Undecidability.Polyn..>	2024-01-27 12:19	31K
	Undecidability.FOL.M..>	2024-01-27 12:19	158K
	Undecidability.H10.M..>	2024-01-27 12:19	80K
	Undecidability.Hilbe..>	2024-01-27 12:19	147K
	Undecidability.SetCo..>	2024-01-27 12:19	426K
	Undecidability.FOL.U..>	2024-01-27 12:19	660K
	Undecidability.FOL.S..>	2024-01-27 12:19	12K
	Undecidability.FOL.S..>	2024-01-27 12:19	84K
	Undecidability.PCP.R..>	2024-01-27 12:19	34K
	Undecidability.Count..>	2024-01-27 12:19	17K
	Undecidability.Share..>	2024-01-27 12:19	18K
	Undecidability.L.Tac..>	2024-01-27 12:19	98K
	Undecidability.Share..>	2024-01-27 12:19	138K
	Undecidability.H10.D..>	2024-01-27 12:19	178K
	Undecidability.FOL.U..>	2024-01-27 12:19	15K
	Undecidability.L.Com..>	2024-01-27 12:19	13K
	Undecidability.L.Dat..>	2024-01-27 12:19	21K
	Undecidability.TRAKH..>	2024-01-27 12:19	23K
	Undecidability.MuRec..>	2024-01-27 12:19	12K
	Undecidability.SemiU..>	2024-01-27 12:19	33K
	Undecidability.Strin..>	2024-01-27 12:19	21K
	Undecidability.TM.Ho..>	2024-01-27 12:19	68K
	Undecidability.FOL.D..>	2024-01-27 12:19	46K
	Undecidability.Synth..>	2024-01-27 12:19	139K
	Undecidability.Share..>	2024-01-27 12:19	72K
	Undecidability.Syste..>	2024-01-27 12:19	36K
	Undecidability.ILL.I..>	2024-01-27 12:19	59K
	Undecidability.Share..>	2024-01-27 12:19	214K
	Undecidability.L.TM...>	2024-01-27 12:19	26K
	Undecidability.FOL.C..>	2024-01-27 12:19	44K
	Undecidability.TM.Re..>	2024-01-27 12:19	406K
	Undecidability.FOL.C..>	2024-01-27 12:19	163K
	Undecidability.Count..>	2024-01-27 12:19	91K
	Undecidability.H10.F..>	2024-01-27 12:19	47K
	Undecidability.FOL.D..>	2024-01-27 12:19	30K
	Undecidability.ILL.I..>	2024-01-27 12:19	7.2K
	Undecidability.ILL.R..>	2024-01-27 12:19	6.9K
	Undecidability.TRAKH..>	2024-01-27 12:19	177K
	Undecidability.Synth..>	2024-01-27 12:19	60K
	Undecidability.TM.Ut..>	2024-01-27 12:19	49K
	Undecidability.Dioph..>	2024-01-27 12:19	39K
	Undecidability.Share..>	2024-01-27 12:19	70K
	Undecidability.Minsk..>	2024-01-27 12:19	18K
	Undecidability.L.Pre..>	2024-01-27 12:19	9.6K
	Undecidability.FOL.U..>	2024-01-27 12:19	10K
	Undecidability.FOL.A..>	2024-01-27 12:19	30K
	Undecidability.H10.D..>	2024-01-27 12:19	322K
	Undecidability.HOU.c..>	2024-01-27 12:19	5.5K
	Undecidability.FOL.U..>	2024-01-27 12:19	390K
	Undecidability.Syste..>	2024-01-27 12:19	250K
	Undecidability.Share..>	2024-01-27 12:19	69K
	config.js	2024-01-27 12:19	1.2K
	Undecidability.L.Dat..>	2024-01-27 12:19	43K
	Undecidability.Syste..>	2024-01-27 12:19	5.7K
	Undecidability.MuRec..>	2024-01-27 12:19	68K
	Undecidability.L.Enu..>	2024-01-27 12:19	17K
	Undecidability.Share..>	2024-01-27 12:19	126K
	Undecidability.Polyn..>	2024-01-27 12:19	3.7K
	Undecidability.Stack..>	2024-01-27 12:19	3.5K
	Undecidability.TM.Co..>	2024-01-27 12:19	129K
	Undecidability.Strin..>	2024-01-27 12:19	108K
	Undecidability.SetCo..>	2024-01-27 12:19	37K
	Undecidability.FOL.M..>	2024-01-27 12:19	81K
	Undecidability.MuRec..>	2024-01-27 12:19	20K
	Undecidability.ILL.I..>	2024-01-27 12:19	179K
	Undecidability.Hilbe..>	2024-01-27 12:19	5.6K
	Undecidability.TM.Ba..>	2024-01-27 12:19	1.7K
	Undecidability.FOL.I..>	2024-01-27 12:19	140K
	Undecidability.L.Pre..>	2024-01-27 12:19	32K
	Undecidability.FOL.P..>	2024-01-27 12:19	5.2K
	Undecidability.FOL.M..>	2024-01-27 12:19	159K
	Undecidability.FOL.D..>	2024-01-27 12:19	31K
	Undecidability.FOL.M..>	2024-01-27 12:19	366K
	Undecidability.FOL.S..>	2024-01-27 12:19	145K
	Undecidability.FOL.A..>	2024-01-27 12:19	51K
	Undecidability.FOL.U..>	2024-01-27 12:19	6.3K
	Undecidability.TM.Si..>	2024-01-27 12:19	1.1M
	Undecidability.TRAKH..>	2024-01-27 12:19	186K
	Undecidability.Share..>	2024-01-27 12:20	67K
	Undecidability.H10.D..>	2024-01-27 12:20	31K
	Undecidability.Share..>	2024-01-27 12:20	53K
	Undecidability.Strin..>	2024-01-27 12:20	3.8K
	Undecidability.FOL.S..>	2024-01-27 12:20	162K
	Undecidability.TRAKH..>	2024-01-27 12:20	50K
	Undecidability.HOU.c..>	2024-01-27 12:20	97K
	Undecidability.TM.Co..>	2024-01-27 12:20	96K
	Undecidability.TM.Co..>	2024-01-27 12:20	55K
	Undecidability.L.Dat..>	2024-01-27 12:20	14K
	Undecidability.L.Pre..>	2024-01-27 12:20	34K
	Undecidability.Minsk..>	2024-01-27 12:20	222K
	Undecidability.H10.A..>	2024-01-27 12:20	148K
	coqdocjs.js	2024-01-27 12:20	5.9K
	Undecidability.Separ..>	2024-01-27 12:20	33K
	Undecidability.Share..>	2024-01-27 12:20	53K
	Undecidability.TM.L...>	2024-01-27 12:20	230K
	Undecidability.Share..>	2024-01-27 12:20	42K
	Undecidability.Count..>	2024-01-27 12:20	135K
	Undecidability.SemiU..>	2024-01-27 12:20	5.1K
	Undecidability.Share..>	2024-01-27 12:20	83K
	Undecidability.FOL.C..>	2024-01-27 12:20	234K
	Undecidability.Stack..>	2024-01-27 12:20	25K
	Undecidability.FOL.S..>	2024-01-27 12:20	113K
	Undecidability.TM.Co..>	2024-01-27 12:20	224K
	Undecidability.L.Tac..>	2024-01-27 12:20	43K
	Undecidability.Share..>	2024-01-27 12:20	200K
	Undecidability.HOU.u..>	2024-01-27 12:20	163K
	Undecidability.HOU.s..>	2024-01-27 12:20	106K
	Undecidability.TM.Un..>	2024-01-27 12:20	194K
	Undecidability.TRAKH..>	2024-01-27 12:20	54K
	Undecidability.Minsk..>	2024-01-27 12:20	159K
	Undecidability.SOL.P..>	2024-01-27 12:20	5.3K
	Undecidability.Strin..>	2024-01-27 12:20	3.5K
	Undecidability.Synth..>	2024-01-27 12:20	15K
	Undecidability.FOL.S..>	2024-01-27 12:20	70K
	Undecidability.L.Com..>	2024-01-27 12:20	87K
	Undecidability.Syste..>	2024-01-27 12:20	3.8K
	Undecidability.ILL.L..>	2024-01-27 12:20	120K
	Undecidability.L.Com..>	2024-01-27 12:20	68K
	Undecidability.HOU.s..>	2024-01-27 12:20	166K
	Undecidability.MuRec..>	2024-01-27 12:20	692K
	Undecidability.Dioph..>	2024-01-27 12:20	140K
	Undecidability.FOL.M..>	2024-01-27 12:20	57K
	Undecidability.Minsk..>	2024-01-27 12:20	4.9K
	Undecidability.FOL.S..>	2024-01-27 12:20	171K
	Undecidability.FOL.U..>	2024-01-27 12:20	230K
	Undecidability.TM.Co..>	2024-01-27 12:20	102K
	Undecidability.L.Dat..>	2024-01-27 12:20	34K
	Undecidability.FOL.U..>	2024-01-27 12:20	10K
	Undecidability.TRAKH..>	2024-01-27 12:20	17K
	Undecidability.FOL.A..>	2024-01-27 12:20	463K
	Undecidability.HOU.s..>	2024-01-27 12:20	33K
	coqdoc.css	2024-01-27 12:20	3.0K
	Undecidability.PCP.P..>	2024-01-27 12:20	46K
	Undecidability.TM.Re..>	2024-01-27 12:20	218K
	Undecidability.TM.SB..>	2024-01-27 12:20	6.0K
	Undecidability.HOU.c..>	2024-01-27 12:20	140K
	Undecidability.Count..>	2024-01-27 12:20	30K
	Undecidability.Strin..>	2024-01-27 12:20	748K
	Undecidability.Minsk..>	2024-01-27 12:20	5.0K
	Undecidability.TRAKH..>	2024-01-27 12:20	87K
	Undecidability.TM.Co..>	2024-01-27 12:20	281K
	Undecidability.L.Tac..>	2024-01-27 12:20	56K
	Undecidability.FOL.U..>	2024-01-27 12:20	85K
	Undecidability.FOL.I..>	2024-01-27 12:20	54K
	Undecidability.H10.D..>	2024-01-27 12:20	276K
	Undecidability.Minsk..>	2024-01-27 12:20	124K
	Undecidability.Minsk..>	2024-01-27 12:20	4.6K
	Undecidability.FOL.P..>	2024-01-27 12:20	134K
	Undecidability.TM.L...>	2024-01-27 12:20	123K
	Undecidability.H10.D..>	2024-01-27 12:20	100K
	Undecidability.FOL.S..>	2024-01-27 12:20	24K
	Undecidability.CFG.C..>	2024-01-27 12:20	22K
	Undecidability.TM.Co..>	2024-01-27 12:20	69K
	Undecidability.TRAKH..>	2024-01-27 12:20	72K
	Undecidability.FOL.S..>	2024-01-27 12:20	16K
	Undecidability.ILL.R..>	2024-01-27 12:20	20K
	Undecidability.TRAKH..>	2024-01-27 12:20	120K
	Undecidability.TM.Co..>	2024-01-27 12:20	54K
	Undecidability.Share..>	2024-01-27 12:20	19K
	Undecidability.L.Fun..>	2024-01-27 12:20	29K
	Undecidability.Syste..>	2024-01-27 12:20	6.7K
	Undecidability.FOL.U..>	2024-01-27 12:20	167K
	Undecidability.L.Uti..>	2024-01-27 12:20	266K
	Undecidability.TRAKH..>	2024-01-27 12:20	275K
	Undecidability.ILL.C..>	2024-01-27 12:20	4.9K
	Undecidability.SemiU..>	2024-01-27 12:20	13K
	Undecidability.TM.L...>	2024-01-27 12:20	152K
	Undecidability.Polyn..>	2024-01-27 12:20	62K
	Undecidability.TM.Ba..>	2024-01-27 12:20	81K
	Undecidability.FOL.U..>	2024-01-27 12:20	28K
	Undecidability.TM.Re..>	2024-01-27 12:20	23K
	Undecidability.TRAKH..>	2024-01-27 12:20	118K
	Undecidability.Synth..>	2024-01-27 12:20	45K
	Undecidability.L.Dat..>	2024-01-27 12:20	4.0K
	Undecidability.L.Tac..>	2024-01-27 12:20	175K
	Undecidability.FOL.A..>	2024-01-27 12:20	215K
	Undecidability.Count..>	2024-01-27 12:20	48K
	Undecidability.Share..>	2024-01-27 12:20	33K
	Undecidability.HOU.u..>	2024-01-27 12:20	142K
	Undecidability.H10.H..>	2024-01-27 12:20	73K
	Undecidability.Polyn..>	2024-01-27 12:20	20K
	Undecidability.TRAKH..>	2024-01-27 12:20	37K
	Undecidability.HOU.c..>	2024-01-27 12:20	1.8K
	Undecidability.Share..>	2024-01-27 12:20	70K
	Undecidability.HOU.c..>	2024-01-27 12:20	2.8K
	Undecidability.MuRec..>	2024-01-27 12:20	35K
	Undecidability.TRAKH..>	2024-01-27 12:20	67K
	Undecidability.L.Tac..>	2024-01-27 12:20	130K
	Undecidability.TM.Co..>	2024-01-27 12:20	124K
	Undecidability.HOU.s..>	2024-01-27 12:20	203K
	Undecidability.Minsk..>	2024-01-27 12:20	135K
	Undecidability.Stack..>	2024-01-27 12:20	1.8M
	Undecidability.FOL.I..>	2024-01-27 12:20	44K
	Undecidability.Stack..>	2024-01-27 12:20	43K
	Undecidability.PCP.P..>	2024-01-27 12:20	16K
	Undecidability.Strin..>	2024-01-27 12:20	3.6K
	Undecidability.FOL.U..>	2024-01-27 12:20	432K
	Undecidability.Share..>	2024-01-27 12:20	33K
	Undecidability.TM.Co..>	2024-01-27 12:20	65K
	Undecidability.H10.D..>	2024-01-27 12:20	219K
	Undecidability.FOL.U..>	2024-01-27 12:20	6.8K
	Undecidability.L.Abs..>	2024-01-27 12:20	13K
	Undecidability.TM.Co..>	2024-01-27 12:20	257K
	Undecidability.FOL.U..>	2024-01-27 12:20	638K
	Undecidability.TM.Li..>	2024-01-27 12:20	97K
	Undecidability.FOL.S..>	2024-01-27 12:20	48K
	Undecidability.L.Dat..>	2024-01-27 12:20	66K
	Undecidability.TM.Co..>	2024-01-27 12:20	196K
	Undecidability.TM.Re..>	2024-01-27 12:20	24K
	Undecidability.TRAKH..>	2024-01-27 12:20	18K
	Undecidability.L.Fun..>	2024-01-27 12:20	71K
	Undecidability.FOL.U..>	2024-01-27 12:20	117K
	Undecidability.FOL.M..>	2024-01-27 12:20	23K
	Undecidability.FOL.M..>	2024-01-27 12:20	127K
	Undecidability.TRAKH..>	2024-01-27 12:20	154K
	Undecidability.FOL.I..>	2024-01-27 12:20	137K
	Undecidability.Stack..>	2024-01-27 12:20	881K
	Undecidability.SOL.S..>	2024-01-27 12:20	4.7K
	Undecidability.Stack..>	2024-01-27 12:20	101K
	Undecidability.FOL.M..>	2024-01-27 12:20	401K
	Undecidability.Count..>	2024-01-27 12:20	7.2K
	Undecidability.Minsk..>	2024-01-27 12:20	6.0K
	Undecidability.Strin..>	2024-01-27 12:20	79K
	Undecidability.Share..>	2024-01-27 12:20	26K
	Undecidability.Minsk..>	2024-01-27 12:20	1.4K
	Undecidability.Count..>	2024-01-27 12:20	286K
	Undecidability.H10.D..>	2024-01-27 12:20	37K
	Undecidability.TM.Ut..>	2024-01-27 12:20	102K
	Undecidability.TM.Co..>	2024-01-27 12:20	131K
	Undecidability.FOL.M..>	2024-01-27 12:20	11K
	Undecidability.H10.A..>	2024-01-27 12:20	316K
	Undecidability.FOL.S..>	2024-01-27 12:20	24K
	Undecidability.L.Fun..>	2024-01-27 12:20	93K
	Undecidability.TRAKH..>	2024-01-27 12:20	135K
	Undecidability.Strin..>	2024-01-27 12:20	9.7K
	Undecidability.Stack..>	2024-01-27 12:20	33K
	Undecidability.SemiU..>	2024-01-27 12:20	56K
	Undecidability.ILL.L..>	2024-01-27 12:20	47K
	Undecidability.FRACT..>	2024-01-27 12:20	207K
	Undecidability.Minsk..>	2024-01-27 12:20	131K
	Undecidability.TM.Co..>	2024-01-27 12:20	74K
	Undecidability.TRAKH..>	2024-01-27 12:20	476K
	Undecidability.Share..>	2024-01-27 12:20	2.8K
	Undecidability.Count..>	2024-01-27 12:20	31K
	Undecidability.FOL.U..>	2024-01-27 12:20	65K
	Undecidability.FOL.U..>	2024-01-27 12:20	398K
	Undecidability.FOL.R..>	2024-01-27 12:20	690K
	Undecidability.PCP.R..>	2024-01-27 12:20	4.3K
	Undecidability.TM.L...>	2024-01-27 12:20	8.7K
	Undecidability.PCP.R..>	2024-01-27 12:20	52K
	Undecidability.PCP.R..>	2024-01-27 12:20	4.3K
	Undecidability.Count..>	2024-01-27 12:20	3.9K
	Undecidability.FOL.M..>	2024-01-27 12:20	133K
	Undecidability.TM.Co..>	2024-01-27 12:20	160K
	Undecidability.Strin..>	2024-01-27 12:20	4.1K
	Undecidability.L.Dat..>	2024-01-27 12:20	34K
	Undecidability.L.Dat..>	2024-01-27 12:20	72K
	Undecidability.Share..>	2024-01-27 12:20	28K
	Undecidability.Share..>	2024-01-27 12:20	16K
	Undecidability.FOL.U..>	2024-01-27 12:20	40K
	Undecidability.HOU.c..>	2024-01-27 12:20	102K
	Undecidability.FOL.I..>	2024-01-27 12:20	65K
	Undecidability.Minsk..>	2024-01-27 12:20	9.7K
	Undecidability.FOL.U..>	2024-01-27 12:20	138K
	Undecidability.TM.Co..>	2024-01-27 12:20	66K
	Undecidability.FOL.S..>	2024-01-27 12:20	86K
	Undecidability.SOL.P..>	2024-01-27 12:20	48K
	Undecidability.L.Tac..>	2024-01-27 12:20	49K
	Undecidability.L.Fun..>	2024-01-27 12:20	35K
	Undecidability.TM.Ut..>	2024-01-27 12:20	11K
	Undecidability.FOL.S..>	2024-01-27 12:20	493K
	Undecidability.L.Com..>	2024-01-27 12:20	156K
	Undecidability.L.Dat..>	2024-01-27 12:20	33K
	Undecidability.TM.Ho..>	2024-01-27 12:20	397K
	Undecidability.TRAKH..>	2024-01-27 12:20	116K
	Undecidability.FOL.S..>	2024-01-27 12:20	190K
	Undecidability.TRAKH..>	2024-01-27 12:20	55K
	Undecidability.Share..>	2024-01-27 12:20	54K
	Undecidability.MuRec..>	2024-01-27 12:20	65K
	Undecidability.L.Abs..>	2024-01-27 12:20	303K
	Undecidability.HOU.t..>	2024-01-27 12:20	125K
	Undecidability.FOL.U..>	2024-01-27 12:20	230K
	Undecidability.Share..>	2024-01-27 12:20	51K
	Undecidability.H10.D..>	2024-01-27 12:20	73K
	Undecidability.L.Fun..>	2024-01-27 12:20	45K
	Undecidability.TM.Co..>	2024-01-27 12:20	166K
	Undecidability.L.Com..>	2024-01-27 12:20	4.3K
	Undecidability.Share..>	2024-01-27 12:20	18K
	Undecidability.HOU.c..>	2024-01-27 12:20	350K
	Undecidability.Hilbe..>	2024-01-27 12:20	234K
	Undecidability.L.Red..>	2024-01-27 12:20	12K
	Undecidability.CFG.C..>	2024-01-27 12:20	4.9K
	Undecidability.TM.Co..>	2024-01-27 12:20	49K
	Undecidability.Share..>	2024-01-27 12:20	150K
	Undecidability.Strin..>	2024-01-27 12:20	25K
	Undecidability.MuRec..>	2024-01-27 12:20	153K
	Undecidability.FOL.U..>	2024-01-27 12:20	32K
	Undecidability.Stack..>	2024-01-27 12:20	57K
	Undecidability.FOL.S..>	2024-01-27 12:20	70K
	Undecidability.Strin..>	2024-01-27 12:20	14K
	Undecidability.HOU.s..>	2024-01-27 12:20	48K
	Undecidability.FOL.C..>	2024-01-27 12:20	135K
	Undecidability.Minsk..>	2024-01-27 12:20	43K
	Undecidability.TM.TM..>	2024-01-27 12:20	5.3K
	Undecidability.PCP.R..>	2024-01-27 12:20	6.6K
	Undecidability.ILL.L..>	2024-01-27 12:20	128K
	Undecidability.HOU.c..>	2024-01-27 12:20	152K
	Undecidability.HOU.s..>	2024-01-27 12:20	45K
	Undecidability.Share..>	2024-01-27 12:20	463K
	Undecidability.TRAKH..>	2024-01-27 12:20	12K
	Undecidability.H10.A..>	2024-01-27 12:20	207K
	Undecidability.H10.M..>	2024-01-27 12:20	1.0M
	Undecidability.FOL.U..>	2024-01-27 12:20	21K
	Undecidability.L.Com..>	2024-01-27 12:20	76K
	Undecidability.TRAKH..>	2024-01-27 12:20	46K
	indexpage.html	2024-01-27 12:20	30M
	Undecidability.TM.Co..>	2024-01-27 12:20	124K
	Undecidability.HOU.s..>	2024-01-27 12:20	79K
	Undecidability.Share..>	2024-01-27 12:20	279K
	Undecidability.FOL.I..>	2024-01-27 12:20	78K
	Undecidability.HOU.s..>	2024-01-27 12:20	65K
	Undecidability.Minsk..>	2024-01-27 12:20	8.4K
	Undecidability.FOL.M..>	2024-01-27 12:20	129K
	Undecidability.Share..>	2024-01-27 12:20	2.4K
	Undecidability.Stack..>	2024-01-27 12:20	34K
	Undecidability.FOL.S..>	2024-01-27 12:20	90K
	Undecidability.L.Dat..>	2024-01-27 12:20	26K
	Undecidability.SemiU..>	2024-01-27 12:20	60K
	Undecidability.L.Fun..>	2024-01-27 12:20	73K
	Undecidability.ILL.R..>	2024-01-27 12:20	6.8K
	Undecidability.L.Tac..>	2024-01-27 12:20	25K
	Undecidability.FRACT..>	2024-01-27 12:20	186K
	Undecidability.FOL.S..>	2024-01-27 12:20	4.4K
	Undecidability.TM.Pr..>	2024-01-27 12:20	25K
	Undecidability.Minsk..>	2024-01-27 12:20	122K
	Undecidability.TM.Co..>	2024-01-27 12:20	68K
	Undecidability.Stack..>	2024-01-27 12:20	30K
	Undecidability.TM.Ho..>	2024-01-27 12:20	3.3K
	Undecidability.MuRec..>	2024-01-27 12:20	50K
	Undecidability.MuRec..>	2024-01-27 12:20	136K
	Undecidability.FOL.U..>	2024-01-27 12:20	334K
	Undecidability.TRAKH..>	2024-01-27 12:20	226K
	Undecidability.Minsk..>	2024-01-27 12:20	255K
	Undecidability.TM.Co..>	2024-01-27 12:20	234K
	Undecidability.Count..>	2024-01-27 12:20	3.8K
	Undecidability.Minsk..>	2024-01-27 12:20	332K
	Undecidability.Minsk..>	2024-01-27 12:20	58K
	Undecidability.TRAKH..>	2024-01-27 12:20	59K
	Undecidability.L.Red..>	2024-01-27 12:20	204K
	Undecidability.FOL.M..>	2024-01-27 12:20	177K
	Undecidability.TM.Co..>	2024-01-27 12:20	134K
	Undecidability.Dioph..>	2024-01-27 12:20	89K
	Undecidability.FOL.S..>	2024-01-27 12:20	29K
	Undecidability.H10.M..>	2024-01-27 12:20	611K
	Undecidability.Share..>	2024-01-27 12:20	78K
	Undecidability.Dioph..>	2024-01-27 12:20	75K
	Undecidability.Stack..>	2024-01-27 12:20	145K
	Undecidability.TRAKH..>	2024-01-27 12:20	25K
	Undecidability.MuRec..>	2024-01-27 12:20	219K
	Undecidability.Stack..>	2024-01-27 12:20	163K
	Undecidability.L.Com..>	2024-01-27 12:20	39K
	Undecidability.TM.Co..>	2024-01-27 12:20	44K
	Undecidability.Stack..>	2024-01-27 12:20	3.5K
	Undecidability.SemiU..>	2024-01-27 12:20	7.7K
	Undecidability.PCP.R..>	2024-01-27 12:20	131K
	Undecidability.Count..>	2024-01-27 12:20	557K
	Undecidability.Stack..>	2024-01-27 12:20	11K
	Undecidability.HOU.c..>	2024-01-27 12:20	208K
	Undecidability.FOL.U..>	2024-01-27 12:20	10K
	Undecidability.TM.Ut..>	2024-01-27 12:20	404K
	Undecidability.FOL.D..>	2024-01-27 12:20	141K
	Undecidability.Share..>	2024-01-27 12:20	60K
	Undecidability.H10.H..>	2024-01-27 12:20	6.1K
	Undecidability.TM.Co..>	2024-01-27 12:20	215K
	Undecidability.FOL.M..>	2024-01-27 12:20	46K
	Undecidability.L.Com..>	2024-01-27 12:20	1.2K
	Undecidability.FOL.A..>	2024-01-27 12:20	11K
	Undecidability.TM.Ho..>	2024-01-27 12:20	9.6K
	Undecidability.Minsk..>	2024-01-27 12:20	319K
	Undecidability.Share..>	2024-01-27 12:20	294K
	Undecidability.TM.L...>	2024-01-27 12:20	50K
	Undecidability.TM.Co..>	2024-01-27 12:20	179K
	Undecidability.TM.SB..>	2024-01-27 12:20	2.8K
	Undecidability.TRAKH..>	2024-01-27 12:20	281K
	Undecidability.Share..>	2024-01-27 12:20	55K
	Undecidability.L.Dat..>	2024-01-27 12:20	42K
	Undecidability.Share..>	2024-01-27 12:20	12K
	Undecidability.Minsk..>	2024-01-27 12:20	9.5K
	Undecidability.Stack..>	2024-01-27 12:20	4.4K
	Undecidability.PCP.R..>	2024-01-27 12:20	39K
	Undecidability.TRAKH..>	2024-01-27 12:20	43K
	Undecidability.L.Red..>	2024-01-27 12:20	94K
	Undecidability.TRAKH..>	2024-01-27 12:20	195K
	Undecidability.Minsk..>	2024-01-27 12:20	392K
	Undecidability.FOL.S..>	2024-01-27 12:20	34K
	Undecidability.HOU.c..>	2024-01-27 12:20	106K
	Undecidability.Share..>	2024-01-27 12:20	14K
	Undecidability.MuRec..>	2024-01-27 12:20	142K
	Undecidability.HOU.s..>	2024-01-27 12:20	90K
	Undecidability.FRACT..>	2024-01-27 12:20	163K
	Undecidability.Share..>	2024-01-27 12:20	35K
	Undecidability.FOL.M..>	2024-01-27 12:20	408K
	Undecidability.MuRec..>	2024-01-27 12:20	36K
	Undecidability.Share..>	2024-01-27 12:20	103K
	Undecidability.L.Com..>	2024-01-27 12:20	105K
	Undecidability.MuRec..>	2024-01-27 12:20	159K
	Undecidability.ILL.R..>	2024-01-27 12:20	5.5K
	Undecidability.CFG.R..>	2024-01-27 12:20	65K
	Undecidability.ILL.R..>	2024-01-27 12:20	191K
	Undecidability.SOL.U..>	2024-01-27 12:20	216K
	Undecidability.HOU.c..>	2024-01-27 12:20	238K
	Undecidability.Syste..>	2024-01-27 12:20	64K
	Undecidability.Count..>	2024-01-27 12:20	85K
	Undecidability.Stack..>	2024-01-27 12:20	87K
	Undecidability.TM.L...>	2024-01-27 12:20	28K
	Undecidability.Syste..>	2024-01-27 12:20	166K
	Undecidability.Minsk..>	2024-01-27 12:20	5.2K
	Undecidability.SetCo..>	2024-01-27 12:20	3.6K
	Undecidability.L.TM...>	2024-01-27 12:20	70K
	Undecidability.Share..>	2024-01-27 12:20	148K
	Undecidability.PCP.R..>	2024-01-27 12:20	22K
	Undecidability.L.Tac..>	2024-01-27 12:20	147K
	Undecidability.Minsk..>	2024-01-27 12:20	6.5K
	Undecidability.Minsk..>	2024-01-27 12:20	132K
	Undecidability.FOL.S..>	2024-01-27 12:20	92K
	Undecidability.L.Com..>	2024-01-27 12:20	38K
	Undecidability.FOL.M..>	2024-01-27 12:20	102K
	Undecidability.HOU.u..>	2024-01-27 12:20	2.0K
	Undecidability.FRACT..>	2024-01-27 12:20	32K
	Undecidability.Share..>	2024-01-27 12:20	244K
	Undecidability.Syste..>	2024-01-27 12:20	58K
	Undecidability.Share..>	2024-01-27 12:20	61K
	Undecidability.FOL.M..>	2024-01-27 12:20	191K
	Undecidability.FOL.U..>	2024-01-27 12:20	342K
	Undecidability.FOL.P..>	2024-01-27 12:20	35K
	Undecidability.TRAKH..>	2024-01-27 12:20	93K
	Undecidability.ILL.I..>	2024-01-27 12:20	13K
	Undecidability.HOU.s..>	2024-01-27 12:20	3.4K
	Undecidability.L.Dat..>	2024-01-27 12:20	74K
	Undecidability.FOL.C..>	2024-01-27 12:20	54K
	Undecidability.Share..>	2024-01-27 12:20	21K
	Undecidability.L.Com..>	2024-01-27 12:20	134K
	Undecidability.Share..>	2024-01-27 12:20	431K
	Undecidability.H10.H..>	2024-01-27 12:20	3.6K
	Undecidability.Synth..>	2024-01-27 12:20	62K
	Undecidability.Share..>	2024-01-27 12:20	25K
	Undecidability.FOL.S..>	2024-01-27 12:20	92K
	Undecidability.MuRec..>	2024-01-27 12:20	179K
	Undecidability.TRAKH..>	2024-01-27 12:20	48K
	Undecidability.Stack..>	2024-01-27 12:20	367K
	Undecidability.SetCo..>	2024-01-27 12:20	77K
	Undecidability.L.Abs..>	2024-01-27 12:20	13K
	Undecidability.Synth..>	2024-01-27 12:20	22K
	Undecidability.FOL.U..>	2024-01-27 12:20	601K
	Undecidability.TM.Ut..>	2024-01-27 12:20	86K
	Undecidability.Stack..>	2024-01-27 12:20	26K
	Undecidability.FOL.D..>	2024-01-27 12:20	8.5K
	Undecidability.L.TM...>	2024-01-27 12:20	58K
	Undecidability.TM.Co..>	2024-01-27 12:20	161K
	Undecidability.FOL.S..>	2024-01-27 12:20	66K
	Undecidability.FOL.M..>	2024-01-27 12:20	79K
	Undecidability.CFG.R..>	2024-01-27 12:20	28K
	Undecidability.FOL.U..>	2024-01-27 12:20	114K
	Undecidability.Separ..>	2024-01-27 12:20	268K
	Undecidability.FOL.A..>	2024-01-27 12:20	15K
	Undecidability.TM.Co..>	2024-01-27 12:20	17K
	Undecidability.L.L.html	2024-01-27 12:20	18K
	Undecidability.MuRec..>	2024-01-27 12:20	98K
	Undecidability.SOL.U..>	2024-01-27 12:20	284K
	Undecidability.HOU.c..>	2024-01-27 12:20	23K
	Undecidability.H10.D..>	2024-01-27 12:20	36K