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 dd}+ d| ?]Sturm_Sequences:threads=2elapsed=47.965cpu=93.948gc=1.864factor=1.967zXZִF!  j]ŗXf1-/6vR[]SZVB@IJg)]!qe!5:,M" w)KƺEݑ#o3 "(E,/ T>N)I1#ea }, "3Wտ xiƄ;hܵl^1*Yc\q3ؽ;SJ+}wͣhkhA:\Nʶ>>l/\sZ?Q8(/z9B̃7(hDǔzȡxf7f!?Fc)ܢϓ + Sturm_Sequences7*!;1m#*A,\Ӝcx~ 9c`|N^4dAkDl۴MYsfdM|ǖ~SO9b#SO<M8Φ3P^1o*{YlLus#5e tu&cym1$pSJMK7񐔦(HV/DL DhfI71~`d2v>*+ S+WƸqmm#i:zՇNly;N[LogҊVo2!Zr`sZNi(Mqȝ?;,A8yho6Cu- xZ:oZ@Y!OѦt,ix,'7mQrz!Q"U2PE__Vt )"  f }8kN9yHC\95]!yހTD*^Xu=OPE#~.7OKwI*w$f}?:᠝9TJB9&@7~XZN*b/ 8!qȒ4R=^<T;I[ 4rR$r#8c¼xe壁r ˩-M=r;V5_ͅJ? QTo٣ZC3aUMo kZ!W[HS?Iփ7sx@uh=Xs]O"$Z*M[41HJ"=R;Y*UILrcjwSQeNf܊q5 ϥ1VEcjːEj2RK- M}5wZ'!1Έ`9bϳMh.x3Ģ* S8 ɶc IpzgOI dkM=_Σo 21_)/"Aʾ@֒+nPLyL݄xL FiQPvGܓaR`αV&Q*Gg'i-/#?2 #r7fW4e+is<# ^$-#x 2.Y}s"ePH4ld >Uu l+Y<aDm]a؁2Y3kNF8{0ü;`^fv 3Az%Ӵ2+<_A֍A=w XHteܵ(ٓXz.:e#6a9XI eE ?V~&4,<m;SĻ9%sVHO)%`K`TE7'Ăe{+K1|3R:MH/3E=MY=W p))yTo6x(~+B!q c!S; Xq?%TIz. ep@nd%.rk 3TG6%(8N2'F6"C Nvky}Tc1Zч?]mIjqht[p?6$%rCp`7[ {d"P%clO@[RgYZ7zXZִF! ]ŗXi%:Fj JXF^jҲ ܜf ՐBcm7b=^,LqarwLTgvaVGV"\Bx9B#%:Wjٔ$xIHM~x\ԊN=_͸ B9[Me/3Bp"?&d6Z~r{쪊.Q7xsK`9E@kg`B2k{@)afd쪐Be)9Bcqpwgsp9\-y'~vqvdO}.xs <ɂn#YMc9vQ+023I{mzia#T % ].kjWӶH'4?bD{T66~·Z/L<"0](lߕ8e&Ja`\h)K yc6BE=f qvvkh ̵B'rz#r/QH6( c*/[c7!H)=+sՈN#9]ZF./1C)EVwqĆ DIRYznV:O} 5:%U*I1a|Ϝ¼1 W8}((de|IsGB]}_gB5fhMp.۪'k)݊]m-Ji)2 &t ?Us{к?Q4QL,a$d抈inehr%sE4?K%Ek<Ïc\co9ϝuMI=TUu_7rDfڬ)\Vn^fDDn\/#'\>Yl>8(x`$ '/PsyoGmݏzZ Kmَ AOڡ lz>}3eR_7 @f)}d9˨z"Ħ C0605f1DEC1G.6ךg&B"&Վa ?'Sblc BVT8*zVT~/PVm7*Mn('#pz l:Ew ou)η/!!=LkqՒv;N}&NVjр?kv ^#e$j_}aQʱyʡumqNEQy1v,tY:x<&$Ԥ1mܹWF%>I)$7)*c6Qެxw7|<ɞCBZ<  7vƒGɵ3(e +i_( " gq@f^q}BTe!(`6hV+f$j,d!T?۝Tv0ڭ6^ %PXq#Q >#lyldNl㌘PxYiNԨX")l[#ޠC8WsU?.Q~)-+`5\܋ q?܄7II74 MiijrM:YN?2JG/M8rYh?o"q_s/3w~emM宛2&rUBЖP}W>1nS%4Oi7tʚ SBe1׳D W?5fjX^x-MeFWpfU(򀖯V6:PjA+{!=P3(z<#j'+}󯜘a!eg4U߯tLOF%\/*=);cVxbvKq,GlwrdwKqQ8smmYԋn?dl|gW?- ܔ/ͱ( ș2q*]\o