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 ii3 4lt ]/ Typeclass_Hierarchy:threads=4elapsed=7.725cpu=19.956gc=0.612factor=2.587zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjScyo4ɣuQ+z抌"N ٗ C_CG{bh["C^4x՚1-^dYnC:^Dm]LEL& SJqgz[ܘSKT*ȹ:O"jsx+ m*`EWU>b#zw(zegg-6qnCHi| (O5㜰lrqz^&^lI+4!]m]+ʏ ӛVñgȩ+NV ʜvjr?I\ G:`U `E\acE(6wXgMbժ&^=]r=HNR'cZQԄǞPJ|T|jMݿ ;:s^c!1 <^LnO"M,wR6m8HFF]0T1İf\U9yJuH(kTG+rh˼=P" np vӘ5nGU\[ -yytIz]3Bf) P@86t]6ےت/fـqb R"n(>.z*^ZZ?Wo_m!v8]ldzOaOEd ;X j;c^6Rq JZ oU!FE24\qW*^Vk4KZ$))/@>gw M=i`IL28n` ʈ%\uYXQ|X:A(h%fTi>sIFK ng͟&Fޥ =K_ٯ(k3Bxi ߙ6zrΜ<lل\e*2*C\A#lsцD$ :%gI+"/gҤ% o40 ʘ~vFre?UBR^;uT[ϫ_j?B~MO.=ԏ["i2\ݹvR/a E 2LaU0=) }ފ>#f ˤAsJ&}@I楌woLҁa@fn4 S?pkuem*FUnvBw'7Z"w?83]XG>vDݞ/ ^'[pgYZ2ea9be38e429a2dab32e51c1b44c2587a0ac22f278a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 3 Typeclass_Hierarchy