SQLite format 3@ .0:  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  V V/ Llt ]/ Dict_Construction:threads=4elapsed=41.674cpu=78.476gc=5.404factor=1.887zXZִF! `]ŗXf[&,Xr–wy\TtVqCQ-.ˏ,cx^- Gf :tSJƇUU(W$>k U-Pe9G#I]ׇƃR E')!W1tI!"W#Bl! ;XmIOnur<* &k=Rԋ)ffk,npj]˟gcѤN Y Mw?7y$/ %0ŋv`YMebkkϥnNS=^{BLzIedh%8Y1B<[ڈʪ;? hm˚l]ݭs?${c 65!05 / 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.ML*b1έɽ`|~"~Ah76Jh{EVܚ"T81ST%=P-Pa^0v۞O- lv3ږ!WIc3uX`|C$^ N<[ n72Ggw|5f (eocħw^/w(\MGj/+e[?ZUdM-#!(ySMk|- )v\2{sm(Cf>-K>tPN,r1}t1V?8BXg$}G K,;35gYZ7zXZִF! w]ŗXiɟ*#; )zhWfLpDl VqlږYVg+qC&$KU5t,RTF.ƧQD*׀BSV;MyH({;u׉)R% >^DJV "G(xN/9ёE+/, 0-|gB,ܓrcqvV y7sPB4-xUʘ-yyiLj۾ˁqWQ#Yo8 W3J$%_ˇ-,f5_q:9t ҇ ‡Tʃ6ۮ$,aiD^Y½9:@%E%'nDqT|/hks?4'NJDž*Ykw"]dcV}6s gYZ7zXZִF! 9 ]ŗXi%G>0: 711ʶ|8o2GKI IP+&ZC"~㓬}BGa{>;ï;hA]FqǼ5oG 8ѪI gۯV%uLHv-dj)QLޒ++ J6<+R`ֆI uAzؼj@ *%y=Cyv;@|rt6K z Bm7,Q:mW{kSM~Ä$f3y?ۏ~?gW:oG gIEԇXfC @Y<>gBQzk_UE>p@Eq~I9'npFpX+%VƬN?%8z}ZXPoȤ fhMrGY ט-mY`u* tӇfbqC`0G ҕYWc2 fk+ dui܂Hgv*#Ev!(>І7H7mi^n>A%"Pt{h]xwxKby#uQXp/Kb|hd]tet/+!5_mABօWkU*EƹͬF4'$~5--e^|d7h!D K]$m懊Xc9w)(}0RÅ5|F}T $t q!;hJȭܫ}KԈPF/QBO E|gP5yZqavԓ@a1.PxfT~A2TP l8-$otw6OBn晕 l8+cK/JG+ii; w *vQZԡ7nV4ZԾ3B"gqGf`tLlD7YWA"mFn뮵/Ubpr}y %yw]"E=2G{ё>Ҋ +.* D]ߺwU K "lL"Yd6̤ Ee,F*lAQitZ٢C"JRT60G'%u;fva0Azg 3(=YmVc/RQ@Kގ!Uc䭳o[$^TCԺ??\~3HMo O!ٍ/勒CjY Yfp!N@Ds|uBs\էr4ݔC..3E%,OjHCȺJ(-沒>c!zug*-Rk ce?l\k v1kh&6 jO1@( A];Nl$S; uݰ qSed<6vW߭Mh^qs(ZI#'kb}yF0,Y`֛8H/U4 ^ |ˉnϻ{mD"Y8@X٩vLj܎!E«D&iR/6$vD_wVI>2<ޗS? 9Ll[k4ɓz [J>X=Y/MTPPy4GOW^+~gV ĉba3 C2τ ۔zx9m/>0giąӻ8=q//SޓH(]2A^~RqM3a.am0ej@=s歒M\|D D(dS~SV#M-rwǥy %~]^5*{^{"zp-V%$Z Cr <$4UZGxuFInXHiExNr^u]&ď8Of6BN+"2BNkJZ5aXP jf).E+ͪKlu+栺KکZ`6Ux1}WDrKhP0TEd-`lH;R YT Ԋӆ_#>|uѭ U!lYEld^h[DrhCZ7<18dޝ:Ppߍ YcCE"QLK@geq30(Y<-B3Ɲ^9v@fDXJ􁓱gYZ4fd1bb726dbcb6519b8336db552647fa98af030d4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682