SQLite format 3@ .  YYQ77Atableisabelle_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, "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 i l O Optics:threads=2elapsed=10.493cpu=19.504gc=0.348factor=1.867zXZִF! 7+]ŗXf1-/6vR[$G~fBn6OE.woLܝdYS XA<4; N8< CI2#9Ѥ2mpiΈD$ݿwZO)ߤ{SK iґWV R.߇p#m%+X,:=gU/xalΰ-:i:D( Jc3V_hG`t*)9h:րqMK֘tH.ꨵR.w$1;%)Mslc WZ_*5~9#NT6e>iQ[-woo^RKk&PA8,}}D[H9Rzms0mbz~ $ݙRIUwd[}_*¡TӪp [q ʾ$HoyЦ We%{^ U >?1G2+ ԃmL`«c6|ڮV 0'Yn)aY2v;i/i'|ϗ4c.'334gXŊ@9\H;@X)vmmՋ@* #7Mӷ.T%-0FXG2Bׅr;Ir{M>NrIL3 M{?+Q,xf91ѝD xYKec.,$߳ h)X=RiWV*8ZwKĞ_'P!.8Ŵխ❖-:V<$/l.==u;;84M2зgUЇW5„%1[wt؁m?Ҷ}{$plh)Dzlnan'xعXQ/0 x>M%$CFmo<ʩ 0WQ;LAӣ! T @M JLZJ wFo] 6Vڑ 2;~d2ȴ'iil\l1N> RBpC;'k pz nhfgYZ7zXZִF! <]ŗXi%s y;BP,Y) 0a`)2>ن"3#a_sۮ. |4V6u!RQ/yoTnTQA#)hh*v8k+MRyL| ژu&Y`>As+zM9-C`4}rg!״ט`S\K^fcmƌ緒M6L(M=ZWq68O7Ik6WNo<ef$d#kZ X) &-*T|"!2^5yʣ;pv y/!|W8  b8H'N# _U,4={d%vm>-z*L ta3(\bdW*QMlmg;ĝPw9Tǫ0aM\ # { ^V47UnqwQ“}YKŶפƙمIx;@*/1[EP8B~L5$O *W@;òʹK0LM,` e.wY  jrTrnh" аWz 4lb?D 8/0W#UL@s+Nk{e#R8>rR;ci0}Ѥ9C6o&ޙ/ i ;04?׏=--cc)-ke{},*Y4lDDшfs'/c)~'AOR됺b/Xג]6Co_usJu: AZyoXW;m+ EF4ԩu&4 U ݗKZqg٭)} ۏ đg:tsj4I9mBA49iz :y+gYZ130c62267c36595c771455c628363bef83ce158a 2d425374293817c0f5c8aae2583cbd1a9d912652 401dd92efb5244f5edcaae443f036d506678c6aa 41dcceccc454453ec360c0648a247f59c6dd66ef 465af62e0df5b0e0886c74e4c110b8aeaf7c4ffb 4910a6f20ff6d2e6c834b311ddcd11cb24882497 49191f76ecf79f5b0cfe302134aa158d050b93d5 5bb14fc07e432e8f427472f2e11403eee80f1521 6915053a56e94930b56e25f02bdaa7281a2bb84e 70bccdbf14087b72b4576a70dfdfe98082a6a737 7c3a435329350c0819da6e8e55801e4e4c34f697 a07a7d62bbc52cc96d889203252f50a2e6acd012 a82827ea67bb16e8dc111b541abbd7b84b287177 c2e0535779c64a2d8b2fa85bc4e8433a4cbf7771 d6b5ec5173931819e5dd1665281932bf4d9467c7 e52c459ce5f24b417f9aa59a845221224a59b2b1 e724a1825618d2a892264579415808d9d4c6ecdb f2bbc43d9569a3faffc19104b531fc38a202e80b9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 db373ad9737e7b75a4359ddd680df2be1b0a5b35   Optics