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  i=| \ ] Tail_Recursive_Functions:threads=2elapsed=4.571cpu=8.008gc=0.416factor=1.757zXZִF! 7]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+B ޟ:Ӵt35 Wє6Z.TBjei⩚"mLHgE yz +gYZ7zXZִF! %`]ŗXi%;уxQU(Gq^*!FeNES߈s˧La!f(jq{-z ~>¡N6]廉`+5YG)eDԐu^Z‚m& 砉O(%W =2VϪBݒaH p/[ 'T X$U<P\"U (m0$ oR Iay_jz)7Un.gz-`:+mGU=~;ljW((8G 4= "٬xBCPפyjǪs(oJs[ 6apHGG`5;4_Ӌ9ʋvW[ȍG +qT>ɏɪujD\d6Σ3 kC &YX!]1al[˺tzzS.l;ag2ͷ)"K.jrkVʻf>_:6 ofTQi[]zVjL R @UC942j/6kYg7AuB{@^AVjË:}^JYڱgYZ944b8ebb27cf30230a206c5d9e2bd59c7877a45d79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 = Tail_Recursive_Functions