D.R.S Dz

Name	Size	Permissions	Options
_notes	--	drwxr-xr-x

AboutExtractProofs.html	0.845 KB	-rw-r--r--
AboutFinalResults.html	3.15 KB	-rw-r--r--
AboutGenerateInputFiles.html	3.536 KB	-rw-r--r--
AboutHardTheorems.html	9.147 KB	-rw-r--r--
AboutMasterList.html	6.191 KB	-rw-r--r--
AboutResults.html	4.454 KB	-rw-r--r--
AboutStrategies.html	6.833 KB	-rw-r--r--
AboutTestChapter.html	1.286 KB	-rw-r--r--
AboutTestMasterList.html	8.001 KB	-rw-r--r--
AboutTestSubformulaStrategy.html	1.215 KB	-rw-r--r--
AboutTools.html	2.971 KB	-rw-r--r--
Background.gif	51.219 KB	-rw-r--r--
DisplayResults.php	2.833 KB	-rw-r--r--
Ramanujan1-quality15.jpg	33.569 KB	-rw-r--r--
archive.html	4.223 KB	-rw-r--r--
archive.php	3.939 KB	-rw-r--r--
archive10.html	8.181 KB	-rw-r--r--
archive10.php	5.221 KB	-rw-r--r--
archive11.html	5.265 KB	-rw-r--r--
archive11.php	3.62 KB	-rw-r--r--
archive12.php	4.145 KB	-rw-r--r--
archive2.html	3.624 KB	-rw-r--r--
archive2.php	1.625 KB	-rw-r--r--
archive3.html	3.034 KB	-rw-r--r--
archive3.php	1.322 KB	-rw-r--r--
archive4.html	4.659 KB	-rw-r--r--
archive4.php	2.241 KB	-rw-r--r--
archive5.html	3.979 KB	-rw-r--r--
archive5.php	1.657 KB	-rw-r--r--
archive6.html	7.009 KB	-rw-r--r--
archive6.php	3.54 KB	-rw-r--r--
archive6Ext.html	1.679 KB	-rw-r--r--
archive6Ext.php	0.839 KB	-rw-r--r--
archive7.html	6.206 KB	-rw-r--r--
archive7.php	4.897 KB	-rw-r--r--
archive8.html	10.736 KB	-rw-r--r--
archive8.php	6.755 KB	-rw-r--r--
archive8Ext.php	1.457 KB	-rw-r--r--
archive9.html	9.253 KB	-rw-r--r--
archive9.php	6.222 KB	-rw-r--r--
archive9A.html	6.451 KB	-rw-r--r--
archive9A.php	4.195 KB	-rw-r--r--
body.php	3.655 KB	-rw-r--r--
footer.php	0.656 KB	-rw-r--r--
head.php	2.865 KB	-rw-r--r--
index.html	9.145 KB	-rw-r--r--
mathjax-setup.html	0.236 KB	-rw-r--r--
testarchive.html	4.238 KB	-rw-r--r--
testarchive.php	4.259 KB	-rw-r--r--

Sindbad~EG File Manager