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
z z 4\$ ]
HyperCTL:threads=2elapsed=15.063cpu=27.284gc=1.368factor=1.817zXZ ִF !
] ŗXf1-/6vRZX]7b@^GaY\K
ڮ
oW; 7j]w9]>3ݽW;zо) "29?Y;` {pY_)n
)CnEj ks> 韎E bvR7FǙ3
=ģ ٱ^jXDsq֬ ODaΉ,p'%R"43
V#! iQRwn
QӆtEHkU20szcZt0PC1cO6L i4H}1R2&َH뒴m4J pE]
;.ɺM
@҉ ` /D:./B \fl)]Ml2 (+I X|g YZ7zXZ ִF ! ] ŗXiɟF@Am|{'h1DL
". b
gՁn_IƖvz7@Y>pGڜ Y(/*@qxBnXT dJj3X |\oz \: ?tܱg YZ7zXZ ִF ! VJ] ŗXi%>gY vĀzlRV?٫JmL¢3(`+Yl뵼b_}lM NK>M%@( 6˃tPb6ۅf8=0q~ܾg=hLق,U*X iQK}4%&w[Dx\ʼī
1ԹLE[N|uq{FwiA++opr|`EK) {ь{}ZBpT|+sgk1!7 UġF@ ܽfnR7ygNMc"n?2aYw1#ی ұ6$=9 Iտb0kS[ L;">"x#{]4)hs
z3 0>"W.Q^>L^%
:Gl!2-esZw h0%oꐭ3Ȗdܡd9iw}%)G
IDKmSK[ o.DX'R[c& k
ԬIH0e&=T)$y[NQ?f M*6oHj Z.e:Djǣ[.\=֞]&';l-tDʄؘ5r)s{E78Sk7: .W^>
UcHHXciӞ}Ǵ#j)UA DD'}xuNl L}"n G#(Nć3L(7+q#vhc4N5~mCmg襗d\ 0n_&UILDT`ΌTؗa]܁;mX$ Â .Kzq!.x{9R9hsV,y: +Wo