SQLite format 3@ . BBh77otableisabelle_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  Al,T ]]Typeclass_Hierarchy_Basics:threads=2elapsed=0.814cpu=0.928gc=0.000factor=1.147zXZִF! p]ŗXf1-52gضǤ a]jfj3)-@C}0)`T4aңXQ~ xi.Y,YhL]Q2R7gYZ7zXZִF! TQ]ŗXiɟyF{$XtF0 P"vz)AKa2d%轂P[NmfmU}YZ7zXZִF! c]ŗXi%;dp@WPR5,Ň~Z< p;H-QQ;/^ȷpNvJz%/"1F1N"|H_ؚxx8Iadȃ2()4 eEq*dv47W隔a0/W>$cf#U>0>uvV#oɽ)א (K#RH$Epj \g|5Pwf<nj3!l$!K )aL%t\&` UFe^as(Ze !K%bN= J)kW#x¶~|q¼ T.igYZef500277b78756ac5a0f38782b044b2507e0fac3634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3 c2c638f70ff654fe12265cfabc7c800e8eca4e9e35adb91f530797cccef1ef0f21c17b51a773f22c A Typeclass_Hierarchy_Basics