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  Il ]S IOA-ABP:threads=2elapsed=4.865cpu=9.156gc=0.256factor=1.887zXZִF! j]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09|sW"H xL:2ȒɄK Xq1/iB-W[3hV6gYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPgm K?+jR5{aPrZ8J ܄J TT|^5sޤ#υ+J22k:m@<'C2 'S u9!-~KqSNo=4nFʳ@E+ 9,?eB|({!MAK0 UQ0lh~a:i5&YI gYZ7zXZִF! {]ŗXi%;P04IDHA>dNjI纹kҠ4?L4`3y/soF7Dwj3gTIS hWG*탮 1;x,ArUV|JJ0OSZЍjuanO8zutZ;<9/a 3 iA]\$»ֹ4 BṼyVl'302B~f3=dѻ7tl|6ȷ\ќƏ?iZG 9(Fnk8VQ[fh ={eKjW<=/ ̿ e6;\up&T[;^'J(k<}zHxM5ǂ Hs\4 nuf"X3niEo;.Ʊ'"vI,Dz@,;Ӓ%tspH9=dlfދ{[1wg]Toi*nm ?.wPI1Pj *K^ZYo 0QG(̚tI&7f\/ sE.A2ݨqd^ BϾVN۹Ysի3bgYZ1106dde8f98669e1d36f9fe562ce318ae17246574b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 92b4e13dba5295bfc710779f7d0677aed6cf27c4 12c9bdf02e77e1bdeb0f09a10cc3bd485deb3c42   IOA-ABP