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  " "[1 JjzFxŔ$*+*xqO29ug^|(uzb :'dy,-zŘ ݋>J$޴]Lh7_M!s9 (7˺f%4u<BŹh^ C~Jjd-_K/<,!W>LD<'!P([,$y^( SpԞM vD5T#3Zf%1@P+{8VWRFVKcmށr3Kx]hu8G%-t"zf6/Vqlw+%~ ېH9ZV-6Jh:*dt1-{.pMW\?Х͠Z=i6{beEqB7H(a_ tAP'@'af#'"$ ]&$GۀY* SC63@3Hn962YwЦG;6h@sY:=L~Dbn7f y*HT uySKga?)I0~>Azbwɏ^Y]0(ɩkE;fixp(g~Z8>i,/2w#NK"\%ܦ7J4$6,MB5g6 #iWRОQS5ӫ4I,Xwr2#}ۖ&S53g;#`0s E:scAfoE*߲(SQT3B׉ thPX >mW?5M;\vv3ry/]1 B*b ]awI#gk;gYZf7c15cd8934bdaa9cd8fcc7c36c5fcf11323fb9979d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 1 Tree_Decomposition