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 oo3 $t ] Functional-Automata:threads=2elapsed=15.825cpu=23.532gc=1.156factor=1.497zXZִF! ]ŗXf1-/6vRZ#գ9mB9c%:n'U]=wS?,!:[y$$!0X xR\mVG7&ے\}͑?R{/~"Qes쾜,L(,x̜|>4 q+&_1J5ppHo-eG0C X$|lxy~d=R ; ^D*A @Ov~ |NáP|ax}CTrNq?|9ϒ̇eSce{ms35fN=vW;<ĭ(5EHmȶ96"Y,VXRx!|ѕdVC$\=Mx^TWTx ,T&-{`ޣ4 &(7hıgYZ7zXZִF! 1]ŗXiɟu𮓧xy:Áln~"p&l=@YS+`n?EQ Bc!2ˋMU)F𕌧^(+7B:}NNs@}hZȧu֑e9KN%,/x,kZvжkBY"5Fד%W(OKKJui=,3ee"NǍX[aʶ{8r#ZW$6fzk=Js˽0ŬNx]GNOgЇdDUW9!5@h|NyJbWSfIO} gYZ7zXZִF! R:]ŗXi%9#qtg4sً|{9^ZjF+Q^~"5\;(]W90Ty]T"2TIؓڏfNc]g &{w ^ro8wgH9,':8 <+^ȤN.^.f7>!bi% 7jհW 1_Sͽےg?CR vVS,^>5M:i@B%AXY\kv=~F6w|E2}I+X=3ZiJ6@D0L^6X ݷxB&?եpd(Tx"f 㹟-pav8҉AL{>O3!}u6skA`j[zȚZ7zy׼]Tҫ491]u\B{Rn,(CFd8$X3KRv4l6dh[Y{ꫪ/97L[?%[po5thϷ&Jr0iUAv1L@ h ;MmbpVUN`[a.a 5eܬ x%R;I7`IWɰPU482R_Y >K}/C&M%gV 4w8uvGF}5Tf|w`- n.D#Վ}ظؐS=/f4-`A"%2o.!?  CИgYZcbe58869c6605d538372623b5176fab8530be3aa8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 3 Functional-Automata