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  DLD ] Optics:threads=2elapsed=12.958cpu=21.384gc=0.504factor=1.657zXZִF! m]ŗXf1-/6vR[$G~fB7O7m3ƶBxb D))kIx'6B~Ա5 :Y!$'u%;a>saV/ nK;"Êd>ĸ#-y:` >V]/OE\{,4Nc,yZXQӭH{ۧJU/Fgk]l)c|LΧcM#pV7ze_j;~1Tw^:mi,UiaPza $LjUɢe Gr)C@~xig&`ćAla'(_Q{睂~bctvI +ei+|399'Bp/r:?A}@/ N$+s&4c^c >66Ñ2SBJKJ@ಁ2%gYZ7zXZִF! ]ŗXiɟ.z+ j5P';+'Q+͚Q!*(-UK_s'V ɵ UO꾊`YF![ loK!ј ϭrM" B }y]Q;=LMrhOzN{? \d6vmφ?ؘjBp3,YSJ]]hb/OXtj0M.s<צU?3|e+gYZ7zXZִF! OU[]ŗXi%;Cc"#!e_G1KLs 98?E,D@ (K ,✿mW_YBZʃ$/!0Y۪jbΕinƠ@y`D _~7)g~"y黛:~2O+Фꋑf??\:KO"ƽOף'o W՚uTf4$ gUm<<P^eѿ]V;f.;ͳ_N!ΕU݊&{EԌ)mG0UY$Cܭ8Z6^EW]ϋ$8@mb9,){-zzj A rahZ+YeόPURx뗋SC<"I {lY]f a6n}&'Cy@pTw::g_icő61b?WurRn<53 & OCxwM{j`YBe7/{ElK^9K#{+?fWƩurlɀ*7ycuT[ZǶ" Y- XnlTD#R?N%ِ ׷&'axʄIaWfo;C5@4^furwX`̵woHNxc+o/Vs+NrI R/r1`ν *\;#20TF6 Ű}2< $ +L(œDqM`: swsyŠ=UΈ+ݚ 'K2eFdox(5Y}4Wf}S弿jh#4LӇBМkXGcdgd~2GqBnt&b.h[b< R d"3[^9% d?Ȕ!k{ L0̢N,{5]"i+7 d!S3wRqQ\`x/(n^֞CgYZ163b81c3520831775c2050b253feebaa586f8ed5a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 27274614704f7ca765d6495ab78c18263d57eb6c   Optics