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   r |$T ]]]ZF:threads=6elapsed=14.100cpu=42.880gc=2.500factor=3.047zXZִF! n]ŗXf1-) enȈA XR„pYb/,j잌zwq?z/qe7յ-bn!n#ܕtܵb/;DWIWfńP{_A8eQBW9XvgYZ7zXZִF! K]ŗXiɟ 1FE`空zp@T:zWN#rϲI*ѵbTj)1J'O`@UEX8TD6fJ5 1([)yrOkjک z25Xg;k0rC?h MhIW~' l_6) /4'pmn4`lZQ4iy{d%˒_N^ t l`\iJw,$yDab%?(K- 8=Q$F8"pZ~$21 q4 fNf &Rzixvw]Po8%D^ e4ցq2*jwyj%Px/?d"6hQ/H. efwcې$IU"BEV wվw:@M޷\Q|xiՠstRM%"dUWAqA)w5.gYZ7zXZִF! Dq$]ŗXi%;PVEzTe%σxpH82mT :f^őjYu-W:ajT\u eeIwM+!)Z)sW#Z!*ƚ_ZΝz_%^Q |u̼Ƨs2哪)UPXmD\u\la :lAk몭7`ƭc=xduýAoZ@cueKi+dҸTp<)Q![X01d^i5G78Օѓ"'"m%=84{~lS?fhA&jҨ@'t8WBMn;5J\žrp 5KůYk9&N!^1nX, ?@&U8~ϮVShEch7P饁ܠ/g>#$ "MS}_^\ ܐ4u'-}Jb?PꝆN;lz'C^6Mq*!:x-zh~#2;\Wc3ɬmm}]=_L1Q.-?}n}ͤ;O_$&m1-,p!~Py] -Gg{D!FCܴ0,"- y/#Kn ]HmpaBd|孵*q(Of*1!=9c5e#ϫj\xMڳj٘7Vy-Ŝ7J$\-*6e셅rQ"n*JP|& `5|XvF w_BgYZ38057a1194fb4377aa95ebcfc84b1ae4f95fcc677ebc77e06d0e52a3d23b989ac3a5cdf6ba4e38dabd6c470d49fc6fa5a6251f013ff69861978c4ea7  ZF