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
r7L\L ]
HOL-Datatype_Examples:threads=6elapsed=82.118cpu=297.424gc=27.780factor=3.627zXZ ִF ! N] ŗXf1-q恈&!&ʁG_f @lEZ Gwa
krju\
KQwT׀1C0<5*uq0&
ƈ)_!s
E6bMe
-}DY;͏@cg.f!u<ԃ5yG?̵J!L9Vj3h߽V>Q erZ"M=rM DXR0_Cg[Wq:C0,ymcz\xH6`czͻBlL/^@xBNkh-q=d$(tuURAKy 7!I{xL `!'06[Rg1&X.QV?mc`v`,kYa8`gSSEe6EPgS,yy}VS&l1H]OF~Ql^1JKdFP[kG틭Ws8>`xbGᇵG aBM܁~)Z!B* j~zpAYFS"*2,ezaVD>p"N^ K3o}=UJ O!|-Ɖ0=pI
*
`Of6US71yU%R[f6"J>娙X6ECjzD'
^<ʺ|*都Eizi[PhK!YώjC QUliFB -~bVVJ
Tc2Xyl#х[? ,`K?# ,4`yq(n24dGq_j8=m5hy{<)j9 sR-rY䡓4 _b5j+&% xFPUɩOzQ,7`_qQ
BXSf77% JU[\FL"Clĭ
:l/ d(*7^"!mȥUW&^{XD]!! ѳ|7<r2Mm>" "PƾHTkEWs/dj\&Ve1|y+Ӄ/\]
h8 1,:UO%ϒ/ QGxQ(DIt&z̄#Kj")Pk3}ľAlG<5ko2SxU{/T^:>OHԼ$פUxX(:k7
_Pצ)YD`ҪȽ(Ң}ɩi1,^0s,d5E5d 9Ќ{0ae{vP?[<[?k'mgJ$L+_3 BQr Z$^0Lu>:phJbŚh+֢Yz*3fD
^U&.6s^p'İECCo}Rbu>4F4""OɂᖢF<(Dfj1ʃC:S_0z
"y5!R%X^
Ӭ}TQڸ7bָ,wyF\)RK\ $İ:<,"kܵu`a;qP-;Oە3.: d
gԱg YZ7zXZ ִF ! ] ŗXiɟ1)*uԚ@e^cLl`x(D1t&XxD}%M)` Ö@&HMhTӹXe,x~*~\ M0EEю?f47R
h[A&41hIdЕXfM R?wWp f駎KۖG.ϲ;PJKl}tyˆ~XDO -j-Վk9gBE2hnˊDG7%&x:u\79L3x7 1
r%Oh%AمąVY4 C-Ce