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 5- , ?m Perron_Frobenius:threads=2elapsed=10.229cpu=16.596gc=0.544factor=1.627zXZִF! |]ŗXf1-/6vR[2?h|MiCBƥEJ`;Z?<;o (jl`_A:%SpR5w[0OBea;x}'\k7/ņNip(:F"TO];/'&,jsQOFhV2PIgznE ,cZ$5"(w LQIǗ6(W2}NVm 7+f{*E ٳ-Y ? E #rIJ\[b4طuNl!^1),hHvg5*. o"2u_ ӦDݭ*kjPMUjruFcmW dˆ.QCgdx!=$O4,vskrᆀW=(2j61 79eXiu:Co5wIz+"dD"6We ΑV]6 ۦ7DnP:Y0%񋰅ģ R[;o7aAuqڭ{ [jrQ(~w`ψ4A\A/Z@$Q-)SC";HS)KFRYd({1Y"&R;a~āvB3 (lc!g,7 UK qf^4~*44+Caoi{m6כm~lggc7&/NBd6܃3c=@r+/ؼ'i Nn6'Y+;G*LPk}!cb\eHܐL:IH"&PP=ORKt":w!}ͳX^Fh,P`d:_+~؞]}jbف緡L۫sqN8 aUپL~AC ]E^Omݛ1%Xyshߊ߉ ֦,8j/1'4>,O>9|L$g,i!NdRPvW,Ļb*nm4fd娟€$wji=ܒ͘35 R}v3ȓ mHғ'5KaUY mīHN Z9, ;/'*t3ggYZ06f3f60604adc9905d63154259b7bb096f66bc3e 283ceea193d20b0ee67866cae9a1f5c28585c6cf 34464ab2f12a41fc3135639fc645add3d98ecee7 3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663 4aae1c3bbc783c25be3e7e59fd95e82d957a03e9 4b3847e34dca049394ec5712b5553b7a7fd3e2b5 8d7029a67bb9a3ceb9e238c968bcc5dd06ac6905 986766e20352b63c0d44756cf619a814aef99373 9d8595e16ec72d0833e2257c40b8a8d710414047 d8c2d77e93e37814425dce22021c1a77c806e839554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 93abc91c039f52f86271cad82c5783c5cc5df1d2 fa34367f2b58170d59734929198117cd5cb0a339 9a6d2d5f4440a9bdb100269815556e786b616e40 7f31b9ffafc728b1b64807acfe6024c3a928cce0 800fe09fb2dc3c71d5265ba1f9eac41a346c1616 - Perron_Frobenius