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  l4 ]/ GenClock:threads=2elapsed=3.659cpu=6.216gc=0.100factor=1.707zXZִF! u]ŗXf1-/6vRZwE}%X:!:7^xqlOq ݟ42^961z *^U>?tȇOv l^1鷨3T2 H yަs~SeIuY\5i_|%ywxҪegYZ7zXZִF! E>]ŗXiɟX/LO18#jS:t-l >cI\EO E]#[ZFPm}YZ7zXZִF! ]ŗXi%;c2KFkJ:9& Aɩxְ C`ĕj#TLS>>#;>('^-hl=ʟϗ]XZ{t)T!qYue#^nk #pm%, 8<b˻?! 00l*YCc^Β%YClS©OjWRa +Q{Q`qUUC!Wmshgw~^dy^R\T Ҏ]ccT,알ȌY A#|=WZ a\(gk k8(h3`N[ϼn h)SoyKMhU_j\xY*lxc=?~7?yeN}#Uy <VONcjAKi׈/Qad_[)l%/i8!(+G9G;1_s{@2+,J5Bý:#v7cl|rȤp[!Bݚ+wrNlXRQPǵ~K\fboxgBSJ,+dh"=9OA7xWcρ#^ARgYZ44f9518762fafaf85d81bf06206aa814f3912a7c79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef   GenClock