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  M M(4,L ]]Word_Lib:threads=2elapsed=70.104cpu=137.620gc=4.096factor=1.967zXZִF! _Q]ŗXf1-/6vR[@W /9% ojIV\|Ͼy& `.FP1/RAIƠdDޕYId>3   gϓNS x{m!BvFؒ:U_fZ|)y4oYuu_C,)1۫#AL&H !'04ABJ{pňHûEX|$Φ5+}NTZ8adžâB/F1H 1  ~ [nFc8o{LyB&Nb\1:%IMܿbP1Y?q]rmeۻxC8/&GVįv %063ٷ⯤?a^@yif9}Uʭ4:_LgYZ7zXZִF! sN]ŗXiɟϨ:}(lZnFpvp*@E~I--4AGtѐgj_g$zv(]Ս~3d2QD: 5!ackUxaHNJT@d,͎ZTpzvZ*qq2fws|źq/ҷJ] ri80N;A* o_Nw/5O3%:,#|J%4mؚ̈5}7pMĽ~/ots๪3A#/v>U|  gYZ7zXZִF! _]ŗXi%>g)-Y\WHd3vq + ')>bF45Yp*aF:[1JLıS1D6 Y$0 v V/Tq]o*WW5B;BA`"wPq.5D@\7< (?TP1!a&YGbu4nZ.֌WG'F^%Ͽ qyY/3y i@Aʵ   Word_Lib  ~2ƪ‚DX.aqUQ# ׇK{Ɉ 6V<|{ a=Ҳ3M`0Ā )CɣWV~:Zv,_5 kYOe9}Rȴ{Yr@rYx؄ YUץE O:’R˸NAgaw|-84PPlA=KfaGzoZw6L ú 'V.l*U[DϝQq4s4@W#IQ2'PnZTŭ8*kf^*Iw(ޅzbX5IURa0 (gU]? UإKΆBK/Wv>*ԗ*32w4GpĂu= `MVUoKtG~縬꓈0gA|e1b;Pg ]AdM ڝ=[Fzu2kǠ+զJ}@dYQ 4tDY7\u^ 4c '4^&.ʩ2li2w7Cr8y/e:wZ[>3"" aq7!AkX<$'p~]%ֆ+ ]IwI.HW G(1V޷ ?'ۻ M͑Pw-{N]CZ| kCB.ؚRG9<냛 82/=(|pfM Yt.}`/{qY]g QJjUCڛ2E|ē3 >ÆsSfʵP*mn֒vPᆇ/L\|gn1ZtH%s,~S1~8~{^PEw %} gˬ#1T묯0"G53(~Gogd)7mٶ(K0 0jw~u:lWn[/蹙n@o LEM zSeO8lCA4/ɀPk]!C`;,3Lo"))4D5.O6I4ҬZ,12C{@pg}߁+0'r?Gn{LdիfA dkzrIpXt{ wܥCbPuL&wE1eYSPF_׏1DVQ:z*W-Z]-i>/ߧ) o/̂@ҝQ نEa8;?ru^nB{u'7Jpgyb[#+0B Z临%@/(3*g*ualMڃtL*clgDRqo/t NIPkX2r!C8ji>eb\1u,X~ߓ_԰1ֈ|kPf7~ނ̜p>͹(:c$! a<ʯXwĦm GH6?Lʀ)% k9"H&J/<m8k5WM@w` &k;ZݤYml8ΰ?; u0ƳN'>rOPSwאH@YPNe rU(2G=ZgK$e|n h45i:KcFw 8G_ "4mmzUN,&&.:7NƄhpG[cЌ6Q:Iz"vF B;F>ЭL8nL>)_156Ӵ$"DC`Dޠ<^B' ~YU!ro4rD0 K~S7TA(qD E.]hvE{;z3KP)W+KDd@^]ȰP bg5 1S*;ʆ4`?t?7,ЋlZ *UrMsj }Wês2wF|V ެ(YKx<;vk0u m*HMQ(vͫ\k u3u<-R_Z2