Workspace of logicmoo_workspace on Built-In Node

	abol_susp1_old	Sep 15, 2023, 3:22:13 AM	174 B
	abol_susp1.P	Sep 15, 2023, 3:22:13 AM	1016 B
	abol_susp2_old	Sep 15, 2023, 3:22:13 AM	236 B
	abol_susp2.P	Sep 15, 2023, 3:22:13 AM	1.08 KiB
	ac_tests_old	Sep 15, 2023, 3:22:13 AM	2.98 KiB
	ac_tests.P	Sep 15, 2023, 3:22:13 AM	9.69 KiB
	asl_dupl_old	Sep 15, 2023, 3:22:13 AM	31 B
	asl_dupl.P	Sep 15, 2023, 3:22:13 AM	741 B
	avoid_flounder_old	Sep 15, 2023, 3:22:13 AM	348 B
	avoid_flounder.P	Sep 15, 2023, 3:22:13 AM	3.43 KiB
	cond_uncond_old	Sep 15, 2023, 3:22:13 AM	440 B
	cond_uncond.P	Sep 15, 2023, 3:22:13 AM	1.55 KiB
	delay_var_old	Sep 15, 2023, 3:22:13 AM	497 B
	delay_var.P	Sep 15, 2023, 3:22:13 AM	2.25 KiB
	dl_dupl_old	Sep 15, 2023, 3:22:13 AM	46 B
	dl_dupl.P	Sep 15, 2023, 3:22:13 AM	850 B
	dret_test_old	Sep 15, 2023, 3:22:13 AM	100 B
	dret_test.P	Sep 15, 2023, 3:22:13 AM	1.02 KiB
	dynstrat1_old	Sep 15, 2023, 3:22:13 AM	168 B
	dynstrat1.P	Sep 15, 2023, 3:22:13 AM	2.11 KiB
	dynstrat2_old	Sep 15, 2023, 3:22:13 AM	150 B
	dynstrat2.P	Sep 15, 2023, 3:22:13 AM	1.37 KiB
	dynstrat3_old	Sep 15, 2023, 3:22:13 AM	83 B
	dynstrat3.P	Sep 15, 2023, 3:22:13 AM	983 B
	dynstrat4_old	Sep 15, 2023, 3:22:13 AM	65 B
	dynstrat4.P	Sep 15, 2023, 3:22:13 AM	1003 B
	dynstrat5_old	Sep 15, 2023, 3:22:13 AM	47 B
	dynstrat5.P	Sep 15, 2023, 3:22:13 AM	858 B
	dynstrat6_old	Sep 15, 2023, 3:22:13 AM	47 B
	dynstrat6.P	Sep 15, 2023, 3:22:13 AM	951 B
	dynstrat7_old	Sep 15, 2023, 3:22:13 AM	74 B
	dynstrat7.P	Sep 15, 2023, 3:22:13 AM	1.03 KiB
	fa_old	Sep 15, 2023, 3:22:13 AM	6 B
	fa.P	Sep 15, 2023, 3:22:13 AM	431 B
	fr1_old	Sep 15, 2023, 3:22:13 AM	46 B
	fr1.P	Sep 15, 2023, 3:22:13 AM	752 B
	fr19_old	Sep 15, 2023, 3:22:13 AM	61 B
	fr19.P	Sep 15, 2023, 3:22:13 AM	789 B
	fr2_old	Sep 15, 2023, 3:22:13 AM	47 B
	fr2.P	Sep 15, 2023, 3:22:13 AM	773 B
	fr20_old	Sep 15, 2023, 3:22:13 AM	60 B
	fr20.P	Sep 15, 2023, 3:22:13 AM	787 B
	fr21_old	Sep 15, 2023, 3:22:13 AM	60 B
	fr21.P	Sep 15, 2023, 3:22:13 AM	787 B
	fr22_old	Sep 15, 2023, 3:22:13 AM	60 B
	fr22.P	Sep 15, 2023, 3:22:13 AM	787 B
	fr23_old	Sep 15, 2023, 3:22:13 AM	76 B
	fr23.P	Sep 15, 2023, 3:22:13 AM	912 B
	fr24_old	Sep 15, 2023, 3:22:13 AM	76 B
	fr24.P	Sep 15, 2023, 3:22:13 AM	987 B
	fr25_old	Sep 15, 2023, 3:22:13 AM	60 B
	fr25.P	Sep 15, 2023, 3:22:13 AM	778 B
	fr26_old	Sep 15, 2023, 3:22:13 AM	64 B
	fr26.P	Sep 15, 2023, 3:22:13 AM	871 B
	fr27_old	Sep 15, 2023, 3:22:13 AM	55 B
	fr27.P	Sep 15, 2023, 3:22:13 AM	746 B
	fr28_old	Sep 15, 2023, 3:22:13 AM	47 B
	fr28.P	Sep 15, 2023, 3:22:13 AM	749 B
	fr29_old	Sep 15, 2023, 3:22:13 AM	51 B
	fr29.P	Sep 15, 2023, 3:22:13 AM	762 B
	fr3_old	Sep 15, 2023, 3:22:13 AM	47 B
	fr3.P	Sep 15, 2023, 3:22:13 AM	749 B
	fr30_old	Sep 15, 2023, 3:22:13 AM	47 B
	fr30.P	Sep 15, 2023, 3:22:13 AM	813 B
	fr4_old	Sep 15, 2023, 3:22:13 AM	57 B
	fr4.P	Sep 15, 2023, 3:22:13 AM	746 B
	fr5_old	Sep 15, 2023, 3:22:13 AM	61 B
	fr5.P	Sep 15, 2023, 3:22:13 AM	767 B
	fr6_old	Sep 15, 2023, 3:22:13 AM	61 B
	fr6.P	Sep 15, 2023, 3:22:13 AM	733 B
	fr7_old	Sep 15, 2023, 3:22:13 AM	57 B
	fr7.P	Sep 15, 2023, 3:22:13 AM	743 B
	fr8_old	Sep 15, 2023, 3:22:13 AM	60 B
	fr8.P	Sep 15, 2023, 3:22:13 AM	734 B
	fr9_old	Sep 15, 2023, 3:22:13 AM	60 B
	fr9.P	Sep 15, 2023, 3:22:13 AM	734 B
	gfp_old	Sep 15, 2023, 3:22:13 AM	292 B
	gfp.P	Sep 15, 2023, 3:22:13 AM	2.44 KiB
	interp0_old	Sep 15, 2023, 3:22:13 AM	38 B
	interp0.P	Sep 15, 2023, 3:22:13 AM	398 B
	interp1_old	Sep 15, 2023, 3:22:13 AM	38 B
	interp1.P	Sep 15, 2023, 3:22:13 AM	932 B
	interp10_old	Sep 15, 2023, 3:22:13 AM	95 B
	interp10.P	Sep 15, 2023, 3:22:13 AM	1.30 KiB
	interp11_old	Sep 15, 2023, 3:22:13 AM	103 B
	interp11.P	Sep 15, 2023, 3:22:13 AM	1.32 KiB
	interp12_old	Sep 15, 2023, 3:22:13 AM	95 B
	interp12.P	Sep 15, 2023, 3:22:13 AM	1.37 KiB
	interp13_old	Sep 15, 2023, 3:22:13 AM	95 B
	interp13.P	Sep 15, 2023, 3:22:13 AM	1.36 KiB
	interp14_old	Sep 15, 2023, 3:22:13 AM	95 B
	interp14.P	Sep 15, 2023, 3:22:13 AM	1.37 KiB
	interp15_old	Sep 15, 2023, 3:22:13 AM	95 B
	interp15.P	Sep 15, 2023, 3:22:13 AM	1.37 KiB
	interp16.P	Sep 15, 2023, 3:22:13 AM	1.38 KiB
	interp2_old	Sep 15, 2023, 3:22:13 AM	93 B
	interp2.P	Sep 15, 2023, 3:22:13 AM	1.30 KiB
	interp3.P	Sep 15, 2023, 3:22:13 AM	1.47 KiB
	interp4_old	Sep 15, 2023, 3:22:13 AM	114 B
	interp4.P	Sep 15, 2023, 3:22:13 AM	1.50 KiB
	interp5_old	Sep 15, 2023, 3:22:13 AM	114 B
	interp5.P	Sep 15, 2023, 3:22:13 AM	1.45 KiB
	interp6_old	Sep 15, 2023, 3:22:13 AM	114 B
	interp6.P	Sep 15, 2023, 3:22:13 AM	1.46 KiB
	interp7_old	Sep 15, 2023, 3:22:13 AM	94 B
	interp7.P	Sep 15, 2023, 3:22:13 AM	1.29 KiB
	interp8_old	Sep 15, 2023, 3:22:13 AM	94 B
	interp8.P	Sep 15, 2023, 3:22:13 AM	1.31 KiB
	interp9_old	Sep 15, 2023, 3:22:13 AM	95 B
	interp9.P	Sep 15, 2023, 3:22:13 AM	1.39 KiB
	nonstrat1_old	Sep 15, 2023, 3:22:13 AM	60 B
	nonstrat1.P	Sep 15, 2023, 3:22:13 AM	724 B
	nonstrat2_old	Sep 15, 2023, 3:22:13 AM	114 B
	nonstrat2.P	Sep 15, 2023, 3:22:13 AM	749 B
	p1_old	Sep 15, 2023, 3:22:13 AM	60 B
	p1.P	Sep 15, 2023, 3:22:13 AM	717 B
	p2_old	Sep 15, 2023, 3:22:13 AM	60 B
	p2.P	Sep 15, 2023, 3:22:13 AM	729 B
	p3_old	Sep 15, 2023, 3:22:13 AM	60 B
	p3.P	Sep 15, 2023, 3:22:13 AM	723 B
	p4_old	Sep 15, 2023, 3:22:13 AM	60 B
	p4.P	Sep 15, 2023, 3:22:13 AM	723 B
	p5_old	Sep 15, 2023, 3:22:13 AM	47 B
	p5.P	Sep 15, 2023, 3:22:13 AM	808 B
	pos_simpl1_old	Sep 15, 2023, 3:22:13 AM	0 B
	pos_simpl1.P	Sep 15, 2023, 3:22:13 AM	1.84 KiB
	pot_pouri_old	Sep 15, 2023, 3:22:13 AM	52 B
	pot_pouri.P	Sep 15, 2023, 3:22:13 AM	1.58 KiB
	przy1_old	Sep 15, 2023, 3:22:13 AM	81 B
	przy1_simp_old	Sep 15, 2023, 3:22:13 AM	63 B
	przy1_simp.P	Sep 15, 2023, 3:22:13 AM	1019 B
	przy1.P	Sep 15, 2023, 3:22:13 AM	736 B
	q6_old	Sep 15, 2023, 3:22:13 AM	76 B
	q6.data	Sep 15, 2023, 3:22:13 AM	2.03 KiB
	q6.P	Sep 15, 2023, 3:22:13 AM	845 B
	re-run.sh	Sep 15, 2023, 3:22:13 AM	161 B
	residual1_old	Sep 15, 2023, 3:22:13 AM	2.01 KiB
	residual1.P	Sep 15, 2023, 3:22:13 AM	3.32 KiB
	ross1_old	Sep 15, 2023, 3:22:13 AM	2 B
	ross1.P	Sep 15, 2023, 3:22:13 AM	198 B
	seg1_old	Sep 15, 2023, 3:22:13 AM	74 B
	seg1.P	Sep 15, 2023, 3:22:13 AM	969 B
	seg2_old	Sep 15, 2023, 3:22:13 AM	47 B
	seg2.P	Sep 15, 2023, 3:22:13 AM	856 B
	seg3_old	Sep 15, 2023, 3:22:13 AM	47 B
	seg3.P	Sep 15, 2023, 3:22:13 AM	821 B
	seg4_old	Sep 15, 2023, 3:22:13 AM	51 B
	seg4.P	Sep 15, 2023, 3:22:13 AM	852 B
	seg5_old	Sep 15, 2023, 3:22:13 AM	51 B
	seg5.P	Sep 15, 2023, 3:22:13 AM	813 B
	sel_unsusp_old	Sep 15, 2023, 3:22:13 AM	47 B
	sel_unsusp.P	Sep 15, 2023, 3:22:13 AM	702 B
	simpl_win_old	Sep 15, 2023, 3:22:13 AM	162 B
	simpl_win.P	Sep 15, 2023, 3:22:13 AM	841 B
	stest.sh	Sep 15, 2023, 3:22:13 AM	8.92 KiB
	tabsimp_seq_old	Sep 15, 2023, 3:22:13 AM	4 B
	tabsimp_seq.P	Sep 15, 2023, 3:22:13 AM	347 B
	test.sh	Sep 15, 2023, 3:22:13 AM	9.21 KiB
	two_ary_old	Sep 15, 2023, 3:22:13 AM	73 B
	two_ary.P	Sep 15, 2023, 3:22:13 AM	487 B
	ullman3_old	Sep 15, 2023, 3:22:13 AM	596 B
	ullman3.P	Sep 15, 2023, 3:22:13 AM	1.18 KiB
	undef1_old	Sep 15, 2023, 3:22:13 AM	0 B
	undef1.P	Sep 15, 2023, 3:22:13 AM	880 B
	undef2_old	Sep 15, 2023, 3:22:13 AM	0 B
	undef2.P	Sep 15, 2023, 3:22:13 AM	1.60 KiB
	weidong1.P	Sep 15, 2023, 3:22:13 AM	636 B
	weidong2_old	Sep 15, 2023, 3:22:13 AM	47 B
	weidong2.P	Sep 15, 2023, 3:22:13 AM	732 B
	weidong3_old	Sep 15, 2023, 3:22:13 AM	47 B
	weidong3.P	Sep 15, 2023, 3:22:13 AM	753 B
	weidong4_old	Sep 15, 2023, 3:22:13 AM	47 B
	weidong4.P	Sep 15, 2023, 3:22:13 AM	751 B
	weidong5_old	Sep 15, 2023, 3:22:13 AM	60 B
	weidong5.P	Sep 15, 2023, 3:22:13 AM	788 B
	weidong6_old	Sep 15, 2023, 3:22:13 AM	60 B
	weidong6.P	Sep 15, 2023, 3:22:13 AM	796 B
	weidong7_old	Sep 15, 2023, 3:22:13 AM	63 B
	weidong7.P	Sep 15, 2023, 3:22:13 AM	861 B
	weidong8_old	Sep 15, 2023, 3:22:13 AM	61 B
	weidong8.P	Sep 15, 2023, 3:22:13 AM	867 B
	win_old	Sep 15, 2023, 3:22:13 AM	162 B
	win.P	Sep 15, 2023, 3:22:13 AM	1.09 KiB
	wmay_winbug_old	Sep 15, 2023, 3:22:13 AM	53 B
	wmay_winbug.P	Sep 15, 2023, 3:22:13 AM	478 B
	xsb_test_delay.pl	Sep 15, 2023, 3:22:13 AM	6.30 KiB
(all files in zip)