SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info uu/ ,$ ]S Old_Datatype_Show:threads=4elapsed=9.790cpu=11.892gc=0.324factor=1.217zXZִF! x]ŗXf[&QͫnaʵP$xE@E={Y@/kwOpx"ID3Ye7ݲ7+؞[-_|0Ӽԑ٨WP3xmt;mg?7{2y&]֧b0K">蕾֏P7SvWDT|"IѨ* 0gYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLx'V~,nx, :B[1Hs CBD6 3o/Oj*" J)@P %-^.F1 gӂP a߰YmvFgYZ7zXZִF! 7?]ŗXi%G̉S;8F̷Y KÆ.fY.dEIg(L'-;ٶʢ1xԈ.JQ1ſ]"99ឡB/ "԰[H!iNbPRovh X)M+ /Me0N)eY(@ݱC-8l6q6Cq<&N\owC"2.uen4$ 0;zIq.^p'<d /z:3 Zh5UǾib|E 'G5+]짼Hn%j-PPNDj`:(Dn42}\RR7~>XW9̾ߕ*L~q_ii>壼ij/׊_VG^7lA0|H3g.L_?n3Ea&/V)]۬_;K&l|o߱lm$?΄#=.7r% K$M1#s8,LdJW gzzR0'IT#w벍c_4/ [-ʒ2 ;쉕/(E$ K($Q; x7 ‰_/#e,jg!W`< 7JY)n|;~p0--%(Wg8 /${z^pHUZi3>[ _$jT֭hN(j`=KpɛJ`қ#icL`Fb}ͧ(4 .KNW:PngYZcc8232b6a94eb443e8e47173d5dd91392e1a94b178a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea 8128ba6061591f0bfb3eea2280b51ef9d27b97e6 / Old_Datatype_Show