SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info a# |4 ?]Polynomials:threads=2elapsed=27.479cpu=53.088gc=2.684factor=1.937zXZִF!  ]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,~r=4h;S2CA}e^;3F@GGvLua;*ʾ-.;:]> |_퇱( Q9Ec%p2흒D=/OB۝6o6*[ߥ >B< kMB-Jm_?eQe5.s._ű,' "8VoT&Tb &&epnQ*hfIIBEn.YRlWf6?& SrŕCϺ # Polynomialsdjj6M0a>>PX])+UrLN;]Nt^X&NV IEQf96"Lg$#0lkqK%Ld]R9aH(YƝ X੹)#\?m Pg }T!J{t-p=x? Q G]9ޡ}s %cV j%Wl -7wro;Zvl8Q/$85Rq~*4m~&kOi\KD6 2X荠$(DjR-23pEf3.Ĭ/ !AvxAlG[ޱDCx v ^KubRAJPvf&9WcQx,φV |:?5VE#6Y 7v6Øɪ!ʞ/^ 3w5U]B{taN.57*7H7*jg0g#f`GcMi\PEc.!eF:0@Gm  UrKϭn-ߌ#|q2?V:~l 84lJKKysF/ZiZ3 :I >'TwƎK{6!@:,7 /Oؾ%%1[iu|s-vۓȆGtmY^82Faax:cZɒʥ[ZiG]'i}R.h9o/I`~mDnӲ)gX{jzmǐXWBX |leʴϡͬis- +n$Y&\hgxh E~XLz RLH"2=K,/Y.ɕmM+"kD{󕬢ϫs+K]RkI-Zڷ*Tm&bȶme9{|g1hfuka#>Fp4]`?#An006šeqūk>Z3TGŃxyǘ.] ^1f`cs6j 6=:~! p[܆c5,d7gbʼneDZL q;è=+J q \qڙa)DPK9_%P?+_\R ;v|V"ּ1TFK8bEꦀg1{PBr"d7l6&Z~,Y* K]rѠԌOfJOs3<:vtt3OӶAʏ Y3xE6뮣rx3V gYZ7zXZִF! S]ŗXi%B˔2E)7|/Gh|OD"l :J4= E/-BOһ9ws&h.m4BT_ U*d)]jV- (*P QNLc*b&e̤c BĐƴd !"w)xg?Q@x?SB>-6OKLKMAOv±"a@$B,VgBCHknsop&nN=zYِ[ϵVU5wʕptԺ8$M1l[s+3z>fEUd/DC1ճąM|KE4Ӊci(PEO};9 |qҢnDAHۭjw5꫃үM~E}wΑn 9g3EjX.lm#ܚL꣘%iDY?k"ՅyɨH>4]Um>02;vÛ~^lVS8cC,=) *\H8 tݙ&8$ZǨRÅrDedbXaa-耸{,6ű]T:eZ(b1e2E[jov Zٝ+u@ߊZIc|4W|sG7˻LjM !l-J/b/劁ߑNpn|u>=< A7F:wO l3}ޓװ+x2ޭlI0ѵ-w# /Tcy-Z.+ZSjZd|Ū#Pi"HT מ$Ņ"[F-_eև7gЩe*>ﭥ|hmĘOe%w%3Xi! fYq<7˗s>yPe\^J•:ϚY=!F0lS/N7T%Q$20 IKӓisb^yP`u?$6\Vb(oCϴ:Ww;D""$RPzV$I/N.9;Xq*en v&@y;#<_])ʘ#rT(T& Nv𻳨q$usv