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
|+$$| ]]HOL-Probability:threads=6elapsed=62.583cpu=300.060gc=14.100factor=4.797zXZ ִF ! ] ŗXf1-q恈͐7ӺV8'r@ʷZxTi>oiTi=78
od &V{@_n$&p:X)fL7`i##D|)+_QZiz'W9iOWlj^<frHd[P7\f7U1Dɓ`lZOM!qۯpq z#Xr,ܽz ( zD˒y,(
!w rn)kX֊6!3?c{W_k!_U3F+;5ʩ/
++T8jWCJ{?A8UóRfpoqxɹᐝwwmQ*^krinL|:j {X
5-K5ۋ/j]l>BnQWv'9]/ :]n51{<gtCnOH*-^o8Bۓ:AIʾ
2_fcFO7Ke"jT7#J3
)
,q4ީL61bov?%!WjRadC2'-oRYXx
z>z!&c݃66jYjO2i$keRLDXQص(~MZRUW2kɯص F~adHNԢ`x5
i"5U説˷XT1Ev~eH)XS}e#,&YSSVO'iXi~{
|λxRu3<4!U*Z`yWmؓ% y+$b.-6W͠&GkTUDLRlɬ$NLpdtRƟD({G^A rkpC1qvheat#P6TlX7Aa2M8gTAS?1>8HO6
C&iSt-CQn@&?}LɋB>lq9v
Ƕ~
Wt2y&%j͇ottѯF13\]cԒItoV1iiti&܁.q~i|%7s{̂OGi:\,*GW5^́@."|K-3iѸjבr0i2"GBtVOtW"KCbakVHC]B$ m{wIQKAX?ոtzPS].%&yu7v"VDFi^Kbv;L#u["0eYh'A#9/Qh{4k(XWvAתD²kFn<1v7AZ&Y)8Oku/_;1gÔٱgRb:N>}-ﯷhe jI
ϥGiv=!úgR?"p}CfW|窦䭓[3P@bojBˆw00N^U>m}