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 77FE t<4 ]/ Name_Carrying_Type_Inference:threads=2elapsed=21.294cpu=37.812gc=1.508factor=1.787zXZִF! M1]ŗXf1-/6vR[ְ8vd6 F^Hf.OH =& IuW~O#3er\a|$̭v皯k4K'O=6Ԭ dy?s~_#`}mּrGb3}OZTFq'# Axo!=@Ms[tyy8ou1ϣ\ ) e rm1~D G^*t%8gYZ7zXZִF! p]ŗXiɟż]7dSWFQ'8x^SbZ r(g:3Xb)% ;rB,yx-mk;2ֵ̝y4Fj-rO}èHxix[RJ`$c^^NY'i}J+5ub7JtpQ86cx'͂ %xz9#qCa¾^60>Uw9>"*܅=j4^"y}s{E9MUcǖ>u`۵ཤCMcQ2܌7N4'&};D^^Mbl&@)BD<*%i)*_i)(.C ܻpdo(J ;nl!=3tR&9z"w`5r)#`TM "1ٜ0 u-KNJyYq_MN$uz`eS .O*Lbeo*sat)+܏gx"X T˼d0XPW <9Mo)15c 62 p- kLCq-@_?+8 _Pȿ ~6Ƀo؂:V^$"tc(4l^4C+۽3T bd9{0 O&B/c?E܇\'d( v|_kbHY: 8xFΥPh_Uel@Ibڟ?V{-Oǩ"(i6 n(gb]Oq"&o-aQaid] {:׊V}wJAq/~A0׿^*0ql1f`'R{Fj(Tt6(r$贺}cWtb*mF[tm= sfƀN2{F y!X*M18 o7Ӣr'..4<)SK`,oG*=Ov4z*`Co_wh%/9TVeGylk GruѸS}9\<\ ((2d2[\my|1.zXJMﴫ0z0x&\U1+6{ bke9YɌiX~H)c$S-\%F$i08 ^X9 GeE k7)uFL)č"l$];c(װ_2i.8ϑg{/ bMᄂ("afZ.' ]g8#$0]Z%V-_,G;kP:fcU ar?B7Gh=V{Y}ꛉVY\*7Ֆsy{˜< G}gYZ8a91f9bd82178e9282888868c2682564588ed36479d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d E Name_Carrying_Type_Inference