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 WW&1 ,D / Finite_Automata_HF:threads=2elapsed=18.422cpu=30.988gc=1.256factor=1.687zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kx^<57HSk/ޗ&Aá_J>dnw,(D,⫒Tqd9i|p+j?GTgڏJDq g4{l=;WLCXXH>q0?*+11Nޡ>Ai`^B%Y>50@vj^Sp4N{p5ihTOo:w$I֣=4+ !xy*9142ɣ  e [t-uc6[1c@0h'VH,GESrev!箌=7}!SudDÂ K66䏎WNMvOSJAwd]~6z"ФiKqlJ4.K@# ]-(GQ`]Ǽl7,ӝLLK|pرyv4WFZ,"x, S/I+ggYZ7zXZִF! ^ ]ŗXi%6˻h ) ҝYR^2 2vIpmiXCIseF%뫀kJKH*ފ{q^pKM.[\eNF4*O.oontm|~YmCtE-3njжru_@f}oVdzT_:pQH` G  5/H0!ѧ̴4fP͍w#w6L H.E VkbB.tqpIL v fviyIQIhQ?r 2(.2 wRadqUB3_,QfâV ]D@ƅiVĭv5b~Wz}Zj5Y "+!f2e}+7#ė4Rx#9W`jy=(4f*:n2#~^Ȍr8 WGyo+}= s`djZwGWW*c+6O%-yyoXUzJ^ú-1`dOVLz&rGQ/f{wvU!fg A!TcgjZ~ 6PB581-8jMz&|({+ɩ(~͘| 88Eۯ7Y\d`_ZJ 5'򙍍_AԲ$LCy*7SYͽ,sCr[*%ʒ%a'GG9 <16 $Jrē7=O֥jb!ic\ zȚH~<-wV=ĭ[}&{ pZ~̠-#,8}?dK,ȌeHÄ^V>h"1[tc/QWKVH{jYL{|}83P Y BKb;Px8>m@-GBz\rCi9m[ M\gYZ001dcd4d6a8d3cebe37f416fa2bfd07d87bbd6b1 3d085b2f15013ab9cdd8983b82002e5b7e45d759 4439e679cb846ae77babe55c9f310b1b6bd5bbed 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 6c37c082dea1c6f7ae4fea0e93182ffba959ff53 a0d7a666e1ef01cff26fe69e59978baa40c126ac d78db1c9aad63ffea65e353dcf8b24392d2c07bc f9ad8b0e4dc237bddb1a7187abcb79226fec1f90554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 1 Finite_Automata_HF