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   vL|| ]S Real_Impl:threads=2elapsed=66.147cpu=109.256gc=2.988factor=1.657zXZִF! .\ ]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=Ҳ]/xz%sy \JT]ύWw:ߏCV{F6+=*Nl>vOF?%^l"yJU%rKIux 2g}U}J'T? >P^Ӎbd3rMc̩So H*.\QWJקZO7!=j_{25 `"NJ l@|k%fi]ۜ#3ݓ~jET:1fgR9ֲ}{'p ( 8^AD _E \,=^e.'SqvUXT/F 1wvfӈ{U7^ ,=D\X#,[=U33Z}N ZӈnmG]U{ai勻S[ y@0B _#Wxݠ}6m`* Tx ^b옹CzCr(8S="e#d|1rc7xoh Cg!rۨI\ʹ?$, tu:D9_eo뭹f!xz|VnJòwjƋQ9?s P+<\ĩ#{)irIݖdVϺ:J$.Em|CJJRieQ4+tyaDx^3Ϭb@ucnL^C`~Mӝuzt$_ג4?|ڗLN|SQƠ{VK"lL*dTZ<]g8f׀;a# uJA`zX[,u.PlU{Fs;{L~qGUba+lL؜ ( |.ÜuT,tM>f:J8Z?-VKm)L`C^A%21nrd!%_\/HBTqog*?Roފ'ѴpakqsDz=Ahw*>^/87SVÕ;h'Ge}bf."u`o8KE=Yf/G5pE   Real_ImplMP@L~>;lUgV $P7!{4^@u@L h9X:ϳ)Ņ$ģ|xm͜fi4Z{~6M% LJr,@qÖD#E }0%hV8i`>@@ 8LW\ H>[-h~n)Ta>] 5ezսPͱgYZ7zXZִF! E ]ŗXi%W~ĕ aƨFjS{~;06yޘʌ.uMaG 2Mqp {1 2gy5mg3 7> Ģ(@UڦT hv6l =BsB5@O<3 %3(|Dq)M^]+#|UiW˓ x avZź_ǡ9_T,Ͷ_ I`ÈXPR>Q*i;粫J,B8;-IJhR8o~'RٛFq֋ui% 4~YΆ_l(*`S+jv_vqCڨUTglcيAGQYMjXH3Vs*(S(t9Cȍp"Ȇ`rA;YO ⿊[F r)2gר:nf뱉R ĒBWf7_F)"!=HѰLNnrtp]\$1Va$!U$EaMႷ/6 ޖC{^SK+=MIm2˚u ًRCH~H:dO?g5b#awXJjJQŷHLt7—HĖN _P*Uh?;2ȴCT]4N ^nIXQP3ApxNUہve0Kёu_J_ <(/ ͝`Jv3S'MvvQ*cJ{tz04; "}ļ.*eS4Sz@ʶߠ{*a}DMK՜l`[]}A 2>]uMS ksr@'Tq% ͬKd B}E3@V!0;#,ɽ="R, m@jR%jK墽+1()GRZsA<~nT_OKj͙ͻup h:d JF_'\E2$~"gGA*z$$ Z/@9`ޤFUlE-@yh#'$r1X0Z=2y54i|,P"L (0qՑ]4Vļ^AԶ1h?݉n8pq߰},2Ce^ qQ& +p~p~ Πj,_1KU"W O~C60CFH7U[򅶓/d2Ɏ|&AY'&j \fK[4PGƺy 8䘹$H*6ZAR2B ec[s^d#ׂ82~RMF\r@;g`>ZpeVԇ<6$FX,pzV F(EҊ$L̬#)5b<>)U~Շ-ߩѕ0LʿfwD -8ԣk)Ya{F0aw}8I #xIC6뇔:mpxy߬څVHŜi<{4/AJ[AeWbP8v A"ے pq WjC0AGv16MV3aգFjԃc |lOv~oE\:QT7AoIk V4o4̔LiN?"Lw'/䟑T> LdsQtE-B,`[*aԝ%HїD>z-OH84>njD  0iWI,YT%U{:pQ˨ۇ-Om+fFo ˏw |LeȐѱf+,{k, "iJP/W|y7^đM/qiµ`u&y9X` \:}7h>٩-Vɋ95L@«xfAJ?h1suuȱo5*@=;€Qs9 d19}loټ7~tbR=is;1~p(fq |!qEA"[YQF , 3'r] 1/+G5_i:>y^P߇L*Y kAy%x4@rdPl!eaô;0= 5X1e&@B%m\}lcM#ׂЀlO\ŷNqXQ煣>7ku7 8θ]"W A؛Ubc"8Oc[.7*wf[EJ^On E}lхp`)򰈆w+UinI| T!I>+3Y6vN%tsucȒh ]ԝB|q\xF Q|K~)4LrI:)JZƍiaבExj~+aK]wĸL\gONP" 5(z/*R$} W n@1dTX΀ 0De#Y5B(SGAoc. ۋBoiuLQOLgUR>uj$Q&[4kD'Q~4"M*ع&N$guKj UH/$w )pqНj@ɣu;ɂaMots PZ1Q|C[n|TiINgYmh=zhotE!K  :cE!:`-J ÞVfp'DZo!k"CYޭj`U2{5[01g:rz'Q4Sw|T^.{X$C_tW*X [ճ)Aveg2ˁ Lvx(9_X