SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  w-l$ %/ Constructor_Funs:threads=2elapsed=9.677cpu=6.176gc=0.288factor=0.647zXZִF! ]ŗXf1-/6vRZy ߃&mG˛N\GVnfp+LÏjc}"/S/ʟmBu#h3/gpĜ6ys!PlVe1_-8si\|F^4G9NfvgU|Ve=2_ &L,@\6VZ"QgYZ7zXZִF! 5]ŗXi%}ӱI|J\vMld׺R+J\ծ捸̱R2_IhWzs@Պ 0ߓvh̡ IN0\,+4yF-L֊ѦM;-|P g]dZ?SC &a \aCo wҍ6p*;0\S!2ms+auk_YlN\=b?-1RF"HW6 Ian}p4Le[U!r9g֖GY?$kfQ*E0:I7 }۬In%Q[ޠИ;!(vŸ֔SR\Wd^["Tݑ }ery#@Mt? V#"ﮃ,6B“7bwQJ(c3"v1DzPќm@(Q۸GO[o:̗ 0hO) u[Ģ#k"KgYZ39934a44712cc3689b526749fc52819125ff01bc 39f4551db3e655a3b55d113812c2a52addd91c6f 5af00a6f93339e5ac33354c39f218d6b52d7a255 5e9e0b1d6981d52644f6beeda7bcd9392ca4b2be a050513c4e99915f1143006e1c9e5fbab0cc52780ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f - Constructor_Funs