SQLite format 3@ . YYQ77Atableisabelle_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, "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   s% D$ %S Sturm_Tarski:threads=2elapsed=20.870cpu=33.624gc=0.484factor=1.617zXZִF! ]ŗXf1-/6vR[]S#L35Ά%.y8S)&"7w\ :U@,K3_1z(-췊!+B+KXH2&c%Ow) @#AgF"C=TQ{B ǻxj:dSC  p8P:Sę_LO0;5%(yXe(yTZ\w,1oytp1"p>2#@@&yISLF tuݰ}'#XS]XM2#-Bs'XSFqMxᗉg.yE*8U1D[xXh"׃GC}J%ƱgYZ7zXZִF! l;]ŗXi%6SqJ }LiA3ぐ_NgMpvwTA63=A 3Z5sm")/7vG{=HdL$~[*d5bJaP{^'hu e0`*__kXӛuG=#<4T45&H(hm/!)|@8@-tP'6E>uϋJ3\ʖ .:A-&uM$&!fCyN0"/AGMζz aksnG$_kM$dx<470/vdtTkBvS۰'vr[l@y]q :,ݷKiCh^I¢͋W\+IP֋|gم[$9hTܼ!Y(lC%Ɛ:wI^+X8ʑ jPfNyl.+z2Sb7k_ V~%ź$I5n+H/;ֻۈ{!f.q4@+ h+ JYpUDFotL1(5c@v4R{!l-<_8O%ԭ_#lTje /:t}PzdUaʩ3\xie5|A=d*8O==+ZhZJ~TXށ4\2Q*UF7[ziF ri+nH=v=Mu _hvG^.zmsY1AcEp (ewvv`+᏾u }R4J9n_ ~0^K}# ex@ vW僽l,̙ot] FJ|BPDb6g.#yw)Mzࡶ#KǣyLT^Kn1h,\ӑrA2Jq<`Jظ19!!҇^e  +u.na^Ns;-6^mKKw{{6xUUOF3ʁ((_(B#qDդM +l=)4 dN$h*, J6XN>.9-t5sD6T`J[B^ =Z J@ԴjGu`8.P)D83.Gd"%voclN طgYZ28ab9349f9be4b74f589960d4975586ca3d3aa47 5bfc6c210a6408621584ccaae9e84e3bd4af7643 92c1e31c258336fd9f6fc9bcf86ce88af6df0f71 9d838eb0ed4067720ed0cb0de84198246e74d387 d7a232073248ef822686aed382d19f59323e3fa3f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 % Sturm_Tarski