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
T T !, ]S]Containers:threads=2elapsed=138.744cpu=222.576gc=14.472factor=1.607zXZ ִF ! a
=] ŗXf1-/6vRZy蔴I@B_J?< Xk+CG߇V;- J$H^| wǿBWCxZ h]FZaӓA6{5-u540zrE>c.ORNNP?Y`HY
W3δnQHe7[B*~E[v--]ZG[I<+ճW{83 VrPjoСEB.r9yWQr?
¥G ~
~!ͶC2w%ҹ
IHS;iЌ@k#L
&fd1-^Ļ{UY(y?O&NNWAb
?(nj@PNsI k_&'08ɫ5-s9_"1p|%?VY+@&ruӌunB> IĆO/ _x)$ǍNO"\gOf%3kgCۀY
\B:(\$ FoL/Am 1fcc`P(:ABL2GI>/a3>R_Y_1mgRԌMfI3·T%[BD6tld*ut_j_lSk+1rA&ٮ5#f2:IF(V5C*m}M1fԫ&'M~:ˏF
fVfJjU#Gf~,2v]aMcJ~.f%(L\(3PJ84ުq:渐Fky{e'(+L{Ȟ?I'u*~8`g߲eUdoLpF8ovzu⅂kͥ^7Ң$pW2ӑM 1O x5H
J9+#Xz cNiU:84_aĀ jp.Ipl7[xx07F^E+OWOpX?K6rD=yjpRugKS
V%V7({3ԇߴM
Au:ĩn*c'6R{D>|l1JeRSsعBg##8QaDcDr͏(#_gކnfu2Y5{_l;]ՆKjR0nGzEPeHe0SZc\R$SOŝGvab9 dka6ԚCMw*/:F~dͰStOiCh6͞A[/m6G+?"2,-..I*8zF4L{vs4H#"xu]U%dŤ:XlBQ Dw<1$qF8Ɣ|y湶;4VSnO;S=M
dw -&c!}52\9Kټ(&[Z?N8`oAzRn$2a#4w&e8]obm;z%>"dwld'n2(*YUTio >rn7j&J_f
ћF2},^L5##W|{֪}5
t:)(wqC";<"bh% ]>="!
9a]'R3o7::3io!:Gj5֜h\v.F;~vΥwρ
(3j@PAcKkXsf- `Q1z6b](EOW`Zv) ct4e<,%M *<)Ho A5p,Yv$3_GPrOޞ_Ql8>آK- )7#RT)HB~9I-$ ˝bvRA U
3'e(6v~:YI-1H/Zի$2l8Gln[ܦ$t'E;T*ڋ
x4MrS4Q@i
I8I?!B ?UIf*ح/-3oNs2tY_\9d}r,G"KJ=OKSiMɭ[
` tL9c |ki@aCJ^0sx
:XClal]m0X)/V&@4 ,VfkF~/+,Y-C*ja9kkpf;QQkߗV/0[UG:/O=PTۓH<]lvj6tl̖,l%LO
:}})hJKu!\Tmyf}cl2ͼߔb9A@8J%5F%/5
oGz+I1*m?SY h( ^ ѷ7g YZ7zXZ ִF !
] ŗXiɟט+-ǺژO O