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 `;Gؽ8nt*q* .#lw gh,jknx'oB[XbLhy']WAbAڼ*?Vْm$xo=GCTd2#O[A_Dn\fƧ: fA}CA*BM>؝Kk[~!+ sRb+,ȨpB̴c~ ix z_1^v{@ͫ/ 쭼|Q=3X|W N#rʇL`r3OhɰU 'y}h ŴחyOnx&2Qvk Pu7e5.gBJlvFDh\gYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEduqR(>jѢf!|:mS4 ӰhH*00BU\d O=2ռi|"ꗩg!eT&ח.&Z[gk-'S*+w-0(}(L:gYZ7zXZִF! )7]ŗXi%B8_vF)%oSU[zbv2S?\[^ $︢[D/%rXda9AVf}ůVdSmz"s:%!:c[>Fg/q*cv7e8/F7Ň"SUB3(z k=39=tsF䂃"@5ݿIٴAZ&}p:Qbxa1-(.%PDR7 ;,*9dcdR)4J$X'BEshQI9C+.jW5B<E?xnE]M:?5l٫zRpk5iNӤSPvNP)K26s(?9zH)א}kʥMT.3;3g2rmbi0Md.Fzo]qI\縒w6´̖:bn1g3z##P ?uMtOdI}Uw(oEYӓ@>Ur|׆vK*T-؏ u LAVTx{b+YV#/?Kֺ/CU8GS`J,Ϛ=h+hA)Ek7#QLq I#Gz'ɢ$~ B@}Sk҃2\=NwZVIr0VUf yڇfNOfS>q?m/8k/_Qʋ RT6Phu*_ϋFu9LZkwvX+ΝkƐw;ISZ֕<՜!~9f0]a)Ě! J.Z{7'UKcs,!3ZN+PWPzrGk ^_3^zhXeFd%!US}'ӱgYZ7ecf7942e5ebcf9cb80bd8fd7ab54cd05105814eddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 3 Typeclass_Hierarchy