SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  L L1+\| S/ Ramsey-Infinite:threads=2elapsed=6.687cpu=8.228gc=0.252factor=1.237zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFFLwBIUy})# g qqc-T(h8ppAY+$exNQUP[gFbJqQkIy|UY>ٰg86)l 6k[ GٟfYbaP 0tvgYZ7zXZִF! ']ŗXi%6yOGO+ğUV>eE&@L-pO!E|~l{p,!헆5m:MDݐQu32 DMPaW)W`8du #='!|`! j*9Zj$R0M6fo+K9Fm4=@_gdv xZMʶּ {z%Dj _2:ƦGIW8 vCeB3Z)a}6K0-F'SKPhRZ8M6|܀xiIʋ3yg2eUK9hWN T+֞frdJc!~tB ɼ2"~(`rM9$-!^Q)=@.M4&ٿ+^۞TQD|ǫĠzh"TLb-ww1@ǕJqMaj)9s^l}O?$0!ǘ[m%NyvQq>0%OqГ$;47Y N'>^E