SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 b3 Td$ ] Functional-Automata:threads=2elapsed=15.965cpu=24.064gc=1.056factor=1.517zXZִF! ?]ŗXf1-/6vRZ#գ9mB9c%:n'U]=wSz1 TTj}.BH2p1Yǖ{y~-\!ֽ2Ä)W_A~ˈF뿒[UߍZ"dT[K(D#Sj/٨qظZ}ZS`<]' JpF87R4ܴU#(Ayjf:HP6}EUB3d481+ 'oşST#f i9l3AP bug̙[ W8ɾ m' &*ol6EP*(]V!44böyq%̄ՠ) j{8t50& L)ǀ~,ᦁ3;@Kf=:.9wS٢Qs[2d]W̉Oh*3m$y\f2E&HjD&K'}:M([ -WvksV#A}2;oF9 KUHpIV|7dU%vYQڟ  sELgYZ7zXZִF! ^ ]ŗXi%>gZXU*.I3YK΢ːނ(>l|GoP-#@jFz# Kƶ%'=l}N.6R]\PĠ@5}Ŗt 6-~*]`~'M/ypwhYʭO@=siua<VI&L_>x[KY"!lI[P +=SQlT෿b9*lhS)دKǾOW,K^ 4ht nS%Z!!7d3/D}Vqb]!,X$Ch%{)TCg BjQ!h'iMm ®OH_EРͺcD{}Ȩ>|mʪ.+D1OikId0hm,D%$v$]ŷCI CaW%*#֊*=CazMiPLԚdmq yXg\NWn4Ԧ۳XWޥiD1}^XASZˋzȊa&}-V Lm ~\cTo_&3cD >i֪ͭBh ,V3bob*N6LZ6oaE9Mo@LkUX)"1pBhe>'b&S2_rFx4-j7? 1:9"ߦR$/,Gδ]s to9aaVin&ٱ@{EEl+ m `2E΢ulHunCut, Ά*dy DE0VqoHt;ND1YNe eq7`.2OhPԭK.ٌ]fsZw|^_EL&YZ t olgYZc2b304fc46be4840131f1d2da8a2fd1dfb8e8e55767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 3 Functional-Automata