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 h3 d< ]/ Typeclass_Hierarchy:threads=4elapsed=7.640cpu=20.504gc=0.632factor=2.687zXZִF! 7]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjScyo47Q=4kn;0~3)ޡ<|huX,BmLńcfiBsL'u{S?D\ CO8$PN!"[ˍqW61K'80l>jѢf!|:mS4 8F Gated;?XT"#\-':ul%qD4 gpWK JL|dFA9_gYZ7zXZִF! ,jV]ŗXi%GVᎷMkl OKm1Sb(@HɱQDu|((X!=~It ';$Y\1 QplmXNYlY<ΜLΞ6'@g9ӇQP]uBd!rp _"aձl `H t@|.ȫ婉vy.%}S.n1<˚äkNL[yN#QݨaoZcO9~Mu%^9|n]ll Js*r/o6 '20Wr_ @qk7C{2m>LUi'$(w;ɳJ@ k Y(0|Pθp[HվEqg^u(h|b{7lFf8 Z!|J*.+ QDW )S,pYM;N4lR12|2Hvu.U na]};?{{gƦ>3ţAQGyJڂ49 ?.~<9)MOƍD}˭2+dϯ;`8G:+aVI%c"ZdIel|fP)$*Jʍs˜zBRk}KF (pzams!wO|ShR.%$4]PͲ-%j=װ =./gwӐeEv7}}D?ќWa@~';&LXaSfm'1˃/@Pl7l`2ݠQ別27#11JZ%VzaL X?ȱgYZ5a1d66b30b7de0480b1bd0c8e5ef96e11c844c234b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 3 Typeclass_Hierarchy