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
,3lll ]%
Stochastic_Matrices:threads=2elapsed=334.791cpu=543.532gc=28.008factor=1.627zXZ ִF ! !] ŗXf1-q恈NucvAݪ4
c?[ݍ#pdTMR^S4ffw*^OGQE>oy)Qk3Қj :C'@:TA,f'ͼ&oacfdo~
-If#Sx:*MK]
O-E6xG~S$p#~*VPO2ҫf[연W=Mri$IձbX;z>jcC";cSeTe& {ꬡ/k)٦!qRjҜSm,\c9Ka|̋_Z}vЙ0)mg!iEB<;ss
zSdqǸ%6`H14?ޜ*m
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 ,