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 T   IOA:threads=6elapsed=7.874cpu=31.724gc=0.924factor=4.037zXZִF!  IOA Oz]ŗXf1-qN50^ .nEށܱsO.($.hg/[Ö4i} (c\nuQP@,,hVDPb*jGTLh$q#c`gr*Bͪ8":@<^ h켅FKj>J5uQN+m~!!+ĭVm\ @d1yxpn{VPүm{XJOڡqyuDmă%w18.xTXs8r<`\e`^@΀JA<_\;[M!$JAng^=Y8*?\ؾA"-|> #(7MT6kM2Jg]2I?Ό%3rٲ%Z ,[Paχ0ckZS`U(K4_!ݏrV(*~ r02#U8^N׃"n=]ɊS.err>qu<˓HY9L黊;u1fm*_H {@zd4Zz}fVk ?ܫQiH\ #Iia!:i!&o^qRpF<|uQ-n ';lQU3D>`}b'݆ CrDNn|׵aT2SLEzYfL| ,uv+ԕPM481 Аz1QB3! |]tFUW}S5vocg7`b_{;Zf%9eA3?h7r{+Uٍ/4cAr,:LYف}80Sf0}Ӡ协H&/u~hiJ 7`^:t"wXB29DVmpFqjvfFsN`D=~Xh,,ӹ%|/;N}07vy$ 3}?chWmɬ#Ϲ>H|%jc<24N#/mH2j:cyA-bЧڽcےu6~Nuש~kA#0ޜ=W<@y6泴Ow*.`ξESbK`REn7  FN%X"]ޟ `oQӇz0^'ϗ73} T-t=fqc -X+ Ùؗ.$+gk|{"T~%y}s &}go.9Ҽk![-ӴiY91*!&d^d,Ԇ1e_;Q5ˬ';- 󇐘x6\I?",}g NPȩ[pLs2j.Nx(CLh(;ҷZ2$PM$9#tI{>7B-=w)? )l Hs=JX5fm7B >Vbt^|~Rx_!h30Kx[% tB}DI-&DϹ+%VY0]T?HiG˚ "`2 ^9?! wGȓ&'4ϟIg̫UQj/=CZ bf[櫚óGåO1Hρ cƆ8K)jM9&`qJYUM 2foe2̽.tԤUK lǤ){ EoC/n!Y[J4o* 5M 6[m=( ѫgЁ'縵xUŀwܬP2Btnŧ2w>KvCIJa)TXڝ8D,rI5;WA${)tO~ͳy'Bo.7H!UU# {uf"tML1+ee/%4Oesk߲8ciH[f_9| : Ф j]? A|s 9`ޖZt=oɽ-j vC#O2%<+ejPGPs:UwctP#7lXw5h^&,y2H^TP2OꏧzjF:NNVJE~6U|>K࣎ P ~閻L?]24H deA,uE)Po("PUX_f.U(~bqH 8h V;q:kIW (nTtmDG`'Wj!GէVr*CR!>gF9(S2"q2V9k]NX˿A[ot*1!wSopM,D\l[FYȈvMgeRez뜝VHpEâGKfS塏1S qk vPb#edƐ"Ă8|q) ӚW#u- [,mP}a43-dz&Љ7{P䠁dN#`I4V~:$OYP ?qʟԯ5@nT»Jj^gIC_޲:jk η+磍-]d,Fo7IJx9XXi@A(U4|goHZbٶNHZ(A3 8VeR-Rh+Ս Go%9Tgi }#q(V9Q@\LAKa9гݶKqLkQZ%1'l5-WCKL*QW!*d`.2MUHe<P驷6S뤼寇 ITe%i~F-У]ȓ_O|ъf0QI̳70U`l-NkIf |@[Ŗ"%)8\s-8Ik<5SJ?WT7õj6'SuO^zO~RCBѾ$u3% i]JhXVOs\L.9;@ZYOG-7Xf<@ ibCW&U=Inm }2O=Wtxlq1* G+hO&H`/ծ t媓$rE?x.+/@fT![:偿xU"m7MX.T*CQ3ם LZ/++N!e'n6r8yDO 4b FNXO'RkCAC16Hh^^2{,ї{5-,dB/1o>a@\Pg\xyJka5j1 B3_od4ۨ*E sXFFac*/z4 cZ@ǐ?s1*g!db CmezZ,}D)y94`S.iI*h.s<YA@MB%eCŐm+X^Q t3zZz7&#sHkK=±gYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e7fe7ee11c7a9648c8119f78c218af6c13c004c9 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a181122bdf9273d7d39c435cb32b273036f958d29aa326 388f58efdacd435a5b62ebf415af599de2340ebe def8db9faebeba4468238cb039cdfd9b4ae69c57