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   d/\|\ ]/ Dict_Construction:threads=4elapsed=46.364cpu=89.676gc=12.116factor=1.937zXZִF! ]ŗXf[&Cݬ[mpsv:.$CL_IqL=q`Iч ZLY> }WO.ܧe^/]r)3wLT_Qa Bt^x'R%Cu*iCD*k~1x LƳnK#~ x>&Q$ey݉Dءd&0CϠ`:I ^JQڱFtȥ]b%NpTI9ϒך? a2*U5$$fG'Si~~e!E{A|Q?2dv}k6=wɑqS5ZJcLX?;G\*TO) L* u!AN"rI`([zJfL"څTW.Y¡kdhhS ~]0XEWOWeScNWx ߰@ݬ}~LS9[>-,K)h'l?~.L{Dryrxl7gYZ7zXZִF! x]ŗXiɟ*#; )zhWfLpDl VqlږY{dfbӣԟPjȡQX.UE)XG7VBTiHoYvݬ / Dict_Construction  i i/]+ Dict_ConstructionDict_Construction.Test_Dict_Constructioncode/export1.ML7zXZִF! ]9 ! kH0 ŰWn,$[ȱM12h/?]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 M/]+ Dict_ConstructionDict_Construction.Test_Dict_Constructioncode/export1.MLk<мWQ;Yv`%d*E|Ӿ44\cT%\>ZJBƝwwVq9g e:(b:(qS!OᏋV?*;)Mb _\(@v2#FNu1{@RP v81s##H ci#n3m˛}R'_OH,Q~pn$ܖ%&t9/˯Diz)Ԗ G%E ,gYZ7zXZִF! ]ŗXi%L Rr%U>LuuFXd0;͚DLx=CeK8I`8B+I5\I< x :@jO0@,iErѓᙛu .t'ঁUEZ擙n)㶥GC')-VZlExn[I^(ֱv+1n,y|%*χxW/mA@C#lpx3w(J`P1y45]x_[|=bzܑ鏅BD6 S=y`{_`DJ'[5n_~ ^ncŧhRڡ _A{S?qs]L  ~Q(Dz5p%ؤkoC}Y{"|"#|Y~!_aH-Z!ZفΊ/%qM v|Te@?`'" Q~6v7sm>+}I5ud"Q{U?/fRM7YM]L4lvRW;+M!vmr7#w[Wm0Q<;I7j3չՆWֻ-kqB` qZmgmzPY)DT2&:Dζ0Mx"4CizZm M7ְ)jN0\qD9X3jB;(zZW8A #J)nJ✓Lt,8<Ď(P.٭F诧5 ZT)9iyjΆJ6KzQ5@&Kzy*>\*KaI{0Q!NT!꾗 g =nC(9NC*Y! /Lɺmj@o ݰ'r WJo??PNpqZh=ɰm9W;xb.CF̅۱j..[)9>kqU2,yO-%no,sskȥ+Mn_b/X %$n8E!Q< '6 P& D/,yЎU/PMb Y谀g[l+:mb/xC,3A V-J2A5f38c~"ȥiaB[,DOGogyࢸ611׷xN\Gg̩VT6 ;ly^زXxv9;8o@wwQw_dSYdD%"i^}f,[(Ht\|d']iHf^Nj&wJsƈ]2?Bm+gM?y׏'ԑ3 !EgmÖ %bx-KnI3Ɣ ] UQ?Ƈ2z@uE0(kV34 ၛՠɝ*k (N^Xw) +g8h q@T|/[|mXM^au0fݻ:9Hh}h'2h*"iiMqݚ8ni)#_ѡ Kk0\uMYQ@6o{1V;G:jtf`l@*XªnND`L=R# YY˸/jf Gy%FЗvi{v2PwGw"zh?ڂ"q _ݭ@ٺf+2qaf福Luf3ꆦLPgVvF "3MPe{{|}%M NlGC6yX+8 W{$PՒ莔 d' 5E_ cL>+Wg.5v+y?o)0*PnVBMx^f|OYA\U`?2*"UV |a~^^G%sAm%V-;P,_&nu3`A:vN&p7 ~;?XKg=ې2?p\PDzJvSm[;o)b9[.U/`#!d{9YF3^ol3~oSNg*y@V2rpNm^J3w!^j< 7Ba-BʯZ B%ߟkH~>).mj%Y2lgٜhk0U7>;؋ ߎ+?z8 D>̠cG- ?^E#)`)]q@1/V!jx;_Rxi]y ssSBO~mK|I(q׫Mìmf "Or9=2g4Q:myaę97}e|H^/;Xց4w{DŪfW {,- vK̹N>>u!&׬CTSAUpIƥ" ?Ep?&.M>:f ~^]T/64=⾒[vu|~_s $"6ņgYZe10955ba1d983966952a3582f81b4307d98e77ebd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20