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  4 4ID|4 ]] CCL:threads=2elapsed=5.472cpu=7.884gc=0.548factor=1.447zXZִF! ]ŗXf1-) enȈA"XxBT/'`a^CߕZ7SXi*QiV;YFDQKwy%?,w Q9]=h~<HGcJ&P9#r&|}nՋ藣fW95( rPFuōZ})%`>vm}*@~ 7!o3 $gYZ7zXZִF! ]ŗXiɟ 1FE`u@N1M|4zpRmMLR ˫2OL@ lixmfAR"d˟L]#zCSd+euklKsI@EMۭDgڎUd>ؓu2W@}bSxVh}E^&tkaܵ{fNMj^cJs+gYZ7zXZִF! ]ŗXi%;ź7[ҫz!=V]}SQ֟0У.ȱ+$_z & a?)&̄5pWVʠͫ?u hUd7|֧o^?1݌O-)=LKFN|t n[=?g o*¼%ʥj^9Z- 6ؽh 1SPbTuu )ɿv),e{n!0s&//i13TfѳF3ɍ١_ 9Y7QAΦ>*m/efЯ8[Tsg7պL7}4D@QD,f("$Y ʼ4.PqץM07;x/dsF)!im9_'nnlTT̬ؔjzblNFf˒a߯ ztQQ*:ٙ~zQZWf&)i 9 H8$"!+ h] WˆE$+lYS9{&RdĢ 5 і0 fR dzbCq׿ViWNYIHB l$|fq2}71igYZ6e308463fa6aa5c317965aad706cfa7ad6c8033a047361513188e7c72a6ffd9fc0d5d82009c64e0e  CCL