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 i D$T ]w]Routing:threads=2elapsed=13.813cpu=24.596gc=0.912factor=1.787zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kIJ!;7DUܗ~ SP2) iXaj_7 b :ɐ j ]#`Z}2={!51 u_Y( Y~8:sLBe,,R3%Ah\.nqRDι2;0N^l勇]kEz(;mwOx"UvI/Ie2m]'Q1a^&?M]_"->uzwɪ>uq7}كRP尅[ 2gĻH t"fыܕO$  lqn*lB  gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLS{7BU;~ʶj:{-)S `\$U)+Vh@%6莐/ǽxG*֞GՍ4+n@o_5UH@ySA CltqSxR2l[umf RUYzyi=GX1 |DupջuPBHz,5omBeA(q_&EI @k"dq&˜?)IA~5Wr։2ow Eu/2M}eZ|bbKlK-cGa|~aj0?mHtO (Vև4咔~I}c0Sra&?ñ6l4,d5p_REآktR1eoQ !84H[&N itmu?%`7u'׳.Nzm:p-Cl9BŠ. S`/Ãd:G Y2'5Džˊ~xi#~zy,1)5lTRZ1P[ `kISjUK.? @۽}AG ~8Q$%KVi;1O:g,5 !imɞ5rH%{1M Nle?/hgUz2f Ļr\FvO H{R#Ol腨B$߹K0F~3-TeNN*xʊ3o#u^M\7ZTmB\M /ؚfi*뼏|X A$ ]YZGE"N,*8s 2"^*P~ p^zI,,ov|˸v҃||\CRGnO'C^:>!# oXV{ۛO~`0J&Qq.[MƉ?QL, T)C-,^vJ.WoV-Mnmi(WMD̚*Qz`O{Um@w zuMc[eүe+!]N0ȭ