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 <4L {/]Simpl:threads=2elapsed=118.701cpu=214.068gc=11.764factor=1.807zXZִF! g ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jj1e2!B_Y8g%D虥d nB!C6lĝ.E%O)y ˓!*TZٌk1V3]-PtFzyZd >?[0${SHݕn1nyݺg9vp$|Hk0h7=F>Zټyے8yǪWCW7qy^%AysŀMV9\񺃥Xc q̮a84* W쨛Xr뷊]oI, v z"S<أU^G[/#a&"cQROq,Bu6U}91Յɳ :Y<ұy oי ù 3<*Jo6B *UgBEio^oKN&6a 2Gl hRKj%xhB6v{bCo}\yhoM_)VA=w( ?*+,|(a=}6B9[2jE/yUʶц0j4s>Z/@LyDP?PU"F=Br;[,bGÂy&@Ql _ٖ󌓧!W_|j{HY^X w?k/h:W V"Oc(uZ+/e5h-Nzu2sb-TcSBxPB{lވ*ڳeU[8jSdkm)$:7ǑR }YIZ98X>vpq]K35|,sݝti|P-Dߍ#co$;~ M:wC.'3 НyatUhG"HIџ'.0} kś*(*U*_bXXZ r ]#ݭDՎm?DrqqZzJo%w,,һ./PMgy5"]]NJ{HYm._k 2# NI!m(#g> #WVX74r{߀'x0LH9TМ';5[7~I=UKiS̊AK6h@6pVQAnnS|/gJ ׮o8 ὺkEa,T j,lg5fOdzy!Z+Wj6y3Wfnڻa8`d9/{~yW'|0t1d;oȯGڔ؟QX:mf5Y3OS9v> gYZ7zXZִF! `]ŗXi%6s-e4\ņXU/%_.rCXK?QM{K:£ӝ9 #DwQ kpR&hB5,D9)wPʘj¯'/Ci)g.%9c#0P.b.V9;pZH:Hg1k[@9LK+$h YrOali֒@얘ED42 ׼Pn+S}swء=לtIP%cVCR#MJE3wMw7jTήT@13*,.uζH=&| 6y/1[+%dTY`7$TI%n]լww`/ 6j1dz ,Ԥ9`{]w g(Դ`gE'o/phyd#}cTNJ$IWXփo0Hy@yw_X~2|J4$$ 09] S8 8#F w+3s7>c7#p6]ib("4.$k?{wPDv8iY N=O@ C|Sݠoab5t:"+4LIxv@m90)N^Ȓ "$"|ZyS;,VR(VE)4{~Zc"v=uR?2Ǝ%'!{(> o$sy.9c2@C[hm{XM @</iQj-nX죜Oʆ#bw酯_ /?=a(ebM.+U;͋A U<( ^3\q!(kDj`bdt^`醶5uߑk?)uc/= Hf ٕl++R4(#[2 4Cr=2h-BVsZv_=:55U2zrڏLl  uתcA~ !IFCԷ[pE5Ҡ V9nguVh,;Ac~jf݆A#Jt[4obtIVhF a}ν\ ^LN/HLZdaNe<}ri?.*J0lCPʘ07FCGؘW!#8у7 7QH?1TȔМ']OޖN>PDQv(7Q{}Ro ]:}+;W@ҍN曕^ p/Ip_z`:]#ߣ\ܖo4;i(@(+Rw.1}D-rUg[o܊s7H0j,g2K Xz' yjU 2wD1DwS@G+[F^gLY5AR tnW}sV Ϣ8HZ;G|Aq' zMK EQ-!-7l4F|ut;Bӣ@@].Ă{^S|Yt s>xI@MZo@~oxUm9;uaSLA(ZWo%{n}cizReYr͈(/9\:|D5GT3wSh]vf 䏠dr7VctO7C  B,NEf"?˧j6L4g:|[`X0Q.ÝPB@^GGH7`RcmQ_7~ɋ58xV[4WKeqn{ 9G-L S%L Dϳ/RG3L<SSd%\š 88rkb}0)CdvckW_gKyWoaÐLʍ r `󈁭T싺RiwA b9׋.44ޮVzeõZs0j끚lM7nZ4Z0d)RנwD]e/[䟥Wyu8}Ğ xpGZ б:6{b1nUwX8gJdnXƨQ;/Aܢ2KQk`p)oϽ& 94!={(pqhS3KF)#CoLtEI͒omG@P?z ,~>~vZ3 6_ֲ;| lpͰ>޻-N=[4%%*;VvDx'V~^[/T1V`'d f`>0 ;C6Q:(0 ڮSZ 3<}<]<̝zRoҰY֪ Ff, #H a5>m!5Hrn?S$I22LhotR '[4qmɍ1g hu9ReoO9Wty?$(kx2`%Eͅ,ly^Am6q8FÐ@*YJIQSC`eE:4}A*tAGŭÒŎéOwp"ʿtþ'd5U5qlWq;t-9) 2PbexvvEc:a7z([QbZ^pbF7P+3Wyթo2Nz_yDZe'|B> ?̠| W+c)_@>5bPBcygAN8cz$ tjs>ɹO#:crHչѭ/{|BpX,i:5߱.-+O UjQfH0b9;o}!Oʖ' ㈫zeJlJXHb:9i.'=ǕKѿqwL2ͮF4vɺ[~\'<6v͗:I'܉+!'7 | F,B_O CV#|ȕZAukcDE9.]s־