SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   t T\ ]S Show:threads=2elapsed=20.498cpu=38.576gc=1.964factor=1.887zXZִF! #]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF6|Njc˧݃9m̒z|;vU}:t7ц>cS3R􃰍=KvJSRIQuB0 tō땍V)kfl<TC?2)"Gɖ~|iNRq~Vt\X6^C qN?%@ljد4׌F?8ڔ9^1ܝ4Ie9s'S'E-XىGDaĘȻ@:5Z/Md\5=c$!1JSuZDXW~W vvVZ&'^n!=b,dɮl|䯚cbͻÛڻϻyȼ*+916+ñ Iuk;@4{ggwcNۗKv=ψ@wS1K4Zxњ.ݐGb+-ݢ:WKFl"ׅm!s~ֵZ#8}6m( j5>Ʊ-<[ QCVd+*Q}h`=^ te6ĭ饐D}e+"ύ0!Pi-w#. r@[3_g1t!b9`e ߅H|^iSTq݈zd&Qt: %>Q`n['Kã`y?k"j .+0<3zgYZ7zXZִF! Q]ŗXiɟޅ*-qbk Q̈U薕 V#w#l`Ǿub/qM. ԡ$&8P嫛D@ZuT`ɌVќQxEw[*+A(!g6: soBdqG=E2[H柼h F KHE95agYZ7zXZִF! lH]ŗXi%ή++d^?35n"b&blgn q ^*,K*aߛ\ \d/-]Y[ LkNJ-R erukMh蕚W Q#$S \cymҶԷX:~UT߈w1 On&?|_[!\R ؎0{l c1ƨ++Mf7Df{x\JgU Ms/meV9BH^tcll3NTX/+ Uإ<,>*NPucVGo*l_=r.1&o}jD3/n:7F5 \ n˴&"ܜ U=Г4:` VorB빧1x /Ӻi$w.L 5'ϹSYV,u.u<Eo[kť%¾CBOI'Kld\zI?WaIclMr܈^P~ZϐfNI0`%v| >(Mδ.ʡW{ Xnv%>N9`Ƒ %qt$Ȟj?@y=>h(qdIK E]n=9? NB`v+RGnHPGteܢeم߳ JY?P>3"Ö Sp[));UC{*Xl#v!]Jl}^ ihw$&v ǸcEjqƶ2"1v7P_=FmhnnrFЀbQ