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  1 TT ] HOL-Metis_Examples:threads=6elapsed=11.869cpu=52.104gc=2.908factor=4.397zXZִF! Yha]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ћiwvIp2/ 98qTuӤ\۠[e* A *2*ƴ*5EWWx,MC} JFm6_cW"5ce*`Cvbi܌ٹybٛFTb%Qq]a?>pG%QXcyt"kO5WjSqDNjJ91{Z/02& C9R&Qu"y8wMiIvl8pLOA&"pMEGҏDKH`*OW3 S *f RKx~$mt6Y(T2SB1y; 6ꓽG/R>!,3*,:-2t@vlL}anN"Y4ݍX5 c{^V6w6 d۩1tbMzTeYݓ)cճmEX.eid 8c7`&vJB 0XY*[Oi+l0y[ ( -#,~w$W qʰ.Qa0U[CZeӶoˤxstr. 2l.lsdJ_+z!dVRop~@y )803+c e\tNtuN퓌լfR3 ][:f@'Q)P(܊*Duv`qz!8ck1vf|0TSJe9/eړIjloPNV${;edA8'WG8Ôki]hmNٱ].q ?s/x:^A( n΢v9|St e3O[`o\(s?JuجC#Q4L] x= }1ݿbsf^F^8>>ќxz _q!dkb'hX>[ȘCΎ=6Mf-8%H5X̻dvC59{#胸 kΌ>'ƮNT0@geHe)ux|j֗x2.@fPh%>װ/߶(Yr*΋p|`,~H;3 (aXs1Rl [(@&ŧTA`b/&:A i; 9>;z-ݏ:—vP .Ɍ wįG 2<M,1kO%Gȁk~#e2e/Vs9 &۱gYZ7zXZִF! 8#]ŗXi%6}Ygff}xs+S1nlv@%gj+׸U^ ?@#[uQaV;FbH8%}H0~)hU!10R3]^X 3FuS-Lz͉ ,R 뾥|B7HH TLq/t>E1?$ E΢Uby xv͇ O |-#tvo24;h>!+ a6;f÷:,F5)] v/qʳ_A,uQ)kX| k~$pwP9vfOu~>eݒ"߳0G`kZaleBe-W!+Y|_xn1,Tѥٙ/G&FR4ht1!O';[WN6RҢ0tKfѠqP*\sxbhzN=x\QQ{4+x-e}CϪA $Rh, ݠ8>;ˋv}Ki&:, `E\b>"oQ~}0^'mE(&Q8ή6 B^xFwT[ԩ3OT2bҍDS`g 334&cl5fD\.}bG?}L3!ca|=,bWQlC?5­/ l[1`OΪ+e*=h9ζi>eĐ|.-K>36gSWrA_Fd5P\?s"G e @׺ʕ"5ןOmvZF/pIͭPLm M@)=m#yNAAfQ@l"Js3«f͑֬X,䜖  5Tie:Evj;F۽YA Uh5$ͪ6[/}_Bc1MQI6(2!n}Ȧ֘e:>L M8RSಒ1ۖl'|v̰8S"Vp=w6 _QHVSE;RX/^,kϹ"=;"ZCs)jJA/(@AOeV:`*N9j_WJxcA9R4}t157=tG%IsFAf =rՠc^ߪ