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 &&W- td ]m Perron_Frobenius:threads=2elapsed=31.321cpu=57.852gc=1.948factor=1.857zXZִF! q]ŗXf1-/6vR[2?h|MiCBp6ƽ7$e< 3 r`{EV =};Oʿm)a/VJf2hBpÈpji CU17> [IjNh[ $Jn_/|Uln,jٗ|4 )Ȯy!Փ"d!@9K@ '`OsK4QjBr\aȢZ&(px{R6M`'r{sq^-/)qy-GS\D!۾g3V#ѫص4qeK}*?_mVbRm6N~׸(ff-7V\_5(yztOFA/ȼ d ȅ7s EclhfYJF7ɻt+ n/*^N]t9XޛДY*4 :4{_G\n$@;2jfU>Iiӟ-n*8,RrnNew8-t[ePu|烴8NT)+twGs6ghSW~73CRV$$Cu4[#j( #5Yweyv"R[6Bg*[Hnb%;bxIz5?lGh(\լͪoq}ngԲ@+U?/GCnWOqAo gYZ7zXZִF! ]ŗXi%6q]dD7y|XN˱7[gH|#]7tUcSՅɹd8dCmwBd @DY'bRnԄ-DZTf9d@?,薒nB'o[Ϋɂ,y@PùHԤw SLx+y^eu7X^鶻KTq΋KN[jqրoFCȐ՗CC}<-ً!POn7sA7dNjPG Dr6.Å|Dj#KdxyG0%sbWrkipEʹ$2958, 6ddRDD Pna U8םP#2>fǫېwmNl!6eDtzl=`$ʙ"ᒅJxapL'jS?Oo{yһ*H` Ӹc +Pi$}.zP j ;0 F1y j2 DjE3%lb*>(fuC]YW톕ergˆ[w'|H؞ TT?gʶNG5+DCF$KϽMEڹe5NodܑHWN3w>ZVZ !3p${#>˽ ʈ 8FlLΪZ<>ܽ[ůQ'⺉<&C,&/Cv"ݽ'`>o@> 3? o=|J{lɈNC %n # 0kSE49Ѓ;DNJy[Z3 K/Y?PU^5|md Xl*Ꝭ!g|Ѿ}5L'(UNJK1[n9 o?lJ)gl{|9.E[ ;l}2W\HzgCC 7}ejns4cv8#'D݀+XHCG_K>B+#df01Z`Dicxl9hOlҳڝ]Vmv»:]syCH3X2_)۝l)SJ&MCX*f~=97ac"Tu!ӛ[ny54!\&]c|o١P=6[v O 6l/˩=qJױ(maK3܀9O\ٽjsgX{INcZZt2_E?M.j6:LQꘃq1Zt<0g d6`ϜB|XLNjh8Du{($B_*×^ۦ펲+w`9R%lV2S*UI/R^M-˂kgl!'LC2@Zvl]dWA9aw^!ԧq Z~+A7`P1GImZnm( oPۃs\5;>v9qIQ/6vUgtgeS,.eN"QQ-M+ 7Pf"wolEtF`uy~haݰGa/bFak3I0Go K;Ujot=?<:[NIjY %d-x0`uUN v7o/Bjq!KlnNئ;I9ھ*[&ه_]WuCe#-1{DeSb/BgXntɖL(/Ͻ_ 6ҫrs'q%o#+ۻBc]βv͐f%݃g-qrMqJk8Gņ| 1TUUG{и^f6gYZ2dbca05da6e68cdaeed6c97cb7f00cc8e49e990a1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 c8d68aa4c900a2002b0247eed5bfbe292ac887fc e1f6df314b7334782f467ea5c8be9602e0d3e104 0217df40cd92826d2ea9e35b299980c511f44e0a 5eafdd0b2f1c28b67ab523a0412efe5b6e3c5ec1 ec53c2b431d819d3b96ea94e4b5fe1947417540e fa0c57b47852b17fab83b764642ca5a5422b5e0e - Perron_Frobenius