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,L ]]Typeclass_Hierarchy_Basics:threads=2elapsed=0.886cpu=0.984gc=0.000factor=1.117zXZִF! o]ŗXf1-52gضǤ a]jfj3)-@C}0)`T4aңXQ~OM'~Zj{\U.w<2aGgYZ7zXZִF! T::name=Typeclass_Hierarchy_Basics.Setupelapsed=0.877cpu=0.968gc=0.000y=P8#tmU}YZ7zXZִF! `]ŗXi%;>_#Yw糍 LiCǁ'/ @w~u'#J=|, am:"DŽ#KqhfySYu?47+kIdA Zj0;hRM}%L[ي":s @V"!CmB8Fkk{;'! 4Qo{u Kq̡F`[Vۅ]$Zp6[2+ߔ nQFG7`G\HlJmvhgo(g~k gA_p}u\֓EikQ E#"B`I8@{R ˟gYZef500277b78756ac5a0f38782b044b2507e0fac3ec4f72521e1e679fd5cff6fa91e397c5873c6432 dc95e50d9809fb8249d7a6a630b1f18cc52d769d ec788b2cd5e0544cb20063a87273ee6a4edfccd3b4a5ef3794056bb1dd9378dd29feee2a56431c93 A Typeclass_Hierarchy_Basics