/lisp storage 3-23-64

		/constants

		/special symbols

 2331		ssy,

 2331	003074	1qu,	quo
 2332	003104	1la,	lam
 2333	003110	1ap,	apv
 2334	002520	1ob,	obl
 2335	003114	1sb,	sbr
 2336	003124	1fs,	fsb
 2337	003120	1xp,	xpr
 2340	003130	1fx,	fxp
/// pointer to beginning of the free storage
 2341	002500	fre,	nil
/// beginning of full words (end of push down list)
 2342	002474	bfw,	frs-4
 2343	002502	tr,	t
/// push down list
 2344	002350	pdl,	pdo-1
/// Argument one
 2345	002500	ar1,	nil
 2346	002500	ar2,	nil
/// PROG argument, sub 3
 2347	002500	pa3,	nil
/// PROG argument, sub 4
 2350	000000	pa4,	0
/// push down list, origin
 2351		pdo,

		/load storage parameters
 2351	222473		lio mz
 2352	764600		clc+hlt-opr
 2353	766000		lat+cli-opr
 2354	022470		and ad
 2355	242472		dac hi1
 2356	760400		hlt
 2357	762000		lat
 2360	022470		and ad
 2361	242471		dac lp1

 2362	713530		law i end
 2363	402472		add hi1
 2364	640200		spa
 2365	602351		jmp pdo
 2366	710127		law i frs-pdo
 2367	402471		add lp1
 2370	640200		spa
 2371	602351		jmp pdo
 2372	713401		law i pdo+end-frs
 2373	402472		add hi1
 2374	422471		sub lp1
 2375	640200		spa
 2376	602351		jmp pdo

		/set up registers

 2377	702351	stu,	law pdo
 2400	402471		add lp1
 2401	240234		dac fro
 2402	222472		lio hi1
 2403	673001		rcr 1s
 2404	662001		ril 1s
 2405	320025		dio hi
 2406	703530		law end
 2407	240021		dac t0

		/relocate storage

 2410	710001	rrs,	law i 1
 2411	400021		add t0
 2412	240021		dac t0
 2413	710004		law i 4
 2414	410021		add i t0
 2415	640400		sma
 2416	622445		jsp rrl
 2417	622460		jsp mvs
 2420	710001		law i 1
 2421	400021		add t0
 2422	240021		dac t0
 2423	422475		sub frl
 2424	640200		spa
 2425	622445		jsp rrl
 2426	622460		jsp mvs
 2427	200021		lac t0
 2430	522474		sas ofs
 2431	602410		jmp rrs
 2432	702331		law ssy
 2433	240021		dac t0

		/relocate special registers

 2434	622445	rss,	jsp rrl
 2435	440021		idx t0
 2436	522476		sas esy
 2437	602434		jmp rss
 2440	212334		lac i 1ob
 2441	170267		jda gfr
 2442	700004		law go
 2443	260356		dap gcx
 2444	600341		jmp g2e

		/relocate 1 word, move 1 word

 2445	262457	rrl,	dap rrx
 2446	210021		lac i t0
 2447	022470		and ad
 2450	422477		sub ofr
 2451	640200		spa
 2452	602457		jmp rrx
 2453	210021		lac i t0
 2454	400234		add fro
 2455	422474		sub ofs
 2456	250021		dac i t0
 2457	602457	rrx,	jmp .

 2460	262467	mvs,	dap mvx
 2461	210021		lac t0
 2462	400234		add fro
 2463	422474		sub ofs
 2464	240022		dac t1
 2465	210021		lac i t0
 2466	250022		dac i t1

 2467	602467	mvx,	jmp .

		/constants etc.

 2470	177777	ad,	177777
 2471	000000	lp1,	0
 2472	000000	hi1,	0
 2473	777777	mz,	-0
 2474	002500	ofs,	frs
 2475	003170	frl,	fws
 2476	002351	esy,	pdo
 2477	002351	ofr,	pdo

		define		item X
 0000			.+2
 0001			.+3
 0002	400000		add X
 0003	002500		nil
			termin

		define		next A
 0000			A
 0001			.+1
			termin

		define		subr F
 0000			.+2
 0001			.+7
 0002	400000		add F+2
 0003			.+1
 0004	003114		sbr
 0005			.+1
 0006			F
 0007	002500		nil
			termin

		define 		fsubr F
 0000			.+2
 0001			.+7
 0002	400000		add F+2
 0003			.+1
 0004	003124		fsb
 0005			.+1
 0006			F
 0007	002500		nil
			termin

		define		apval A
 0000	003110		apv
 0001			.+1
 0002			A
 0003	002500		nil
			termin
/// origin of free storage
 2500		frs,

 2500	403470	nil,	add f38
 2501	002504		kz

 2502	403526	t,	add f37
 2503	002510		kt
/// property list for NIL
 2504		kz,	apval nil
+2504	003110		apv
+2505	002506		.+1
+2506	002500		nil
+2507	002500		nil
/// property list for T
 2510		kt,	apval t
+2511	003110		apv
+2512	002513		.+1
+2513	002502		t
+2514	002500		nil
/// location of atom OBLIST
 2514	403522	obj,	add fb0
 2515	002516		.+1
 2516	003110		apv
 2517	002520		.+1
 2520	002522	obl,	ols
 2521	002500		nil

		/object list
/// location of OBLIST
 2522		ols,	subr f2
+2522	002524		.+2
+2523	002532		.+7
+2524	403172		add f2+2
+2525	002526		.+1
+2526	003114		sbr
+2527	002530		.+1
+2530	003170		f2
+2531	002500		nil

 2532			subr f3
+2532	002534		.+2
+2533	002542		.+7
+2534	403200		add f3+2
+2535	002536		.+1
+2536	003114		sbr
+2537	002540		.+1
+2540	003176		f3
+2541	002500		nil

 2542			subr f4
+2542	002544		.+2
+2543	002552		.+7
+2544	403204		add f4+2
+2545	002546		.+1
+2546	003114		sbr
+2547	002550		.+1
+2550	003202		f4
+2551	002500		nil

 2552			fsubr f6
+2552	002554		.+2
+2553	002562		.+7
+2554	403210		add f6+2
+2555	002556		.+1
+2556	003114		sbr
+2557	002560		.+1
+2560	003206		f6
+2561	002500		nil

 2562			subr f7
+2562	002564		.+2
+2563	002572		.+7
+2564	403216		add f7+2
+2565	002566		.+1
+2566	003114		sbr
+2567	002570		.+1
+2570	003214		f7
+2571	002500		nil

 2572			subr f8
+2572	002574		.+2
+2573	002602		.+7
+2574	403224		add f8+2
+2575	002576		.+1
+2576	003114		sbr
+2577	002600		.+1
+2600	003222		f8
+2601	002500		nil

 2602			subr f12
+2602	002604		.+2
+2603	002612		.+7
+2604	403230		add f12+2
+2605	002606		.+1
+2606	003114		sbr
+2607	002610		.+1
+2610	003226		f12
+2611	002500		nil

 2612			subr f13
+2612	002614		.+2
+2613	002622		.+7
+2614	403236		add f13+2
+2615	002616		.+1
+2616	003114		sbr
+2617	002620		.+1
+2620	003234		f13
+2621	002500		nil

 2622			fsubr f14
+2622	002624		.+2
+2623	002632		.+7
+2624	403246		add f14+2
+2625	002626		.+1
+2626	003124		fsb
+2627	002630		.+1
+2630	003244		f14
+2631	002500		nil

 2632			subr f18
+2632	002634		.+2
+2633	002642		.+7
+2634	403254		add f18+2
+2635	002636		.+1
+2636	003114		sbr
+2637	002640		.+1
+2640	003252		f18
+2641	002500		nil

 2642			subr f21
+2642	002644		.+2
+2643	002652		.+7
+2644	403262		add f21+2
+2645	002646		.+1
+2646	003114		sbr
+2647	002650		.+1
+2650	003260		f21
+2651	002500		nil

 2652			subr f24
+2652	002654		.+2
+2653	002662		.+7
+2654	403272		add f24+2
+2655	002656		.+1
+2656	003114		sbr
+2657	002660		.+1
+2660	003270		f24
+2661	002500		nil

 2662			subr f26
+2662	002664		.+2
+2663	002672		.+7
+2664	403300		add f26+2
+2665	002666		.+1
+2666	003114		sbr
+2667	002670		.+1
+2670	003276		f26
+2671	002500		nil

 2672			subr f27
+2672	002674		.+2
+2673	002702		.+7
+2674	403306		add f27+2
+2675	002676		.+1
+2676	003114		sbr
+2677	002700		.+1
+2700	003304		f27
+2701	002500		nil

 2702			subr f32
+2702	002704		.+2
+2703	002712		.+7
+2704	403316		add f32+2
+2705	002706		.+1
+2706	003114		sbr
+2707	002710		.+1
+2710	003314		f32
+2711	002500		nil

 2712			subr f33
+2712	002714		.+2
+2713	002722		.+7
+2714	403324		add f33+2
+2715	002716		.+1
+2716	003114		sbr
+2717	002720		.+1
+2720	003322		f33
+2721	002500		nil

 2722			subr f34
+2722	002724		.+2
+2723	002732		.+7
+2724	403342		add f34+2
+2725	002726		.+1
+2726	003114		sbr
+2727	002730		.+1
+2730	003340		f34
+2731	002500		nil

 2732			fsubr f50
+2732	002734		.+2
+2733	002742		.+7
+2734	403350		add f50+2
+2735	002736		.+1
+2736	003124		fsb
+2737	002740		.+1
+2740	003346		f50
+2741	002500		nil

 2742			subr f51
+2742	002744		.+2
+2743	002752		.+7
+2744	403356		add f51+2
+2745	002746		.+1
+2746	003114		sbr
+2747	002750		.+1
+2750	003354		f51
+2751	002500		nil

 2752			subr f52
+2752	002754		.+2
+2753	002762		.+7
+2754	403364		add f52+2
+2755	002756		.+1
+2756	003114		sbr
+2757	002760		.+1
+2760	003362		f52
+2761	002500		nil

 2762			fsubr f53
+2762	002764		.+2
+2763	002772		.+7
+2764	403370		add f53+2
+2765	002766		.+1
+2766	003124		fsb
+2767	002770		.+1
+2770	003366		f53
+2771	002500		nil

 2772			subr f54
+2772	002774		.+2
+2073	003002		.+7
+2774	403376		add f54+2
+2775	002776		.+1
+2776	003114		sbr
+2777	003000		.+1
+3000	003374		f54
+3001	002500		nil

 3002			fsubr f60
+3002	003004		.+2
+3003	003012		.+7
+3004	403442		add f60+2
+3005	003006		.+1
+3006	003124		fsb
+3007	003010		.+1
+3010	003440		f60
+3011	002500		nil

 3012			fsubr f61
+3012	003014		.+2
+3013	003022		.+7
+3014	403450		add f61+2
+3015	003016		.+1
+3016	003124		fsb
+3017	003020		.+1
+3020	003446		f61
+3021	002500		nil

 3022			fsubr f62
+3022	003024		.+2
+3023	003032		.+7
+3024	403456		add f62+2
+3025	003026		.+1
+3026	003124		fsb
+3027	003030		.+1
+3030	003454		f62
+3031	002500		nil

 3032			fsubr f63
+3032	003034		.+2
+3033	003042		.+7
+3034	403464		add f63+2
+3035	003036		.+1
+3036	003124		fsb
+3037	003040		.+1
+3040	003462		f63
+3041	002500		nil

 3042			subr f00
+3042	003044		.+2
+3043	003052		.+7
+3044	403332		add f00+2
+3045	003046		.+1
+3046	003114		sbr
+3047	003050		.+1
+3050	003330		f00
+3051	002500		nil

 3052			subr f01
+3052	003054		.+2
+3053	003062		.+7
+3054	403336		add f01+2
+3055	003056		.+1
+3056	003114		sbr
+3057	003060		.+1
+3060	003334		f01
+3061	002500		nil

 3062			subr fa3
+3062	003064		.+2
+3063	003072		.+7
+3064	403336		add f01+2
+3065	003066		.+1
+3066	003114		sbr
+3067	003070		.+1
+3070	003334		f01
+3071	002500		nil

 3072	003074		quo=.
 3072	000002		2
 3073			fsubr fb5
+3073	003074		.+2
+3074	003102		.+7
+3075	403426		add fb5+2
+3076	003076		.+1
+3077	003124		fsb
+3100	003100		.+1
+3101	003424		fb5
+3102	002500		nil

 3103	003104		lam=.
 3104	000002		2
 3105			item f40
+3106	003104		.+2
+3107	003106		.+3
+3110	403472		add f40
+3101	002500		nil

 3106	003110		apv=.
 	000002		2
 3106			item f42
+3106	003110		.+2
+3107	003112		.+3
+3110	403476		add f42
+3111	002500		nil

 3112	003114		sbr=.
	000002		2
 3112			item f43
+3112	003114		.+2
+3113	003116		.+3
+3114	403502		add f43
+3115	002500		nil

 3116	003120		xpr=.
	000002		2
 3116			item f44
+3116	003120		.+2
+3117	003122		.+3
+3110	403506		add f44
+3121	002500		nil

 3122	003124		fsb=.
	000002		2
 3122			item f45
+3122	003124		.+2
+3123	003126		.+3
+3124	403512		add f45
+3125	002500		nil

 3126	003130		fxp=.
			2
 3126			item f46
+3126	003130		.+2
+3127	003132		.+3
+3130	403516		add f46
+3131	002500		nil

 3132			next t
+3132	002502		t
+3133	003134		.+1
 3134			next obj
+3134	002514		obj
+3135	003136		.+1

 3136			subr fb2
+3136	003140		.+2
+3137	003146		.+7
+3140	403404		add fb2+2
+3141	003142		.+1
+3142	003114		sbr
+3143	003144		.+1
+3144	003402		fb2
+3145	002500		nil

 3146			subr fb3
+3146	003150		.+2
+3147	003156		.+7
+3150	403412		add fb3+2
+3151	003152		.+1
+3152	003114		sbr
+3153	003154		.+1
+3154	003410		fb3
+3155	002500		nil

 3156			subr fb4
+3156	003160		.+2
+3157	003166		.+7
+3160	403420		add fb4+2
+3161	003162		.+1
+3162	003114		sbr
+3163	003164		.+1
+3164	003416		fb4
+3165	002500		nil

 3166	002500		nil
 3167	002500		nil
/// full word space
 3170		fws,	

		define		loca A
 0000	760000		opr A
 0001	000000		0
			termin

		define 		nam1 X
 0000			X
 0001	002500		nil
			termin
 
		define		nam2 X,Y
 0000			X
 0001			.+1
 0002			nam1 Y
+0002			Y
+0003	002500		nil
			termin

		define 		nam3 X,Y,Z
 0000			X
 0001			.+1
 0002			nam2 Y,Z
+0002			Y
+0003			.+1
+0004			Z
+0005	002500		nil
			termin

		/SUBRs and FSUBRs

 3170		f2,	loca atm
+3170	760562		opr atm
+3171	000000		0
 3172			nam2 flex ato,767644
+3172	612346		flex ato
+3173	003175		.+1
+3174	767644		767644
+3175	002500		nil

 3176		f3,	loca car
+3176	760555		opr car
+3177	000000		0
 3200			nam1 flex car
+3200	636151		flex car
+3201	002500		nil

 3202		f4,	loca cdr
+3202	760554		opr cdr
+3203	000000		0
 3204			nam1 flex cdr
+3204	636451		flex cdr
+3205	002500		nil

 3206		f6,	loca cnd
+3206	761070		opr cnd
+3207	000000		0
 3210			nam2 flex con,767664
+3210	634645		flex con
+3211	003212		.+1
+3212	767644		767644
+3213	002500		nil

 3214		f7,	loca cns
+3214	760614		opr cns
+3215	000000		0
 3216			nam2 flex con,767622
+3216	634645		flex con
+3217	003220		.+1
+3220	767622		767622
+3221	002500		nil

 3222		f8,	loca eqq
+3222	760570		opr eqq
+3223	000000		0
 3224			nam1 766550
+3224	766550		766550
+3225	002500		nil

 3226		f12,	loca gsm
+3226	761023		opr gsm
+3227	000000		0
 3230			nam2 flex gen,flex sym
+3230	676545		flex gen
+3231	003232		.+1
+3232	223044		flex sym
+3233	002500		nil

 3234		f13,	loca grp
+3234	761123		opr grp
+3235	000000		0
 3236			nam3 flex gre,flex ate,765147
+3236	675165		flex gre
+3237	003240		.+1
+3240	612365		flex ate
+3241	003242		.+1
+3242	765147		765147
+3243	002500		nil

 3244		f14,	loca elc
+3244	761770		opr elc
+3245	000000		0
 3246			nam2 flex lis,767623
+3246	437122		flex lis
+3247	003250		.+1
+3250	767623		767623
+3251	002500		nil

 3252		f18,	loca min
+3252	760764		opr min
+3253	000000		0
 3254			nam2 flex min,762422
+3254	447145		flex min
+3255	003256		.+1
+3256	762422		762422
+3257	002500		nil

 3260		f21,	loca nmp
+3260	760754		opr nmp
+3261	000000		0
 3262			nam3 flex num,flex ber,767647
+3262	452444		flex num
+3263	003264		.+1
+3264	626551		flex ber
+3265	003266		.+1
+3266	767647		767647
+3267	002500		nil

 3270		f24,	loca stp
+3270	761120		opr stp
+3271	000000		0
 3272			nam2 flex sto,767647
+3272	222346		flex sto
+3273	003274		.+1
+3274	767647		767647
+3275	002500		nil

 3276		f26,	loca pr1
+3276	760703		opr pr1
+3277	000000		0
 3300			nam2 flex pri,764501
+3300	475171		flex pri
+3301	003302		.+1
+3302	764501		764501
+3303	002500		nil

 3304		f27,	loca qot
+3304	761057		opr qot
+3305	000000		0
 3306			nam3 flex quo,flex tie,764523
+3306	502446		flex quo
+3307	003310		.+1
+3310	237165		flex tie
+3311	003312		.+1
+3312	764523		764523
+3313	002500		nil

 3314		f32,	loca rda
+3314	760607		opr rda
+3315	000000		0
 3316			nam2 flex rpl,flex aca
+3316	514743		flex rpl
+3317	003320		.+1
+3320	616361		flex aca
+3321	002500		nil

 3322		f33,	loca rdc
+3322	760605		opr rdc
+3323	000000		0
 3324			nam2 flex rpl,flex acd
+3324	514743		flex rpl
+3325	003326		.+1
+3326	616364		flex acd
+3327	002500		nil

 3330		f00,	loca xeq
+3330	760767		opr xeq
+3331	000000		0
 3332			nam1 flex xeq
+3332	276550		flex xeq
+3333	002500		nil

 3334		f01,	loca crn
+3334	760112		opr crn
+3335	000000		0
 3336			nam1 flex loc
+3336	434663		flex loc
+3337	002500		nil

 3340		f34,	loca tpr
+3340	760700		opr tpr
+3341	000000		0
 3342			nam2 flex ter,flex pri
+3342	236551		flex ter
+3343	003344		.+1
+3344	475171		flex pri
+3345	002500		nil

 3346		f50,	loca pgm
+3346	760423		opr pgm
+3347	000000		0
 3350			nam2 flex pro,767667
+3350	475146		flex pro
+3351	003352		.+1
+3352	767667		767667
+3353	002500		nil

 3354		f51,	loca ret
+3354	760524		opr ret
+3355	000000		0
 3356			nam2 flex ret,flex urn
+3356	516523		flex ret
+3357	003360		.+1
+3360	245145		flex urn
+3361	002500		nil

 3362		f52,	loca goe
+3362	760526		opr goe 
+3363	000000		0
 3364			nam1 766746
+3364	766746		766746
+3365	002500		nil

 3366		f53,	loca stq
+3366	760533		opr stq
+3367	000000		0
 3370			nam2 flex set,767650
+3370	224523		flex set
+3371	003372		.+1
+3372	767650		767650
+3373	002500		nil

 3374		f54,	loca aso
+3374	760374		opr aso
+3375	000000		0
 3376			nam2 flex sas,flex soc
+3376	226122		flex sas
+3377	003400		.+1
+3400	224663		flex soc
+3401	002500		nil

 3402		fb2,	loca rin
+3402	761304		opr rin
+3403	000000		0
 3404			nam2 flex rea,767664
+3404	516561		flex rea
+3405	003406		.+1
+3406	767664		767664
+3407	002500		nil

 3410		fb3,	loca evl
+3410	761563		opr evl
+3411	000000		0
 3412			nam2 flex eva,767643
+3412	652561		flex eva
+3413	003414		.+1
+3414	767643		767643
+3415	002500		nil

 3416		fb4,	loca pnt
+3416	761235		opr pnt
+3417	000000		0
 3420			nam2 flex pri,764523
+3420	475171		flex pri
+3421	003422		.+1
+3422	764523		764523
+3423	002500		nil

 3424		fb5,	loca qot
+3424	761057		opr qot
+3425	000000		0
 3426			nam2 flex quo,762365
+3426	502446		flex quo
+3427	003430		.+1
+3430	762365		762365
+3431	002500		nil

 3432		fa3,	loca nul
+3432	760567		opr nul
+3433	000000		0
 3434			nam2 flex nul,767643
+3434	452443		flex nul
+3435	003436		.+1
+3436	767643		767643
+3437	002500		nil

 3440		f60,	loca pls
+3440	760631		opr pls
+3441	000000		0
 3442			nam2 flex plu,767622
+3442	474324		flex plu
+3443	003444		.+1
+3444	767622		767622
+3445	002500		nil

 3446		f61,	loca tim
+3446	760661		opr tim
+3447	000000		0
 3450			nam2 flex tim,766522
+3450	237144		flex tim
+3451	003452		.+1
+3452	766522		766522
+3453	002500		nil

 3454		f62,	loca lga
+3454	760651		opr lga
+3455	000000		0
 3456			nam2 flex log,flex and
+3456	434667		flex log
+3457	003460		.+1
+3460	614564		flex and
+3461	002500		nil

 3462		f63,	loca lgo
+3462	760656		opr log
+3463	000000		0
 3464			nam2 flex log,764651
+3464	434667		flex log
+3465	003466		.+1
+3466	764651		764651
+3467	002500		nil

		/miscellany

 3470		f38,	nam1 flex nil
+3470			flex nil
+3471	002500		nil

 3472		f40,	nam2 flex lam,flex bda
+3472	436144		flex lam
+3473	003474		.+1
+3474	626461		flex bda
+3475	002500		nil

 3476		f42,	nam2 flex apv,766143
+3476	614725		flex apv
+3477	003500		.+1
+3500	766143		766143
+3501	002500		nil

 3502		f43,	nam2 flex sub,767651
+3502	222462		flex sub
+3503	003504		.+1
+3504	767651		767651
+3505	002500		nil

 3506		f44,	nam2 flex exp,767651
+3506	652747		flex exp
+3507	003510		.+1
+3510	767651		767651
+3511	002500		nil

 3512		f45,	nam2 flex fsu,766251
+3512	662224		flex fsu
+3513	003514		.+1
+3514	766251		766251
+3515	002500		nil

 3516		f46,	nam2 flex fex,764751
+3516	666527		flex fex
+3517	003520		.+1
+3520	764751		764751
+3521	002500		nil

 3522		fb0,	nam2 flex obl,flex ist
+3522	466243		flex obl
+3523	003524		.+1
+3524	712223		flex ist
+3525	002500		nil

 3526		f37,	nam1 767623
+3526	767623		767623
+3527	002500		nil

 3530		end,

			/Literal table as calulated by GG
 3530	000001		1
 3531	600000		jmp
 3532	000077		77
 3533	000076		76
 3534	661000		ral
 3535	661077		ral 77
 3536	000200		200
 3537	000003		3
 3540	767600		767600
 3541	000032		isi-1
 3542	400000		add
 3543	400041		add a0
 3544	777777		-0
 3545	020041		and a0
 3546	040041		ior a0
 3547	600666		jmp tic
 3550	200000		lac
 3551	177777		-jmp
 3552	777776		-1
 3553	000020		20
 3554	000012		12
 3555	000021		21
 3556	000041		gst+5
 3557	671000		rar
 3560	000072		72
 3561	000074		74
 3562	000110		110
 3563	320100		dio 100
 3564	000057		57
 3565	000055		55
 3566	601326		jmp ri3
 3567	000033		33
 3570	000073		73
 3571	000056		56
 3572	000036		36
 3573	000075		75
 3574	240044		dac a2+1

	  2350	start pdo