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  r 44 ]/ ZF-AC:threads=2elapsed=6.620cpu=10.468gc=0.572factor=1.587zXZִF! ]ŗXf1-W'S)b-LWtƺ}*ؗyJKGhǧ̥SkGDP7hZ_lWQ[yob5R. Sa[1"Zhk76s5_F{kJP*!6ś隧޳nׅa҂D!MHN8#iL2r{Kp;Hh1l?UՈ-ͺWCs M }1l#W\fa  []gYZ7zXZִF! ]ŗXiɟ98c tؠL\|3q"}VD8ܐ=3~4Bw--iVYV ;y)ǒ(osv7.iU4/=!'_ Ɂ҈VsFLtl._%%h!̭5WJHvbY^ D.wpQ:rZIjGMg"ij4k:s9y gYZ7zXZִF! 19Q]ŗXi%96BTq S߇UJw9&$bCn? n :*rq9E=XO[

~U~Ӹxy&Q_`$᧩sڵ<.+֊!%$vG+:\H哊fW35(0 zP5E޳YeٸD$BKh`ҍ65۸"W4Gs*PCYwXk(Jpeqx$QQ~xPĔuuVi$B/Ţ{DbS߱gYZf331f34b953de41dcce2d1187e01099cec703db931bf4bac648c51f49408130bf9489829be3fa993 cc76f8cd61bd2ccd679a3a19f19d8ab2a0e029c4  ZF-AC