SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 77>-T ]% AutoFocus-Stream:threads=4elapsed=49.712cpu=140.052gc=2.564factor=2.827zXZִF! Y]ŗXf[&,X՘$i4XϤʌIe*t& ֊jzSPh57r)q]2MoG!<$̄z8p(1U4N&1 OP g4)_=۴Exu+@{*W Ӄ k.sac KłVŹxJDVO1sHҩHlWILwE̡͡NeFɌCyrFD1Zt}__<8,{+\}k" P`Y߸KuǾa5'og{N߉ϯk@usd<ɊS!|&(R=tׯg ;0?z"l|s7~l$Hi%KCw%z2EԢgc{zq){um.F q~[ H_ş|lwOֲ !3D\1CP$O\U$+.").:E)j\GC쬤#vOE!LE&zF`-0R9{>R̻q!?7RЋ3Kt#樒FvdKM$2Jܭ'!1>Jؑf6$|egEsxY˦='0 >ku8_͋G]$벺 =s_Na c7El7%oǓso諅o[TSm ڹܦaU*g 0 beX䰃siB`GːlNqV(Ĉ?t8t8U%C`W7:FxOdA؀$ϰG7UuKr]bdbz'CD=Tq Vs cE !Xc }2wͼEFliىF(y p MRԋ`z`5I)xBdBJpAb$dQ qsgYZ7zXZִF! ]ŗXiɟ*#$iXWRyZF֛Nx>|=V}Q6 כď 9~Ym[m䤱,hH7mO׆0!֊ޅ^oi(5R6[$UK)b"U7[&?Jy t4`6qrz gYZ7zXZִF! 4uG]ŗXi%L 0'|AP0K=>Ր̂XӘ &ri7a%ޑpXT1' su{l F[V-S~p\[^ʔbk}mIE!b?j {$[!lidI3F*٧ojqMg.19t3Bq+O5iIWsF@.("!90*$ _ʤVc˕1oFf[B_R0%AȽW:ItHzRRM}Uk0w-kԲ؅s - AutoFocus-Stream  2n1~: ?Ay= kxtD %] E/3; nQ5tTxg+~1Tװȡ n$$0kͬpgj?׸:;6֬+$5L..͟ecc5[hNu=uLPC 5IQmos^zKKk[֢qO9H1/2f][|hE;Aϗ60PxR򽏖zrX\%ǰ4ko_ {ƟM`Z&3^t[`eX>z߷Y]OjjJ+ @WD|#Sje%x'IB,1'u+,̀('z=H`Uer" Y8&|" ݊0B1'@)Qrڤ4mcJ) LeӖ2C͆f^/ u"H4 0cQ0ݑףUzEaq=akxsWc4*H #$^Ŕ5u\PU̡*rY? ?phV*6vR_-A$#]!3P;#^Zq=`dJcnzfGx&qяzn;S+\ ioS+wV0LCGB؃7';/SjR-v}H+Kk/m|C7>Ε>b;`ґ2m)KDmU OGEwfJrOĐZq.{X:Y@g~8wvT8g IxEGՙl ʯזG=~/tQl@l"Gx!ɱ:'/Lȼz>Ґ,|z-|aLL)Я!=nɽ ؇GEZ: K26[NuUe 4./r dޤԻ]kճȁ}$j]Vrk'82e*yO|rvur3i[ <_]\;i \鼜=n|0TПJWEi[65$EP7Q[/Rd=&X<2Y^%X 3=g ĐatBD1Vv9|έ5skuioyſ6r;Y