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 k+ ,D +/ GraphMarkingIBP:threads=2elapsed=26.807cpu=48.432gc=0.816factor=1.817zXZִF! ]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2WhKhj]mq!eT} C0ZlFCuE׌|iRmґ v۵"&͵+Auc|\]Pv{tpPu+̆OᑊE9ަGV5hPxbt=ids%mMPg&q}"wwkBt"Uk=hSA%VOobKf[ԃ(iV1tj cЌSGj8=LQl n T"!-Q,hXmv#VU_=*(]L#V 1naFܐ'䭲捰NȢ_X!ը2iY7Y~=ˇLuS+u-W8U&K5j3pjB |Qq|&Z-/ %35DglO4pm%w`@<~6ÞKm<i?&+ְsBHHSH%; 1d\Z3șI-qryPB8(mbb-/Ȑ 8"o}WAY[˭˲WWZ@2{7nJV46YհT=w`T>xNaDy?9 RmV c)  ʳ˒~9/ξTz5RŶUTP$y5Q$`]W<45|V`p$ճGt9]n5ܟu' ҿ+\ݷҽd.{j3W7dD]i6e ^}T0qhly6ΒO:Yw*9mR8ӒU/ (YYǮuFw;ae8 ތkR|c N(ocM-Te$Y"͍mkٜ-fF=cj)o}?=c4ɂ76b]Jf_L*1 5π=m}  +{: 8mׁ{lԄ>xD FN!LiQz{*+'6jL}'j%.ʺFK3J$o{t7.>LP%w{ _%Vf Xs׵ KC.~-. Gس $&gYZ0b084f57d59f3ba9d2b7bd6221460e4f37ac5f7e 1051a97ca4dba3e87dc5c297e2145aeb26f22964 2fa775cb15a07292c23c73502e8bef8503ea8948 55b5593ab647f53d681191494ef1db306b4a7c81 6aca132cf0b3e5fdceea1cdfda3a3e9dfd2fb962 756347eaaaf55c85fca5bf27d207e788dadd292e 75b4febd21ddecdc934b81a0ae027f1710080674 862cf3ac8c1fecce1262b05b9e772d879c94fa33 92b9e9176524ff95e7cfe95462176a72c371e9b8 a61377a4a5503ba829c56f054abc05ee2e02754b c98ee4ea2164dc2e1fda68947cbbdf0953045a67 da59368582700ed264615c0ca27df948c057a4aa e2b063405e84056d48c35f74dc2f5e30c318a3ad e5beb664674ee70579a51d05e32d4cfec7e8991e ed0255784afbeac0c08a5cf550c22b708149a89a f0b4bfbdd5541850ccb55c06b2dfd33f16c5c619f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 + GraphMarkingIBP