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 b ,\ ]S Codegen:threads=2elapsed=8.218cpu=16.016gc=0.976factor=1.957zXZִF! ]ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4{hDס pןc_uf*\}p%vaUȫh#)]dEr(v6It(̅u;C6c\%@m3M2n|Mi{zJś$M/:pKjkV}5NUϙ;2їsFvިY5=dzވp#Wo8&P) Qq࠲FaT]9Yߚ12󫌼qgYZ7zXZִF! C]ŗXiɟ&,fsØ6X)w`IylW8̯i83A] 95humՠNwIHFNԼ!}D[&a0KgyagYZ7zXZִF! '%]ŗXi%;>`%拹ja=BtM:.3@"`w7ӅAJx}4mU樛$#k~(b}iKȣ'msn4.ݍs+.]&.<ΟdQ9KG'E71 Ij !D#U~Din\&!sluI]քר mEWe>vn.8+^m$Cб """tKuIFhX7B[Rߊݮ1D#aBWJPC'ȋ@z,Cl'%PQhjϰ 'M}2~EzQ\4ἬSI$ eX?m=]