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  3 \ld ]/ Typeclass_Hierarchy:threads=4elapsed=7.172cpu=18.872gc=0.604factor=2.637zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkO6ҵ źIDpKahģRv~n2@bW${fͼaܬX2Z=%VS"(b[ªLB#W@54:F-*\ʁ^p /4p;ŧ@LL_h;mdq2j/K ~+DX$蹫qD wIXaј> 4}&L"lon i;PgK XònxehJ)U}b&Cw B<7u-ϩg^L]ݵBX3\:=݇C#;{,T ӀHm&ĠR|w y7\ȱ͋_|'gYZ7zXZִF! ))]ŗXi%ES3R*_"0 6`v](#&\A¿3W]!bJ@Q%: d+%qB2lV UWa,TYQ,&߆S侇ul.}Dx2cC 2 dD deZZiumF+s]))]М4jk=RwBgmY *" CiE]lq#%@<4OgVpu5|S&֛ K+;-|~g eVƐdJPck#}R4RI#%'w& jrݏ"+y{W䍝̘7۪$ MC_|wprEzl^aR-)Wx\* @9YIjN S|}E)VmKuBktL*2&G+*2w UO"@Ķuќ'\gOĤ;p|NP.lA(ô8bZ^E^xe5dR:I52$t*5: D H \cz:hJ-|C G9b j*"hF02_D KE?zyr6#7 Cg7J kiς}P9UA-Dna{C'g6B ܀v7jπ!Rpp`My!X kj9!>[im?w%>߮L.Lx7֝k7IK$pdݸ^K u E7uk/╸'P[D|迠EM9CESsgYZb875113c92908f3235d5123bec5b93a597bac0bd76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 3 Typeclass_Hierarchy