SQLite format 3@ .  YYQ77Atableisabelle_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, "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 wS Bernoulli:threads=2elapsed=11.039cpu=14.836gc=0.332factor=1.347zXZִF! ]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛s8W3_vhK auz[y8FVcgmU)Sk6)2۴.J,㝡j7`-./a%2ԞN<(MOYY(/Mp*gYZ7zXZִF! ?X]ŗXi%6 00AK[J J3ml;wXwǪRTs3ӫjS7PR i.ߡ.(xF%keR2.-VqލX1(^~+ju~wjt]o$Muƚ#vd C~6~e;ףxMjI|_-}#+nޏeMZNTNjI6/UB-uymD}։Vx&VJ.%#KHahG,tӈLy%"]ƤV±irj")玹qѐo 8W`O0a"F .Lp|h)&2 \4 ;qSA C2 -.BRYsB0 = yKQ 9plw)\lW-IRL x0C o$2 ]1!}BĈ0XoA}U Iڎ S#R