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
e!< ]S]Containers:threads=2elapsed=143.636cpu=231.176gc=15.640factor=1.617zXZ ִF ! g
] ŗXf1-/6vRZy蔴I@B_J?< Xk+CG߇V;- J$H^| Phb1^fI8!{EA25:N F/e[.0®Vft
WXs!(R@Pই}˺XQ٬C--\x,)yms5"- խJ ҈/2ﰝFMQġ_2^ueV7yrf̌F0YtS}"0,z8uD5$'!U37#ȇ߃gcT5*oiOJ !8DGJ|ByrZn`wӸN}5)dzQ/qTQ#rUqRzs㔺?cF bWK{-WX+"1Y&9ٜ2w3۞1wV䗔wW˓/U"
vlnX8:>4b <ʽ.vg\31*9H#|E4gaJݯ̎۽FU_ESM\"mj~x(% q8Ȃrof^~MRjE^WuHyQ͔)--D:f[LA,)iH
X,QOC?b8duo#E6Bн
- CK:ipRm
>r~~L8aLy2Zry>*>
?}Ϛ4HU:Z`[eٕnֺMW\+Рَ_me#U/ KGeVaZ ,3v}cB