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 W$$ m Category:threads=2elapsed=3.278cpu=5.788gc=0.288factor=1.777zXZִF! ]ŗXf1-/6vRZy_^&Z`Qp osr@P[[՝YK+d=wp^ 0aN rJ)=\! )!Ku00Mg-N!|Bw.%)S,i+~XFu(j ܩ0jj7RTl`C0M4[@+rZ)"Cr<1UY9/+y rpk:Gd Sv7o6dyx^|_tj=Vqc'85s]C7xϱDN!VQcmq:[8#"-1O'ۜ-LV= =j>AyQR2Ȯ(ȩ4W[("8k?P崙HSb6"|"q<9{e/Ȝ~B7@42ݰ/L]e&PxBpG%Jf GMf 9Bkg-n,n͗$2 5 dE3GaPbjiNX,H9a` _Josf-2 E Q_*>mri-Qa93IJ`aLjrL}Ye$f aVnvR*K e?LR94% KO@3onePϮImrRTKȋ#q1̖YDz<9$gYZ7zXZִF! J]ŗXi%po^#.>g%qԙ"9Nu8bː/H:' x U>%#x`egs)p90϶   Category=`GkXqTT(> l?T7gD;R^=BdeYQ'We.z3r ^x*Ny$/H-iV+5wZU|{Zp]GէJ_CpҝoLLYRBK_+ڈUO䬤9N8?ap,U睹}M6V\ ?  IqPؤg8>3!%IA8]yrq`.zG1BgssJc0)|CҠvDŽ9qXzɓNu};Jn*#*b1Vd!m]V(f9vS qXP P+cS;2 UCѦ@S/UӮ}mF%KV2Y.8YdG6ԽZڭ ;t{gǩ37HJ^Q <,HC"OdxueD"ըɇ7T7>gYZ0ac37a69b62c2ae2d7301864fbca29946708188c 233c392cbe5f40f02cfd79a0f5a8f38442034bb8 34d25fdd93b2c6ee45726530c1f7d7a434d8e68d 536b6a631519903540578f6486061a3cdba3408f 72bfc743d147ef4daaa53806994ba7507e7bf023 8e59b22606c3798a933d493c03bbb4689fe09412 a31c5af84de9e1eb2b078183406e0dfec6ff7b2d d82c90603fef2def7218cb1008dad52557b2cbe8 f2949a2222ede7773308b389d4c7f6b9f1b9d598878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 61801de5e43545180136440fc3774bb7d9933b29