SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info RR7 tl / Transitive-Closure-II:threads=2elapsed=13.323cpu=22.656gc=0.912factor=1.707zXZִF! 8j3]ŗXf1-q恈͐7ӺV 0t 7 Transitive-Closure-II ŠdrviJ#UHly{3 JR̎Y̷G'="×]$֢Q\[z `@UPFewPbt:]+3ZHKXx(YL#phmw(C u*CߪOՓ?:NYnqWwq-UI-8 8]eoE7!$>UNs'8p^f &ӷ5Ybvzh0<סᆪgM=ժDU9UOMIEq-LO2yRMcG/i'F`%6|+Iҭ^&4[\+σ'-WG<琎^,#fz{,!~ Q,-S8nm᱾m'y4X3nrE?AU"$?0*w Ņ2oiHhRi8sUFVӗ^RIFHuR#dxZ'*$rĔ37ppT;"RTĂ픫]`/ug첄D:gwp+w:O5^D*6W!~a tHͥ_md/G8d!L'cx/V(W J B#CQyS^}mLe"-];_υʡKMWpxRG:1;5h#0ʩuc\Fc,{ ?T)5v \p].-C0t~\;Vdl-#U#CF''BƿG2?|-5{i{հQ}[hX:ٿbpuFuZ_ANtHK7u4 eEZ .\GU֎'@_*?39D@Dow-܆{ $C.̡(j7l+md`xЃn. 0~B1„ҹ{TޙawAdMG +\΂y't q} pt