SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  C C2- l| ] Perron_Frobenius:threads=2elapsed=45.419cpu=79.992gc=2.744factor=1.767zXZִF! #9]ŗXf1-/6vR[2?h|MiCBp6ƽ7$e< 3 r`{EV =};Oʿm)a/ܝ9uY[HL`ÜFnM@x0vܱ( ?c9j-66z74bj|ys橓ʹca5PP.QJʘ/6&ڔ46YM{qt/2`yeO8Rf5 fWv\krtҜ|ӻh8gr]եs5]qJWc& d:c4:@$Wqr߶ 2'~}z_$ T*OkZ%)cSTOVأ eh:y(o";4ϏBm9++-}SL[ nn "MfB{Vx8y{RޙkwjȽwHfQ---ܩ1] zQlQ ggo]J - Perron_Frobenius}6f{{Wpҿ6m'jh%I Ƽ*cV>#{I5_ epx;iK}K ;vVf=vx~#XՀp#V.F u6锜ರ/hE)׍ +Qg-gQz%|rdGzkjNDSDrĽZfOO;s(}1ƅK35j1c44BH΢ȉbEPfћkλ*e)C&4E; Ľ3 B~%{6|vFӧ}J8q2{NnK^<5IKܒ6i,S^r61Fr PgYZ7zXZִF! /]ŗXiɟ}dʙfqSac+ @Ə~WӹͯN_Ïdzlt͞U;ɵ1'sXv@u23U|?kb.JTP01Qq7*%0j,gP7vB;9)f  <~]V(-S=Zc0/JhOT7[~dh8d'ELO_lC-5ӻLn?Xq3$0C!sd_N (->gYZ7zXZִF! O x]ŗXi%923Ll8溄,]s9 ˋ672⣿,wO\?цM4& VV~'9Gi>2OjG)76 e)%S6cR$ 䃷 lìh8NU)gc=%n\鹹c{䵅4Ŵ:ӮѓϢ0֞$?]ԂZoH |yqYB,Un)Qynu-ƷL.Juv*`1}|?"G䲋U<4\$ 1}G[`hi̋$,) I1bU>k@)D#'T X;C9!A(0;,ݛ>>9nWl|׻H- iw\?Hrm`zaD`?J)Wǭ^[M$jxզL8n&Lnz"&I]ȸ=;GmNxROe}c5[# .:}/ԘyFLjxRq]z/?{bG8Bj,kԈ`@\svrclEA;*{;$nM07ъBEk)T+mDG73w Z6u5VW5' {mKJ@faOggEyn.֨Cz'_O5IusHf19jC>BM6b;ŷcgԴi]VDkZ #ݥ*NUV Jq),'͇f[7(it)u}@P?$٫6DD\\~j[P͋%] vJ+ޤaD鬃_mLJ2mR}rob'[ڹ^J 1!ܮ|EқC}e+A֩9xO,kb1X"di:RIc%=CͮN^58n2:бg J4 N灔\Rb7z{WR&'t&/Ooڎzf=y00dutv+&w%NVL8L^Q*u-,}֍wfqY + a"^m;4vm GeRrpmp\kn hD:Bg *ARi'KO3gϵtP fV9OlB'Fx5+%qmKpw^3Iȹ>Chy0.ZO-#xo2?7:R%@'1J9,wEnb`WC,`d%y/'lQ إⲦן0NMu@u\\\NS{5i^6J[2qi\]nhR@ ~]Zݸx5.zQYr#V8wM?dQXZq7/Ѷ佤o bAڀoSE=[>f ,=dwhZh7z3ZiR :AF uG7ɁOoZwHqݠ5|?uGaytUxEp)56N'H#/|5lo8%`9Vp 6%>N HꈛLSQAvD:\ov`ƁH>'Ԣ+N@D惘WHz"1 P `a%GC|O}'Ie3h*}] ֽ;P5NEE_$V9'=糊O--(jJ7 QLl-yk8 6 HO$\-YǾh{ QfxTԯl3lL{a *:V^%LkV/m**=Lk߯FmڿRq=<* %4s& SD$p# AGDQқTjqA SA,):fȉ~!Py|'c y=.ov<i'ث.Nu]=YhjrՑ(/EY& d= !whCD|wHqvj^PVŪEsfߗX YعTK;h-} gb*8ݫӬCBV9M XUbՃ jSxQ&e:nz|StИQυ*߶ғx:ˣBmƝl5Չk܉78L@8,GU5Wöb䀆S,`P~ngYZ8bf0af0655f2bba905f75e5dbfd8b1dedd3eb2b7fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740 70f4b946e63625a4e15d03cb5d11a4e6c8108b42 44b0cfc5db7f19bdb69739da20a64401a5e77014 8491750690a8d11e9e3b02951edf53ea46b1b345 da130666eeb4c61a1fa18c0c29d6d9f0db422dbd 05552397f6c71f11300ce8aeee1603ba21330985 53a6f4b588135593d98b5310d1121f60da5a7082 31a8140433866b31cfc24cdee3c3e55c9870b9e1 2bcffbcbdd7e68e777d1eb18424a9f20f0461652 71decd6f3db4f4c89bcc8a8b701665d19009c50b 5e5d417d2fcde74ac015447e3b83c7be3548a60b ec5a4bf7fb7b3a82d6a359d967460f12b01b139a