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  l< ]/]HOLCF:threads=6elapsed=12.901cpu=35.824gc=2.092factor=2.787zXZִF! "]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>Vj6"&aXAWISՎ'W06NPϫ:-Tw%kwF u;>4g7L;sx*4(&fVUh?Spo/E?t񯦇295HI67g?o@Bv h1["D0'avŢ\͜=SMWe>Ț(ɱȐ^(VxfD-X}{^~PR'yi"#XmA>&pN{}MnPʝcݟ eC-Zp9gg]D =f#u;'ȝLsM =4ں5FMkJD%ᯂ0DʇUtWN+Zv+ od|n&EF`b 2Kg "\jk CB%P~mcys_*[}hC:[{jۍ STwjn ?Z߭7v$r٧b"& H(n=1pUa1Ir] E gYZ7zXZִF! X]ŗXiɟ>Ӈɇ9S2]mUOi@{tűT{`BҀزs|&aɋjvVn"R[c}N8ƹ1"= j?#s;qJjo1 pDZ~6Z^X[ٛ{bg{&I՚mz]XLuMÅXTo& PEݸ%]}KEҝ_$2 'مc٣ujvH>~[X^A))89E'hO|SEaT`z0ṵm珨W[fwB ))e#n ǂ13YjUmzza MW*ܣ[N584f>Us[W1\8c̪BD:FjABF xC#?ᩰ٥GD6=Nz6kqUQm>UOQDL갹Ifcm4'+?-f"4bqZb1q ׭8,ѳ+6>E^ṞgYZ7zXZִF! =~@]ŗXi%;Ǟ/70FN'!l|8)Z5.[RNY;)[K:xX%6@1o@% {F㕘bV&>9zL  q|9qwW^bZvxmbN뼵>-Q:|G>/BE 7w}Tw5\o:xj׶:Өti1)h '}FWL42f>˛k뻰)Wt`e>{X1r4 5p1hysW DUUՠ`gC&p 8Cq}qGH 9/!^@%lzV9fWg:F#n+|X :WҞ0|x {vj%%ݴ3) 𳷝Y%&#R(jkVWz~xE17JeLO9/a E(EKٽX>Ո)tybO&1A޷"&d.tjSHߕH&8INMv%-9NFNW(d;`b,ho_3ck;w:ej>O% Bۗ