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 //B5\D '% Collections_Examples:threads=2elapsed=97.777cpu=190.472gc=8.072factor=1.957zXZִF! ޘg]ŗXf1-/6vRZyغgЕgQ+m$Q#3?#5rN[#3[ahhոىMUms3Ew:\퉦WnwG膡mnIή}aƍ{D@)Hlx0l'!rbo';ձHˤ>^Br&aܾWBиYWt9_}frTOZm9LH^'"qC;"'diQa,a cO/̿VcT/ތIR#qZHCirR~tdqv \b|0e"dDžq5gҙX5Bi  ܅iV+#g;!Ź'"&dH]g 3]1 Y="Kf!DPFye+uCikI\V(` |ܾN DvE{Ѭ챲G-{> PR 698p^lgsqϲxbM&:g [e//I'ө/*vw^zl܆/OvO5x3ν9.])rBi&z{ns#e>kZEkAo=I=5R mȲ,I6VEPE5)^+,/\u],. &ܝpJ9o0bxjk}xVX=M 5K TlǼ?iOޣ6n;h0uw"Y9-wN[.\c`Yxt1ձ:ҘpPMo$61*^n&GhWm6djv`U?w!y}r ٛѩTU5h\!W#Vu <ע Z@ ZEť?H'(cd*4g:&Yaq;"rͬ!&dh6-`61n>⏞m'Nҏ{4_JW>ӣ.ͧ#t`jZarQ''[vS+fk 'wQGxC7Z_NHUm!XhiAky/7s}E1`&e$B 5'&Səꚮjuv NXc|F[P_#Uym;6Ms%oc&|S(f&4P8DN8vDjr)F%o@5xT/q}~NE)jMxæ љAe1(0#4Ń-C"Us8½֋0_z?{QOxP@]xzڐ@0kM/-o ka6m(xo&sc "f-6JM-c{IO#35`B-~-ykwzҡJw7%}PfΏ0[u~AGI5>PVKۮ$עýݒr8*\X;[^Km:wtj&&ksi8-UrAF;rbd~6*yLXءdϜ^m} 9|$Nu*}Q>0iz/$TK*/ Nh/y%C*/j+ɼ*ñ*sGc}㚡Q$^豥XfZY%5C5X$pN5'}`Axܣ3C3QٿqߌβB<sLS,vo"Z79mU3@x" _=ؤ7VѪCpffBs ꡜ<_xtf6PhDƽpBǷ+*5ǠɥkV8è,U!+m)= L;4oSRЗ;.l; `ΐͼ7 Hz{$0C14@N '1mSeՋ{GP/&qϷ@oX7qϏA6ݔe.)(i(X[^)\vAN!bE-CCo.%Ux wl#` _|4ëS+ORԸf7?Ovc]͒sցSCerN6X 7(7η,n\ sN V] {+)@1Nf:A:ZrWrjAU@a?MF d6!W |QPBHeabXvzb\IJ |V ^4gYwr= +'ے)kݙA=޾`̱NB .|Fw V Üu,@ғ&0Iwf.bqH vCYڅ,kIrCBY'v~, #5K;#.kgE%!"Fi;*3W:9o a99b;pi] 6ג}6bX/WE~¹0" ^Qs%]>=7EzEKJjcGxiA)5T~`; [l%}0u^-yHwѓn.R>-nsG_<":_NsZrʢwM]-H3mI㸉輱֣t7beiAZIh $d{B[E纬uݢ 4}:C_+ gB=8=ohh5a7vynBZ#ށW"6Fn)ZY˙zx!j#W01+?mx891j%\=R^r{^ݖv "dOdHహ#\ƍ[$ q~P9ԧ  U;p(pGIlzJ ߝAQ_7C8 Agԍ_Kx[]%DX{&ۉۋJ̵<#}xl(r_ʚDPz#~qr*)S DjԖe=/::~D{2C r1$lAFQ3?qW27GQmiQmE@L\NZV@0#}BؼfX}?!c(̆-l,2M)3u}eSawH0>eŜ)Xt*-KC$N):tNg I|.N2J^h;l 1׶D`\isB5^f'܈Q=n,aDi?K9 v?Zsacft|? wW8́`'̹_<9ٌM b|U HR1jհɟC(sFw? =2dT#2":J,Ⱦ3 !3$@>B%y~Lx/^UVYf{{tQ/D#h չ1j@"aEFZD0!.A#1E!ʕ/U3tvMtD>Y|Hwz*4$2] ؙrKnlQ$ӡOdp| ]ġjX7bd)5SF~O]? :& =5.D<䔀!"y쬆APYݿezKH&y|Qy.@Br0WMiכ&9447%x4mqU(bXbsʶ_A VFˊ⃉ &~8l!*x?ڭYj 6qYS4]6&,\Oxɲ>;%&C<5iqA|t[SCwg1So"jU2Q`A'j~s[Qa/dv W3?x]>2ċ?h"\=iGܧńS"؉TNVoݍmw;-*Xԍe0Q !gᮜ|=Ϝ`WK9rZ2a) Rr٭ܬZG.Gҫ}fRb,U04.Q]cJ vYCP7]Ib=*Jl^//b~xi"W5*h݆T:~9<4_!$FVP{.Z0r!D5.Tf ET70)$>"Y=FQ/]N6jfhp]Z9Y ]ǒoZWyh;t,uB* ~M9(T@F 5USEz}cMd#V9[k Yv+Jy֚r?L8;ۊ?Tj:9B39Sه}f_![5rBc[G sZ 2DQ[o92h+{r192\X7Ny#< "*DinjIW 52V'1[e(Rf+ oMh䲖tgNaԸmPF y17c`P.P<sJ