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 [["3 ,t< ] Functional-Automata:threads=2elapsed=15.656cpu=24.032gc=1.172factor=1.547zXZִF! $]ŗXf1-/6vRZ#գ9mB9c%:n'U]=wS?,!:[y$$! ވ5$:#2'A smE z8e' y1 `O>բ~eOӅ DllA$KJi]2G>&e)v(=@⽇A%j9'7toK{B!o \ lI}80ΜkJs*a+#OԖڄj\'iw(im^H3v!IŪ[\/[1g*s73@K(8;1R. Ku 9NjA_#>>+h NO%I仳͡|!;uḃ-$5lA؞`HC˒H&zF7RLҠױgYZ7zXZִF! 1]ŗXiɟu𮓧xy:Áln~"p&l=@YPKGUd:`fNvi8ŢKEN&}afn% gYZ7zXZִF! V]ŗXi%92C)ܦ}ZoƔD8'0_ƛ1A:slV,".yS\R)(Yp \8ozhavᎇhS%z@_ G8k qw6FȣtW0cIv&.wPʌP<PbPs*]iiR3Mb# ({ﴡf(rW"(}E+\Nq&qb,Na4Tfg26Co/*Jr8E̡φ]<)iP5sL?`WA&"L[$pESνJl}-AYY!{[{tj5E</OrenG"t(L=vPwi#/wD:9PCL؂!ͥ89HM$,tFsuB9&Lo#jUyYhq3bj}DZlc]ivصgnq|L[/WR?@:tvB؛n>I&K\jea2wD)tU/($ORCR`t# d&V]8ε.д[AF_+[$z+4yɑf@IӦLNb{!X/b NQeFkpyMmff 9gxR 4$P<-q~Wa#*IAAHBE(P }\ѶONHX"oWo*~6IғOa?a1aooA (bOlR ?</)]" `4C$̀5`{s|&i6lؑw%3ȭ˶?{K_-.!.R_l(ڥX0L1Չ/Q'[Ǚ SF/8F_ c'gYZ8e71ddcd4352c57e172e09b5a69be5200ffd9106f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e2 3 Functional-Automata