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 w# L  Integration:threads=2elapsed=12.207cpu=22.188gc=0.700factor=1.827zXZִF! =]ŗXf1-/6vRZAgifxtPGDcsx>WШS^ݘ޽cv+WdjqڷpG~L7w E$d:3s&"̙oO;2)+PM3v~ a[DeÅmrOÁ8}#6Y!:o7$ I? u2/ױu/pdyܑ8e`jwtm뢮>劃z~PvǶJǫVs!3K>{AHɫ_1n|!6=1e(.DZolԘE}^L ʁ;RW6DljHֻ…2@â`J+iOy蹫K<4ձ9zxak(WZP` X Hc7\P"u^yXd_f^JYֹg*ϱ !0>HVR^1%n2ϴ i-߉zIExՕ^PRj?zWI ^QQڈGczL􊝩x $ U+1d$g_s/d䥄FLH , M*'F^vf EzOξKи Fl/C (= 5i8c&1̿Ic iQV叔fp*4PEWfìzviX߭34F7ĩrAT]ٟiզy̒wɏf~gYZ0c11c72db7a430fbaea23038d4cd5670c932e96d 250200bca4a9d20ad0802835959e571a17563aef 412eb83677c5fbc30c2ebc57a3d3e6da47cc7d89 5b30d9221941ca16727dd6daff33722d09318f8e 6f7528c9ecb8fa81d28fdb1f0120630b11b17b5a 901a86e132ca063ee9028ac5284316a4af9c954f 91aa64768d657a788562554649756ff077ebf89f 9dcec35f477f1a52dc135cdfbd06d6b04bf29d21 9e97dc1e385f8bfc8855ec2c2ecd31883f725fbd c6434b8f92878f1aaa81886db617f4dd64b8598c eac6ad13c503bce6181b05cbde0a5640f2e71008554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 # Integration