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 I- < ?m Perron_Frobenius:threads=2elapsed=10.278cpu=16.332gc=0.460factor=1.597zXZִF! b]ŗXf1-/6vR[2?h|MiCBp6ƽ7$e< 3 r`{EV =};Oʿm)a/1T%ұe]Y͚vɽ뾁CK,7w΁j +;#'|"P+u %dT:ߝ'c=ӱ1=2:K#߯@E Sֶ HM"D5tRd!kף |zya?;4xV^nNN Aq: Oag%<;&cXMa O(8k@{>$Y#SrT \_^PX?a5We$|Bݱg}@R4hx=dݱgYZ7zXZִF! :T]ŗXi%6 ŕvW ?S5="jZL6G ӜJ\`˼o[\pPz4z6^(-^(be   W@UlP|'q4ab hҿUX+3bBsd+PJ,m{o߯*L~Nj_Ri"Z4%˥2Nqܐŕ\c$xT~m+laVRsLi]d1\tfQ8lT:$=҃2gq!Bc]kbcGrCP $V&~.g)웓 x@][tW= j%Js̲q}Θ3PWe+JKzq,n&cZ$3K xEFu bV$ xke} X.||Ē!_ZЕ $y3Dl 9庣R<sK t W.@$tD'yq6 8}AkZSYsAX%?б(!ڝn%Fء,jCY~{TCKx0mO߇֤nAplŐb+-$l-M>X/MC| 8 yvGmx3, @t]EJ|9λC9 p\ c4w˲!9. 14t jφ𫎶,q-PBYl B1G*93R"XRGn#avDIL~b([ _( !ނvXD>Vp$J2V-b] F4+z(4낐1̬- RsΠʷnHJco QaFlSlȵtx\"(KSf7R_x6^imXgpF`c/C~tRWt9]kgYZ06f3f60604adc9905d63154259b7bb096f66bc3e 283ceea193d20b0ee67866cae9a1f5c28585c6cf 34464ab2f12a41fc3135639fc645add3d98ecee7 3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663 4aae1c3bbc783c25be3e7e59fd95e82d957a03e9 4b3847e34dca049394ec5712b5553b7a7fd3e2b5 8d7029a67bb9a3ceb9e238c968bcc5dd06ac6905 986766e20352b63c0d44756cf619a814aef99373 9d8595e16ec72d0833e2257c40b8a8d710414047 d8c2d77e93e37814425dce22021c1a77c806e839b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 544d5273f63ab8306b7ba89b4cf320cc64739cc9 88c76860c70d62e9b5858e317f9274aecbdc5061 8267c4822eca905e851c9e6a9473f1de0a1294ab 336cbf3e23213615ea54f5b4e025d206c872e1d7 7b25b26ffe522e8d2aa2ae0575cc66c2865bb62b 4a13e314c36c2b44284bd4f1053e3b753880fb79 - Perron_Frobenius