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 + dt< ]/ Euler_Partition:threads=2elapsed=15.039cpu=27.808gc=1.088factor=1.857zXZִF! 1,]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({n/\[.cA~&P#t )~~N%8$w)7"Ogo)^u&J'4kY7;p W6[;v^T< "h~c1 vkoMlQ!c,/ǾWh*!R5 ʯgSTn$w.d^ $#t^EB4}Jj# x < }^8 ܗ1*nBvGL]Y!}Ȳlv0UYȬj)"Z ƀu$p;@&dE.$zɴ_~}I'+b_Ql_]GrL7^e?Pč[ڴH*  FF5mp 80*Yk+zѯvLE^Wq'P FCIRcY7!:"[GgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W&_80 ٛ})_(%Vk!*+7]tO-)+T..] =[PR1jRa&o(olxz\lT%}9'w<Kok!cgPvί gYZ7zXZִF! Mz]ŗXi%6SwK o"YFGzj@=A3qz>=a!MϫGj5/P P'/E?\w&[- KTa aEqlRM]I)v2,E\.,h{j"=€.)\f vwCqs^~K g Aԙ]3_>2H@$_>uZ}لyls=(*]7ԶX!ӘIXcAB׌dN.g|~s%Kh6n%Vn9ݫRh{ظT#Wsj̺@g#vC޵+ 4vx>/M%{0bVʹL|<j Դ2#CD4L#-[}tCu:M߶_>Bya4sL3yzmR6D)EF/? F˅@֥^n1! I4edxs K0vӾwypصelpq2Ț<^u#D)[߉2`E[ PAbxgJ9:-=^Z~V]W`31҃B G0tan4|è?Og(neIq jblß>( ^8JӢR %Ҩ`j˳EyΠ̾(IofS%ȾH ʴׁJ4**:](kf- nj|v|D> E:y^J-lǁa!Ua(k5Ni'$2ַ$w0CaVB -Y+Rӝ0|%/R /_4[N_)tPd~tɂ",@*dYdۏJx(ܲxSwF'gi>ȏ 7FeVQE.mB4r^I