ELFt44 (44|||||d/usr/lib/ld.so.1)(  "#%&' !$, ,@!| 5 ;\C8J|QD4 b!jow tt PD4 |        H # ;@G@MT a gtmshstartsWithstrcmpstrlen_iob_GLOBAL_OFFSET_TABLE__initmkstempprintf_edatais_cmodels_modelenvironexitfprintfstrncmp_PROCEDURE_LINKAGE_TABLE__DYNAMICfgets_startsprintfatexit_environcallocis_smodels_model_etextmainis_model__register_frame_infoprint_usageis_dlv_model__deregister_frame_info_endunlink__iobfclose_lib_version_finiftell_exitfdopenlibc.so.1SUNW_0.7libc.so.1z =(! &  ,8DP\h't%"  @D# @COD @CK@M, @ "@@C@@CA㿐/C @# @   $?@`  ``@C   "㿐㿐/Bʮ㼐 `` @C 㿐㿐!"Da@BDa(@BDax@BDa@BDa@BDb(@BDbp@BDbx@BߐDb@BېDb@BאDc@BӐD@Bϒc@㿐!D#@Bː@Bʐ !D #@B@B  N {`?  !D#@B@B    @ @`?&@ 㿀 ' 'D%D#D5D'9E'7E!D`@B㰀 2`@Br @B 2` '@B}c 2` ?`@Bw#i@B[  4` @Bp$D@Boc@Bp 6ED@Ba#@BG @Bi` pD@BW#@B= @BG@B`?@B`@Ba.@   ' @B9*? @B4J?` @B-J?`  V  `E @B ````?N@ :"  L :2   N@ { L { `?L5MN   }2 `2NN? ,".?N 2.`& 6 .@ .@ & .@@.  (0p@Aʒ N  }2ʨ`+$"@@@Aє⠀ " (0p@A @A*? @AJ?` @AJ?`  2LE`8EHEP@Ab `  ⠐$@A 4` E XE pE x@Ak @AQ 㿐@A]@A\`?㿐!D#@AP@AO`?㿐!D#@AC@AB " N {`?㿐!D#@A1@A0`?㿐/@  ??㿐㿠㿠MKAtoms v 2.3 Copyright (C) 2002-2003 Marcello Balduccini (marcello.balduccini@ttu.edu) MKAtoms comes with ABSOLUTELY NO WARRANTY; to the extent permitted by law. You may redistribute copies of MKAtoms under the terms of the GNU General Public License. For more information about these matters, see the file named COPYING. Usage: mkatoms [-a] [-h] [-t] -a: format the output so that it can be used as an A-Prolog program. -h: print this help. -t: undocumented -- internal use only. Stable Model:Best model: Answer set:-h-t-aUnrecognized option '%s' /tmp/tmp.XXXXXXUnable to determine sytem type wt%ld %s%s. %sendmodel %%::%s no models found. %******xd`l00<0H0T0`0l0x000000000000   4 ooLol ootas: Sun WorkShop 6 99/08/18 as: Sun WorkShop 6 99/08/18 @(#)SunOS 5.8 Generic February 2000as: Sun WorkShop 6 99/08/18 GCC: (GNU) 2.95.3 20010315 (release)as: Sun WorkShop 6 99/08/18 GCC: (GNU) 2.95.3 20010315 (release)as: Sun WorkShop 6 99/08/18 GCC: (GNU) 2.95.3 20010315 (release)as: Sun WorkShop 6 99/08/18 ld: Solaris Link Editors: 5.8-1.272.shstrtab.interp.hash.dynsym.dynstr.SUNW_version.rela.got.rela.bss.rela.plt.text.init.fini.rodata.dynamic.data.ctors.dtors.eh_frame.comment L 44!)LL 7ll  A K Utt h[agl<|| P  ox``~hhppxxF`l