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  !  ]/ Prog_Prove:threads=2elapsed=6.302cpu=12.036gc=0.776factor=1.917zXZִF! 7]ŗXf1-hg3㶌 8UA5kGc,Sn-18, څ4Bm܁W+)8*pY`OC<"nss/-嘠9VeiDJk8l.c 0g_/ V:ZQ{jR;bwE[r٭)Z Vl|s#<McMd s)Ƶ§h̴%'e̍ egYZ7zXZִF! ]ŗXiɟ˕A*++YĊkqdT丼4ȵ+EySCԗbLѯqx0bMP9+RJɓ!٪{:B=anU^2B+^eҨ-^'3 ŲG~ڦV ZKXVdg^59720a I|WpˬFs@ gYZ7zXZִF! t]ŗXi%9+𛒻AYG`D%ê㏹4nwI]:&J?&'5ٻݍ ^h0V$(鼯)?D ~ıf ;mbx'z [C\eߔ0Gf({@ّ׏'ݻ$cC>F'u$y#|DQ<(wʅi P|4!2Uʿ%2 "B "2%^D@H}3٬a\R /VF][> AT]7oX+ZPo;;T G>W!S:u@"o#)x4$wӽc[!F`ԃ2۠yx|t`]* q|rg$SG2{<ud<$da Z9=gQ,yik“2\6n(0HǹI!an3#Q 0r)?*K€՞>>5,6::ym0>utqOJ_a%<PζIcbpg;ެ,bwb.<P,ձgYZf2a1eaf41b972f07620072ae1b881779c65c044d41dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44  ! Prog_Prove