SQLite format 3 @ .
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
'Tl ]S
Taylor_Models:threads=2elapsed=137.256cpu=237.712gc=11.032factor=1.737zXZ ִF ! ih] ŗXf1-q恈ŕ[p){th^]ݐ$Kt
_Ys}ұ8[`gL:d_IT(c÷7?߱5G|v.=$stGU2zmqMAwſxe>ɪ-tm%@\
OCaC|'e9R'rWeBΉ+TjoAeS7U`i'}Qb=Qdf;7l|y
\S[h+d}%H8-<`|&T)L4%>nW(6 U34y:w(ƃHd*`EX8Sq
1?ndM_),{%ŞUEBk7[rnV0?U%VD䕉jǰLFr9Fu=Z~y՜u7łp Ky"jXerff
p%G[`YDoQvq<X_EDh]_69[FġwTHR8Mm'WGaת?:(Z}D&`XWf,7֗E.q .h2yw-#]ā#tR%RC!Jf(PN:=3[i2Ex'ItD%*
Sy={Ksx
WcBݒKd8FSvV㣱/pQx}
7I^JAhbs~WE=ɒO%.]+|EӷOAer]eq뽎)^ fv{ uφUk'X]YR.Ff|U>R67%=YT@צ!]Vc⏎Z&Y"͐Mr^q ]
-6S *{}5Se嘋yfA:to?K
6%Vv[^;qK{ʥfk(*L.p)\Aq<:wʪG.TG(%DmI)wG+Mw<svuz㨓Ü
ҕbsQx9s3RoR{SuPxAHq+Ac\
'ysKi4
/h/#|:ڥ,?dMGdfgd*
Ef?8./n~xcϵShs> ,wKhP3/N*
<nUo!\P0qgb{c]nR$ǿĪj^X$ {,rkA
YVP0^(Viou6M]S\ 6I?T*!kʔ 0f8p=RH!^ژ6=,8N"$.:h?~Ԏ]X&Ixl*^NBxl2߉X*lYp/Q(;Tl,C)сr,VK6=?TcHvB/8S?+qq@bFz9HTrGޙ9OD=
o\B*/upѦVZYVeNZ_Kq44I_izO=@`BIvtɾB`@?{mHTE\?|>0?lߌ3[Zz.XqC)oҙک&.*@^eH9K,@|٧/-/^3w+ם-kEZLߪLވhʳY('r<|[lPpWϱ~6
v.U%Udq㡆?_fA47:
ԨUj
4}UktFwbĽkqSBIAⱲݑ:RtipjM+S[ ȏu2wh.P ;x2dVjC'}mHAJJ-B2aiDteI^窾̞9| TñLHfQ?a?IW>.-.CGأ;Sp#2 x
' Taylor_Models
B7m}̊r"bHGDh vcQ;z Gtg YZ7zXZ ִF ! m] ŗXiɟ17L?KxlSYaF*+>KTuQZqA߬Tc.& g>q(ʽ lXW1wAjZ2fxrHs`NZ~)LheC)NaE?oM<0* QG!7a?j&0-D#Ubp=Oy~h(8y% ;m` ?c>g YZ7zXZ ִF ! ] ŗXi%>gqGy_r;$*Ɯhd*t8)b ,`=ᬉɌ3PA./j5-CQIlfA<4L}n{')K'fHZڗ_FaeVMa!fcN/ZkB4Z:J`k<;H&fa]j#rGE{loIIJլ&.7_? ;5LK0ʪg˗yW%"0.19
P
XS{G%,߯.c͘oaII~e