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,\ ]]Typeclass_Hierarchy_Basics:threads=2elapsed=0.794cpu=0.900gc=0.000factor=1.137zXZִF! p]ŗXf1-52gضǤ a]jfj3)-@C}0)`T4aңXQ~%s,PK`Ihb eE'7HgYZ7zXZִF! TQ]ŗXiɟyF{$XtF0 P"vz)AKa2}B 2 tlzt_0~h3`mU}YZ7zXZִF! e]ŗXi%;Ű?l+n =$F_ذcR~և,HqiGEY#CWT6ٜ3 3OKw:ZY!t0 =JY&r*M#hճ&; ,J$!ʠ>hXܨ$JoK|nRT~O( [0-tvSҗ !S%bʘx4;\ Ff)~Z]ύ[֢2ϓxG-qCэKAɈgˆR`mkB64i"%57o@2wb%3#ѐ#:ME^vvW9|[%S7]%}QEzjw ϘB {BgYZba498f9b531e9bb3f37161b647d2beff0266e665daf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5 acc1a01ff3c9aa58d6357f601c4748f07f6c95585e6d848bb7d4dc8ee38a79f832c94cf1268ae6cc A Typeclass_Hierarchy_Basics