SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ttu1 4\ / Finite_Automata_HF:threads=2elapsed=18.642cpu=32.284gc=1.228factor=1.737zXZִF! M R]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++, /D1""9æqȑC/"9%Ɉ|"}w2/uc([^*z}yʝO#9M/KfrL2eq_)$S1.ڜV>+cÑ\g!'MAQPDQІt@-}a^jw]|^@6f2ث%Ӭ⤣rZsDȋ0؎)/c`!U>Sj&`~e~t䭍 @i3aV=<u,V Z4OؐJ?eI/|1:FFqkOU; ϐGU#; )rrsnOwZ% Kx1Êl8Pa 1 Finite_Automata_HFe;2RTzک0$s/l2}q("2[F)È۬6L.,nPM;fVR~t5ޔY쏶TMYH]+|yż2xG[J6@sDC3rsV)4R'Sh@~Hy;RGRӼ!D^jA-"RU#E_N?nD1~|E\?}c@ՊZ-.q!(q]-.9CW;nU Ǥ`жЕ,WGm? [&𮏂ՁxI3T]<ހBǺ+;e୴ S`Js4dkA{c_1AդIJ51V{SEnp'֧#Hkpڮi\ QP3COL8L_9z$8NN; {0)F{"h > ͢PMll =deԱ+FlK/ZXNf%Yo[_=GNąc tDpD"4] PAwuT@m =VQ}b `DN6@oޘ&bdM9w>2sl#_ӘfڌnsWcMmPva+dMEr ]6tu%;/eB /D4on/?}>?6Rνs;sujIvLp-Fʑdž VEnUžVJÊ>k GծZsHnp"߅[ Зrpj^IfC\#7΢SZgaRÉ\nB1`Go$'" l.aF8 yr|N\S<3LzE=;/H= ǜ]S[֪į#{.L ƛ _%gQnׄHaF!!Ђ"ӈ>N8 FoXihLoo/>,B*EK.S5)^!(ZWfwe`y)`.G`?;8 "T*~ǒY ? NM7iiI;I7J'ґuR$2ښ-^FVw7ˡ]úrCD &Ǎ\be،j^W>(^L \h+jSDm ·{H"6:n@(UDrJZ[VHyIrwr;,T9.˽Wqo,165Si"ס܈|ck? .r5h6lp #ñgYZ18218aa91976fb61e310c6a14c0fe43c21bfc5f6 45f7fff17fbdbc853dc5f25944b0992e0363c5bc 52b0aace9d7980c050fa4e0a384a785c607e5f31 6c37c082dea1c6f7ae4fea0e93182ffba959ff53 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea a0d7a666e1ef01cff26fe69e59978baa40c126ac d78db1c9aad63ffea65e353dcf8b24392d2c07bc f9ad8b0e4dc237bddb1a7187abcb79226fec1f9080f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4