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   o1 T\ ]/ Tree_Decomposition:threads=2elapsed=7.960cpu=13.460gc=0.368factor=1.697zXZִF! %E]ŗXf1-/6vR[lN.5ZoT#80g- JzA|qPeĆ \^鞳zcrX[63e"#KȻ.W|O @M +&JtmKܘ*eHv4r\PԹ6W ջIx~.]upe©s%g:Lv`s})qf&^c]7g ,ʑxMD0Mqso?#.Zu KOrc#RB}CKY:vL(FN or" 7O& *T9R3gYZ7zXZִF! ]ŗXiɟl%_LW\Y1d.^(^SWrZ[F)iE  ei51枞rv) r73I<3߫W8Uizm#?#> UgYZ7zXZִF! 1Og]ŗXi%6\ѱi B%< Y#xb&Y"F6XlҊ`hAY?sԥ.H'-Ry˧3&>vzMEOj3A?g:NP>8P]_˚Xw#m*S4R Wxo7͙u,dZw,)3V `3=8r%Yi*C,fQ6N^#uI'5{41MqHE*cA4P]b,/0Bf`GSe% ͦ'=}KoA:|PdAv՝ij|2 R^l;s>Ԥ̪1%_iBJ(08$>'7:~d%CGG VqosIgs]Dq1&ŴcL1T]{O1F1␭3S{s%V{tŚ#ߘ'-f