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 bd`;Gؽ8nt*q* .#lw gh,jk᳴O6ҵ C<_ Ձ<`i/.Є<" 5R!s)>/}TXBY4V/w<@AЋ/> Î*@A[.S_bf<: ,iH/ D du0)G`"0?l 긪/ӈ}ڊxvN_EEk4p qX-1 DNtWA3 P<@7$/X (şut7AVN\QR231˳`?效(1>¥ntW5yh!q 1zdM:Nqھ >Ber/no[_,S<2g#aQaP@.VDd 3;_iH|u2O2˙ڶ*@m@MBe4kvѪz{uF}Ud)>qP1L7O];Ð ~w><0r+"~XeT&LXt =V @ 5Naj\f>E〉 GPZs 3 2{M?ߌ&ĮqpXL4-)IBFATqecq. a@~9r IK lg{ >қW ?vn0[z.'Y^f  %DkAi 3xz+0Ut5Ycv/ |:XJ'o."F^d$ևQLŊlUAQr!l[VKT oݍB_O]f ؃2C OO[򐔯V|< ס(B X lbt*icZ)!yw.u)|_\ ?!Ǚ|A!/rũ[ 88vO@>kP?WC1]6)BX!rcP=5b̕ +?UC(pؼۙ?G8 t`uH`~'wdNIO's ;Ax)",8A/nMIYE",~b3] |K,}jcb끂IR:fXXIXݕYe:卄/CRn8̔͛jӰ&()S=DVp29U^Gq|sQS5UμuL˺X5kB?-9螺k8 "Խn" VfQ^[7Te$9{Ғ斧UԼ]ə7=.h|xnjǗӎl`vB<޼ebtZm],[R]vIzi)V\VUD}"Yf̖FŔ!lxgYZ7zXZִF! P]ŗXiɟ1˦r p0+7bOa\ AT=zK'n73\rir PlӘ ~VD[_/ ,6-> >$O`q# j&6ZhvG!V}G&"W|qxϞ/*~ܢi+Tr8J7  Simpl!ce۞3tIy^;মN%:=|ctDE{Z˂ƚCPGSWtn*x Cqx 4|}EVKb:nEBRU<%YoiLp2"# 9+:|hzmyNErP6>add,;+ELl3~f"b;A6sz;$Y"oȴ̠_}2G\(YL#FjEzFC[ij\a;[8뢻XE*5ŷϰMi| AV~zc㔚},lx%j ؋~fHm(( :a Ť͢tCF"}{T* lqy|z lbci-&hs s(ZXiS{$yeUW$FL͚40K&[)3=KVL ŭ/8SgYZ7zXZִF! ]ŗXi%92<%|ďPdW.ƌ hO&' 81~she8?j=[.daL#B3 "_Y(" '3bAW>@ލSM?'B1lݐ NdWl'i[J]I N&ZH*!y{hú_vY4B.Nѭ=s-e/s/'3ō|/ܘPCˣX3'~0M 鲙7ބ(4V/pV>_Z4C@mvGr6Ҟ&-r.Qi Wg7̎Iqz桪nD&e/R5U`@ʪlv u2\rսہ39$_n{Cb@/ Y)⑒oB)'A8*93'?Kj>6V:>}ΰXla 6ӼS= 8 *h$,(fz~UPN%P˨_Fgh ĥ&uD_'yF\2IN%lj#M~[ }Xw) T٢pO!(ـuԺ ]MaZq'[Jಖ [otw$!VfdžXg C kw4J?biFB6J"g̩_C6hniQ0iq'W9靅i#BK?dxsdZ=X%c'/`*gno-HV &7n]ASViH`B:J`s B%ݽ?} (D5ސzuL$xͤfD^zNG_=ٗ>TYҎՈw}uaBz%º=[*?~jǔmөG~Ry]Z9AY qtm 2l8yH–MuꑝJ`5jKtt:.8gN UUrP'_E6-20DRޥuJNx|طP[:V[`ͤ.k46.t02# i.LUz(i sM~lilvAghO1IPq PD^4@$ֳߕiGT,-h0EZbj35RCCU*e?Gg+U _FFbWQ Y\ҵ Po')mG$*f8w[ Xe)d. ٧jqngtM8l<1*]i`T>$.r %-F~ujaN=YxV/h ?7XI=zvNQ,)) P?lzTu^ VAN2{ru>g]i9ZPzߌxʳ:Џ_FBlL1fK&&ՍjQ1TT:M?0^iJAթ/(7sN"n[(e·1p=5Mo?`.^?%m.WçfL`;70K.])] ›<:X ޙv{Tٶ&ɲWx.Zsdv|D FCD#yn22@x-'<05 /{Ͱ.kp™~ZMN ihGu? MR̎'0L=%LSikBˈF QRuK+>(g-TDis8/#VXSz<ۧY 1>]J2Gtra2ӆj XLeWޫ{i$@(!0ި"ʕSùFP 8XrZDWb XrV7)7Ӂa:a~ 鲫09obDҕx%G9mPW  ؀/ 8LHĦ^g<ٿD +%̙&c\{Geٲ%䖋ӱhCŹ<õ;gM+߶(Lۇol%Ǔ&#}y&Šc? #\ ;(E%< m%EО-5<pz >-F̽vAo|ZX Z-I9ang9^~Lbds/5 H;ܘ43@.P%Kzn"K/+XG[r hi~v~9l(dǫ!#r NdFb΅;J!G\5 (BؤY1[:-H^ ZegyOG/}6p}I枔:<kֱ)لr6o|?NBr:8J:7S~0h֦tHͱ>KlڭpH2L #Rw#}JO-a\D5&Iiԛ@KD؈3vl8op,:S*G*Wk:Xq`܉Z5~^yy*oEIM$85נX跩:NjԎ._cLiߺl3s1Pd_=p tQF{ +ֱμ5WKB+hۏ21{SlA8 7I X,MuEw9lhh# @e{ZH㗢 >8%j%AkKaC7lD#/a[ږ֬WKwK,E˜.qfu70KFvW_$ i4%«AZ vRv%5)}  9nTS?liײ`eNj^đ2q.Gw]uo>U"g}%hoEttI[>:'pt[:4E 0;49^-Ԡ^ʩޞPR/&!nW8gBLQ:ڵ4@basV"UCΎ2w-KwV»B窩hѹؖҴo.{?61Rs1"v5{ŐJB$%" bՔ;j9aT^6-&zɁy.ȁm=\ٛLčW`[Vs;Ob4d?"*w<1SXmRE?e:%HDW7'zJQ={w-AG ahi*?~t {%ot _Z4 W5?e4eY%/7 Rz_@Iɼ9C;s)XB"uP%N|sGdkڂԌd2ڻ7̕;a?WBW9,o/ 14Jz&)Up 9O#˗<w (X*J=m` +M1 U*0.d">f*#A f8BJI옽 a6qF ZKz0-R7oѡ~?E©I<&='lzߦJ9+Hq;熈VT*L 3{UXO4 %y~91ɸעP|]$l‘_юRy'9dWlA6~ aZ1Jh]pu2ja1q >Wp1z`m?cnAbrXU3OyY֩ }&@lȠPX'ݿwX ]P7VyrIQ SDܯWWX؞wEML"JxAu}lyݷnF*EUR` 2=oK-i/3ȔrZeC')j0ˮѹ07r tl67@gNe<`|̥͢TxִQWA<*-o} GmQi3N v:^`YRb7< 7sžj/DUS>Y>\(fCLvC]Z^5r0vDҐJ T, gWZ[6TvTWEE{ +1/Ph/JQ}@ݾp _ѾoR+\jn?IDZ^QOe둖 ثQ6ö7' $:{ |q16{W,PQzGR䳉W6 Gxq7yC]Gf"}.Wқe؊[HTUw;8F KIb*9CX\ 2S$;6Bov\`~Q&ZB燆/ {m=HǤVAn@ґEzaYĎv|x.ʃ̍]!'p dF:F6WFr$!z~{^^@U`k &wG!X]j@*0@G^DŽ{Y}SЉ#)HȈu;.Gg6;BwfL6p +}*[wdͅ`7Њ_J,lXRwmQ [E TǏimj *:y9-ȏ1 k$'Rt g2Ckz?qAɋI 8?DAl8 Zu ="]57t%TxONd RR[=)MCm)*v8E-gzl,bwH.ס3gc4 jTUr&׫@,kWg#Q1L1' ݑѭq<y:B]财DGS/8Լ &YydR]M-IktO)ԝ~fgl&h7V@J)* C}ѼgJ{*>n2 ڹo*@r?MMJ%vdE3ݭ^(bvFF@ȇZ9C<~c[>m?u[vk@lp+ hI%ijcӜrM.LxJSc7X^gP/X=N 1RޓFP8O:ЎX+q0S= nW̆r؄= Ppdw* Ȋ* LW D'Şsț*Ñjh*!m}$]Hw^ÈaVg-1afo*,{5AX%B,jƒ‚6m8 B3YjhuvjtYqYurS;\dl^LG)zJ#>Pw;D84_t /<уי*!HpޛMo՛^¯h;'F qejz'(UsGQQs:QCy/iNFy4*<} j)Y'x}\-lKX!ZλMm(ff[4"TgoӫZ\vT->cϳsVvZ7 w䜗PŠoiݩ[x8ׂJLOE`+<|:1T4aR- & b$ &>Rv墬VY476onKM|'TPl^-}5@PkDVWL: ӻgYZa80856f588e3049f6f6a3a2691a4d0cfc5d844acbc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77efd77a90e83647b3478b9629d57b7d71daaf3d21