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   [/ 4l ]/ Dict_Construction:threads=4elapsed=53.901cpu=99.152gc=7.032factor=1.847zXZִF! u]ŗXf[&,Xr–wy\TtVqCQ-.ˏ,cx^- Gf :tSJƇUU(W$>kr y<(0WZUض>Zs(4ӼσuVxlͫ|vnﲠ7yQ`=v!M'IO1]og>8 7IW螋w݆ͥګ~*6%0h~MX.Ԯ0䆥i,_SK:,WY 9՗ͭ: 1o$ŕy1[`;ΎUKhݯT ;/ }:s޹EZRMB4$b|Q9YG&fHoV9ȄEAxpbU޹W gnz͹i<g~yהk^ p> DS  Fy{⩳h[\0A9" ܎E)w&?^7雋q[/7~9L,{eUɤ{o#zH-tƑuaRjK̤|7vlI\4%f{i %_(8?tAwi{Uo>'@ z̊U gz.S2w9HCerqKpkجМt9{RIUL{>u} z7bPsxf/oѳU kPbtgKuXpKC/;m< CTa9 d+AlSU.x?F8u4)&YZE ْjY߈{^ /CT|ˍ`×տ6 ѱgYZ7zXZִF! w]ŗXiɟ*#; )zhWfLpDl VqlږYW~GzXM gN"2 [ Uv=1vJ]$vׂFZ_fGT2~%2d:#1mJOYt@3wHT>Mn4 3!Dǖ0Db[vw\8#2 _-%27Jr@Fl_cj *)c^Lb}d=ւīMѴɵt/ԕE)hKԔ??b/d\\lEozŒVޭxx#1ܗ ,er;G(P6Z Ǹ;Rk/?]4Y&/`ϻHZ2QȜ?5$Mq?[o8_jSWڃ;nz|(tsEeOvPk# eb7u;cʼn8އF0% s)0l6G fb&ZMM[ms*M]fU^- 3͚Aw%o1\9VT@!DIȰ%>cXW/|qoSɂ:t'fcu>7@hǑޱgYZ O/]/ Dict_ConstructionDict_Construction.Test_Dict_ConstructionGenerated_Code.MLynX,f3yܡ ىƑǛ2 qYВ~48xE ы4gYZ7zXZִF! <]ŗXi%B 㗸C JZ9K5gDPvÊ|xDlDKQUN%IsmC{J2u1/W{tph6x7Hd\N˕:_4/5B6[ND)N\܀͍yȍ|Wũ2.H']MגnT< ZtdX?hGX]q!j! 誂Ź4, -՘AtsqT|N@ ELɛS$q"7aڄZ _΍QB+Z i)S5D"_P R$ l4 :|}> ' Ga#2E0YSUdoIQ5Oc`9/e>ql={(GOvs}h /A;F`hkNiSBA1_!L3pʌ%DԋF@j^ 7o*路ǖׂQ@*CO*b1:g%}ptb SGthDBL!0z*JS|䥠0rb]´{k#J n8"q?UiZK[ry"OdZE@"?@DM=cԽd^9o1 Ň. okD6~=O 2qY iB#WDC^֒a4l)2\%(Shp~VOpa c46dU'\bvcE@,ہ*Or_5Eyv!BF >k^4|Yȩ>,9Xfw7vO#x`3lZ"HNE7+@-#~:=9B4]7g|-c!і ߫Aek͑{?7Nlo?mzK75t]{Ct./HlEз,f!/n0vd/ /fbxizHS(B8Rk)K0V.LL"FR h\^ד] ur>qh0f>gJ@0V {i UgS|'E/l8Těo(vcE,Mi %Ka1K ";*Vm F'io>unls}ZEɈ L84!Ew!ҕ沌hT#]j `8>\\/|pHk~̸bi%7=Q{euM DV(y"JEk2@(xaSb8n\ Jwrڰ n{RWFVGK H]::L-4DïBz D U%E wQӍJ=z[|рvt^j9~DN[Do?KRR;0b,+j[{v7(Mƚ088c5튟 OU~\iG3n\EUFk-K۷(K=59B?=P0gIqg_mHs]Ev{^}o@>>;`LMQtdE^E ypfw[P!-ّJE`dm,//pJ>uqƑç.$[Z^Tq*AibBK&vA'*CVb!5Ȗˠ\.L4*ORE0#ڑsV 법(-cs6{4M&/%"u_!PLI/EJ2)GuTLu=0%USQ "IqVÑyqQWYd&nlp3fKCק[` ]I:?xc!64qo C.WhXX7y:Ar^vR8. _һXDC{'-l)oFi ϰFɯ2"^.`*3 pfnmvSܬ}vޜQ)|Q0IQ cfr-K19ŷ^Eۗid_b}@l@4qZ{$R7E`}MCXƖ/3 )ESMx!hA܌/mYW K_jt=uV{D6\6/;HbߢRne6)! hi0֭%R\ĩq&x 1}R  5 vIwAL_(t:|"ڔg &su)Q/䭓׶h7ko^GtWP?_ _9%S-27}[.?pИ yn/bwgYZ82cc3c5796a68d11fa7de173bdaa2cc25ba2cf3fc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a