SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   b- 4| ?I Perron_Frobenius:threads=2elapsed=10.101cpu=16.612gc=0.520factor=1.647zXZִF! GLS]ŗXf1-/6vR[2?h|MiCBƥEJ`;Z?<;o (jl`_ጾW{ n PT - Perron_Frobenius%I~}meFE:TDf 43iz"9:GugzEh.XKm3XL| &XfcY#*]'J f8B "Du]TDyִw6w,TԴ-]\)C?0FX<7 i)ehPg -_њ]o&i{\ÁJuٞ@g3bAr"wP1>(Y<9C-Yv ̊h_SM9]qik`6]QJH~ɆM@ fkp%Gι҈l< L`<ؾau9o`tbe(3sVÍ6 d| 1[`<1k34!;kѥ3Z # D).xs衝[:gL]!:s\@Ȍ`~+N+r ͎;T`gYZ7zXZִF! :Y]ŗXi%B׆ Qyz=WҤAة"Y p֙YWYȆ7`OxcARW [9)M\gUncjW%[*TT(Tm2PR1-;Bʬ4S63=/mWRahhf@ #k;s8y@ǔ}jF-6-o_C%iYVPW㒊Z%)zW."-h+>1\`2T+NjYf ^™j79ۙqvjb+'5gvt h7y}ݐ4Z+o-h$V R rݙwvZJ 4c|q֘"uٕ'^R@[2)=Nbo'xu`VTEKFMT|an"MeVW!x, I[ڨ Ў:2Y~ą!Զ8oY9GAO$ƻt3W, #yVK[ #9P3#w;mMcZ&<{E?Bo|K%C9]KLbl^f2sT?ia@ݏLZ zt'g-X55ٰN &r(#Ià#g6sqxN5/ރ;|&̭GŖMStbrgYZ01b0dae6b43453d4cb5fc048050e634b609d4510 06f3f60604adc9905d63154259b7bb096f66bc3e 34464ab2f12a41fc3135639fc645add3d98ecee7 3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663 44dd1385be58743e0b72211bfc6b10bf9e611ce1 4aae1c3bbc783c25be3e7e59fd95e82d957a03e9 695ae18c2be53b68fe90bbcfa47de24574d800e9 8d7029a67bb9a3ceb9e238c968bcc5dd06ac6905 d8c2d77e93e37814425dce22021c1a77c806e839 da39beeaf4e18086bd6147822c4b1dc702c169bad7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 c13e3de1e0be8d1f8e22817e408018c478eff10c 1491f51320f29cd36500f37d0b40b7bc52a5d191 5374f72e4d493485bf3d00ad3b0c3d62397ef50b 49d36d3878300b9a18494cc47afe71a20b2175ba 5e2e611e087e9b0e955ee6b47f434aeaf7cdcb62