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 4 m/ Tree_Decomposition:threads=2elapsed=8.264cpu=13.872gc=0.404factor=1.687zXZִF! -R]ŗXf1-/6vR[lN.5ZoT#80g- JzA}Ee ^A߅X(et\c$$t2g6U0C: ] `m.YФʂ4g( ѣV4NVMK\gm+;<6l l!Og%s1B+ȌG^A;DVqZ-,Թˈ5Uǧ$)1o$ܨF)!aHXvc]Ӈcfw i 5BiT&rb`@TR.]g'gYZ7zXZִF! 3]ŗXi%6xqrJ[t=5ϙ H8正iKX|bEto`!|K 7"$2A&5B|,pP5e mYd dw0њr_m7v`\S ?[':p -/`vgOÖwe*jqK5֕Pi%f21L|oK4j Hg51 Oέ/o*  Y9}fWf@p+uUs9D+ !fX3dEccw Zd=)*l3=eƒ2-ieO*7cwo'8}fӶݨz؎+qm2 ^NhŲm+fâ,UKGqu1e`@}d2LZ\ @3)l| .q3[vF*4FK^^3^V!ҚឣS@0p>(4D])Hs aeD $ w=.kk]oL0ٟ! /*dF?PV7-g8޼eh'EmO[=fOǐkffv$Cnz^ߡN60 J,CWˎぃU+fŤhT[:L{pUƐYN^5Q-%xutVCkkLxRWv x] 4*VC9/my;-UWY:-E9&2'6RDggYZ0a948135ee375ea4a9fde11b1b2e43f711bbfba8 2985b56e92208257adea3966050bf183b257ecaa 43c4aba3fa8fbe8452df3c1a57b29dc018ff53a4 4a3509a5067f69ec582761a878c82629d873caad 5b6f1962f7b26f225598636f9468dfc58eeae340 76bcefd2ca58a529896b0792bd01747990c7413f d54a5383657af702cf1dc794b8843ff9111063b5 e1a001c8f1cae38e8131d767ac65efa5d07f4ccc e4b7116758457dde30f28616086b32c74ccb7ebf554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 1 Tree_Decomposition