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 O/T< ]S]HOL-Number_Theory:threads=6elapsed=42.795cpu=196.800gc=11.068factor=4.607zXZ ִF ! sd] ŗXf1-q恈D='-/w)P5$WD,^D7+ nL͊ [@ ըQ&m$ZNן&5ٷI -<'w2g80w`jSK(lzWu̍*Ǣ921\zĖ݇8JbO OUNc,ŹR]$Wc4?P{CP7b2ĸtQFD}`BI(l'K˵v+LQ%qnNT'bQ#8+$&ǭsڹAu=קR,vRe%^?}> *sj f՜{WLew$cI'wĐ68~&b57BW8T_QsEq'CL7GrȢgXUdS&,g cH9Ɋ>x\3ʰ OX^BI}uhy/ O)T~"j *0#2女CuufNcfx t%vO
v,J>HTs&4Iq:\ŧ6y߱5JLUϟ
E) ۭ:1,koȗMwpE#K\En@OpES8:!k/@yLqF`ՂUߥ=vbshՕ0O#pe:``bx&N
"jGEWG~&&D,ԍs#b!rax[zYٯ\%2DB%Nv摏G {ɬfR٫M}\d/M ϶r})\[+6#]b}UlL9~'ʼE(K5Fyy>hC&u{Z ҥL[&}zY2sk-ϼz},!^F`|^v=֕ȄƣgL~+ƼXָS;}q<_.KD͡
@iSOPPM'd$ I.<Й͡;`}
|ES
0Xr N)1M7ȱ(LJ·7WAtw-%QR`,Xc E͇zANx