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  2 2K1 tT< ]/ Tree_Decomposition:threads=2elapsed=7.457cpu=12.732gc=0.380factor=1.717zXZִF! _2]ŗXf1-/6vR[lN.5ZoT#80g- JzA|qPeĆ \^鞳zcrXVnK 2+Lfo]J-5I# ݱ" ,w944ϏهhR?]kq k/92/{*JZ'nPh“f5UV{#wBPǼ.L͝{9~\-gG+5,c<|9!O$pGtaS@Bh3uW'Iu+6T>|䱲V92KNgYZ7zXZִF! ]ŗXiɟl%_LW\Y1d.^(^SWX9)etVf*\V%ު9pҏblGAG9Ȥx+>k2jK3\:k%'KxdK)F@"$ f#}YgYZ7zXZִF! .W]ŗXi%9(SNh\ASu簠R,{HU.M]~sȴ%@v&J,tVߩVwtH@j*HZ::^hAKDcTЂ&Kbŕ;|q' :2͠&:P(lUm;CS<?~fP{Ǵ%f/( 揅DȅG 5/s &͏q`SfyoH{fu[]WI#~ qI`k1r"]O(CY$̱};>&vϏ^~T!G"rn(uvaV9Rϊ4F Qʋl~@ *HMD Z>Rx>ĚFR $E2b{z>V}cT9̥$V Hs`w&5>!tͮ,dvCZLogDv?öTP[ac$qPBn (7 F/PFnt S0bN#!Wb\ITt a 2dܥ>c*eK79ct>q[_IC> z) ?v\0 'LVcw Rcn R-(`'~_EXdEEa(aDR͸wvI q=(;mҬu>Ҟ{,>r mB4Z_,:}KpQ˴b]#ʖJ<tnY">ܪ]=gYZc796575b71ce8fcc53afc37e7fd5db7944a8b9fa2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 1 Tree_Decomposition