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 //N1 d\ / Finite_Automata_HF:threads=2elapsed=18.469cpu=31.244gc=1.204factor=1.697zXZִF! Uk]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*a]1| M'߃f-2Ve.,-hS훫v:@q(h궺v\B ;!6v%tUO !zC#<ٸVқO;voݻ8Q|!Ȉ(YĕO6(i٩-wqqzʼnψA1F>h-0ΏLSRBH2+(J5E*(8kixȆ\YPh% ŵrϩDp GXznc"o齡$Rԩ1@!s>Ƥ>ATYjq^9m> 9!cJvXB9E9>~g[gz1 1 V)| J8OY4C;%Cgf=U)Gؾ9[+WxH0S*`$MCC_ϊ@/3cӠh:#;,7Ľ#=x?yEߛgvaQi4&BϦ)əˀ{^Gk4 =Xךj@Y e!펤Û57zdduMf *fV롦_xws(2uqfS#1򑩡ZZ θi ,=+TUCp5F ⳏ*@3.9nmWC%١ ߍE#ðP\99<89]b>Kjf&R'A~-$5uOxh βG=oʍOWN:j=n G!ݍuv|_:ɥC%OZ@XAY$51@J-2,X=Ms}AJc ]T55 Ѵ|ozSE mzCGD>uo[(3*8ΘztcNPV TB+W{:-M?VP[VWg#U6ѻhrn/崴u/d"*PzzjFXA1yL˻g +߾&宓z^Vf,m첽* * tg:LP*ѬlK~!>{"b`{0c ܰ2Q뉺4A_K &r. zhk;h'u*W> ̶y54xw]A8 UML蹰~9/ug& q"`sr0_\F 7瘴c/s6R5ރ p$GL,)s C^ gYZ001dcd4d6a8d3cebe37f416fa2bfd07d87bbd6b1 3d085b2f15013ab9cdd8983b82002e5b7e45d759 4439e679cb846ae77babe55c9f310b1b6bd5bbed 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 6c37c082dea1c6f7ae4fea0e93182ffba959ff53 a0d7a666e1ef01cff26fe69e59978baa40c126ac d78db1c9aad63ffea65e353dcf8b24392d2c07bc f9ad8b0e4dc237bddb1a7187abcb79226fec1f90735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 1 Finite_Automata_HF