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 q3 < S/ Impossible_Geometry:threads=2elapsed=9.713cpu=16.964gc=0.500factor=1.757zXZִF! RdU]ŗXf1-/6vRZ4&L LN֏fB ۇrO&c ӖM=ߍiQ@X)oN;os}y2^FsSb ?u[h۰ 3 Impossible_Geometry0`J@ga:lƮa剴 4>пm {2&ݖ˿< ]* lR̔](*U?uq @DO8F8@ds0-~:\$H9X#4f^F?\uHIW=Kn{ RjޗM/8p{Dnj׀>O[cìC %e iȻ5{C`ԭSi4Rh%3sӎyT?7`E@d 8'dHbeuQڹ^gK<)I8NlZMtWW fUœcZǨRxB=r=Z[aUĘP3d0=.>jC٫AN?G!fis(̦M Q:o; ZcwS0 im\(kˆ6FAm3RM˄`nB.iQv4p|?l~ŕ[A5L'_X6V @ Sb \@PWšٛ>߂:L04tFY$*}:%*t3,GyE' ՄpXTRDQ,BWWQj2rIc qU*_-_ á oqg1= mC*jpd(4[(VN 7sqgYZ7zXZִF! 8]ŗXi%>zP:>k y#OT{ ҵO;CsXg7jd, _a筑.B9+I(ZQXJmW²HkT(piK߻ G$ "]x&z!u(ί<j63%&CL6g:byK= 7eR~(G;H PU^<^R#W}{X]|IO|3XSޗ7B2Q#!]y?hc;@:Jf:xl(1p+|>' 'FÞ7ℸٚYU[DUC/6c)/X`ybMKA4(#&I}Fɚ xtz#RW֫OOu:%Vd.ˍ"NP%7gV