SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 # $< ]/]HOLCF:threads=6elapsed=12.376cpu=38.804gc=2.348factor=3.147zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0pX̍tk-#Ɓ-V+ޜUo@W6XEE}'[C5ۚ +{;b/ZC A07FIS|e*n "0u}SǕSf3ۋD.,c~(O"`6+?"&H E#$GG{0Jښ9U 4єB{'r LTޝ0y N 22쾖 K+O}ɛpZ0c/G= q;0mnIJ?,iwbq4bZyx4ߙˆb\Ƨk/h L< q56ִ-ޮӖ<=L̦T6(>mf yLŚL!@Tc}I],xNԫJ41F)-O1#"1FH@Rx|TBCl9(w/K~Hl\=+SSI;vi\sNeGܨӇɇ9S2]wſ$3T\?)΁V_h]۴c?JC?'o]8\YK~&w\ Y2.)(% <jZ*܀]v{x*L=IGʼnRΕ;si\}x8_v>|dMB/FTq, *6,?p}iĸZ E!DRN+MudǢzn: ri_8/ Sׇ9xcDŹg&^CGH~i,0-3V4}o?&R:Zd &}%%œ!BsÌti͂hΙ'SF9]sUt>)=u{=°*, k :J_~;2lLԸ6[5bPpHݵ+aZ.qpW鿩ZAGGl DܬkOOA-U!! T`ĞгR]Om/,#'FÈ1˕)7NWsaV"IgYZ7zXZִF! <X]ŗXi%> * pJMKy>qFKX? zYU,PDğzǧ8b&ky*ړMaz1'wd>|+[p<i_t$llע  BHg#˫ z\(9`E&wXÀ+=,WqJf}}&.9EQXU=i%GtIc%YC9g}Hk$ s^Ct_߃ 6M J3hJwC֘b{8 RIQ=qL?ƱgD]kAQ:R7#Jb3M@& bOJ4wrk2 TyבV#t; ȢZ o'zn[tm%k_Dj(dDPS~$8qU$('iJfnzo.zX9DmYA^vuaQ8*<