SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 6t| ]I]CryptHOL:threads=2elapsed=157.595cpu=283.696gc=15.200factor=1.807zXZִF! \ ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DN𑢂|;C$3F5U7&}>Z>ߋ'ȑm><}kZ]EA'w~-J=١3,#xczEsMml{EZ;Z>@|9N6Q L0ًԵG;o"xN,sY-?[ٚH5$$ xg?tY"3AAA@G²$Eq"Z6+l~}4XDt؜m{1_CXy)4b5'z/>7Kzd(TJPFg}j Z8GtColY'mN)_a%<,23 !'}8ƻu4Y,N%KHݝh$v# q 2;Y - Pz7R;n"nMɦ Lׁ'_i, .+LIj;UogZ֜:ZGթʴ9w5kLc0yLx(f78M luuvG+KJR˓[{ԄM5\* z-T-%F:B à>oU6J#u.lB97e1.T{Ӗ~,I1/ o9~v6X?z|l/|`r0$`lB,NL([ń-wQ k}ݱsʋ".n7I8V40zڌߺћqn)ܮa|bT\N>Ak"RspbN"̉g g,͗En. _]z(CfA$_k44p)5$jd^&ɆX|FG2GćxNb?" ]3C,Z+6CBvDBv0c)ԓhp)Xqi<%.Я(qW)+&\9zIۉ7b֒Y7Ρ؝pM>oxf[#1ּNK2Mop>6et0u냯{e*ư;[;F$Y %BcbWh'ۨV!T3rU$x*huY5Rn١Pqh-ٲ̷Aﴝ#Ir6={L\V%%S|fVnBN4%C4O~EZ%1U=q0ۄPѪi8vLo@S%xwޱJA$%h:<4GQ{ qW?Wqd]mصQX(/vf=,wǺEӯ=JE4oʱ"a-g0Ǯ=wUep4á+l" E(, danhϢ⺌kqhTQCHr΃.-yw , ]tx j_Af5Phs64&fX7@ ZQ,Ngu>)|?T]Xǔ[?}cY51µ9F5_{89K..O,q zi` `)~j/ΕzNAwV5m;4i/6I9qR0A)b{oCN"Q4 qhItp]i'3M?;gh<Lٌ/M[e߹IQj.pP`#,-HNu/Koxhm42Qd2 ߍLN0ڍjT<+_(ТFNPG<~`㓛̑HJ   CryptHOLm޶J5ya3~߬3*kţRխFkγ @qd48 krOb6и.ccҏK G `4y+uAi%6;[fZVKf}Zt3pn,XmONeI١1J|NuY.f{@5mӅ~[Y%dETQ.yp826N3Zhb.-3cZ7'ˮ艸"(Ռ-ᚗ`[3`g1MbDN]O@ǬܖD9-lg{fdt<)YQ Og뜷 /Oh `6ncTy2+ZJ|{/Dx|d`əLݔlegYZ7zXZִF! !]ŗXi%6bysO۳2j#,$kG;G^XjCtmm a( (e:kLL?v=8cP_N,FnKlL "6d w.ule?fz,I>M%&yZl!4> %ފ}j[@P Ճk$[=qj㮩qi^\pn<3Rv~#*@+Cِ6o]dvڠ|&< =81 \-AO& 7YS _54{ Q9c #=ׯRZtT|k!>;h=zѼWC֪r8jFMQ҉mS؋@lh5f43R8R!`Q2M" 88ڶ H=Fpƅ*ίE9$~Ms^eHsq>?c,̲Ȁ}"i7߬T DsKEq:%Bls @iNlrD}`% )΂4A7l%Ÿ qM{L|[h頪Wf/A I1)_H8\` 9Gj}lj *1-xG[@ [BSOR M&ED&OG1}7Eb[Ogd׭ 7QZOтssޮomHP=f "7x|Oz6@'b BUvB@3lY;[h1aR(]ͽA7@j0\xcGnIj*bB YpQlAn#eFt tuE0%]#%]"7}¶yr>78>{ P~G,Ppmyx;At=JIX OuȚy 3cN):2Ǝ=EViY%^Bn6~,#5#t]é_ܴ a@7AGmWdX;Zd~۸\K Q{xǴ"-e^O}0dpxzvptS\،⅍t =6O[Y8α7R)-HDh۳v$<]}Z;M&3sg}>:|IzU"*P{{Oxy|(%B+O)_@tQtG?aJ]cW3 ?'gHs>?6~Ou>] Im AtgZ jXI!/DnģyzFOccSDC6νZ9vZ悓܍ֵwԾO&Ȋm?Ҝ +-]A.sT$g"$G\`'8n +!?Td"L8$Q̛s0CY33+.ˍu OI$XaEJ)kvqVZxw&O2]BSaՖ56\ID@`Vtlܦ uz pX{ޥc8jt |+C=SnD{#4FmL&<(8h6 WrQgq L=hPu(A5oQsp.$\aWs{2̇/"No;%)LËy2`ܤaʹjb``1f_A-ChĖw}k_ۑzpʘqPDdسa^wXAx`oNj܁آv XJ9Ow׀S5YSy5N7q7lF hixi@3nr.;ݚEAkH*p?F{^D~l()b'$:5"ƫM{ Xyc i,J=.c;1EKMDž8j31?Mͨ/^3@a܈( JnﹽBu9 {r5F! :,-l,=R 9f3Bס Sgd5m\I[FTw'%NzOO:Su5} O:o^ -(&=kD& E !Y깍y*֐[!@;hqO@ Ĭ:n_5-Ue9?יO`LU x$OL$koYLxSfF{ӕU0 Je Sꬣl`sNjn%gUd]`Lt,' 9or^`ȖE;A@4|YpV*xgV;APߕ)!nKu+S#@񦰿9W@E6ݿU%@@p%ǹx#Z)U^qQ,ĴNcYW3iN5,]$;Q ք"3S4[lVdl0-Px\q?{՘P~@jBž`h]>e 䯇󢗜Qn9D}x}tފձt\DG|񁻓*v'Y&U[+C8l06Y?mgoq|,.j& Hhy粶})i䍬ɠ 4/𶅖!XD5C=e}bڸ ZRB=`Ts-}Vpv 狕Ry;|5x sM0^&zk )oi%fJ/E;UF1&GtaOWyЂjqwV_]>FluD*l#Լ;ւ *?3ߌ44P1seUvxNNP^OnBiuA{I7kd%lG_hyJ)Jv噉XKj\.;(d=eu@.9:rs f9uP3ls gF-@laH֌ ];:昜fu뛡-̪u cIc]zB$?^taXyVx.czLXx/{J&`,֓MZHorʳtP5nV*'6V{ĄQw} @܌fY 17) U[V V: ebuy<\`55\~o&̼4L73)LHY `⣦h_Ȇ驵/妡'Lif~R<^cX+t RGZfO:բ!=qʖ wC/um ,.\Ecy ̓!!SPS E:bk$ [L`?xgE7tvhD?`YQ߇!6 { rܬk 5ƹ7q];(ՑU7GSe,nBjQ\O;O³AЮ_YCa]lr]a "뗊 CmY V^B)P3Ts3뚓[ U+ݻrI^uMa0 Lh˚l[W7NEG/9S&T Nst݄k/WatS0 QuC/)c@CY^,`ݗ8cAr\؄BYbU% dMbͽX9eK.X_3) |e3@#q#IFnw!H2[<$J1ٶ&}6. xoШFrTt~+g\4HU :ΡsԻ8gl:y7ZvX3J}8WP.YefpZ܊r ,I{1&H?X7A[; /ʭ1^c4S @av=Un%)?yTL˷hG`K ~4ӍckJQ4 dsJer`fk:rg _DHOQGbw֧\CF xk%#1hAСeqֺ q'^*֘Jtif T i3=܇ ;̆*$ZoDnϘ0jgJqUF11t<ݯd!rM}'ƃ1C2lIv7RKDEC