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  #4 t ]/]HOL-Eisbach:threads=2elapsed=3.946cpu=7.832gc=0.252factor=1.987zXZִF! R]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^WX`6ZcPLWFԇ{Qypg{on?%iϗ2(@+I˓Uq4~3aP8b W)D[T{S|] y[y0ъ#k]StT=Cefԕ [Nǖ9\ k׬jcS [)@] |L .L**]qV5k8ɄU+~O"t19"0I{1D5P *Ad;Ih ҽbZpTʩdRןH,)C?1KԥIJ x `X֚8$62jO6H@8|HD3j~ۼdԯ!a|ՁC|_0?Զ4_n $5iy\ZbƔ;;hS#h.SS6Zld`w,iGHIp1=MzC<4*RsZUt1heB53tpIܜZhmϨ\(29c lnbr7S*|tDrײ Lr(Ek aH7<==J4 '(I ;,W H kVJkb1 e|?zXz' 8}xAΥBMxݾ`64uŋp^;M1Ἥk)WױgYZ6ef1cc7432a94a3303aa4f71b33b3e321b57525aec4f72521e1e679fd5cff6fa91e397c5873c6432 dc95e50d9809fb8249d7a6a630b1f18cc52d769dcb20b135e437ed48a73cccb0b78ef8159ba08d50 # HOL-Eisbach