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 d |t ] Category2:threads=2elapsed=18.828cpu=35.652gc=2.468factor=1.897zXZִF! j]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~cޑyŅwD~1&mbh^䛡d*{TnȿZ4rÎF̯(-^/!5\{`>Ѻ@FzS+$8r(l+B([ˁK)9ØeNp%u{чK.) ڊQ&G&&q4,-3 ֽOȈW gZcɅ }}}'̩gEUiVhB\=Bvr`YoF484$flq$V:_o\-1f0 h|<xc9q/NTĔ_ d! F%6c$`A361lOtP Py ^`(d>F*qL4 WZf-Ƃd9-QZ1]}AE#ȭ)0z%Z)%}{0FHH4}C#BB; z!?t-j')%>$Et'-t-NUnvfr̜Bn,;~[ql{8spxM鎊vuVM#H,-YL-ML!$OFȻ>Xxnp n)ۓ ђ,HҜr46: K:-bS1aO/y(v2> 83^X|4yԅ.<;ܲS0_d7xN=͏lLs4y*Yrr=FϽTߜC' LֽT40f}"V9~LoFvЦnD1Ϝ:8 JCf5iզ/P|M4*#n|3N aXc  *Y}!H^  p3n96&vFTVtT:?V*̜vcB~,: S7 ,4 Y '#}g0x)u'l)?3Cbd}u tb*Hִ^B~d>k%3`0d["X @1hWrm3#T[7-J3Q`*BA HҹUZ<¤BHb02jn;:kP m z6Q%L 1v9fqZqF!nqȮ^.@5O/~< ..Ս~+, LmaE6a&4I /,m,v] xRX(Dx /K<>nmEe.Q6kD9.vqɬ t&ԞP6rpJl&ƅLiړX:hǫD3}a|(|R_F1 Q 窕#KeeYEߖnTesNN1}$IU&{D}8hg&p߲`25*@ηwm:0&mpڑj7 QImK'RQ ܑ;+> yfMt'qZπRA} Imw*|X]G AIıgYZ46546d4385269ba70e923b5e0f49d4d260abc562e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f   Category2