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 ::C% | %S Posix-Lexing:threads=2elapsed=14.866cpu=27.552gc=1.332factor=1.857zXZִF! ]ŗXf1-/6vR[2u)qS?'CΠPhuK!ͶuZa_f 2`4vEvzzo44職 np ۳v8ˆe އh\WM18ODh"ï2, o$ Q s\;+ _m? A2zO7 bfsjMHk,ܔ7<fcywM0lDB3nSBz/dAiIUQh p`@hqT y#[EjчpA\ m0?Csϱ͟%VaQT3g_o+=v 7B7[yW@Z=/l')39VmlWIJ*vu1R8Sj@b*i [y#%Lq6ֶW ݻHү[0f>:px%nV݊Ҍ,co1O 畐gh,##jz61Aңʞk|s߾c嬡RiFQ?/ʈ r>q^I K:<#6"Ws"S;12Q =$5 ᥛGY@uծvC`'D h! kɇU-ʲ7PUџgYZ7zXZִF! Mu]ŗXi%!W:Kl $S'ϡ Xr>5X%*i "rq"KB##+>ZbD܉5=1MC† /dTJC|)Ulн|\M8:yR*WtRLVA$)4E |8,"vߩ"M~6R~akWM1 $hX j!ֳ3f-+e;CrZATvb)Vq< XddOEg!UIbWpE1@-E q,lL@Ci kz{ԇd߱col*.3Ņ] ǣxvE0Ó/9q? E=&s>1m}-~Q8{QvZp4ӄܹ,B_/vl:RXܽtb@,Fs,}ukPɠ=H5;U9΂+"O_UgON*҆JaBP{枋$bew"Dx?c |Gbĝc_QAj(m 1?QީzCr].o"=t'dBi s@]jFbT2;瘧zhazs[eB;–E0'ЗQ'0@/bliE 1}gYZ155e566ffe279a8228ba65d38dbe9f08ac4811dd 53a44ac630dd30bd987648a68f2c704fd95ec4ba 70b6156516dedf8c4b101f9047d7e1717eb03406 f4cce8ef5dffddbb021b83d6b068aeb73038c0fd f767bbdb8c9f31d324c4ae5b483b56c867852e40fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 dc2961254cdff5383e97fe7701cad91d01ec577c 47bc7303983fb0f26f2c9dec916daeeb774d5c05 % Posix-Lexing