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  s s 5 d ]% Lower_Semicontinuous:threads=2elapsed=8.292cpu=14.708gc=0.304factor=1.777zXZִF! ,]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&F*qԤJ[$ L_+_cw'謬Hm o|:"-C{G:D> !1wW5.0w.Y6QǼ-Eb[)$ iqW tТʖquZnݖ@I gl+fN㷰¡U2 ZQ1> +7g0Vx.ѱgYZ7zXZִF! 3]ŗXi%6țbHKqHӻ9Ci Q:)[NՊT-Xj{?zH)̙^aXW]w|p< m1|DZH#Uz" K;\xaHpQtj͚l0/\๏yփ=Hv K*4ϵrx5ۜI`.ve-0כknXJK2#N`nbvIUN܂RqYYahV"P`8 {":s0qJ3ؒ6Q`TOH psEkcf4]p_pVAS9+Y;~IAm-?}-bn-Ǘ+)䛤*? e/jj ԣR47t?$¨,rd>m\, ʧy ڎWǩ}'Z3C|\OTAH_h_h=@ɍ<@: }lAHMhb}\ _R9Te 6̢hv0P>A. A l&u}8>md,oLXoYfX!q & 㒎c>2רpDRXLW rB5g 5S<7E'7ㅨq /w8n4)Dɟש%flVr=Ra&]/9%\هGY;bg)դ`lrEەj"JrhMAӕlnF?!f?,3TCX"-Haݎe