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 7,D ]/ ComponentDependencies:threads=4elapsed=74.789cpu=209.688gc=8.632factor=2.807zXZִF! IG]ŗXf[&[:0.mʬ38+Ro.fWiqkKbt M-i e%nsFVϾcx%+mEj(hi@wPx;T8Zb! )O6.T=t1^K/Y4ߗDi VUp੓{\j T(z!SE`Ks  SJ?Byt+x{Gts;0c-K<ZnC*Mq[?9F m| >p|3lPaJN8mC"|A%`.16s5`(pHUKViX'mZe ~U϶.Yǭxp>?אwdBNt'UsW ޽MAwŐwoX:@E?8E8$8<{.&> Ut2s mpMP$ߐ֍F_4p0 c\T6+3cc$"6=\ w“T9Yܚ,đG65Y-KN¸5$D3N SmxYC<."4XgYZ7zXZִF! *]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?C^旸"B?r'`S{As2 }9ma l$gںlo0ßsPS•D\դnopn"GQ`Q9Jϝ(JܱH{ .VT"3lbX87~ѭOz5eI|/W]9B.IwG?Q:TLZcT$g+ 6 vrisY#!޳pw>Nn1.MMH}śg-6PgW: Zթ4!JLҁj;l ~HxU@-k,-;f mOݿ9l"R.DEOv>ŖOOOrwy! y.᎛lkZACKH}"ť*oFb I9DݳC. `9x; 2gm疫-aqc]LGJ;{5n B6t]^I%Ts 6X.0ۢ}rЌ?Da RРi[9\6'qo"'pW#iIepZ=,n@p͌.x V2G6o=>客[2mȐꏸ"*N!}i۫i Ihm ڰ!J XJxEcdA4b𤼱,`c zse/*?q'$/6yL?9T A&oJA)o> j`ZJE 9<RHg nY o.nO ǥ|Ux_bw7>0>dKTwN¢ [2\ae¤ f֡LWg;c_ Bp uExeR4Ґ%yRÐCx@lĝ;(6kFOˤe%!SFO J?Ljʝ"/ut90Ц@֗Ɩ9rieXbVpxe<ĿeFz A cM7V*.>A~P rݤ?aj~njZjHA<*h : F^Z*E=݂lXiChV<5tNڧYO>p)Q-_ 7 ComponentDependencies  5dtDV4wBXaOT'erg0H-z*Q$&8tnYFfn!ÓelziEga\EZiT3oP]4 hcY6wڑ'[; ʇE36`cIG0kZ!8FtSA;khM=N; 0tafY7lɩ<JFd\1wIPoނZa<ܑv`xgǿlO ťލ0YFr?S*&W5pPoy!r` -O.5:F-IVzCAI`ScpӣzL݂H-f&:qA >+%]я̭ҫ^b#mov^U.ӣ5H" ,(^l`3E0vL^ 15+sd]!iZzĨJ:63_ KĮOpG _Dɭh^߈>F⥐0NQy[[d@Ϝ ,\5ViOGh C'#Xt ói4z^e: ۃ1J4tpV1ʧbgN1[gݥ 6!/IN)H2-mDpWxD}+PAPo{Q&$<3g9VkDYsU}qmC Ǻz})nj7~htͽf@rp_ }i 6=U@P~o 9K.r-A=-8k%pe.qRnd+#ꆢA :Q̰ԗ_#( ]xzW:0@QocǕc}>U̗`ZI FK)5,\g6`,^؄G""g8 U_;"+# )vJv%BKJٕ Ջɰ;~P{v%2n `%HMq7.Mmùym /7M$=Z*WimqxgkC'fSFݾF`_ǒ7[Y=3o3EwouY φckD-YLy&m.{Rj3@'M$tD.3F*eiy^QR 枅:K1 A󲰈{N5J[.B ëo2Z) <27 %mPWitp|GT;eqx7οz,CrN6tֱޟHpot![nſ (MMБҺ1x}~!G~K_ďIor9#1t[1.KA4y[Za޺ۥ8F9:%`:%˪pt,'*e wc,J=ĉO66_0OnF1԰NNOsec;prXLs=_+ggY{Ӑ續 pe1=0vcnɱ+@fqU {+(S~:G$9wZQ)MɭɔhK0HHcqyj!P4t*B jwUuh/h.kQ_(ա1dy<ȋhZ/l>l1