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  DlD ]]IOA:threads=2elapsed=16.492cpu=30.624gc=1.268factor=1.867zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K);f!qGxQjxɛI}e.l V3O Ԣ\-f;Hݺc?#q,]L4RޭNkx?8&hd.J63I_Yzzyo3vJ@Yg }{8f.4r&G]/WRڋQ\&uWPk8ˏ,vp&xzb=Wr]Y3\! DUP4lq55o9K<ީfj4ANO@XgYZ7zXZִF! `m]ŗXiɟdN⡊>jo @?X-o!C5wV$q<۠{e2J︸f:7fiU4>(K&2.zk,+NlÂ}QdL&4ӾԷ( C|m|&(FSb$/l$z M˼8 wg x^aI.U5:{}o~Ƒn6orѩ~UQYxFg9-SZˑd/Z~oFWGg2?|V sRXFg45};?lW,sx/OOV\wL;.T[V,yVq脜{NCA ᧹>E'y2׮h*Ԉ97#[׺-K!Z w3iB>HBNjjva`6AɲOa7: Ǧ%(^ױiRC)klt)gH9Q:3T%0)cp'zonW1*O`\aka՗0Ύ@6v `8N;Q<+S.MDM;Y׭Ĩ2F4>#0v~_/%Vc%VF1FBRa 2S sQQHlzY<_*RT^L1wҌ>%yf5CvΫ4,wWxZ\cf~ZA[K0?%x} "!U|N,4?){Y#{LYgJpZ(3Ixja1!Iw{X$ M0h[7+B[?ŦmDBElµv2e~sj%m̷,u3@d6,tOӢgõ;_jn"1!V>Hal4 5<&Njnӭ(b^zU1$Jw>mA X0b,w$%[ @mgYZ7699386470356ed2533f1f64a332e7d50229a957ccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d d31a005361b48528fcecf80177a5bc26de0a8b504d754a3e6c61a76ecffccb023e72c07a2e968fb7  IOA