SQLite format 3 @ A A .
B
p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
$ $ <3Tt ]%
Stochastic_Matrices:threads=2elapsed=343.914cpu=557.748gc=34.712factor=1.627zXZ ִF ! "] ŗXf1-q恈NucvAݪ4
c?[ݍ#pdTMR^WtK~W'~MسUpbgq*툵#>|C.#;)̋lo(Ή3jv^.RL<.ݘϧ6ɋX:Z
Ȩ`&gC׳EQ{?ZIN7(t(a`Һ2w@T.g.{Z+hZ\>;
B0lb⽩
="[n(A1vOBECJUmLW)SM@cbU+0̫7N0v2>ʺ_A?'i86n1=y}πi@!`""T.D0ĕ&9!f7s
P!"o
{4$ĝ%lڰM1}o6` @DDaz`P_]f<
k5PfVj;|ԛѦju
&zRBShNZ ELOsPFTw@A*dw&3Q)#A-WK,NS0SSփHUۣBnTנxe;3/;Z.GTuQJ$Y/ҏ"VͭWjƟM{u>B1DP3]bJJdZײ4R_?Eض%ҝ_ T%bﶬ.VO ;/x? hA܁ԔZM
3 Stochastic_Matrices *. ~ytoje`[VQLGB=83. *3k% 4Stochastic_MatricesJordan_Normal_Form.Jordan_Normal_Form_Existencedocument.tex7zXZ ִF ! ] A-MՋhvG"uIBm59NЉlA%to*yG_yw Z%RJRS]?Z6\\}
UMWH}by8s6ﺵ.Cnå,MEgwX2<ƣ"P1YUt}ގrjV,^q$H<1Fr?Ӑ/B!VV37:}W@\pl+Fc?1G/I83{|&`SGʼnN=vx|:<.D)pw}w~]]"ȓy l4@'3ȚH4ҥ,(KL2LI_c~OJr@
bj&?2DKsGJyq9, {[tUAہ Vk=V.
zZR)?+~'iK!,3/eaRE6'F_X~4k
w2kK5?$/?Wte$Kf뻶WHsʂvPgX{e8(
䤞wCW=/6u=VV1ӋjLLݾ.,b&n.Xp/.UAH?ݣZ'nK=wX*Emƀ6un AsAaq=_S]V|WFZ.ՂKu!z@UczBޔZ'Fc찑@ͥS&jChE,s'5B,8}IM($F 5|fE'8p^%:_7A|+ZH^$"AH E(w
W]?R34p%V3>_d1<:S
W.~fW/Zph 7Nщ bHD4A $4ݥhmj\7RE[m0lG^JMGÄ
>rkj2]Ɩ/jL%nq!iɮarLDlژ VɦZaUi ,