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 ""[ L4 ]S CCS:threads=2elapsed=20.397cpu=33.824gc=0.800factor=1.667zXZִF! ]ŗXf1-/6vRZxi}t7hSyv=4Rqg[*(*rC&H1[EHU'aOҋ&rEo74wΓGӹ\ gH6j譙B-?pz9xZ/i s9JJx%"/ jFㄡ潃K քɩ['bKϳ6* )@1J&4  D&ْ${?Kw_EM!z%b./4Y<Hd0_.Y&=`V `KmWG/ ̆1TYygy-y YAVLJV$s[+c/cG:\B <9切/, " 'QҎ ë94q0Ma7{gYZ7zXZִF! *]ŗXiɟAyԳbɚ->;z+焫vu~~cvpy0T)i \-HX! 04P.9r3`Q%d4yi Э}fai2AP^fasz]`#3PyUq#m}DBvǒx*.hekW)b1-`oҳBߘ1ɺq_AڭK Vʚt>4y Rs*+z>D00,&imB`RPŗM&QM>F e^gYZ7zXZִF! l]ŗXi%9(OXxB)9 ?D,DR.9}v["*.\Ķ:cFI笾;*rIȩnA6-)&$E@t8-?QnR~Jzߢdl~Ugj4#wZ䢇pKnU'W ( |XvIfAzȴ_+˘rl$Ya>ϜjtA]'XgfanGvUYSU%Ua/,]dD7Di"7MՃ$q1w0 ]U2s}ؓ/@ʧeQov.eEoş1bd-BB'Tֵ(<2A+D0qU+xҙZ9 Yʶ^dmE .e֬>Lk 2Y+kuxV9(l ee o|ݬ"'fG)*4(YQhWb^$PCWNΙԫ< w?0"Q "KЭre9-"x`bRf4 [u vhR{!s,/Hg3^WIvGs!iR/XN@: RɸE*y7YP22>[nlSZ T׷7M1hkLi;OĦnqYT /_Hfћ5CSp\PBkQSrdT?90I{}eq1LQ^M*>srޚh M4,@Ʉ-9K҂\.U.E~ ;inRq|$Y˺ Wf Ŷ׺zI%w:n՘`s.u[pP=2XLƁ UlZ';zZHc Д:+UgL|Cru:L yRlaX3:@Un/ ? 3\f2$,#o˾߲}T` F?^ar6QO*x$u+wCM :]ݛjWZVXL*}Ir{ #VgYZ35739e29b430c36625b4c6e63c356bf5831aaa0b3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1a298acf65fb27287d69b79e5623fc6ffe185b72 3493f5f56afd5a6acb23f9b58862abf89ee17cab  CCS