SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info - tT ?m Perron_Frobenius:threads=2elapsed=10.284cpu=16.812gc=0.556factor=1.637zXZִF! D1]ŗXf1-/6vR[2?h|MiCBƥEJ`;Z?<;o (jl`_  ]79rV=7jvoȠ}2ƴV969Њ_P̍%$pTXDQRY nk&@<+q[Z-u0޵jp0ɼWF6e~'N}tk'?E/2vC*<cQ<˜ /(H{.>XQU#ͤIѣCh"ua;#t~u YxΔ9,έOY_ 7G ȂScz1) ױ =~4 ]YV5<p$r7 )l~P!fF Õm ݺ'6?\˫%NJ/)'j}!\7P|^ìhoF@{o?*{q T5̭"k9jIΆ:;nQㆵE#( fԡ@ cyi !e?͓"!;!CCq*{%s㈰?ƒkzUSrf7GiE!.)^mc|UW*,sEmg2j6&|MqsL)֊{06Vw*(+:/[dP'W +0c Nff:>Z/3]_l{Y:t%b"M}(VJ,F1h`}6;c XaR+Ӭ/-*WA>38(2,kG &>Obck>,#Y78z=ٖ: |eU*lUyDI{qu8rmegKi"YW7(~ ˩zb>AP ʈsP+ƶwGqeF '۪=]${;)1G?,˨tfO_!2p!R˺Fc=D`.,9fcOF 9(7,%QZXӠ ,ÏH!ڌyk28ڄ+x0%61\lZzf_W gJw􁬁`ޱp[j\l' km;xUԤX<0NЈt-2ݦeZ^5rn;1蒐UtHwmJy}֫n&H41 .u.k' cF`~V$dd]ًx/e~_$cvhu|AOOh;F> y:fJ/qt!&*hØhyW C*RZ ,e^χbBi`-~Y|%~9tk TmK6ؤEC #,!p $_MGXet agYZ06f3f60604adc9905d63154259b7bb096f66bc3e 283ceea193d20b0ee67866cae9a1f5c28585c6cf 34464ab2f12a41fc3135639fc645add3d98ecee7 3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663 4aae1c3bbc783c25be3e7e59fd95e82d957a03e9 4b3847e34dca049394ec5712b5553b7a7fd3e2b5 8d7029a67bb9a3ceb9e238c968bcc5dd06ac6905 986766e20352b63c0d44756cf619a814aef99373 9d8595e16ec72d0833e2257c40b8a8d710414047 d8c2d77e93e37814425dce22021c1a77c806e839db7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 e239851711910a6527f92e8db31572ec8f52b3c6 db46c2d97862fb5dd860308057c1a116323a2f0d aba51160025939bc4a5f67a8b64fb7fd85a2d2a6 ebebdd312ff374dfd4bb99c7d7af12ac1a14180c d3b5d5857f6b3a32fb1f71b766ae638b884d2190 2015423af69662afc8b69e07a660d8a6c75566ce 3ad09a9fd4934e6f3ab27035fcc1c2968da0c4c1 - Perron_Frobenius