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  , ,Q'4\ ]/ Case_Labeling:threads=2elapsed=5.116cpu=9.776gc=0.436factor=1.917zXZִF! I]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NƾEQ3#v> O3D7 K48ۤ2C݆cGJ쒼 K yV˴%{65q.V&DV)d%KS۷;d`Um|WRe/RBsBh^wY8x1[_SV) oq@+k/lcxz3ilhʼnFv a/-Qj$+/f,ĕp#$YGhL҇/ٴ9w-]2_Nå]9NwR Y o< cl49:}~|k!b`_]_(Cz|WLm mՏV*! 1v!X3MAkZ@sƃ?@ u#KݲU#eGeIāB(Nf (|N vĴ27sInʋ3ԕR"6w0o%4ږ9S~5t+P£ ̄eqƩ5Bdg+ I1d ?SE#^<(ηߠA}\'Hrɕf`WW ktZts=WRsw@2fxf!pu0{,G*-kGhgW)xnQj.}ڽCiw`}4R1HMsmYUcl$_'ۖsܲDKY6}?tY;XRtjYCEy mmeE=>=_ ng&\i)]ڊwh"j!sNU$٪d[Axߏ nc84dK jX*P1L$;KZ@4L r9Q˧窫zpxAȵoMgYZd7983fc5e3577caa3889998409467d92a744f2fce70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc ' Case_Labeling