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 ft s]Word_Lib:threads=2elapsed=71.790cpu=135.360gc=3.120factor=1.897zXZִF! ]ŗXf1-q恈͐7ӺV 6 hD;V& _w]ӘJLU( Lc-myJ6D4+d! ™d 2h]i_JÅIl =%qG9dOz8zI hҿ*0[ c 1m8KbE25'ӳA 47SbYbŸSEuYFz$<`v`idTȈgPqѪ,<դ,>"2.ycZϟ&qɭij_-dW.Pُ~<ko!HZ 84q^4gKlb rI2v 'ȠO7_#q &F0HoV?xpRy]9\A~ĽzУBh*,S|tikfJG|/wF<$lZme^/@}v%=Ҷ;"fiǠc+81!iY2|h]@/)STCR*JihWuٲo:פO0U}Y cgdYYE xii\;?j=8gYZ7zXZִF! Z1]ŗXi%6 ,6U漑n3qR\#1y!bu:^( ΁sAY *Smh,~Zg#n5nZ2tK('{'5$u3$CK%Wv/Fij(ȣ%5S`v>ﻼЭ3\T ]zoB8/PU.? xrŧ1̙ض N=UAw8'ݻ\RLi~<+-Bw'&AQAUwW%-더;~Dmx] t@1BPrUM:N) >̄2+Y5GZ1DYݐ쉙*jlpvOW}ihXV;4o0cqp1Ψ`)"\blgBJE qSc=>8XEƴpd"xWd(iiYY^chy@1tAaDC,9ԃ>bݷA}y(Mj>xt Va]jΒ\qAhccn '>t`;+|ǏG(@QɂE (1KW)eBwB̶jEBCwHjJBe²5n^=__nB P!B/g3"iKT'ܔx'ŀ0q;CB5^uޖ洮A (j%؍v"fm5   Word_Libdg,-8O&&|0=ŷݷA9_$ԍc 85T_䏖YRvrfc,XܘZR5#F͂Oo<}+G /ٍ(_šVYW%ACr$'tH z;c R ;}b,bcpCt}+ڂhf-jǩjuĭ^0Ix9ħY3x;s"҄}≘mu3, EsSŢEbOݼ#6ꆙ?t=fc%:tkXDԵ |[WĈ5]j%=9' v8[2]@yBEMO '2Yb-{kc٠!jzBf _ sG3^ PUR5~b_6$-u8 Ve{4Lh=Sʪ8*`!mc^cT=9~cNRl `dY#L)fC$A=(#!`P{(7$5a] <φ / Fpc)M]uR&[,GQa<:I2ehWXzDŽb`}HG?'C^Z`s"U[noKǶ-SFB#$ hgp]=b,[J~DJ瀅,*zTl ٺ{Wqdy${}XA_Hg" S4|\?xਝ-;6VU45AܠܐIb@ .3a|2=f~?{x*,$%D N}?vM#oǡplC lIԢ1vM,D_vlT۰2Zxn a_\ ]%&^eQs 13]rO0A෍Nס".SQgcoj$E\ |litxkbIv.M u"m}y[e ΄C 4~\ɺ Rgɋ,:1 V,Ny\ PD(׃HU5DtV#kQK< (d*Gkv$<29'ܻsYxOθAr"b<՜og ν@OF#yڛ9l9{HEଂ:Xmw6SoL8'8X? J(poSAVv-'{ {! [syd#Lva]'Ly*̿T\AꎩD0rQHbɿ̢cK٩3yxy+PFb"[/!U5)+u+FN"7j 3WTb76+1u;kE>2cYɜմSij|ng,vzN fpܚ}3UuN=ޛ;N^\yKЭjc~@yzȭ;`5 MR}nMAVΖ+x+=ad$-i8CIiM:fɳG 9JX?$sPYWFw{2ˆ$k{ %C#P 뒣@`(c `Gΰ{KIv6wnhkxZew`S[ #%QQy@FhAeSȇs˴W@Oj4SP|e~7ZM7'jd$3;/]O5s.6:mN;0_gI D21˧* ; ;P_sw⑿lhɣ.W` r9E--YY|_4M`ҊVb RJ%uxypi"@m$uiXP.5V|.XbP! ; R@m1o{{;N8XBP ;3PzaǪPD-/ΚStV587l{;C;}moiϤ1Nt/A'6GFO>lJЪ_iltӓ$ӨXݢ}lIֈŋkG?|)z =wJynɸB(-H[vlF,~XNhR.mmq{35Ǝ`愣tS,Wld¶ 'vg^A4YLJKU:P\84 LO2?kg;4Gia+L׽ne0C|j,*5inOWVo (H2&]@VF{x&a7 5JC2e3ee#|ٷ.tp&o Ő"*;,8IkVWY=K=zw?R\4JAfU_e>G߮姳y\jVǕ1R-M$p }x adta=^qV>Țh"FdTQZ.3 v=hT_0Y