SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info :# $<  Integration:threads=2elapsed=11.358cpu=22.248gc=0.708factor=1.967zXZִF # Integration! > ]ŗXf1-/6vRZι SLC54Ql#$Bél*LR5aѪ̙oRSwVX5BbO(Zi @lL驖t@ >p٣%3:;`!\h܁#ɳNJ]!qKM.JFˍԇX>MW_TCo:&\4<\o;xC޼02_w~t0}!':;A%K}1LQ8NI%6(~`qI'7C(NNiẹIMruF0޵u^a\tIK-;k{[&%ƽ%^t5%LN4a59cW,[̕qF?Nd`Mc]dJǮwXj;HpUAyۦ?Ǚ̪iQ~4 :nM~G)*I?t]Ԍ*iG\Q_q DnDP_ܚȢK.Y$J>6jR:afQ7t_x3OE 󎮿lOq`XJɜ1d'tϧߟevOs,DcphI%XPlV-p/[=߶DC-3N$9P ],W:@J(*BVEC<0Wt'/Dsi.vvaCyHz o@*|5_|>WOT6_g+`閈u66M7+G^wߏ 9SmCZYz88oK=9jQzlR(=df ^^QqiFw#vrzt3YQM :Å2$Vh1 } gYZ7zXZִF! A]ŗXi%SF3_>f8ViVWX\5v(ύ^EQS3)t'@ȩNNGݒR#U(@WX sk.ht%n}c"ZT&_WH!l*Z R;yzw.a7ktFd[PVhhj dk~ʊ)`E6./{ٺJH)\ {ʳ*bH勐N˲ m#g!?*P{+8v"Se4)B7hzLy 8{~r#3m(DPdVwaY8 aو6\*BJ&w@+v=)FԬ1A=dAWz9V@/(Ǜ}±gYZ0c11c72db7a430fbaea23038d4cd5670c932e96d 412eb83677c5fbc30c2ebc57a3d3e6da47cc7d89 5b30d9221941ca16727dd6daff33722d09318f8e 6c744e21dd19ed382102e6540127073710b743b9 6f7528c9ecb8fa81d28fdb1f0120630b11b17b5a 901a86e132ca063ee9028ac5284316a4af9c954f 91aa64768d657a788562554649756ff077ebf89f 9dcec35f477f1a52dc135cdfbd06d6b04bf29d21 9e97dc1e385f8bfc8855ec2c2ecd31883f725fbd c6434b8f92878f1aaa81886db617f4dd64b8598c eac6ad13c503bce6181b05cbde0a5640f2e7100880f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c