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 71 $, ]% Stream_Fusion_Code:threads=2elapsed=18.437cpu=33.364gc=1.696factor=1.817zXZִF! $L ]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&yS LD˭1]R1&8%gӚaW{TQU|Y͇EC/!g%U\fVQ㿢ecXg6Cz(te>ˡJB~4*(|liS˸'IBז}\V tB:=Ϊzr9*ڮ,e3M#ޢ{P94od*z֎ ŰSBa'Hw^i>u6vq%4%ci2C,egNQ`[v-Rܳe?t-tGL¯n;XX-SQc#M F$L&ˮ<3өpVH,\De9lA^BIX};t4lufsVK}oR]̖fhl0[gϠяa@cyӄ$GV;1- RL(" &u. * &qn"D)pkniPүrZ95'z;?|' g&ae\,6NYWWw'rkqPa&\9"N ÷!9@sТgԶٶ^Czb {ZO1 4 |L[7&mOROt(jhk!kk!{'M&;xƘ][Kl8w`l_1!T~R˄yNn*UVB$q1Ǫa٩%+lROmzh Me 裤0n+8[qHtz;x9?`Q4ꮣtv:" }&)n{} MNִN:'28TANq O i:wYfc`l[xx2e;B\P#5Å ;t0m#v8[lsbg:%A3[kNL^ZhI RzYC"?>OIy;;sEqnk!ގ^<_X\Z=d8 \%h cXASKgLrycˬFGB-<+_1?bp9Zҍm|Xl\銍na!9VіEՂ:)J6AmTURUJD*>`qPlCr7fw hL\e XMҸi=M:7(*} J͐Zoy<[̮ɃH?<-}ٓتk2˞*'4(~"Zp` f "h|U598o\PTfYE~ (|GxzJef`3MVVΓFAh=q%W-r*@zQ8gؓ_Ne2E\/g m0&i]n׀w  gYZ908a629d39d8348ab35974333282e3106388bcd6e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de 1bd5c53b4a9955d4b84893e4ecfc2be5f5258fbb 1 Stream_Fusion_Code