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 - Ddl ]/ ZF-Constructible:threads=2elapsed=16.219cpu=30.852gc=5.724factor=1.907zXZִF! B]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ό^6FIjZ@uhu 5SДީ  Bמr.K%51{矣@nߗr6u$ u1J͠vژGYplO zf3s1Ih]{z;4{kCAhX;pz}cJn:eM ύ^Ak3A!Mٻ|ro{Tq/ڥJZSy.!@B$$ol iڷ~k3Pz \lʔ[I;ϪߩfPmIT~A@>JQA;nSp4{*VJm(s2NbݍjHBY7²nn']i)J23YqcͮO-GlgYZ7zXZִF! j]ŗXiɟ95ZrY!Zg>3gAKrYCڨ?ɹ <^WnMH@0QtB a@}辨tE˫Xr;̳#[ Xު~QcAN7@jƢ$KgSjE6?qrel}Gl!yCŌYh(94mdّ.^UQ!e[־W#l\ڼ'uֆ";/ W)]Orc2HL#f^%_`@"aaT;LWI{]t9ݝ b=(,T-ˍh9?̀<3K!l gYZ7zXZִF! \/]ŗXi%;a4zQŸ]w+ n-.iGb!Hcnx  9U`?PX"VH1'w8;>騄&ek[LiElMe2%j5R5*>4ڟ)8RQO)7?<2^&߈zub kaCvoα- w X9hV!aEi% Vzq{^}Έצ Tͮ/C:UKVgJJn so© ;S48vǕXƨUL;Ar؈YXڈ:R׀7c[Zm *7ohIUMO>裂I!si4 %1}p]:vE7 ㇭mJ$;?4Fc1\d)X!'wXE ܁ "1'UE4yljʁxwʭ`2:Wㅜdg}7 ,[zj;:Y=byuL#kvyvB"`q؊4X}dQ;<-duQiu$,phe9 aF$>|P4~53j#w󄿡H@\wf6995kٵ5c1!છKZyx*Z> Y^kɦrzӉ^Ryxϡ ~Zǭ2W1wnyB '"r4MS}EYds)ze"E7x]T 'LF1! 3ə "agYZd904365c1122cfe8e873d4d7aee8acd6c0c34597634a34b0a78430c8365c904b4a02a2bae50a7baa 540be2dc8f649a2e1e452760ad238681aef8b1c0 - ZF-Constructible