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  !<d ]] CCL:threads=2elapsed=7.071cpu=9.984gc=0.812factor=1.417zXZִF! ]ŗXf1-) enȈA"XxBT/'`a_Cy_0 }jyR@\aT9f6lhשA4 Pޘx"OlNGY{Ov?,^]kFʤ`\4aŒ쩃Kw;wP%g0D* 1_d2OVp)&{ 3#M!gYZ7zXZִF! ]ŗXiɟ 1FE`u)Y5$IR @}7ƚ="`#òSMK]VMJ*O=\%GY`fá㼣+B/| $܇?PQ,c.ԀJvNW+y  klum,RCwd;!hXIbO[o l&/\&>zJL"| gYZ7zXZִF! ]ŗXi%96UCSOva iIr`_9޳^Q_èrkzU>A`%S&y]d#jCRLZy_@Z#=ܫIͱ=J0xRlRcSZ6/NrS%܏ZO.Ӥbdv$ճd5̛r t&2e oWԼaΆFPM]lunpa ^4{WǷZꔜ ~|5Q}L?˳8oNU=拋<\W{T~Bolެ8:wTo_C[E?-K+/; 4o-:n#E9"w\P 'sc$-ۘ/Ћ|cg!773qzкRp@r FW0Zl5&\vR']g0{[q!iz>NʽX8&6VA5AgYZbdd8ea1a6d4bec39e65eea0d4842ff4b37934d34e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc  CCL