TSTP Solution File: CSR039-10 by Prover9---1109a
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Prover9---1109a
% Problem : CSR039-10 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : tptp2X_and_run_prover9 %d %s
% Computer : n006.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Fri Jul 15 23:04:21 EDT 2022
% Result : Timeout 300.03s 300.28s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.11 % Problem : CSR039-10 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.12 % Command : tptp2X_and_run_prover9 %d %s
% 0.12/0.33 % Computer : n006.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sat Jun 11 07:38:57 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.94/1.49 ============================== Prover9 ===============================
% 0.94/1.49 Prover9 (32) version 2009-11A, November 2009.
% 0.94/1.49 Process 405 was started by sandbox on n006.cluster.edu,
% 0.94/1.49 Sat Jun 11 07:38:58 2022
% 0.94/1.49 The command was "/export/starexec/sandbox/solver/bin/prover9 -t 300 -f /tmp/Prover9_32720_n006.cluster.edu".
% 0.94/1.49 ============================== end of head ===========================
% 0.94/1.49
% 0.94/1.49 ============================== INPUT =================================
% 0.94/1.49
% 0.94/1.49 % Reading from file /tmp/Prover9_32720_n006.cluster.edu
% 0.94/1.49
% 0.94/1.49 set(prolog_style_variables).
% 0.94/1.49 set(auto2).
% 0.94/1.49 % set(auto2) -> set(auto).
% 0.94/1.49 % set(auto) -> set(auto_inference).
% 0.94/1.49 % set(auto) -> set(auto_setup).
% 0.94/1.49 % set(auto_setup) -> set(predicate_elim).
% 0.94/1.49 % set(auto_setup) -> assign(eq_defs, unfold).
% 0.94/1.49 % set(auto) -> set(auto_limits).
% 0.94/1.49 % set(auto_limits) -> assign(max_weight, "100.000").
% 0.94/1.49 % set(auto_limits) -> assign(sos_limit, 20000).
% 0.94/1.49 % set(auto) -> set(auto_denials).
% 0.94/1.49 % set(auto) -> set(auto_process).
% 0.94/1.49 % set(auto2) -> assign(new_constants, 1).
% 0.94/1.49 % set(auto2) -> assign(fold_denial_max, 3).
% 0.94/1.49 % set(auto2) -> assign(max_weight, "200.000").
% 0.94/1.49 % set(auto2) -> assign(max_hours, 1).
% 0.94/1.49 % assign(max_hours, 1) -> assign(max_seconds, 3600).
% 0.94/1.49 % set(auto2) -> assign(max_seconds, 0).
% 0.94/1.49 % set(auto2) -> assign(max_minutes, 5).
% 0.94/1.49 % assign(max_minutes, 5) -> assign(max_seconds, 300).
% 0.94/1.49 % set(auto2) -> set(sort_initial_sos).
% 0.94/1.49 % set(auto2) -> assign(sos_limit, -1).
% 0.94/1.49 % set(auto2) -> assign(lrs_ticks, 3000).
% 0.94/1.49 % set(auto2) -> assign(max_megs, 400).
% 0.94/1.49 % set(auto2) -> assign(stats, some).
% 0.94/1.49 % set(auto2) -> clear(echo_input).
% 0.94/1.49 % set(auto2) -> set(quiet).
% 0.94/1.49 % set(auto2) -> clear(print_initial_clauses).
% 0.94/1.49 % set(auto2) -> clear(print_given).
% 0.94/1.49 assign(lrs_ticks,-1).
% 0.94/1.49 assign(sos_limit,10000).
% 0.94/1.49 assign(order,kbo).
% 0.94/1.49 set(lex_order_vars).
% 0.94/1.49 clear(print_given).
% 0.94/1.49
% 0.94/1.49 % formulas(sos). % not echoed (1138 formulas)
% 0.94/1.49
% 0.94/1.49 ============================== end of input ==========================
% 0.94/1.49
% 0.94/1.49 % From the command line: assign(max_seconds, 300).
% 0.94/1.49
% 0.94/1.49 ============================== PROCESS NON-CLAUSAL FORMULAS ==========
% 0.94/1.49
% 0.94/1.49 % Formulas that are not ordinary clauses:
% 0.94/1.49
% 0.94/1.49 ============================== end of process non-clausal formulas ===
% 0.94/1.49
% 0.94/1.49 ============================== PROCESS INITIAL CLAUSES ===============
% 0.94/1.49
% 0.94/1.49 ============================== PREDICATE ELIMINATION =================
% 0.94/1.49
% 0.94/1.49 ============================== end predicate elimination =============
% 0.94/1.49
% 0.94/1.49 Auto_denials:
% 0.94/1.49 % copying label goal to answer in negative clause
% 0.94/1.49
% 0.94/1.49 Term ordering decisions:
% 0.94/1.49 Function symbol KB weights: true=1. b=1. c_tptp_spindleheadmt=1. n_1=1. c_basekb=1. a=1. c_cyclistsmt=1. c_machinelearningspindleheadmt=1. c_partiallytangible=1. c_ship=1. c_correctivelensprescription=1. c_issuingaprescription=1. c_movement_translationevent=1. c_tptp_spindlecollectormt=1. c_unitvectorinterval=1. c_worldgeographymt=1. n_2=1. c_cityofbostonma=1. c_individual=1. c_objectfoundinlocation=1. c_tptpgeo_member7_mt=1. n_3=1. c_collection=1. c_directionoftranslation_throughout=1. c_products=1. c_setorcollection=1. c_tptpcol_1_65536=1. c_aspatialinformationstore=1. c_currentworlddatacollectormt_nonhomocentric=1. c_orientationvector=1. c_terrorist=1. c_terroristgroup=1. c_tptpcol_2_65537=1. c_tptpcol_3_16386=1. c_tptpcol_3_98305=1. c_tptpcol_4_106497=1. c_tptpcol_4_16387=1. c_tptpcol_6_92162=1. c_tptpgeo_member2_mt=1. c_tptpofobject=1. c_artifact=1. c_enduringthing_localized=1. c_executionbyfiringsquad=1. c_fixedordercollection=1. c_geographicalregion=1. c_inanimateobject=1. c_inanimateobject_nonnatural=1. c_intangible=1. c_intangibleindividual=1. c_location_underspecified=1. c_mathematicalorcomputationalthing=1. c_mathematicalthing=1. c_microtheory=1. c_militaryperson=1. c_orderingpredicate=1. c_partiallyintangibleindividual=1. c_shavingrazor_manual=1. c_supplies=1. c_tptpcol_0_0=1. c_tptpcol_10_109061=1. c_tptpcol_10_118020=1. c_tptpcol_10_18567=1. c_tptpcol_10_22022=1. c_tptpcol_10_26886=1. c_tptpcol_10_40324=1. c_tptpcol_10_72710=1. c_tptpcol_10_92166=1. c_tptpcol_10_93700=1. c_tptpcol_11_109125=1. c_tptpcol_11_118084=1. c_tptpcol_11_18631=1. c_tptpcol_11_22023=1. c_tptpcol_11_26887=1. c_tptpcol_11_40388=1. c_tptpcol_11_72774=1. c_tptpcol_11_92230=1. c_tptpcol_11_93764=1. c_tptpcol_12_109157=1. c_tptpcol_12_118116=1. c_tptpcol_12_18663=1. c_tptpcol_12_22055=1. c_tptpcol_12_26919=1. c_tptpcol_12_40420=1. c_tptpcol_12_72775=1. c_tptpcol_12_92262=1. c_tptpcol_12_93765=1. c_tptpcol_13_109173=1. c_tptpcol_13_118117=1. c_tptpcol_13_18664=1. c_tptpcol_13_22071=1. c_tptpcol_13_26920=1. c_tptpcol_13_40421=1. c_tptpcol_13_72791=1. c_tptpcol_13_92263=1. c_tptpcol_13_93766=1. c_tptpcol_14_109181=1. c_tptpcol_14_22072=1. c_tptpcol_14_26921=1. c_tptpcol_14_40429=1. c_tptpcol_14_72792=1. c_tptpcol_14_92264=1. c_tptpcol_14_93774=1. c_tptpcol_15_26925=1. c_tptpcol_15_72793=1. c_tptpcol_15_92268=1. c_tptpcol_15_93775=1. c_tptpcol_16_25972=1. c_tptpcol_16_27189=1. c_tptpcol_16_29490=1. c_tptpcol_16_31868=1. c_tptpcol_16_7738=1. c_tptpcol_1_1=1. c_tptpcol_2_2=1. c_tptpcol_2_98304=1. c_tptpcol_3_114688=1. c_tptpcol_3_65538=1. c_tptpcol_3_81921=1. c_tptpcol_4_114689=1. c_tptpcol_4_24578=1. c_tptpcol_4_65539=1. c_tptpcol_4_90113=1. c_tptpcol_5_106498=1. c_tptpcol_5_110593=1. c_tptpcol_5_114690=1. c_tptpcol_5_16388=1. c_tptpcol_5_20483=1. c_tptpcol_5_24579=1. c_tptpcol_5_69635=1. c_tptpcol_5_90114=1. c_tptpcol_6_108546=1. c_tptpcol_6_112641=1. c_tptpcol_6_116738=1. c_tptpcol_6_18436=1. c_tptpcol_6_20484=1. c_tptpcol_6_26627=1. c_tptpcol_6_71683=1. c_tptpcol_7_108547=1. c_tptpcol_7_113665=1. c_tptpcol_7_117762=1. c_tptpcol_7_18437=1. c_tptpcol_7_21508=1. c_tptpcol_7_26628=1. c_tptpcol_7_72707=1. c_tptpcol_7_92163=1. c_tptpcol_7_93186=1. c_tptpcol_8_109059=1. c_tptpcol_8_117763=1. c_tptpcol_8_18438=1. c_tptpcol_8_22020=1. c_tptpcol_8_26629=1. c_tptpcol_8_39940=1. c_tptpcol_8_72708=1. c_tptpcol_8_92164=1. c_tptpcol_8_93698=1. c_tptpcol_9_109060=1. c_tptpcol_9_118019=1. c_tptpcol_9_18439=1. c_tptpcol_9_22021=1. c_tptpcol_9_26885=1. c_tptpcol_9_40196=1. c_tptpcol_9_72709=1. c_tptpcol_9_92165=1. c_tptpcol_9_93699=1. c_tptpgeo_member1_mt=1. c_tptpgeo_spindlecollectormt=1. c_tptpgeo_spindleheadmt=1. c_trajector_underspecified=1. c_universalvocabularymt=1. c_airport_physical=1. c_applicationcontext=1. c_artsupplies=1. c_aspatialthing=1. c_computerdataartifact=1. c_corecyclmt=1. c_firstordercollection=1. c_footballteam=1. c_furpelt=1. c_genls=1. c_geolevel_4=1. c_hasmembers=1. c_hpkb_subnationalagent=1. c_hpkbvocabmt=1. c_inregion=1. c_navypersonnel=1. c_orientation=1. c_physicalorderingpredicate=1. c_pushingababycarriage=1. c_pushingwithfingers=1. c_pushingwithopenhand=1. c_ridgeline_topographical=1. c_runningshorts=1. c_spatialthing_nonsituational=1. c_state_geopolitical=1. c_thing=1. c_tptp_member235_mt=1. c_tptp_member2610_mt=1. c_tptp_member2701_mt=1. c_tptp_member698_mt=1. c_tptpcol_14_118118=1. c_tptpcol_15_109185=1. c_tptpcol_15_130923=1. c_tptpcol_15_130931=1. c_tptpcol_15_22076=1. c_tptpcol_15_30970=1. c_tptpcol_15_4027=1. c_tptpcol_15_40430=1. c_tptpcol_15_50957=1. c_tptpcol_16_10258=1. c_tptpcol_16_130924=1. c_tptpcol_16_130933=1. c_tptpcol_16_26926=1. c_tptpcol_16_26939=1. c_tptpcol_16_30972=1. c_tptpcol_16_4451=1. c_tptpcol_16_50958=1. c_tptpcol_16_62187=1. c_tptpcol_16_72795=1. c_tptpcol_16_8886=1. c_tptpcol_16_92269=1. c_tptpcol_7_39939=1. c_tptpcol_8_114177=1. c_tptpgeo_member3_mt=1. c_tptptypes_6_388=1. c_transitivebinarypredicate=1. c_translation_0_885=1. n_4=1. c_ap_martha_stewart_omnimedia_names_chairman=1. c_calendarsmt=1. c_calendarsvocabularymt=1. c_cycnounlearnermt=1. c_cycorpproductsmt=1. c_disjointwith=1. c_englishmt=1. c_ethnicgroupsmt=1. c_ethnicgroupsvocabularymt=1. c_few=1. c_generictemporalmt=1. c_geographicalsubregions=1. c_geographymt=1. c_geolevel_1=1. c_geolevel_3=1. c_georegion_l1_x2_y0=1. c_georegion_l2_x8_y2=1. c_georegion_l3_x15_y24=1. c_georegion_l3_x17_y24=1. c_georegion_l3_x25_y7=1. c_georegion_l3_x4_y13=1. c_georegion_l4_x14_y39=1. c_georegion_l4_x53_y74=1. c_georegion_l4_x76_y23=1. c_gregoriancalendarmt=1. c_humansociallifemt=1. c_keinteractionresourcetestmt=1. c_ldscdemonstrationspindleheadmt=1. c_ldscgeneralcollectormt=1. c_logicaltruthmt=1. c_marriagelicensedocument=1. c_massmediadatamt=1. c_miptdatabase19681997_termsmt=1. c_most=1. c_no=1. c_nooescapearchitecturemt=1. c_organizationdatamt=1. c_peopledatamt=1. c_reflexivebinarypredicate=1. c_relationallexistsfn=1. c_relationexistsallfn=1. c_subsetof=1. c_testvocabularymt=1. c_tptp_8_271=1. c_tptp_8_875=1. c_tptp_8_968=1. c_tptp_9_51=1. c_tptp_9_720=1. c_tptp_member1672_mt=1. c_tptp_member237_mt=1. c_tptp_member2668_mt=1. c_tptp_member3993_mt=1. c_tptpgeo_member5_mt=1. c_tptpgeo_member8_mt=1. c_tptpnsubcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent_786=1. c_tptpnsubcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma_802=1. c_tptpnsubcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription_2804=1. c_tptptypes_6_818=1. c_tptptypes_7_389=1. c_tptptypes_7_396=1. c_tptptypes_7_819=1. c_tptptypes_8_400=1. c_tptptypes_8_692=1. c_tptptypes_8_823=1. c_translation_7=1. c_unitedstatesgeographydualistmt=1. c_unitedstatessociallifemt=1. c_worldcompletedualistgeographymt=1. c_worldgeographydualistmt=1. n_232=1. n_328=1. n_414=1. n_468=1. n_756=1. s_http_wwwpoweripodsearchinfobrown_ipodhtml=1. c_affiliatedwith=1. c_airporthasiatacode=1. c_beloitcollege=1. c_citynamedfn=1. c_contentmtofcdafromeventfn=1. c_contextofpcwfn=1. c_france=1. c_genlmt=1. c_genlpreds=1. c_geolocation_x14_y39=1. c_geolocation_x53_y74=1. c_geolocation_x76_y23=1. c_georegion_l2_x5_y8=1. c_georegion_l3_x11_y2=1. c_georegion_l4_x27_y64=1. c_georegion_l4_x27_y65=1. c_georegion_l4_x29_y75=1. c_georegion_l4_x29_y76=1. c_georegion_l4_x35_y7=1. c_georegion_l4_x36_y50=1. c_georegion_l4_x37_y50=1. c_georegion_l4_x38_y24=1. c_georegion_l4_x39_y24=1. c_georegion_l4_x45_y10=1. c_georegion_l4_x45_y72=1. c_georegion_l4_x45_y9=1. c_georegion_l4_x56_y47=1. c_georegion_l4_x57_y47=1. c_georegion_l4_x75_y75=1. c_instancewithrelationtofn=1. c_knowledgefragmentd3mt=1. c_patterndetectormt=1. c_reasoningaboutpossibleantecedentsmt=1. c_subcollectionofwithrelationfromtypefn=1. c_subcollectionofwithrelationtofn=1. c_subcollectionofwithrelationtotypefn=1. c_theprototypicalfurpelt=1. c_theprototypicalshavingrazor_manual=1. c_timehasnoendmt=1. c_tptp_member2089_mt=1. c_tptp_member2356_mt=1. c_tptp_member2831_mt=1. c_tptp_member2862_mt=1. c_tptp_member3205_mt=1. c_tptp_member3356_mt=1. c_tptp_member3393_mt=1. c_tptp_member3515_mt=1. c_tptp_member3633_mt=1. c_tptp_member3717_mt=1. c_tptp_member974_mt=1. c_tptpartsupplies=1. c_tptpexecutionbyfiringsquad_90=1. c_tptpgeo_member4_mt=1. c_tptpmarriagelicensedocument=1. c_tptpnavypersonnel_3=1. c_tptpquantityfn_1=1. c_tptpquantityfn_13=1. c_tptpquantityfn_14=1. c_tptpquantityfn_2=1. c_tptpquantityfn_21=1. c_tptpquantityfn_6=1. c_tptpridgeline_topographical=1. c_tptprunningshorts=1. c_tptptptpcol_16_25985=1. c_tptptptpcol_16_8398=1. c_tptptypes_5_387=1. c_tptptypes_5_802=1. c_tptptypes_7_691=1. c_tptptypes_8_390=1. c_tptptypes_9_401=1. c_tptptypes_9_693=1. c_tptptypes_9_824=1. c_translation_14=1. c_translation_21=1. c_translation_3=1. c_translation_32=1. c_translation_33=1. c_unitedstatesgeographypeoplemt=1. c_urlfn=1. c_urlreferentfn=1. c_wamt_evalinitial_p14=1. c_wanica_districtsuriname=1. c_xskijump_thegame=1. n_170=1. s_agen=1. s_http_fwsistercitiesorgpdfsmbabanembabane20activity20pages2pdf=1. s_http_memberstripodcomindygalfordtriviahtm=1. s_http_ukencartamsncomencyclopedia_761573010_4united_states_of_americahtml=1. s_http_webnjiteducjohnsontreebiochhtm=1. s_http_wwwahwatukeecomafnentertainmentarticles030423ahtml=1. s_http_wwwarthritis_symptomcoma_cbursitishtm=1. s_http_wwwfuntriviacomplayquizcfmqid60926origin=1. s_http_wwwinformationblastcomtechnical_university_of_munichhtml=1. s_http_wwwsurgerydoorcoukmedconsprintasprecno23068988=1. s_http_wwwthedailybulletincompostcardsmar9chtm=1. s_terroristthathasbeenamemberofaterroristorganization=1. s_thefootballteamwhohasbeenaffiliatedwithbeloitcollege=1. s_tlh=1. isa=1. genls=1. genlmt=1. genlpreds=1. subsetof=1. no=1. disjointwith=1. natfunction=1. geographicalsubregions=1. f_contentmtofcdafromeventfn=1. objectfoundinlocation=1. genlinverse=1. most=1. borderson=1. inregion=1. tuple2=1. arg1isa=1. arg2isa=1. few=1. tptpofobject=1. affiliatedwith=1. f_citynamedfn=1. tptptypes_6_388=1. tptptypes_7_389=1. directionoftranslation_throughout=1. prettystring=1. resultisaarg=1. tptptypes_6_818=1. tptptypes_7_396=1. tptptypes_7_819=1. tptptypes_8_390=1. tptptypes_8_400=1. tptptypes_8_692=1. tptptypes_8_823=1. tptptypes_9_401=1. tptptypes_9_693=1. tptptypes_9_824=1. tptp_8_271=1. tptp_8_875=1. tptp_8_968=1. tptp_9_51=1. tptp_9_720=1. tptptypes_5_387=1. tptptypes_5_802=1. tptptypes_7_691=1. airporthasiatacode=1. hasmembers=1. orientation=1. products=1. geographicallysubsumes=1. geopoliticalsubdivision=1. subevents=1. subregions=1. mtvisible=1. firstordercollection=1. collection=1. setorcollection=1. f_urlfn=1. f_urlreferentfn=1. microtheory=1. individual=1. thing=1. geographicalregion=1. spatialthing_nonsituational=1. partiallytangible=1. tptpquantity=1. transitivebinarypredicate=1. predicate=1. tptpcol_1_65536=1. artifact=1. aspatialinformationstore=1. binarypredicate=1. computerdataartifact=1. executionbyfiringsquad=1. f_contextofpcwfn=1. f_tptpquantityfn_1=1. f_tptpquantityfn_13=1. f_tptpquantityfn_14=1. f_tptpquantityfn_2=1. f_tptpquantityfn_6=1. tptpcol_2_65537=1. tptpcol_3_16386=1. tptpcol_3_98305=1. tptpcol_4_106497=1. tptpcol_4_16387=1. tptpcol_4_24578=1. tptpcol_5_24579=1. tptpcol_6_92162=1. tptpcol_7_26628=1. applicationcontext=1. artsupplies=1. enduringthing_localized=1. f_tptpquantityfn_21=1. fixedordercollection=1. furpelt=1. geolevel_3=1. geolevel_4=1. inanimateobject=1. inanimateobject_nonnatural=1. intangible=1. intangibleindividual=1. location_underspecified=1. mathematicalorcomputationalthing=1. mathematicalthing=1. militaryperson=1. navypersonnel=1. orderingpredicate=1. partiallyintangibleindividual=1. physicalorderingpredicate=1. ridgeline_topographical=1. runningshorts=1. shavingrazor_manual=1. state_geopolitical=1. subcollectionofwithrelationfromtypefnunitvectorintervaldirectionoftranslation_throughoutmovement_translationevent=1. subcollectionofwithrelationtofnshipobjectfoundinlocationcityofbostonma=1. subcollectionofwithrelationtotypefnissuingaprescriptionproductscorrectivelensprescription=1. supplies=1. tptpcol_0_0=1. tptpcol_10_109061=1. tptpcol_10_118020=1. tptpcol_10_18567=1. tptpcol_10_22022=1. tptpcol_10_26886=1. tptpcol_10_40324=1. tptpcol_10_72710=1. tptpcol_10_92166=1. tptpcol_10_93700=1. tptpcol_11_109125=1. tptpcol_11_118084=1. tptpcol_11_18631=1. tptpcol_11_22023=1. tptpcol_11_26887=1. tptpcol_11_40388=1. tptpcol_11_72774=1. tptpcol_11_92230=1. tptpcol_11_93764=1. tptpcol_12_109157=1. tptpcol_12_118116=1. tptpcol_12_18663=1. tptpcol_12_22055=1. tptpcol_12_26919=1. tptpcol_12_40420=1. tptpcol_12_72775=1. tptpcol_12_92262=1. tptpcol_12_93765=1. tptpcol_13_109173=1. tptpcol_13_118117=1. tptpcol_13_22071=1. tptpcol_13_26920=1. tptpcol_13_40421=1. tptpcol_13_72791=1. tptpcol_13_92263=1. tptpcol_13_93766=1. tptpcol_14_109181=1. tptpcol_14_22072=1. tptpcol_14_26921=1. tptpcol_14_40429=1. tptpcol_14_72792=1. tptpcol_14_92264=1. tptpcol_14_93774=1. tptpcol_15_26925=1. tptpcol_15_72793=1. tptpcol_15_92268=1. tptpcol_1_1=1. tptpcol_2_2=1. tptpcol_2_98304=1. tptpcol_3_114688=1. tptpcol_3_65538=1. tptpcol_3_81921=1. tptpcol_4_114689=1. tptpcol_4_65539=1. tptpcol_4_90113=1. tptpcol_5_106498=1. tptpcol_5_110593=1. tptpcol_5_114690=1. tptpcol_5_16388=1. tptpcol_5_20483=1. tptpcol_5_69635=1. tptpcol_5_90114=1. tptpcol_6_108546=1. tptpcol_6_112641=1. tptpcol_6_116738=1. tptpcol_6_18436=1. tptpcol_6_20484=1. tptpcol_6_26627=1. tptpcol_6_71683=1. tptpcol_7_108547=1. tptpcol_7_113665=1. tptpcol_7_117762=1. tptpcol_7_18437=1. tptpcol_7_21508=1. tptpcol_7_72707=1. tptpcol_7_92163=1. tptpcol_7_93186=1. tptpcol_8_109059=1. tptpcol_8_117763=1. tptpcol_8_18438=1. tptpcol_8_22020=1. tptpcol_8_26629=1. tptpcol_8_39940=1. tptpcol_8_72708=1. tptpcol_8_92164=1. tptpcol_8_93698=1. tptpcol_9_109060=1. tptpcol_9_118019=1. tptpcol_9_18439=1. tptpcol_9_22021=1. tptpcol_9_26885=1. tptpcol_9_40196=1. tptpcol_9_72709=1. tpCputime limit exceeded (core dumped)
%------------------------------------------------------------------------------