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  u u7$, ]/ ComponentDependencies:threads=4elapsed=64.053cpu=183.456gc=8.044factor=2.867zXZִF!  L]ŗXf[&[:0.mʬ38+Ro.fWiqkKbt M-i e%nsFHY~)H#ۘDם܄T4g Q7x@'Y8׭z#'s~"|yf뫗m]")+IatY1^ wWa4$-?Ri簳/JNJнa6ՐlO+tZGkl_m?a4&3Y{q#wrq;֜R|͆ 戰;9G^/-Yd8+J,ED19ڌY*Qy֊RxSA֗y6$6¼nV{ e JN&7yK'&_uN5onHh^RaɻDle}`YU #.S2}3Pn2zy.4- OtAYl. 5'x//;f/ ccGiap4{NQ"I|5,ThTJ6Qތ5ӥY:۬3&B2nJkɤd×.Rhڪ n>muB1O4*51|ea36<ƓM7OgQ0ʚ,'?@X4UGJk\!cu Z ךztBO{x4TAJ/N _ ?'L,rab8fh|V=83ݥ|,k4 ) j| XTY$);bz_ QyM(j>m. Qh+6uYWevyxޘH0o5ЏZA>Tz뷊UJ.;hO6Y0d]r('׻B.MynW*x4_}kBbVtx=qtAwo¼n:p?y-Hf˵tJvFeÓ!V* ӓThcpu´Wa4 \PN _t߷g ם.rohgAĩM1TMw.G#B㚎{tOݫB@-zمV]M>Mr-E@aTƼ8,LXbJt8MN4G5Ò_VMH\PW)/%]t{'*sYoAb9pS߳[N < ۔Pt%W?춒,LFKߢx qݭ6%cqqCrӞ|٘SC>xX|HćBL[>97*cReGMGқ;9uGR4fچoSJו?ـ U[&rF8c:i `V +G0ሦ5A~G!}]l /V[wpKjo/ˢ0 )@ٮ4d/"M̯X޽byǀy\[.^jGcKEp$McT\qjlj&1Ц44TZAW]\fK.8'D ;@fR<|VnJHk.S(ӾM8蒎('=?iYȭ{&`7y'.}:9SӚ ?"/hlBx 3߀v 2Pg hfE,w_!{"G{Za"8^6*6WF=ȒEac_y ƥby*朁m.nvA Vgnʷ]קp2Cu.Q^)@}nk[sa5DuGf+ k1RW$q':4p83 cfFlEg;ݎ=Q3EbDgd1W3x*cVӤHWqSReõtu9!NPpjxW #iz *.( \8ёQ`N:%Ǖ.M2t|+TtmT` =b7ܮ4iٶUUw}7Ckz|c\UF~{Ĕ9y%bjzdo%\})4g:ً+թClh:^«^G3޾ߜ#V@1t(W"Eӧl@FvL:K!#Y> $V& Dl S]t:5 8I Bxp苁'qI$)$Et֡.hۨۉG&cr3QdO' AM!L~a'"k3,iX:EpgFcQBC|W;*7CPu}9-D@#=m]@N0 jH'}M@ӾsSWz[Di$'tGW ZIe5;0aBOM.ٞ '9AmfI^-ې6D~oRs ƅkˍePOIsK̪Rv7OlwܞO+?z;Yq~=UX*c)/4ei.;Hn$g%WtCW~#4GkG Ҫet彽N qYG{aԌk=F};bӤy5m@vJ CσU. tA-[O؍+% bO\[\ר8̹I0+ /}p# 37lސGM薇@{U1OD&RR5f\ uw`2:  `u)S>.jk~;l;h`h(a,3A>v](w1ҡȯq;$:宥$s."j{ә0M)31􊪘;O}^BDbLHm??2M&gLq0jv9i9ɮJME-8o5K"֫G|3r8NsLJ:J !5pgBFY0>n!S[nCIKA7[j@|sb R,$5JeZiQ{ͣ'ۍ4>"{%=ҼkU0CyTK*z^D^K ̒3.fl"[|`ذ'ҨI^0w%4kxGBn$f/p 'm2qHiZ$W>.ZP:u,JS1 OgYZ4e003f711c38851a866641ff388d78e54c1b70799cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d