Dec3.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "#!/usr/bin/env python\n",
    "\n",
    "def check_triangle(a,b,c):\n",
    "    if int(c) >= int(a)+int(b):\n",
    "        return False\n",
    "    elif int(b) >= int(a)+int(c):\n",
    "        return False\n",
    "    elif int(a) >= int(b)+int(c):\n",
    "        return False\n",
    "    return True"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "input_str = \"\"\"  330  143  338\n",
    "  769  547   83\n",
    "  930  625  317\n",
    "  669  866  147\n",
    "   15  881  210\n",
    "  662   15   70\n",
    "  273  277  707\n",
    "   50  592  770\n",
    "  280  313  407\n",
    "  642  487  372\n",
    "   94  619  295\n",
    "  734  243  141\n",
    "  220  141  515\n",
    "  198  824  745\n",
    "  210  787  964\n",
    "  213  627  601\n",
    "  918    4  447\n",
    "  805  630  802\n",
    "  711  237  987\n",
    "  938  552  388\n",
    "  643  405  779\n",
    "  803  747  525\n",
    "  917  832  631\n",
    "  899  292  843\n",
    "   81  206  445\n",
    "  141  874  465\n",
    "  177  974   54\n",
    "  520  725  814\n",
    "  271  958  554\n",
    "  779  579  264\n",
    "  358   18  257\n",
    "  978   77  270\n",
    "  984   88  131\n",
    "  475  702  940\n",
    "  183  756  160\n",
    "  383  941  820\n",
    "  806  142  646\n",
    "  793  275  804\n",
    "   53  272  368\n",
    "  942  821  785\n",
    "  863  830  902\n",
    "  219   52  199\n",
    "  473  479  351\n",
    "  860  522  361\n",
    "  890  240  216\n",
    "   94  756  407\n",
    "  310  189  468\n",
    "  234  909  178\n",
    "  889  667  756\n",
    "  429  485  730\n",
    "  825  405   30\n",
    "  943  806  253\n",
    "   98  455  365\n",
    "  998  454  290\n",
    "  971  576  223\n",
    "   64  429  273\n",
    "  945  779   63\n",
    "  352  960   59\n",
    "  672  948  577\n",
    "  782   43  567\n",
    "  460  315  719\n",
    "  825  604  183\n",
    "  453  442  788\n",
    "  694  632  334\n",
    "  569  619  317\n",
    "  337   49   17\n",
    "  878  468  660\n",
    "  393  598  717\n",
    "  550  827  159\n",
    "  540  362  346\n",
    "   66  713  380\n",
    "  491  477   44\n",
    "  411  114  320\n",
    "  554   96  250\n",
    "  306   67  196\n",
    "  769  553  333\n",
    "  762  436  382\n",
    "  278  322  153\n",
    "  894  603  334\n",
    "  539  441  844\n",
    "  486  162  927\n",
    "  197    9  218\n",
    "   94  221  804\n",
    "  250  220  913\n",
    "  557  626  486\n",
    "  562  705  630\n",
    "  968  922  285\n",
    "  518   36  468\n",
    "   18  608   83\n",
    "  512  611  530\n",
    "  534   37   65\n",
    "  621  136   90\n",
    "  239  113  139\n",
    "  371  640  956\n",
    "  629   54  959\n",
    "  531  620  338\n",
    "  682  499  810\n",
    "  798  170  968\n",
    "  187  640  645\n",
    "  660  535  332\n",
    "  663  530  314\n",
    "   64   26   65\n",
    "   55  285  488\n",
    "  620  288   52\n",
    "  642  474  450\n",
    "  455    9  962\n",
    "   51  760  489\n",
    "  426  760  833\n",
    "  304  783  772\n",
    "  498  765  695\n",
    "  635   53  126\n",
    "   44  430  774\n",
    "  979  943  838\n",
    "  962  892   64\n",
    "  494  709  614\n",
    "    7  695  120\n",
    "  503  114  606\n",
    "  362  340  689\n",
    "  509  367  389\n",
    "  673  410  664\n",
    "  773  262  558\n",
    "  897  958  245\n",
    "  140  773  483\n",
    "  965  468  584\n",
    "  546  209  668\n",
    "  856  381  184\n",
    "  274  237  762\n",
    "  888  677  906\n",
    "  871  516  405\n",
    "  102  529  912\n",
    "  285  724  885\n",
    "  352  501   53\n",
    "  774  139  245\n",
    "  380  309  594\n",
    "  813  185  765\n",
    "  530  645  965\n",
    "  958  618  120\n",
    "  851  202  957\n",
    "  737  476  131\n",
    "  595  546  108\n",
    "  716  113   66\n",
    "  327  215  318\n",
    "  397  343  390\n",
    "  351  143  103\n",
    "  138   91   31\n",
    "  108  224  919\n",
    "  230  276  896\n",
    "  426  975  177\n",
    "  327  975  918\n",
    "  238  365  764\n",
    "  328  799  775\n",
    "  590  906  967\n",
    "  578  460  338\n",
    "  507  619  647\n",
    "  711  617  867\n",
    "  933  478  734\n",
    "  820  760  721\n",
    "  199  711  824\n",
    "  983  214  228\n",
    "  382  150  648\n",
    "  415  782  242\n",
    "  615  754  445\n",
    "  693  689  590\n",
    "  382  784  482\n",
    "  997  181  322\n",
    "  682  241  172\n",
    "  587  302  252\n",
    "  184  135  254\n",
    "  574  104  549\n",
    "   88  738  796\n",
    "  486  715  861\n",
    "   62  491  815\n",
    "  463  434  569\n",
    "  519  622  310\n",
    "  199  443  782\n",
    "  572  657   85\n",
    "  763  517  844\n",
    "  750  175  835\n",
    "  228  269  710\n",
    "  611  316  551\n",
    "  883  546  296\n",
    "  169  693   18\n",
    "  992  743  316\n",
    "  263  529  529\n",
    "  705  570    4\n",
    "  918  706  527\n",
    "  609  285  971\n",
    "  260  533  112\n",
    "  711  486  904\n",
    "  820   40  472\n",
    "  997  301  129\n",
    "  257  288  343\n",
    "  635  439  375\n",
    "  560  381  417\n",
    "  773  105  145\n",
    "   58  963  267\n",
    "  976  742  424\n",
    "  994  441  384\n",
    "  389  770  514\n",
    "  782  463  335\n",
    "  919  727  276\n",
    "  780  794  372\n",
    "  326  180  590\n",
    "  918  946  257\n",
    "  889  842  181\n",
    "  507   61  464\n",
    "  762  835  443\n",
    "  827  607  982\n",
    "  174  875  544\n",
    "  934  885  589\n",
    "   32  343  757\n",
    "  987  826  257\n",
    "  981  782  844\n",
    "  446  291  397\n",
    "  443  800  421\n",
    "  165  668  539\n",
    "  410  373  487\n",
    "  422  803  881\n",
    "  546  998  953\n",
    "  291  607  160\n",
    "  919  894   62\n",
    "  842  718  117\n",
    "  110  816  582\n",
    "  470  836  596\n",
    "  575  687   35\n",
    "   37  835  374\n",
    "   90  954  354\n",
    "  101  141  407\n",
    "  174  398  499\n",
    "  173  737  964\n",
    "    4  365  950\n",
    "  946  616  634\n",
    "  906  904  619\n",
    "   40  789   16\n",
    "  788  769   76\n",
    "  737  867   88\n",
    "  565  812   31\n",
    "  508  380  201\n",
    "   34  935  339\n",
    "  500  862  326\n",
    "  431  181  475\n",
    "  403  346  585\n",
    "   88  530  708\n",
    "  731  137  781\n",
    "  715  563  272\n",
    "  817  659  932\n",
    "  396  368  360\n",
    "  162  683  376\n",
    "  278  620   39\n",
    "  525  910  371\n",
    "  688  524  149\n",
    "  488  998  279\n",
    "  286  392  523\n",
    "  325  144  406\n",
    "   79  532  419\n",
    "  540  460  465\n",
    "  222  832  416\n",
    "  517  507   46\n",
    "   87  744  183\n",
    "  382  819  701\n",
    "  306  763  647\n",
    "  744   74  913\n",
    "   62  813  849\n",
    "  691  874  775\n",
    "  291  422  314\n",
    "  432  630  809\n",
    "  611  510  566\n",
    "  583  745  289\n",
    "  397   19  727\n",
    "  188  766  442\n",
    "   96  108  329\n",
    "  963  719  598\n",
    "  963  764  469\n",
    "  444  636  731\n",
    "  792  636  422\n",
    "  993    1  416\n",
    "  518  300  532\n",
    "  298  312  736\n",
    "  316  111  463\n",
    "  825  569   35\n",
    "  858  591  584\n",
    "  809   84  607\n",
    "  681  610  740\n",
    "  383  279  210\n",
    "  851  733  615\n",
    "  287  959  160\n",
    "  856  851  171\n",
    "  606  115  211\n",
    "  310  541  845\n",
    "  506  119  319\n",
    "  665  471  562\n",
    "  382  885  798\n",
    "  440   29  595\n",
    "  113  903  475\n",
    "  257  773  846\n",
    "  306  741  776\n",
    "   97  804   76\n",
    "  489  332  423\n",
    "  466  632  613\n",
    "   86  739  481\n",
    "  199  846  712\n",
    "   62  282  809\n",
    "  155  681  142\n",
    "  705  525  270\n",
    "  159  800  117\n",
    "  612  664  316\n",
    "  505  616  837\n",
    "  578  839  770\n",
    "  942  535  122\n",
    "  542  781  512\n",
    "  552   22  475\n",
    "  760  791   97\n",
    "  432  626  837\n",
    "   26  616  336\n",
    "  412  316  702\n",
    "  108  232  242\n",
    "  158  311  449\n",
    "   60  141  325\n",
    "   58    1  714\n",
    "  532  977  123\n",
    "  531  978  598\n",
    "  679  899   57\n",
    "  645  523   54\n",
    "  167  892   14\n",
    "  164  574  492\n",
    "  105   37  491\n",
    "  132  555  485\n",
    "  600  879  508\n",
    "  608  843  222\n",
    "  270  255  398\n",
    "  232  960  281\n",
    "  241  995  436\n",
    "  113  674  411\n",
    "  381  567    5\n",
    "  697  450  966\n",
    "  726  857  969\n",
    "  722  686  965\n",
    "  543   20  453\n",
    "  955  689  554\n",
    "  858  161  923\n",
    "  140  979  953\n",
    "  786  836  237\n",
    "  200  322  875\n",
    "  311  623  398\n",
    "  510  814  945\n",
    "   67  387  825\n",
    "  621  620  740\n",
    "  630  842  163\n",
    "  545   75  373\n",
    "  506  531  501\n",
    "  301  571  357\n",
    "  746  491  253\n",
    "   37   29  748\n",
    "  769  507  754\n",
    "   69  886  861\n",
    "  423  629  856\n",
    "  380  723   83\n",
    "  875  647  657\n",
    "  144  696  580\n",
    "  896   49  629\n",
    "  275  598  374\n",
    "  118  636  279\n",
    "  277   80  529\n",
    "  623  130  493\n",
    "  368  712  621\n",
    "  833  730  512\n",
    "   59  767  829\n",
    "  105  933  731\n",
    "   54  240  108\n",
    "  803  235  992\n",
    "  837  726  881\n",
    "  426  855  450\n",
    "  636  730  731\n",
    "  840  561  977\n",
    "  996  229  670\n",
    "  508  234  186\n",
    "  529  108  917\n",
    "  373  337  795\n",
    "  681   35  565\n",
    "  790  251  152\n",
    "  301  235  599\n",
    "  875  416  653\n",
    "  277  338  990\n",
    "  800  207  595\n",
    "  954  650  896\n",
    "  931  667  706\n",
    "   84  851  822\n",
    "  254  778  816\n",
    "  316  141  732\n",
    "  233  759  239\n",
    "  546  473  315\n",
    "   69   15   96\n",
    "  513  470  320\n",
    "  460  188  729\n",
    "  429  950  288\n",
    "  709  807  790\n",
    "  456  161  570\n",
    "  269  718  339\n",
    "  213  628  602\n",
    "  155  367  686\n",
    "  176  418  568\n",
    "   66  251  723\n",
    "  959  696  536\n",
    "  794  279  885\n",
    "  315  527  993\n",
    "  603  853  868\n",
    "  727  747  994\n",
    "  411  287  193\n",
    "  528  763  559\n",
    "  803  149  739\n",
    "  542  883  696\n",
    "  275  676  183\n",
    "  411  317  161\n",
    "  349  875   35\n",
    "   39  729  221\n",
    "  256  831  216\n",
    "  247  238  176\n",
    "  399   59  306\n",
    "  409  445  550\n",
    "    9  387  253\n",
    "  613  204  474\n",
    "   81  868  944\n",
    "  589  912  735\n",
    "  319  264   83\n",
    "  984  704  614\n",
    "  778  614  532\n",
    "  699  762  556\n",
    "  680  250  507\n",
    "  504  581  647\n",
    "  160  351  295\n",
    "  513  739  413\n",
    "  651  915  651\n",
    "  878  218  499\n",
    "  872  990  503\n",
    "   38  886   12\n",
    "  218  201  415\n",
    "  240  250  504\n",
    "  265  448  382\n",
    "  402  876  126\n",
    "  488  950  649\n",
    "  189  210  597\n",
    "   24  850  758\n",
    "   30  451  347\n",
    "    5  437  723\n",
    "  634  310  546\n",
    "  801  179  411\n",
    "  679  338  852\n",
    "  385   32  933\n",
    "  406  531  554\n",
    "   88  516  871\n",
    "  860  486  834\n",
    "  467  535  849\n",
    "  419  820  785\n",
    "  206  649  526\n",
    "  244  499  714\n",
    "   80  774  678\n",
    "  336  149  612\n",
    "  310  175  656\n",
    "  150  221  791\n",
    "  159  806  701\n",
    "  336  465  530\n",
    "  376  819  272\n",
    "  533  472  421\n",
    "   82  124  909\n",
    "  523  561  539\n",
    "  844  811  576\n",
    "  439  612  587\n",
    "  782  457  686\n",
    "  152   51  837\n",
    "  413  573  855\n",
    "  403  608   26\n",
    "  893  819  910\n",
    "  361  499  657\n",
    "  677  937  617\n",
    "  428    6  343\n",
    "  310   38  431\n",
    "  474   35  420\n",
    "  574  256  221\n",
    "  700  907  515\n",
    "  149  685  478\n",
    "  206  325  720\n",
    "  114   51   67\n",
    "  320  338  686\n",
    "  293   59  527\n",
    "  147  756  986\n",
    "  250  697  573\n",
    "  968  194  545\n",
    "  542  480   72\n",
    "  454  574  619\n",
    "  473   55  592\n",
    "  475  339  889\n",
    "  884  313  993\n",
    "  125  127  742\n",
    "  591  514  585\n",
    "  543  583  282\n",
    "  264  580  390\n",
    "  839  487  781\n",
    "  902  664  868\n",
    "  334  459  819\n",
    "  107   20  211\n",
    "  368  479  775\n",
    "  683  691  273\n",
    "  681  336  630\n",
    "   22  978  536\n",
    "  926  828  708\n",
    "  210  319  723\n",
    "  787  689  866\n",
    "  854  633  856\n",
    "  960  494  866\n",
    "  122  687  596\n",
    "  918  705  539\n",
    "   84  564  791\n",
    "  876  138  949\n",
    "  836    1  500\n",
    "  718  308  466\n",
    "  228  311  271\n",
    "  421  998  433\n",
    "  622  772  174\n",
    "  875  720  432\n",
    "  680  687  509\n",
    "  215   95  623\n",
    "  674  732  166\n",
    "  198  174  645\n",
    "  721  839  390\n",
    "  617  896  448\n",
    "   73  331  155\n",
    "  789  134  431\n",
    "  853  376  400\n",
    "   82  862  411\n",
    "  779  362   70\n",
    "  750  777  349\n",
    "  674  604  224\n",
    "  812  731  446\n",
    "  280  546  336\n",
    "  922  781  619\n",
    "  196  892  876\n",
    "  941  361  479\n",
    "  344  988  873\n",
    "  499   92  795\n",
    "  287  913  546\n",
    "  625  167  604\n",
    "  617    1  399\n",
    "  154  166  720\n",
    "  328  323  111\n",
    "  713  619  530\n",
    "  606  756  580\n",
    "  194  247  935\n",
    "  149   65   64\n",
    "   55  287  902\n",
    "  870  866  127\n",
    "  478  679  587\n",
    "  900  459  565\n",
    "  563  787  743\n",
    "  962  798  769\n",
    "  669   39  525\n",
    "  745  691  317\n",
    "  484  123   93\n",
    "  500  598  348\n",
    "  159  535  681\n",
    "  618  176  877\n",
    "  723  373  464\n",
    "  304  184  131\n",
    "  542  209  654\n",
    "  716   47  647\n",
    "  976  537  771\n",
    "  914  606  568\n",
    "  241  250  481\n",
    "  616  640  660\n",
    "  744  187  843\n",
    "  303  617  927\n",
    "  369  525  773\n",
    "  754  697  360\n",
    "  595  560  605\n",
    "  562  589  610\n",
    "  799  497  655\n",
    "  823  553  532\n",
    "  937  502  449\n",
    "  976  941  158\n",
    "  194  720  347\n",
    "  474  694  822\n",
    "  528  184  272\n",
    "  922  698  568\n",
    "  415  889  638\n",
    "  169  822   65\n",
    "  547  281  663\n",
    "  582  167  110\n",
    "  365   56  914\n",
    "  431  162  923\n",
    "  473  812  578\n",
    "  572  890  386\n",
    "  164  119  308\n",
    "  604  946  496\n",
    "  327  142   72\n",
    "  641  916  472\n",
    "  743  663  228\n",
    "  107  446  345\n",
    "  823  486  152\n",
    "  997   47  968\n",
    "  565  155  631\n",
    "  438  205  416\n",
    "  271  163  875\n",
    "  123  393  111\n",
    "  169  412  854\n",
    "  615  683  659\n",
    "  592  362    9\n",
    "   99  895  668\n",
    "  834  205  172\n",
    "  359  355  550\n",
    "  499  149  389\n",
    "  755  298  916\n",
    "  475  706  807\n",
    "  829  425  118\n",
    "   43  527  479\n",
    "  159  473  874\n",
    "  151  326  992\n",
    "  970  660  509\n",
    "  837  930   35\n",
    "  164  345  506\n",
    "  209  879  487\n",
    "   97  157  503\n",
    "  289  755  793\n",
    "  624  897  293\n",
    "  382  134  451\n",
    "  257  917  339\n",
    "  110  168   85\n",
    "  470  583  139\n",
    "  486  613  120\n",
    "  584  747  795\n",
    "  959  699  339\n",
    "  866  384  672\n",
    "  157  639  464\n",
    "  939  485  409\n",
    "  947  441  131\n",
    "  179  953  581\n",
    "  735  587  605\n",
    "  834  582   36\n",
    "  304  422  707\n",
    "  195  348  347\n",
    "  163  521  486\n",
    "  948  471  675\n",
    "  915  453  406\n",
    "   40  345  635\n",
    "   81  124  115\n",
    "  127  105  127\n",
    "   50   32   10\n",
    "  221  399  397\n",
    "  487  676  412\n",
    "  574  607  450\n",
    "  268  625  323\n",
    "  843  858  145\n",
    "  706  286  218\n",
    "  822  168  254\n",
    "  950  708  944\n",
    "  572  640  775\n",
    "  958  563  909\n",
    "  996  154  918\n",
    "  378  626  564\n",
    "  335  823  339\n",
    "  499  810  270\n",
    "  294   22   98\n",
    "  987  959  591\n",
    "  101  899  442\n",
    "  931  409  576\n",
    "  542  102  655\n",
    "  404  980  398\n",
    "  759  990  381\n",
    "  692  990  750\n",
    "  752   93  149\n",
    "  278  973  883\n",
    "  621  459  232\n",
    "  398  261  626\n",
    "  221  212  744\n",
    "  790  241  352\n",
    "  802  218  317\n",
    "  443  294  244\n",
    "  393  131  941\n",
    "  466  378  885\n",
    "  516  419  240\n",
    "  799  748  407\n",
    "  468  502  386\n",
    "  829  329  766\n",
    "  432  376  408\n",
    "  681   88  198\n",
    "  553  351  489\n",
    "  234  717   59\n",
    "  332  525  675\n",
    "  437  691  723\n",
    "  441  834  433\n",
    "  616  144  274\n",
    "  966  911  650\n",
    "  254  274  782\n",
    "  346  714  856\n",
    "  330  696  171\n",
    "  394  407  298\n",
    "  897  553  867\n",
    "  755  503  956\n",
    "  253  840  382\n",
    "  923  195  262\n",
    "  918  735  483\n",
    "   55  703  227\n",
    "  768  759  225\n",
    "  825  238   14\n",
    "    7  479  978\n",
    "  211  603  957\n",
    "  216  866   94\n",
    "  112  698   60\n",
    "  847  631  307\n",
    "  940  164  253\n",
    "  406  133   14\n",
    "  380  816  425\n",
    "  147  873  429\n",
    "  698  987   98\n",
    "  534  823  691\n",
    "  197  690  754\n",
    "  979   39  468\n",
    "  928   73  531\n",
    "  119   66  920\n",
    "  982  810  569\n",
    "  476  534  397\n",
    "  931  366  182\n",
    "  783  104  732\n",
    "  131   32  619\n",
    "  784  136  530\n",
    "   16  933  484\n",
    "  995  987  739\n",
    "  985   88  977\n",
    "   43  919  914\n",
    "  540  399  915\n",
    "  566  859  257\n",
    "  639  419   73\n",
    "  727  118  865\n",
    "  477  370  834\n",
    "  293  434  155\n",
    "  422  557  603\n",
    "  203  243  754\n",
    "  373   15  748\n",
    "  466  574  807\n",
    "  282  576   70\n",
    "  275  365  608\n",
    "  987  644  648\n",
    "  711  629  717\n",
    "  420  410  696\n",
    "  252  417  874\n",
    "  642   26  202\n",
    "  223   23  531\n",
    "  545  580  675\n",
    "  565  600  521\n",
    "  130  745  142\n",
    "  264  377  397\n",
    "  300  618  253\n",
    "  683  331  279\n",
    "  440  826  275\n",
    "  835  785  266\n",
    "  592  264  590\n",
    "  257  255  173\n",
    "  532   23  620\n",
    "  571  749  434\n",
    "  988  552  492\n",
    "  566  766  234\n",
    "  617  818  776\n",
    "   45  113  882\n",
    "  579  793  114\n",
    "  971  243  608\n",
    "  979  241  241\n",
    "  130   83  634\n",
    "   91  361    5\n",
    "  311  107  501\n",
    "  377  388  496\n",
    "  727  849  317\n",
    "  323  702  256\n",
    "  804  254  189\n",
    "   70   11  246\n",
    "  752  425  785\n",
    "  799  413  882\n",
    "  917  133  695\n",
    "  959   49  902\n",
    "  420  121  412\n",
    "  177  170  158\n",
    "  828  734  135\n",
    "  880  875   75\n",
    "  824  556  960\n",
    "  857  689  960\n",
    "   74  951    2\n",
    "  246  687  756\n",
    "  311   93  487\n",
    "  209  626  886\n",
    "   17  545  566\n",
    "  963  252  283\n",
    "  947  493  805\n",
    "  185  493  462\n",
    "  728  365  885\n",
    "  808  214  528\n",
    "  582  780  100\n",
    "   30  254  654\n",
    "  596  706  553\n",
    "  713  968  803\n",
    "  123  270  839\n",
    "  792  778  475\n",
    "  442   95  682\n",
    "  931  212  678\n",
    "  781  140  439\n",
    "  651  645  978\n",
    "  137  829  286\n",
    "  593  503  895\n",
    "  642  215  144\n",
    "  687  122  934\n",
    "   84  240  919\n",
    "  656  515  774\n",
    "   51  799  273\n",
    "  636  324  924\n",
    "  213  161  309\n",
    "  509  157  458\n",
    "  582    1  727\n",
    "  716  269  819\n",
    "  978  343  303\n",
    "  828  264  708\n",
    "  108  620  190\n",
    "   12   12  634\n",
    "  103  615  579\n",
    "  364  286  660\n",
    "  809  714  656\n",
    "  729  504   10\n",
    "  994  366  341\n",
    "  433  796   77\n",
    "  663  462  353\n",
    "  776  687  758\n",
    "  751  495  651\n",
    "   33  751  753\n",
    "  349  919  228\n",
    "  204  799  584\n",
    "  335  156  563\n",
    "  725  191  535\n",
    "  731  676  524\n",
    "  455  571   10\n",
    "  899  379  689\n",
    "  773  641  812\n",
    "  324  761  421\n",
    "  354  557  897\n",
    "  571  740  161\n",
    "  407  271  856\n",
    "  886  393  428\n",
    "  286  870  218\n",
    "  950  819  347\n",
    "  331  847  858\n",
    "  498  471  689\n",
    "  357  378  775\n",
    "  890  503  514\n",
    "  201  863  428\n",
    "  721  737  796\n",
    "  636  178  974\n",
    "   14  387  936\n",
    "  622  424  144\n",
    "   82  201  727\n",
    "  127  164  779\n",
    "  173  319  326\n",
    "  195  748  641\n",
    "  469  512  510\n",
    "  626  949  405\n",
    "  552  542  251\n",
    "  192  204  382\n",
    "  655  558  631\n",
    "  970  519    3\n",
    "  918  701  399\n",
    "   56  543  403\n",
    "  524  848  641\n",
    "  620  431  539\n",
    "  604  473  824\n",
    "  369  105  464\n",
    "  575  957  429\n",
    "  859  978  199\n",
    "  712  381  199\n",
    "  941  305  738\n",
    "  892  663  937\n",
    "  653  963  365\n",
    "   70  331  508\n",
    "  620  923  682\n",
    "  739  122  350\n",
    "  288  418  768\n",
    "  733  326  520\n",
    "  694  472  793\n",
    "  725  415  739\n",
    "  895  398  201\n",
    "  500  157  168\n",
    "  727  814  354\n",
    "  807  726  340\n",
    "  431  329  212\n",
    "  635  374  403\n",
    "  677   78  347\n",
    "  386  559  505\n",
    "  385  361  161\n",
    "  262  494  621\n",
    "  481  237  767\n",
    "  318  966  640\n",
    "  723  732  546\n",
    "  911  652  823\n",
    "  958  502  677\n",
    "  718  258  834\n",
    "   98  666  506\n",
    "  929   41  933\n",
    "  869  637  605\n",
    "  585  156  335\n",
    "  490  316  149\n",
    "  436  339  323\n",
    "  596  948  224\n",
    "  275  433  241\n",
    "  545  890  155\n",
    "  601  413  676\n",
    "  893  401  673\n",
    "  694  171  403\n",
    "  211  110  482\n",
    "  267   61  541\n",
    "  206  124  256\n",
    "  189  353  308\n",
    "  351  880   70\n",
    "  237  677  380\n",
    "  759  754  388\n",
    "  465   99  862\n",
    "  852  787  925\n",
    "  758  890  804\n",
    "  252  817  784\n",
    "  773  129  860\n",
    "  954  102  872\n",
    "  743  396  730\n",
    "  500  304  173\n",
    "  492  399  527\n",
    "  413  465  813\n",
    "  670  837  933\n",
    "  897  424  430\n",
    "  782  404   14\n",
    "  151   24  418\n",
    "  897  260  306\n",
    "  811  287  386\n",
    "  440   93  449\n",
    "  229  185  582\n",
    "  136   63  678\n",
    "  211  250  940\n",
    "  184  400  209\n",
    "  122  383  238\n",
    "  143  386  111\n",
    "  320  194  415\n",
    "  925  790  501\n",
    "  924  596  614\n",
    "  606  733  277\n",
    "  886  116  194\n",
    "  278  627  189\n",
    "  225  536  981\n",
    "  487  538  584\n",
    "  539    2  793\n",
    "  219  456   57\n",
    "  341  424  941\n",
    "  199  482  921\n",
    "  231  241  588\n",
    "  711  740  334\n",
    "  596  554  323\n",
    "  917  164  629\n",
    "   19  138  756\n",
    "  939   70  225\n",
    "  536  432  401\n",
    "  137  614   14\n",
    "  593  818  402\n",
    "  871  280  515\n",
    "  268  259  326\n",
    "  900   97  376\n",
    "   68  699  461\n",
    "  546  810  400\n",
    "  540  697  676\n",
    "  591  125  751\n",
    "  159  719  919\n",
    "  605  763  898\n",
    "  171  845  459\n",
    "  115  289  376\n",
    "  265  636  317\n",
    "  646  225   84\n",
    "  663  755   89\n",
    "  192  828   12\n",
    "  316  523  822\n",
    "  310  933  784\n",
    "   44  721  873\n",
    "  893  873  461\n",
    "  898   15  548\n",
    "   96  861  726\n",
    "    9  837  398\n",
    "  238  404   29\n",
    "  227  845  428\n",
    "  770  764  472\n",
    "  960  747  784\n",
    "  990  281  811\n",
    "   59  597  111\n",
    "  930  799  729\n",
    "  930  882  758\n",
    "  459  961  116\n",
    "  484   83  914\n",
    "   83  969  994\n",
    "  828  423  132\n",
    "  346  541  246\n",
    "  783  484  303\n",
    "  983    7  921\n",
    "  216  208  905\n",
    "  802  216   54\n",
    "    6  121  306\n",
    "  609   36  749\n",
    "  608   84  626\n",
    "   97  705   89\n",
    "  200  688  878\n",
    "  242  314  802\n",
    "  294   66  338\n",
    "  768  417  272\n",
    "  785  351  266\n",
    "   58  505  668\n",
    "  791  291  679\n",
    "  783  694   43\n",
    "  794  468  355\n",
    "  777  796  171\n",
    "  378  784  426\n",
    "  224  510  840\n",
    "  557  606  708\n",
    "  513  127  189\n",
    "  231  976  517\n",
    "  772   37  433\n",
    "  684  973  324\n",
    "   70  661   83\n",
    "  914  136  702\n",
    "  917  630  710\n",
    "  826  894   84\n",
    "  373  416  248\n",
    "  551  924  226\n",
    "  357  646  374\n",
    "  890  491  246\n",
    "  938  293  519\n",
    "   66   42  704\n",
    "  537   60  374\n",
    "  508   56  405\n",
    "  437  751  653\n",
    "  681  718  160\n",
    "  683  293  800\n",
    "  569  288  878\n",
    "  692  206  611\n",
    "  173  157  399\n",
    "  201  492  645\n",
    "   98  132  329\n",
    "  234  612  711\n",
    "  296   54  975\n",
    "  651  219  923\n",
    "  527  177  138\n",
    "  585  598  302\n",
    "  552  653  474\n",
    "   54  288  358\n",
    "  828  631  279\n",
    "  854  642  746\n",
    "   80   52  645\n",
    "  386  346  181\n",
    "  488    7  569\n",
    "  168  351  533\n",
    "  906  186  681\n",
    "  833  404  191\n",
    "  863  297  526\n",
    "  451  555  808\n",
    "  336  544  155\n",
    "  253  211  838\n",
    "  759  819  238\n",
    "  921  343  761\n",
    "  264  632  690\n",
    "  165  424  159\n",
    "  121  481  361\n",
    "  181  409  439\n",
    "   94  972  995\n",
    "  696  904  722\n",
    "  613  238  422\n",
    "  190  281  334\n",
    "  385  127  129\n",
    "  300  364  234\n",
    "  479  768  937\n",
    "  883  654   35\n",
    "  979  679  959\n",
    "  244   51  788\n",
    "  275  613  804\n",
    "  143  575  210\n",
    "  160  168  608\n",
    "  330  471  651\n",
    "  407  594  410\n",
    "  723  576  943\n",
    "  268  912  361\n",
    "  692  442  760\n",
    "  443  288   20\n",
    "  382  610  556\n",
    "   62  694  568\n",
    "  322  257  214\n",
    "  253  458  861\n",
    "  260  213  829\n",
    "   37  137  420\n",
    "  668  220  104\n",
    "  673  150  435\n",
    "  551  466  897\n",
    "  390  729  999\n",
    "  423  963  763\n",
    "  837   36  295\n",
    "  854  726  495\n",
    "   16  728  389\n",
    "  735  246  510\n",
    "  218  136  617\n",
    "  604  197  140\n",
    "  113  355  499\n",
    "  631  902  488\n",
    "  689  898  212\n",
    "  780  826  901\n",
    "  556  205  657\n",
    "  855  661  288\n",
    "  141   34  480\n",
    "   27   23  194\n",
    "  115   53  393\n",
    "  333  287  700\n",
    "   68  300  671\n",
    "  394  589   28\n",
    "  572  248  771\n",
    "  454  118  797\n",
    "  526  141  300\n",
    "  785  377  504\n",
    "  886  723  105\n",
    "  541  712  470\n",
    "  156  128  932\n",
    "  479   85  989\n",
    "  381  207  162\n",
    "  813  839  544\n",
    "  143  783  541\n",
    "  916  361   24\n",
    "  878  133  886\n",
    "  986  750  335\n",
    "  122  643  864\n",
    "  395  460  591\n",
    "  387  896  627\n",
    "  117  455  109\n",
    "    2   14  569\n",
    "  873  364  215\n",
    "  875  350  554\n",
    "   70  878  940\n",
    "  234  846   82\n",
    "  256  279  901\n",
    "  693  990  473\n",
    "  951  866  824\n",
    "  923  408  891\n",
    "   36    5  531\n",
    "  954  654  266\n",
    "  921  652  434\n",
    "  561  701  427\n",
    "  232  764  365\n",
    "  330  331   73\n",
    "   46  813    6\n",
    "  380  698  297\n",
    "  396  221  289\n",
    "  135  867  633\n",
    "  814  649  286\n",
    "  797  918  827\n",
    "  705   58  338\n",
    "    6  305  310\n",
    "  701  352   28\n",
    "  903   97  825\n",
    "  693  126  794\n",
    "  438  144  592\n",
    "  367  932  400\n",
    "  320  820  264\n",
    "  687  210  652\n",
    "  682   84  566\n",
    "  671  604  816\n",
    "  529  646  267\n",
    "  795  654  114\n",
    "  955  426  118\n",
    "  249  759  102\n",
    "  343  581  267\n",
    "  341  619  107\n",
    "  479   57  341\n",
    "  683   32  870\n",
    "  630  609  210\n",
    "  361  643  803\n",
    "  506  856  406\n",
    "  580  562  359\n",
    "  312  433  154\n",
    "  750  379  920\n",
    "  448  520  312\n",
    "  733  259  899\n",
    "   33  786  319\n",
    "  579  669   90\n",
    "  595  769  242\n",
    "  160  985  236\n",
    "  654  903  946\n",
    "  635   99  802\n",
    "   75  158  437\n",
    "  467  382  289\n",
    "  406  542  548\n",
    "  684  417  794\n",
    "  729  105  122\n",
    "   44  485  689\n",
    "  737   15  713\n",
    "  970  391   17\n",
    "  373  384  729\n",
    "  336    1  118\n",
    "  814  807  759\n",
    "  965  808  828\n",
    "  179  181  834\n",
    "  242   94  838\n",
    "  188  183   82\n",
    "  691  402  618\n",
    "  984   43  561\n",
    "  330  447  872\n",
    "  553  581   30\n",
    "  884  393  836\n",
    "  431  298  837\n",
    "  278  389  690\n",
    "  976  587  803\n",
    "  722  220  538\n",
    "  548  208  107\n",
    "  629  414  729\n",
    "  543  584  672\n",
    "  512  431  954\n",
    "  475  367  959\n",
    "  226  306    9\n",
    "  824  774  668\n",
    "  188   22  870\n",
    "  722  764  300\n",
    "  647  803  256\n",
    "  410  972   21\n",
    "  436  536  278\n",
    "  995  577  453\n",
    "  670  439  224\n",
    "  434  488  572\n",
    "   82  317  498\n",
    "  559  823  662\n",
    "  499  614  196\n",
    "  944   14  432\n",
    "  618  866  652\n",
    "  467  872  289\n",
    "  471  722  189\n",
    "  923  756   17\n",
    "  790  409  195\n",
    "  511  500  545\n",
    "  667  283  758\n",
    "  271  373  283\n",
    "  573  686  490\n",
    "  659  706  560\n",
    "  770  247  633\n",
    "  424  169  895\n",
    "   47  349  411\n",
    "  380  235  805\n",
    "  384  546  148\n",
    "  747  870  831\n",
    "  754  421  910\n",
    "  937   15  433\n",
    "  188  760  806\n",
    "  872  748  418\n",
    "  718  556  510\n",
    "  165  590  486\n",
    "  798   40  177\n",
    "  349  923  530\n",
    "  795  690  746\n",
    "  550  671  360\n",
    "  824  442  775\n",
    "  331  686  152\n",
    "  570  270  926\n",
    "  860   64  383\n",
    "  408  464  170\n",
    "  758  440  349\n",
    "  773  434  699\n",
    "  780  563  352\n",
    "   18  644  621\n",
    "  432  663  188\n",
    "  420  887  956\n",
    "  237  586  788\n",
    "  319  526  586\n",
    "  544  647  115\n",
    "  628  235  511\n",
    "  666  408   33\n",
    "  670  459  697\n",
    "   48  189  692\n",
    "  837  708  428\n",
    "  462  652  632\n",
    "  426  106  457\n",
    "  730  744  195\n",
    "  700  816  769\n",
    "  383  480  923\n",
    "  601  612  910\n",
    "  559  953  779\n",
    "  533  937  240\n",
    "  464  123  344\n",
    "  579   82   76\n",
    "  179  188  373\n",
    "    1  641   56\n",
    "  688  698   50\n",
    "  688  160    4\n",
    "  790  364  767\n",
    "  202   70  137\n",
    "  914  420  674\n",
    "  961  657  851\n",
    "  578  708  875\n",
    "  503   94  776\n",
    "  221  143  356\n",
    "   34  126  403\n",
    "  234   31   78\n",
    "  721  949  330\n",
    "  675  191  460\n",
    "   80  957  651\n",
    "  690  580  824\n",
    "  461   73  802\n",
    "  725  606   51\n",
    "  183  857  521\n",
    "  708  800  482\n",
    "  644  111   37\n",
    "  769  778  869\n",
    "  883  693  909\n",
    "  549  714   43\n",
    "  273  246  599\n",
    "  637  309  675\n",
    "  451  195  552\n",
    "  681  408  126\n",
    "  422  465   52\n",
    "  743  235  144\n",
    "  248  586  312\n",
    "   42  398  313\n",
    "  222  335   21\n",
    "  528  312  738\n",
    "  856  312  132\n",
    "  915   79  610\n",
    "  550  605  186\n",
    "  566  815  698\n",
    "  127  250  717\n",
    "  532  129  775\n",
    "  604  132  549\n",
    "  134   44  247\n",
    "  521  815  470\n",
    "  370  853  515\n",
    "  795  187  851\n",
    "  963  295   50\n",
    "  757  228  169\n",
    "  706  303  120\n",
    "  416  133  309\n",
    "  956   63   11\n",
    "  751  162  301\n",
    "  387  632   29\n",
    "  257  383  994\n",
    "  215  247  994\n",
    "  529  606  963\n",
    "  770  305  756\n",
    "  721  791  971\n",
    "  558  531  675\n",
    "  253  477  918\n",
    "  470   52  615\n",
    "  256  335   24\n",
    "  301  523  651\n",
    "  316  702  637\n",
    "  321  721   32\n",
    "  591  730  179\n",
    "  341  364  146\n",
    "  673  120  501\n",
    "   31  183  207\n",
    "  641  116  463\n",
    "  221   54  775\n",
    "  262  458  669\n",
    "  139  486  904\n",
    "  736  260  139\n",
    "  406  359  663\n",
    "  434  563  753\n",
    "  981    6  215\n",
    "  423  320  358\n",
    "  719  319  415\n",
    "  315  375  320\n",
    "    7  637  423\n",
    "  314  365  175\n",
    "  199  687  754\n",
    "  174  546    1\n",
    "   29  526  754\n",
    "  153  402  251\n",
    "  787  565  919\n",
    "  820  239  876\n",
    "  994  614   47\n",
    "  958  816  288\n",
    "  244  750  275\n",
    "  248  890  694\n",
    "  628  194  414\n",
    "  774  958  466\n",
    "  181   34  442\n",
    "  569  371  939\n",
    "  500  347  740\n",
    "  745  123  467\n",
    "  614  662  119\n",
    "  201  690  352\n",
    "  596  974  215\n",
    "  508  921  240\n",
    "  405  947  317\n",
    "  402  372  733\n",
    "  298   41  357\n",
    "  135  339  759\n",
    "  544  683  690\n",
    "  584    1  893\n",
    "  215  680  501\n",
    "  191  453  649\n",
    "  952   84  727\n",
    "  815  494  293\n",
    "  163  168   46\n",
    "  136  119  441\n",
    "  185  112  474\n",
    "  877  830  354\n",
    "  497  242  226\n",
    "  484  714  178\n",
    "  854  570  402\n",
    "  873  120  432\n",
    "   30  613   50\n",
    "  365  529  624\n",
    "  969  332  586\n",
    "  636  617  153\n",
    "  588  669  314\n",
    "   12   52  628\n",
    "  584  704  642\n",
    "   95  199   69\n",
    "  979  486  705\n",
    "  953  391  698\n",
    "  698  471  333\n",
    "  302  466   64\n",
    "  678   19  376\n",
    "  353  860  905\n",
    "  236  113  797\n",
    "  400  879  962\n",
    "  341  805  493\n",
    "  661  506  196\n",
    "  736  357  644\n",
    "  943  352  365\n",
    "  484  756  282\n",
    "  491  943  262\n",
    "  765  494  729\n",
    "  321  208  986\n",
    "  621  346  290\n",
    "  258  706  386\n",
    "  179  452  276\n",
    "  433  583  153\n",
    "  708    2  212\n",
    "  193  151  320\n",
    "  647  149  299\n",
    "  335  951  831\n",
    "  661  787  792\n",
    "  818  742  477\n",
    "  799  964  157\n",
    "  726  780  172\n",
    "  740  225   24\n",
    "  428   39  263\n",
    "  388  901  506\n",
    "   97  940  413\n",
    "   41  454  826\n",
    "  324  453  443\n",
    "  346   76  938\n",
    "  463  595  751\n",
    "  854  948  454\n",
    "  451  902  507\n",
    "  722  961  130\n",
    "  695  529  425\n",
    "   59  591  467\n",
    "  559  623  222\n",
    "  991  194  196\n",
    "  749  793  245\n",
    "  474  327  247\n",
    "  346    2  277\n",
    "  643  328  135\n",
    "  785  264  751\n",
    "   35  537  887\n",
    "  811  584  685\n",
    "  475  903  748\n",
    "  471  115  698\n",
    "    7  945  449\n",
    "  464  880  227\n",
    "  287  868  878\n",
    "  564   11  850\n",
    "  221  623  475\n",
    "  314  325  553\n",
    "  209  865  621\n",
    "   39  655  236\n",
    "   95  296  235\n",
    "  124  920   21\n",
    "  439  473  902\n",
    "  334  375  792\n",
    "  315  116  768\n",
    "  267  736   95\n",
    "  703  606  595\n",
    "  505  886  514\n",
    "  114  168   52\n",
    "  301  584  495\n",
    "  200  709  527\n",
    "  164  422  554\n",
    "  246  546  460\n",
    "  377  141  223\n",
    "  286  323  354\n",
    "  810  240   90\n",
    "  920  450  425\n",
    "  277    8  570\n",
    "   28  649   50\n",
    "  295  650  534\n",
    "  690  187  665\n",
    "  674  184  483\n",
    "   68  139  376\n",
    "  570  430  500\n",
    "  590  422  543\n",
    "  304   68   43\n",
    "  422  666  163\n",
    "  501  375  696\n",
    "   81  621  813\n",
    "   19  981  945\n",
    "  410   83  941\n",
    "  427  945   25\n",
    "  283  408  825\n",
    "  281  648  635\n",
    "  294  678  615\n",
    "  113  936  500\n",
    "  554  772  314\n",
    "  502  642  624\n",
    "  262  318  699\n",
    "   88  526  817\n",
    "  242  468  161\n",
    "  820  179  253\n",
    "  580   62  531\n",
    "  343  183  422\n",
    "  430  161  485\n",
    "   26  127  435\n",
    "  442   32  517\n",
    "  491  243  544\n",
    "  552  680  310\n",
    "  131  489  457\n",
    "  697  162  526\n",
    "  897  838  305\n",
    "  695  748  335\n",
    "  753  936   24\n",
    "   46  681  637\n",
    "  745  808  617\n",
    "  318  251  171\n",
    "   49   39  855\n",
    "  359  284  725\n",
    "  221  837  145\n",
    "  581  821  444\n",
    "  573  267  318\n",
    "  706  969  583\n",
    "  722  912  586\n",
    "  680   86  869\n",
    "  833  546   97\n",
    "  865  507  481\n",
    "  938  104  386\n",
    "  941  217  265\n",
    "  360   53  607\n",
    "  634  197  476\n",
    "  787  659  444\n",
    "  368  163  783\n",
    "  493  738  345\n",
    "  182  539   52\n",
    "  764  827  612\n",
    "  699  493  663\n",
    "  914  384   17\n",
    "  495  546  260\n",
    "  739  461  275\n",
    "  386   91  394\n",
    "  804  506  198\n",
    "  780  421  269\n",
    "  109  669  193\n",
    "  457  298  349\n",
    "  560  800  331\n",
    "  282  153  637\n",
    "  160  254  807\n",
    "  434  204  476\n",
    "  717  759  737\n",
    "  629  785   65\n",
    "  347  614  790\n",
    "  270  663  647\n",
    "  188  271  528\n",
    "  277  929  591\n",
    "  853  744  589\n",
    "  704  881  761\n",
    "  573  714  627\n",
    "  541  689  287\n",
    "  540  301  187\n",
    "  670  397  368\n",
    "  867    8  698\n",
    "  869  146  802\n",
    "   10  137  104\n",
    "  164  575  450\n",
    "  507  233  466\n",
    "  548  425   46\n",
    "  435  824   78\n",
    "  334  951   34\n",
    "  646  551   99\n",
    "   60  829  569\n",
    "  501  866  382\n",
    "  440  327  222\n",
    "  744  132  333\n",
    "  800  983  126\n",
    "  887  866  451\n",
    "   28  599   39\n",
    "  833  129  307\n",
    "  804  519  319\n",
    "  510  746  821\n",
    "  639  209  561\n",
    "  197  649  333\n",
    "  638  644  361\n",
    "  754  474  366\n",
    "  193  219  106\n",
    "  843  536  331\n",
    "  483  634  611\n",
    "  367  195  592\n",
    "  753   71  115\n",
    "  934   42   83\n",
    "  337   75   85\n",
    "  475  304  169\n",
    "  672  143  211\n",
    "  360  406   74\n",
    "  370  119  111\n",
    "  351  955  696\n",
    "  543  849  785\n",
    "  375  576  836\n",
    "  288  316  239\n",
    "  512  273  786\n",
    "  721  407   82\n",
    "  998  634  292\n",
    "  449  399  284\n",
    "  540  316  693\n",
    "  430   68  984\n",
    "  146  376  482\n",
    "  785  134  643\n",
    "  157  509  441\n",
    "  808  615  552\n",
    "  920  564  452\n",
    "  407  341  441\n",
    "  990  778  211\n",
    "  822  325  925\n",
    "  368  206  876\n",
    "  491  153  126\n",
    "   11  373  546\n",
    "  854  752  143\n",
    "  843  773  660\n",
    "  777  472  964\n",
    "  359  708  889\n",
    "  575  941  882\n",
    "  945   22  152\n",
    "  968  237  115\n",
    "   30  238  110\n",
    "  101  504  412\n",
    "  119  646  719\n",
    "   28  190  336\n",
    "  890  301  712\n",
    "   11  657  782\n",
    "  885  465  361\n",
    "  424  669  645\n",
    "  528  654  194\n",
    "  894  252  667\n",
    "  516  299  998\n",
    "  370  837  976\n",
    "  305  651  194\n",
    "  701  447  175\n",
    "  470  234  929\n",
    "  752  606  965\n",
    "  568  370  322\n",
    "  226  592  281\n",
    "  553  801  330\n",
    "  576  228  623\n",
    "  639  477  637\n",
    "  252  664  998\n",
    "  781  215  994\n",
    "  446  698   25\n",
    "  562  500  980\n",
    "  702  444  299\n",
    "  971  550  387\n",
    "  754  562  439\n",
    "  347  896  716\n",
    "  242  861  596\n",
    "  588  829  323\n",
    "  464  211  949\n",
    "  481  192   47\n",
    "  598   98  963\n",
    "  932  960   32\n",
    "  933  482  893\n",
    "   15  989  888\n",
    "  866  735  629\n",
    "  636  513  470\n",
    "  280  528  944\n",
    "  531   66  867\n",
    "  284  735  865\n",
    "  778  743    3\n",
    "  458  131  262\n",
    "  772  273  255\n",
    "  942  278   50\n",
    "  269  151  917\n",
    "  502    4  883\n",
    "  538  155   68\n",
    "  929  850   21\n",
    "  126  759  729\n",
    "  869  689  711\n",
    "  180  359  855\n",
    "  299   68  975\n",
    "  210  371  205\n",
    "  477  183  827\n",
    "  922   50  841\n",
    "  665  154  312\n",
    "  379  848  486\n",
    "  450  835  743\n",
    "   69  161  515\n",
    "  680  535   83\n",
    "  692  779  352\n",
    "  818  554  389\n",
    "  781   89  538\n",
    "  746  218  209\n",
    "  292  201  652\n",
    "  417  375  393\n",
    "  916  962  644\n",
    "  518  923  561\n",
    "  915  469  386\n",
    "  142  460  454\n",
    "  947  392   89\n",
    "  144  840  866\n",
    "  205  465  967\n",
    "  209  657  650\n",
    "  891  322  207\n",
    "  800  522  907\n",
    "  516  498  994\n",
    "  185  806  804\n",
    "  179  393  137\n",
    "  316  765  892\n",
    "  850  756  123\n",
    "  494  783  627\n",
    "  832   53  659\n",
    "   93  949  602\n",
    "  666  954  516\n",
    "  592   11  210\n",
    "  223    4  389\n",
    "  221  280  388\n",
    "  100  279   50\n",
    "  380  589  345\n",
    "  385  238  382\n",
    "  205  506  359\n",
    "   98  280  652\n",
    "  396  371  290\n",
    "  314  477  454\n",
    "  368  692  564\n",
    "   48  263  586\n",
    "  356  902  922\"\"\""
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "input_str = \"\"\"101 301 501\n",
    "102 302 502\n",
    "103 303 503\n",
    "201 401 601\n",
    "202 402 602\n",
    "203 403 603\"\"\""
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "3\n"
     ]
    }
   ],
   "source": [
    "# Mundane solution to puzzle 1\n",
    "possible_triangles = 0\n",
    "for line in input_str.splitlines():\n",
    "    a,b,c = line.split()\n",
    "    if check_triangle(a,b,c):\n",
    "        possible_triangles += 1\n",
    "print possible_triangles"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "6\n"
     ]
    }
   ],
   "source": [
    "# Super inefficient solution to puzzle 2.\n",
    "\n",
    "possible_triangles = 0\n",
    "triangles = [line.split() for line in input_str.splitlines()]\n",
    "triangles = [i[0] for i in triangles], [i[1] for i in triangles], [i[2] for i in triangles]\n",
    "triangle = []\n",
    "for i, point in enumerate(triangles[0] + triangles[1] + triangles[2]):\n",
    "    triangle.append(point)\n",
    "    if i % 3 == 2:\n",
    "        if check_triangle(*triangle):\n",
    "            possible_triangles += 1\n",
    "        triangle = []\n",
    "print possible_triangles"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 2.7",
   "language": "python",
   "name": "python2.7"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 2
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython2",
   "version": "2.7.6"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 0
}