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 b# L4 % VectorSpace:threads=2elapsed=52.865cpu=97.180gc=4.444factor=1.847zXZִF! ௛ ]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##TljuU<! XQlۓNjg@&L`:6KB| 1,hAUt&^Rm3ejg$Isܻ6Jda8L|$#dy% ̴|w&\4uvÞ{^1_b%xKzhe^##.E3 aZ!&2Ye (>s`k}4-oܳʝ6Pƹ"#P<[Uoe_ :c3JXD#k;.0P@z ٛ碊|lmZ oWG#9ghB2ґF ,?+ȲڴJY#ސKn~{C9%]@m]df/lUXq .Q;|Lf1hύqې$<>v,B4J@WO f g [^ekU=Dۻ#o\bYz X]^dߺ)j'8Po"MZdbzEw" X:n4 %MjD+9zaZ<;9QհDVWG:6l'WcWgTNJ|}kv-突ܣ N׾ ܊B߬jB|%ʖw ɭwMBr*_8FcuYG=V&5b|f6!J (rK,{ZD><>TſQn骭&K,xxRͿQr_wZ|t,7?e/9 ŴۑZ5[4⽚a!rv,(EH8kԷSBzeNjɲ\xG7Hrbz&BaXEZdGYNe3-% N=h +/uӹ6>~rOHڅП `g$ oUR5_Qbh7{CƇa?I8["do:[.dƒO%%2`@.1{FVjA`|$X&|5k̑XTq2~;w]iPz5j鐳"JWz.{I.Q|=Xċї[6Lwd,wUuTH&zM;Պשs^Y:M3FZ &C-!pG=Kzī"je`P^`wc@wv4"DtVl4 ь $,]4uMb0d[y`^:fzt__h׮v̜%QUŠ~, #({GԾˣ4`;c\k]u%(:MOM𩀢o X{նؔ 0G#-_g˫bI{Ӳ$dYya&/ Ч*-1EfsS _ .;†&xK! [g$ONxC}yҌF~}WL?\{v|aѣv4 e+ ޅ2-j۽Sk~ #xbuHzz~}XG}F__V9CiU'6hƁg ݊+UՈm5afOيsf9dycJOrk8ivkWpLr ̟V76c $%jP@PpNBr^~SDäsϼW v{B"nJ|To~7EX6 xx }36:tWu -1Yt:B sJfmկV]"eQrAmπdfH5,a"} o4HLL:R}9i0y%qڶ Zdt< 1/Iwشi>[K::I;ڞ8 P__lF߸Z%Uh^;EnWG e8*D"\Jpr)S;?GڰPu@͹-pJTH+ϝ|Vzs' I>vR zKyĢ5ёs n> YyA6*I²PQEꕠ.z,*Bpahj§ҴI[Q*jޟ"Ŵ5硥Op$.+u5JiTe-m `NX_q{G2ƍڷJ F؃KE7/{E%bRL_rI~)|VCɁ!ŕ;]ȭ?*2F>J#4zFuuNZvM2Wia-t!7eBS9\ &u4d&Ok,!Rk+,19v3oY`cڻ^'< Yںs/JK2[F"Ob#DtidqOx2C oTB9)ep\`FZD<UYgYZ7zXZִF! i ]ŗXi%n8}q%5Mklj7^,tD`QR(q{k.NW+5u[((dP%wj?lz J'`/m܊@,q1,{pIfu]D|d0 k97'F4N݊PBw'HwTh ꂝ$uM$ݘZeЮ1̋h]~+T6ΤD] l pYp^uW7 !3 AVU_1 38)S3|Kt|&bz׬&!ǕT n{i>m `V0r^$* dqфQwwY2fO_)RLdNe, ~wZwBHsb{-zuS M)ioNY !6h|CC*h"qノU"lJmԜгm[;M|i܈E^ (s.ĵJ*-ң,JwS uT5a"dCqs?f' Dake01rY3@T2`tukW zf=&]`HYr*c%ר\PdEon^<2}No!L Eh%`hqGFj7'LA&QL\e0F+/͒UR8iU[cccxSa97x~CK_k0{}Xˌ"$F+T7 !%DR16Ki?jIm&쏛E+gW2&ڱUR%I%"$׈N̼F,P3gM Lu!/,fQK\yєC:O>7Q6Z $QQ„y*sknZ`2Ž  ,qmy"+0f(R|x#Yc [ipϦMMu: 3/ 0yV6btk1!sӃ-v߮}8?G 0\\0+偮7R[IeH_ҖaC%ppJO# ֖Q)B0>s<u, }5%`MaFf+ۮ*hXj['STxp8A (qCc B8ב+0!~wYss'Su~OFL'k-ַֆэ>4>Ď 랛 FGb4K&H` U|b^OJ=][˳3IP]Fն3ǽ"yɓ{fKc BG]C0Wa>i.8{އ   %&A(lJ!Jd<$̧E =ɡF6ݘKVWym=rVJ^R!=9<vՄ&o" P.vMFEu1蘲Y*I:+[0^@8a{TH|'짻<3.njE(ĵzۄhg!8;J;IH/׼MˀfQ#k?f@ImX,o=XDEc|W>Or)jw=o2Aif$Zu+'!X^ $ Y̿%U](:9+</lRBn(] l:Zj|kE|hh -.b> H#F[9㣑s4cVGɀ5oYȫsE@B=Ę|C/n$!U'm'⵺-yfZMꗝYR$zR9\ zS=-(2Fj('d7΄ǒG@^8ޖOs?aj_dHU\tK3*E+DRdUY֕Z2?GW1 zk,P·)+񇂴pXə D|p-AUAg)*dδ`EU䂑LtҞ2]"p!fډ5a9tfBԈ4aa?C"#.YB/Ե7W՞bٵ>⢁g/=^UlO+Eɐ)Wۭ48Lk<72F\2vo,VB,RfKաVHX/ im9;z>AH._4;V0 ަ&/LlCԿC"|ŽE#R QdRE5z*>ur҆}u|B b:ǽ6*=橌3: 7|ğhe$@RC+Y Ug|w4%3 kc)aٚE١įn$ Ps$Pv6aEc,rN? op=^["Bˍʵ&P߹͔F؁9ȩ~y綨㛈W DPL?Om#YiTj-ד:i?LkVDTqV뱤+"M!ܗҦuRW#zB!%C{)?3~/Й2pY\u6/󀵜UFSO-ᢄɪ孖MqPC 7jF7#[u+B\~O}8+gG;kmLbįߣS5/eTݳ LȐ d3u=sr,%i9,mȐgb՞m-NSaʒݡm_hkN 6V(.tWΕ*K7(YB[#1 W5[䄔z#