SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info n3Dd SS Descartes_Sign_Rule:threads=2elapsed=2.748cpu=4.932gc=0.168factor=1.797zXZִF! ]ŗXf1-/6vRZ2ޝ嚮{^^)u$\Fݹ(LxktC7r]͊vyZ}ޣ8g`Y U) [YS$+Zȧ2];JlOUTh8ѩa!Be8 RV$@"&=S^C,~Ĥi)94Ap.o6 0rmEfwM=CC]58< ʰ3=uv&6>~/mӈ0J8Զ8 +ɲ䴻0e[@rJI 5P/4F.jyjXZYg?m-m{ў7jwLO6ξ_^4`~dbvMG:3ܳu7h t,{4fmzx3S~K?FEՔFUFQFI 3 Descartes_Sign_RulepP޶i!e-+{~ ff.Δgl 65gYZ7zXZִF! P*]ŗXi% QFbeBѯ~ayG/MY+gWI}GUqeu!DQXIb]|1"_%o AI\nH/DT ,Nn76gfKЦ 2l.A6<۝i<:Ql2J@<e/g柉!I%?|5)W|qw[aFL!qx~ ˯,Β=|Ga!)+Ka_U;Irp~iHYL0 Pz d4/ a5G;^zm#?yU ux륑ΏOQSi8Ek_H}0%Xs@ xʔ Virŝ.:_]gYZ5cb3670927430e83609193d63018786d130d05ba 72cc4942cce77282ce20b0d84008390339bce3b9 865203ed8696a2250b247cfb24cc9020e5305457 b0a80f21b422bcacfce2958e094d48cd6356980c3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6925d5ba347f030568cd8e7a62478e287f17a31 10cae7858f6298753bffb93deb42b58c91c816c8