SQLite format 3 @ % . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info n n \L ] BDD:threads=2elapsed=78.598cpu=140.020gc=3.300factor=1.787zXZ ִF ! B[] ŗXf1-/6vRZj3ZX7 f\{4= l딳@-0:%>t +ݎ3yS,'$C54H.kTIBc|J~\$17֘\4 k0QpI.ɨ6_-Qs3.;nR#3o#ٷsQ(U*ܩ%JYܢʣ0+'mFtqS)f4-KR.C;etCDuؼn&cC cXod}|V[K+82Ń$>HaŚ*"bH2.NSIݫԍtD?G~Nq^+於h%KU#HDmmgюc=9C[uŇ+A7IDX![ݸZX5>nML {4QH6-49Ϟիp?Ieode!ټ>-߅J1 YW|*eojozYCLډ[ˮ;Ӆ)+7F9tpqw>A}1H۠l劊4֑_.xvd%$̾ ![j} gs.{Ơz3*∴i4!NpZq>u1şOͽ;p6@7 r 4 M N Gl %}Z&1itBq*hdU2cpuJ| sz%BvRtD}7!/S;58h̽:,03X2!Ⰰ7`3VpѳGDltNn\j+ulҗm. B1q0W"Tbs;XR{2u+^GR8+za(|02L/& CՓ>\U$gTp3}o]~dg!64VrFԞɍc]Jݮua.Q`1}Mj~BFs:? >_J^ڇ]3#^2ԹΧ9;y1}W^_ѰX9/4L # Oz 蝙2G{ [㛾9)1Wĸ>@8 aADr%r^i"? l>'?C 7ԉB܀֗~kM>r4"ù\xΆWNb}"|N;TSwouS[![J́9 k cq &Z]DUFqt$8£W/T1iD^}NJ[hFH$6q*dSJUp:ճ )-N5jg4ΫHN|2[qBnzf 8;8/V-Aуʾ\R㐚qE7↚y(7pi`UhOaf3m>TYIndֆ, 5LT' <ݑLġn)4 cc ܄ g YZ7zXZ ִF ! u ] ŗXiɟיvL6 SczP6jhMcRg1`]ʉD!h5+\~}Gxc3KcRܿr4p