SQLite format 3@ . BBh77otableisabelle_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 ]/ ComponentDependencies:threads=2elapsed=72.470cpu=138.088gc=6.260factor=1.917zXZִF! ]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyv5HZ +^Rl(H6!h=g ćZoHLcwE@7jvln RqD/f BEnWMxEyc'NZOe8`gYZ7zXZִF! S]ŗXi%9(OsD]3^̦=5*.JaN+Z73;^R'T}Z|\+\hVGb G 7 ComponentDependencies ^O!)o*vFvȶqr( l&Uڏt ϼDZ+P~eǃ>Wr0x_ȻS+ѻi#a#VX̣:~\>::NhLDϝA]%'ƍ!s{rxZcʟ  /IĢnQVr:,#Dk>Ɛf-.e.L m4oLmy%l]5ٚ%@pph]`  eŘW)FX8Tnɷ HLeO J;5z#+.d ͓|ES|- Av7C͕Wx"Nݦ(e 9*y"\X TGfvO|qҐJ_McaodITU" 5Lp_o>@pDG`9ŋyGQ乜_VRjnC?JP`BPD_K45Ƭve fjO͑[ET~l.Qaj/8F,TNcQ`W$̔hhc*p[U3e=M4NK<)̐@%2M_!d}u#lAOpE>*Ox.mKYUL~z<8\Gizq%ĝ| 59$\oth&exf(vP˼SuaA/ѧ&#re4FmkQPm$m[pP* h,] "Ȣ>#DzrDĕJ@5fyW.K~&Z&<*a{!y&R?+ g|+pUK^AjF] I&ua9tGZWdXf^4` e2%&l@Z %wYGV7Ub!Ɇzg#}߆4 IGrAkCIT̲\n;V;t,@Jގq5z_PG͒E wU&H" Ua󎇵 [TeNۚ&z[W:P-p:A~ 8P#OIcE7B|GSP=5g8} ! Ub ޚQqDsN`وhb+bGJ.A/Dk|m! 7m?RzIE%\F*ZLx,`})OL"Cr(qm9'Pd3X `Va'C Ua!MOebQ}ldGae~ Oc ƷhEtRqP(5>1`ɊF?H3ϫhM6u[XH'ApRtey Cyݍ=xb#JQ5c[Dv<`Qc#[tz-0(EǀiI?Π ٠sNFz ߛ(KQ2kELjy XˌdFim4j!OV]^Q4KI}xe.0ķW/8lNd~Ĭ31Y)u֛ɀ`ŰLc<-/@]-4>#'RJ~vb,994Z nw"oRjS+jͬ&=qm@1Xx]D$7i >+Os]~u>G< 2 ջY?ocV0d~5p.ޥ55Dz"D>+/z &]#nf~`W %a1q8yW"VPa; ]dyhd!wŔ)UZ>sr 𭝙E6?˥#BjcSH~ _RN*]^Vd!َ!ZP˥fDSȪx;{:`Tsؒ)ϑFҨ-3?iѯn2'G!L5'g&.Q6ƣ=-l M'gT0cA$Tb8p}z|#*.ZXRl6>0!~P4L*•TwF'n 0e,Lğ]ӿΐքP\a`[BZF8aԛ|VV~Kyhl|3mt?BۭAT2..3=ukѫvz0eG8<(l{͖U8>O vWl* 6-I;@nsfx`R$y~pYC3x̤M,3 O}B5y;?2J_=]7v+854HT|߯> z(ԟP:Q֏F'ь)koztٖQK~l  /3ng#vJ&vO 7ӽ!ftNh^W kzӔR>5V1*9xX (6nS#.086 Ali^atvy;ӎ3\Xi Ϻ6ɹ;!) 8`V.(~rusHFc ypu8d.]/Г>Px#د1=P$}4]|y;L6+@-7RKA?MY̕XjH7f<Οd >L+36VRb4iN ru+yx}V,F@P G BB3F( j&4۟~-/7?I~d,EVUY~1.DJ/x Y2KkҘ+|M/ˈj.:sYo$wxtzRǎ&F$g׈ao2p<&[72M0+;$r#Ͳkq2 FGsIŖ\8<H20)Q .p힂+ifj\V175G?2Pp0(}˃86J&TVu'Uz(M=Ƣ`xEB":}ls(KM á7hwJkE]`FKף&Cfa2Q)(|Ex | 7m聂yc{z't c,n D ˖HVozCb2C1O -~-U)+WwwgH=1pJؐ YTI Қo]Eѽ)j7o)ϛ Pr U`GO^$E^;$dZBR`iJ'HDx>5'ZfDigYZc79b3bda0401b96bb13769800b507064871f5cc93bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e