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  . .G T4 ]S]LEM:threads=2elapsed=47.993cpu=93.452gc=9.568factor=1.957zXZִF! 9]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnƒNa!p6n?L*$ Lep[OpnSwQJ^j!frgz4ZJ滛b8{⋈as-G_d¼03'lWub}F]D+mQg2RoAL-/ ݛR/ L(_bo[[񉶽 X6>p݀a9i#bS%!Tޛ]uxp~Aeɑш50,Ie3N:Nj ·OS5*[7%_oyFDʗ?n\'+T~zU^x= )Y8v 3[ՙ2vf ;q}r'CSki'7lE-O?dsBh| "R^+ ^TF!8h'@rlڌ(DžR/!? UXܗ U?2 EX7{_dیj:Sh1 zUJFI6񗷹VHxރQٝGecҷtZH y 'آ3^:E{ePsC#+K/H,RhKi 9)Gt;lEA{ ~|d '"b}QHEw8LF{9 0K 6Ld1؃ha)ʄuI^!DzJM7F(7`HeBYPUOCIQblB?p8>rC7$() y'vNS~5)G18n,`t5f:_qI0k#ӑ}ڇ9Rȝh1AnN3Ѭ("ZyqᶔQx^"W ܹ-|Be//ݧWm%I(CugP͡]_SpQr*Q@P}Ů~:b.Ӣ”oUVȊ́p(+Sg,*b9ew/NT|abKku !XM4i"B9VsKǤ!vrma7-;4$L{4\m/)+>MЪ$TMkGD;Fh2\/KFWXSbX}d@ô§v KR~ǁ ? ֘L%p}z6L5n  LEM  ٺe>Z$P<Đt&1h$p~ΤR,px$J>"L/Qu+3by<_.ߐ{r Ͷ{`=t5k쪣W sgYZ7zXZִF! R]ŗXiɟ1˦r?p^v3HFH0;(sjٶx,^%c7 AL*XBcA\}%&.8v3Ak Zoj[RJpp8˘`W濡cvhAj1>\Z>#,gOGЖV 4%bBxYPkKV<+>?.VöiW9;a-`Y*V8O|o3w(jڮ\7!?bGƙ_%=U1j$3FGP`ۈ5%4ᰏ{+s%ItQ.P@<崸!4~Ϸk 1ΡAћ"}DiuM(+U/*F0vtLHD1S_M:q ! ϞcgeVVvcsngYZ7zXZִF! y ]ŗXi%;ͨ0ׇg idCL@—weY[[KqO^>e̮ @;p6s5|T a> ~c)7YEkeF^T w4{/~攭 /Z|TJOC#ƚE!풽 %c :BTF/Mj1Q]Y-|D_TtyoϘzK?Z#Χt_fw-uu>ׅG M#Y]0y([{푵kLLYVq2nM1Aê[ wu?/ cvd@;Urk=RD%% OHR rG_9S, gy'=B4y17QО.mrᨱl,o83/H`_ wan!\;AMǖ IIKpq;$wcXѨXoY K /} +&6i'rWLbIE|nAl̸PA>RLpʖomς;(6"Mp0>>r>܋ HW4ivdF:'lCb dϪiĸGS<&*4;=+9oQ~h7Ȯ㈱Hl=O>/M[seo4-|KA8Zm&MRxfA?g7qB2)=<=哕):ŕ׬L+w==Y .3$ ٘psYF-W yKp$.붠53Y7f>{"D3 %@:87=Ud*Ȩ#ʼ:݈?T7)JhJ"TRn?6-ߩXb2X–0r8QnJ2ѵot"9G"Mߑ[6Q5 L -[~].~~!8$ҡveЗ̃a+ vLC-ge4f tɯoASMzCnJ?{~(z>[ HՋ $`Sܵ^ZƎt|"ꖝkK._{QxTʜ5 {4@Q /5 oΡ/i!)wR9h6MvlDhzօPfg\",#p*\f\l|ds?\sFGWUCXbnNHsż ? 6Hx@u^ : wo9S;=3 Qtw am"V@Z˥ٜA6v'y:_i=y>SV {|(w8&R@[d r|0_5C.ohbIw2P͈5LO>-"~͉KS+C&eN;BH>ft=԰c8自~k|fB\`by'o v P{cADOZxV;ߔXN6?/.[XM>zԵ,>Y;J\H?l"ГH? %0mn7#檐˨[q3t)9}PzTr)Wy/,ߣdM)d|U݃bAI3s\ $r~&_!>tì{9$SZ^ȣ5,(zۍTPD9m|19| LeW!1EWVrõ~92k{F nh&)gh;oJŤDå5뙺>Rr'-JMx^Ud쩙idNI킎;Z:@*nwVdmaTO2q)$Z 4NE:byB#Crз]D @ib>UBJHjږ)/ʡ{"O6r<د' YLIg (|=zɥf GNG;ìCI )5s2d$u3 C5)MƏEH^nkD V(4n{15??`&Z A伂q/D"륎{/1qPɱ-u&:BXXsn#\M؟+-RvB'0 *4gm);T]% -Xo/ʋ]LOKz"+|^^Zu@6{d.VA]JyvJN/