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  83  ]S Typeclass_Hierarchy:threads=2elapsed=0.253cpu=0.340gc=0.000factor=1.347zXZִF! [I]ŗXiɟyF{$XtF0 +E?KH#|?}: WDȀ{yX\ e\7Z}YZ7zXZִF! C]ŗXi%9*WڮVCXQ_г# etK~_ ǿ Dfb8'|M*%H Yk ߿Kj<}4boh0˞K4t( S[!J[lZ 1r_ʧ Z܂%aG8$/?%szFs=L֗ #1>O6;nY<_Z!ϳa-evj`i{v# Z0ta9#:=Mܘ( ::n}iu,&)zЈќf0lncefyL\ˌ gYZef00d4fc8755162ffc31a12f8deb26e68a37d456b5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f2 ea164186239b77d6cf8a77dbfd65972873cb3e5c 61566249f7764bcaa286a9b521c0df25fae31111 3 Typeclass_Hierarchy