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 __1 d, m/ Tree_Decomposition:threads=2elapsed=7.870cpu=13.360gc=0.376factor=1.707zXZִF! Ej]ŗXf1-/6vR[lN.5ZoT#80g- JzA}Ee ^A߅X(etZniel9a1dW8b)eIךTBmњ'ΐmL;lfggN!Gcz4WAg O&j}3BTGf0̓힚eJl-f/ d\D,fi]lT(IZ|M%WAA}S%R-2vt->Э YRS¶&-ă}܆6:ۓCz=ah- H EzBg1عi4@ {$) FTŗEG3-%<+Aq@6r_ڻKp\8j:dnT;)ZmZLlmBؼfZl\GPC :ɫ tWm6BF5rz1P6s"j+9Gk[TP|:JD]z+rX/mՏ=3~@;EرRe"mh5֪C?mS&?Puŋ_]dxDCѷ^ڴ`ޑæ {8d/|=taN82!B1eA9Yc.u_![١Gx5V[o S'OşMIS! &Y[Bl DM(<6$XOC(-Oʱd) TdSSrTjE9TZ/Um(?^}<ۻZ@J/ıl Tp}msKЋ)rs\T Qv˶j- J> 0IgYZ7zXZִF! 1;]ŗXi%gv0?,YOI}c G |'j)  ._A_{ gp6'~Ԧ[Tnny7zpJXBe GAy%J,EN\؆%EbcF#]ӭ\~ j>TYfŶ[ )E>x<+JiJ7E%uBj} Uhd˷v `M38Q<Է%.ұDH(OrlwPd3jOIITWactC-@ǰN,]H_٘@%Ѯ8N뚮ꀓ2yꗛ=OޢQæڵ~L*HBV Rmv:K4ILogyX[p=ɒjXv7辌;NUManD0i;oăN zԠš L^ Vg1K"ŽLK'4r-O~%%"~rQu@!,q+(T'8,Ct%2j.g1_? $llBep ռxӔ_EW¼|8vzbYgYZ0a948135ee375ea4a9fde11b1b2e43f711bbfba8 2985b56e92208257adea3966050bf183b257ecaa 43c4aba3fa8fbe8452df3c1a57b29dc018ff53a4 4a3509a5067f69ec582761a878c82629d873caad 5b6f1962f7b26f225598636f9468dfc58eeae340 76bcefd2ca58a529896b0792bd01747990c7413f d54a5383657af702cf1dc794b8843ff9111063b5 e1a001c8f1cae38e8131d767ac65efa5d07f4ccc e4b7116758457dde30f28616086b32c74ccb7ebf572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb 1 Tree_Decomposition