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   eT|\ ]] CCL:threads=2elapsed=5.904cpu=8.328gc=0.568factor=1.417zXZִF! "]ŗXf1-) enȈA"XxBT/'`a^ሱq`yIajĉ̀57@ig|ha~$ /q#5v151ÄI WlV M lR#hLJE'r̗Դ0͟4'^7{fOuW9ɌC5Wb`gYZ7zXZִF! ]ŗXiɟ 1FE`uToMỹdQaJ倔"hZeW>+IH|#6#Ny/?SBڋop]5+Zmt''aҽP}P)ؗ!YOܫljYv#bށj.'po@Fܑ1#\]qro(/!PD8筱gYZ7zXZִF! G]ŗXi%97񳺚2b4ȞW9bH'dOQ+FX;F-c;cՔ[Z>X-L|d̼P9Y.k){ %8}VŌaZ>z2E`u>@(41N=-y\*1̉'8S2-MB@ lab17-x,o۱֘ aVQ7BPѸk$:q_ 93fz-xbz]eN{\t AjV JRHT3@T`@C!J ɹ2` @oI#EouNzZ6ʂNu!ͷ`*7H 5$7F>e-V č/-U#$UNR]U ƗcbFLz+{k;ϱ? gsDwxeť2y~#u.z!& =!d~nz{亩\635JH?`YGjxr<AgYZ13af6a11b7b07feaad0b7f5a7222bbff0a9f22f798dd477b080148668828b0f67c6e8a1d9708b3f3  CCL