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  %5l\ ] Priority_Queue_Braun:threads=2elapsed=4.805cpu=8.196gc=0.268factor=1.717zXZִF! {]ŗXf1-/6vR[3 @ԺU4w<0S˦pηr-Mdxy1[ rqL}YlTGp.>݃H0˚^5r5wP@}] BRSB^#N?8C\ m%fM{߫"H F(zC#fek[LpjgYZ7zXZִF! %c]ŗXi%92xNh2[(i)=i3 ؔo #-]@E[(l2 d(u@*jX7+h;aW%,aI eQePu{_HA3URM {ZBeBȇ:MSJjlUj*m?*9ЙCK0$#S߹Ty?xc@gRt+brHt8!n !,c{hp>s7-J׏%n:nBg:EPƠPd6ߵ5A_3]˲u[״Jy8齱gYZ7147d97af73cd153eae6c43ec2b6f6f3813910ee0dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 607b584e29337f48da7c2b7111a6e1bd83507c61 5 Priority_Queue_Braun