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 l L\ ]]HOLCF:threads=6elapsed=12.901cpu=33.128gc=1.904factor=2.577zXZִF! B]ŗXf1-qN?dO*4 ᅉ(Xu>4X_j`pfb&Hdh6O1жWѷ/OUn{Śqx8R7Hmf`Cݩ_KȴU[5 տbGI %]CGсuupIȕSt2?nK0SitA u/q0'L ^m;MÜMe?:[wE y{Jew*B,4*V+uwRᓺhy|Hv<]QwEqɔITh"aA,+I,[Dgl]yabϝK'4w{>E9 "qR?u/e+F9vEMH|crc,VLE1ܑahJx i"#g#{8viyw83bpq`HJv(lxa}\0J)+öJϪ;:b1GQJ$FgJZ/d|+aЍMf@K[:a sM)heӇɇ9S2]h( 1=GC9"sQ#͠3E(1T1禯TVmZ)g (;adc D MQgsCdEZAg w"X_+mjAAg?"u+O 8;F#mcZ4e@6pU3Bp!R?OkBP(#|ރMh8oLMjR 1z0&CJ|'{B50IV E!sjދPO - [y{ǮÆm<^_R__Q+⚛FM˺IsM2 \s\Z_,.>E-j?$6ɡDy{-rF5p"1 J 0͏*>CЮݛj41SzoebPwVJ֛݁+ʜLS|qMzI^c1o)վkF(gvOdwɊr8&9sr$7X0זz|OgYZ96f879fee38e439a0ebc2494c5728984946e875d3427243aba6cf13954f2663e89dd0ef448f9e0ac 8098a84a13d7e74c846fd42de0efb751dc599e66 90b35308e6ad83ab058e2b9034c34afdb782542501775cb06c0d566864bd85c950cad983b9d435a1  HOLCF