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  <D ]S HOLCF-ex:threads=2elapsed=4.649cpu=9.272gc=0.216factor=1.997zXZִF! ]ŗXf1-qNe+A]}q#=P vUΌeppoRDwyslB3e6{Zor1Ar&Ԕy/F Z_WV~78gzgEoʄOSuok4Es%u=nNLZΕo7u8صYթ6߭:XXN*nOgYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4M{$I}@`H>A:9 aNwEU`zdj$yBQ³YGWrPʜ#ny*b}Ҏ̄Ő}`Ev0qQQ%1F*{gNC?e^30e8!腐v<caHUO,ѳL=U>@ a^&VƻkAP"|,ghZY~9αgYZ7zXZִF! D\]ŗXi%;ŰA/"0uK:4O$ǰH՝H]^,8!ijcC03!+$ZVK=AA"> y6Z1{w+tM ܑ.i5>Rh m6JJPP] 05? ̉1w30=TDf2lyz*`q%߿e̓S4<7+>Lrq$wdwv_Җ2C@G/¿ \G1} <,ITVxe4?'yXLj3{!i  h ߓ=Hb+p i2ioIS4x4>a_![;Q~?FmbS6NVZR;P䥊o &ROQTvX u_0X#zA'w:Z+.1~B=Yv3&ٶ~iPU8< Piĩi?a+_4(bVӻlVrcڻ:jk68찯M"F;~xB3