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
F'\$ ]%
Tree-Automata:threads=4elapsed=36.820cpu=82.096gc=3.168factor=2.237zXZ ִF ! !] ŗXf[&rԿ_mD{
' Tree-Automata
c>CڨYeQ ˒Rb7BTGPMW$0ʃhOAOr'}`NB1^Mɇė=A^P@.bw{
u2kxѶg6j"z ۘW}*HqT2(gNܟ@f̽\(?jli);H6x+gE%mO4\]~QHGT&;0YwAcѓG0P`*
Xs,Z
"
ZX
$H"nNjCq\%y HȹBgxiBcyfB`QV`AvsQ L2% #~@]3Zä%
ARw)B
;H:&qX_܀[( f%`lVO5y` Ɓqg{ AQ9Fvȴ5u.oDF o/;
% C ug YZ7zXZ ִF ! ] ŗXiɟlAC?H
7Nz $̊e~sۆO:(C7`>m5t)@vGwT bLx!GVpA225/][gri+O ,*:kmcU{Ay.jS~1xu՚+33j =)/ g YZ7zXZ ִF ! v ] ŗXi%B4et,