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 NN// d \ ]/ Dict_Construction:threads=2elapsed=48.323cpu=65.184gc=4.704factor=1.357zXZִF! Y]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=tWL!WKuֆ}ӒpQAIp{!©Vvsk8<{gr7KUs a T&m3x5 ȡ5`{'WŋGkLbwt/iS:V R؆Xm!Hb D $_P,Ώijƒo.sB%εS xw.4> _-ѷ_%NLmA㥕e#c&Bh0qtlvvoFIQ1 M auDCZ=}9_N资&!ChKiM7('l\_ r7AFㇹM˄q_83 ۘpmh_;ZM߯0wj(q]&QۨL$׆vFX!!_Jmj> tJ f^WX06b(~??~p>nn8DBA]ֈX,DrEg.V2IG Q>!1Q\1kPVPڅ4a|ܒ{E,BeTE1*aN6gYZ7zXZִF! ~]ŗXiɟ*#; )zhWfLpDl VqlږYqYs҈2%1 i֋.BcQ)ŏ}ځ])S\L\zڐ :r\AATkҥ q:7E;?xT!fZsI ˳ba 8DXZ\\4R0u9-^a;J*b6gV-*Kk2ьP&DܼN-nz":nFd VU9\8!h[4!K&w18r^ͦǕ.$rJq2lﵪ+7M5K0I2ɘMx07͘-Iwx( }dgYZ7zXZִF! k ]ŗXi%>go?)ӡsļqcMU)Uq'6Hs`bnN[? d)ИvI?_'梅h-9P0{:;HϟD%a`zf2nr;G: 1Qts#N:a"`u1EcXl* uS },OR(oI_ޯ&*-& :B\QcH<6zUMҏ+kj5?DdQ ,4&-Vۺx<Z㫌ot-KfoJF@{,ܦZFŜhqF5jiȣu&{*;:g*:lv輜3_ۗ ?qA>$jMWV0ЖՍ>,DFo"xnIX+#C̼fEX>inԺ\U!%-욃j?Z RڔSM>7pCgv0׊Ȥd׽k«&I.Snc3p*Άye$R1)f%F,B ޵*2BjXЅ]ݵWsƮtn~xGr+-VQ)i냐Rd%mE=7.q;џhYНԻ":LK̀X(+>g- Z-+85Cy3uT媲L@]s2Ƚ:;,)l1dI][m^D-Ἥ+'CCð!DS~U&pwH"/S$\k5de7&YF"J-'ۖ.)d@+)C ]s}j1hoq8:puzyS8'YNJAhs fy bVG76o&ԍɐM:ۧ[M "mNUի+/hDݧoH*h*zg\Ɛ+]9MOX[XH֊K?d{z8`L!Y&Ir(n~@S,ӺY>B2HenjMcR9(Q5MuP*\I!Z V6p5Wjh0Ț&.Y8ɮq:-"Æ,FlY;VA fD }nm)<[K(7 sDIX5s꾼Q^cxs&WzØZvUս:xȋ9Sq$RrxYhnHimPdG6;:X reBV*vɟ (b!bkIm/.T>Ʀ:_3 я׎xo%"~4y$q}qªj~ٴVd/;b'Fcs"@8&*u ւ)t0ͳeJU9A[f,w țȷP!ME joV)u.'ymK[ՊǚW$a|YׄS\&۾Td\'aKMdUT&5{0- ?wאҐvT靤ۢpy 8>e4 =G|EJ>qf gcYf X)az8HRk6blPi ٤8Y [N_:ß@3y`%ԭL[y~U֠N7sˊL9.1zX]IP`/D9ו3׽n.?f@G]#hO_NQAO4T\Ԯ -o0o(F@Gl P.Cs?}\[1Z6gYZ872327cd97680103be12569d989932b4c26ad089a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 / Dict_Construction