SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info WI S/ Compiling-Exceptions-Correctly:threads=2elapsed=3.693cpu=5.616gc=0.208factor=1.527zXZִF! <9]ŗXf1-/6vRZyߪf ֫_PVJ4®y ]҆[8GT|9V*՞:<ҍ9P( as׹,~iZNX $5t5r[_Y'^@Ӥ+}/]]<~ H)76؁Jԧ*Cό펵1}mIvnY{ !I Compiling-Exceptions-Correctly{#7Mһf2MCna(u~M@rmC*xx}bK~Y3L a6{qgd*zSlZ*jaEG5ۖ:-"7`[ bʗQgYZ7zXZִF! <]ŗXi%̎dvC#Fg1;O9i~y^/<借u*ӪqBʌaj|vSPEnk#\NViL5Rœ,;!+HuKPDeǰiq !&Sief{zxPxxܟ%ל6,/|chcԆ,K2d1ߚߚ0%W;[=Yz(#xIgݿ:=UOx]6 wO+#n禳b 7I ܈tyGt/dLXOʾ{ `10o3nαgYZ467997a9af48915d9ab50d94f601c8ead565deb3 672f0923a3a19c4508655f037186b6df2a87eaae b83fb0bb410807c5afb5f5c6cbb20d7d30211ca7 bb087981173cb1966c3e6d3309cfafeac61c0149878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457