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 **S  ]w]Routing:threads=2elapsed=17.790cpu=32.416gc=0.956factor=1.827zXZִF! ]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡c^W/CrUbe4+ -z:jX$X4iAe.'=B>k4*4X@DF8D{t{nmVh'!B7M E_ir ~A;qSP}c ̡8x5$& xLj;'mg;cq0Պv_AFe7(C'D1N9$ah6uX6WD/L?ڏ=OOWBt$7'WE={qk Zv8K1[+6w'T?<#E1|NjMw on1,TTkd?qQׯӾ:gYZ7zXZִF! [x]ŗXi%6.ZT#`z@mdWVMv#[?>xjGu@ÿk!BsV=qkHka-jC>HxKOY7e'9(AUkR5x@*N6 a^d,vz`RHęiو6C]'pkkYr݊jc!_ =Y,WQ$ v]ci?-p u|zSf*#su4x;89J1 ~ex:ʋ/T\Sq¢ srIYX!m,h(|>I~B6s@!,Hj!~`=չJJ*BU3-S167<- ` kB _ '}{0ZHyH3]R_nRDF䇄XA#N; [fhpv;32yeG)laJj7{r(Ͱ~I4\ r\ۍ9$޾=vԽj2E%YȦ=v9%ŒnʂiiX/SuL׷b" &F$9o>ER~+QRG8U!?}9&,!Z-[87@YclZwf;a&7M0y5JWvfi} .F̸{ F^iLbR{ Y+}gڂ+ 9 Z >&\~˼U8{ vJ,+f$*?NP+Q WQzZKȃ,y PC<2b/uJU&y. 컒E­H"D$1^F]Z: 5)26R)QzS;]jF0ݭqrZ}ѻǣ~7Q7ne 7atP`;9rN'@,%7d )S5rO9PG%U6cWDr>{;.jyw[o-GT7t -aw{t^} E3,(;oHߗC$>jHVP`&>ꍋ{3DýiS:?mU^90:J{yE0 Ud?X>)Fp^p{ᢒn[bbie v[gYZ06747abc96ef1543325680b9ae202747f123938e0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 86c62a8d8ac123fce4a0ee6d182b7e268d49ebac 11a246fffd9c657ee000184900c4b699c46c89c0 1172be46fa9b4fac3132139e34ce5be6ad0afc91 3ff4d88b90d07ef2b57edb406ccb94132eabab92f3d1c5eea26c28a0923bc3af67980f064e8fe99d   Routing