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 33J1 tD / Finite_Automata_HF:threads=2elapsed=18.811cpu=31.728gc=1.156factor=1.697zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*asq> b(—T&腚ftwu#y8-m~ mR!d)4y`uҹa=EOFT<`lr5ł@5X ,mՑP=@gNi]4iΌb0?b^m0:O e{s{ erSOz#e }dpʧ!3YA|qMa]R ŴX|2of![Y b$w}ItƙA ]dS#S:&Y!V AL~OO""Rʕ$N$&q&alr 镎d9Q&7%t}jiU 'ZpNnccYb"e 1D0OН-i]5/3J*3Yݨ.S.iUPPL,glPA{?Zq/Xݛ5Ӌ1x+)ؓ\C&rI3i1G%gYZ7zXZִF! `e]ŗXi%}!j-ұ<߮;_\OV<:)HH;`č oy |c 0[R#"M1ca+}j?'fplO}q9[%vg" -ƪ}tjkvǦ;*a9'4%X'y((iΒ3ԑqޛIt|L}?AZn@1m[M!(>LV8&oFpaLpրszD*wK^5ӨaOQHp=H)g~[#Y׈C܄Rӳޏj ]jy{br2H|k <}'venBQH穇 rP R? !YKZ鉊;Ȟח ǩ_?Tʱ5Q!4p @nvlx}T{$%p MTF]1aEruSAj.s<&?L@?fR3Ԯ} xrF-2ueZ7^GL pA|~ y9Af5+ vp?|$e{b5/S)m꫟[#-4m.JYC9hyCb45'R[Lӛ8pP}BomDCK[BQ:ΎfATjx_x6uhp;e:IC?=XyKUzPgdi 5A_2]Ox "8, Jp|lZ(z(Tqf&Bχ\dQs!5s&4:o#ɞw0/i,7 FUtvs:6 U J@c:z0DE9z6&Cx-|3uAnLd@"}m $%XPh0s{2 ) PH)n, 2i^pLZW@%աlgaN"LᢅMXWhhRa-/,d9|r(pܗ-Rc,7 0)יAV8Ƈ5ϛܼ­R  #VԜ=mV5uMIHٙÒ bGsÒ=!-[8q 9y8V' 3 ܛ UL䚧5yqÞ/[r-(r7OjU ˅g}scO|Z%)z} pџUZI9`SZ䔜L(z:T FU~@-@{!uߩTRWf-'j:Ѧ+4 ?(UD:^b=Bp}8-[9`M霗#uǔ*n\7. H)\ w. 1ͼ9gYZ001dcd4d6a8d3cebe37f416fa2bfd07d87bbd6b1 3d085b2f15013ab9cdd8983b82002e5b7e45d759 4439e679cb846ae77babe55c9f310b1b6bd5bbed 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 6c37c082dea1c6f7ae4fea0e93182ffba959ff53 a0d7a666e1ef01cff26fe69e59978baa40c126ac d78db1c9aad63ffea65e353dcf8b24392d2c07bc f9ad8b0e4dc237bddb1a7187abcb79226fec1f900ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 1 Finite_Automata_HF