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 P1 $\ ]/ Finite_Automata_HF:threads=2elapsed=17.849cpu=30.584gc=1.268factor=1.717zXZִF! >~]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAU6N\[_ 4W mW=40b:$Zzv]` t..bԆ׊N׬všTY<: ]&^SY OB|fHEw":nH^m :/2$d[\E䩸oB\*^sOsIsh)r~iy|sfkZB~x ?ћ;<+;]se4Zmx"ydtNY#+Y0UyAP}h.(MJv%B{%ޔW%̨JMlrHS )x׷U˰jAv-Ю+䬷Y[g<402a=۠d/#_.{RG+tU/4=5(\+ygTuaλGL׉=M5괅c431F?v0?!$7S,MgByq;a!oV@nW0R=| |~'(c{d'8&2 6; -JV_侊!ȁc5Ĵ[SkYWbs]q^]r1.m6:x+,Jaw}mW O0A$G}dzd= n{m>ǜm( fPغS~Y%OYJ/,K^cmq6٥ѧq:UR~6UQn+d͏lOׅjz>E i`EF%L3łEJfwFF( k~NnR)ֽD~Wcxwp-"x2^qӘ΢o}GO8EuI:}d> Ktej6 :xp~%DH[mùӂ?razOű pJt /oFOR qjfq㋅-ڇ  n!"v7 ޭj^G[l5\xQ)rx́@X_nM\m)ե˛ dH!T{f gYZ9d4865a94a40e05949c63e1b36101225cd9a4fc18ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 1 Finite_Automata_HF