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 & |D ]]]ZF:threads=6elapsed=11.595cpu=36.792gc=1.908factor=3.177zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_TwJ<2br1+كߐ ԭ@EcQBs׈UpEdXpU Q6> +DZ-5'JG!ؘNީTf9>(m%:cVrvGo;e +@Zʕhha$3lh'μ1Py69o+CCN[)jou[Gܚb)x|=f[{)}"՟f?8R7I ,l 'b6T³VC!o$얱gYZ7zXZִF! 6]ŗXiɟ 1FE`穹_BTçl`ͮ8hWЂQf1dy~*_$Q!1ATY4ب pͪIu*Wlo&2l tRo&Df$0HV#pUr[<ʨV|o$vgH*հF5SPa59I34OhpoHh`zpc_L ?d`cċFV x<";Sk[d#|=,N!=q a%tl8~9g\1W +_nPV\DdEaI|=ƳsZ[$q+N , 1h:ڦ`ҀjB0ΰwNU]2 _ᮃ " 0%#x,B`LSs mK w~qtàkQE ij`w 0A=)#Xs2Wab{ T.b!`4?v>ӖӎC ңIgYZ7zXZִF! 8]ŗXi%9%ΰOkX:/L*.YE3JpR;e|f~_m۶5c8ovu(mE1BvdxcV/UX`vG/P $z[:$fMsekdo(ݒ] ۣ]o"N h1$@UV9txAdHΫ r)]Q6:e1yufPMymp ?3r}>e!f:rQ֬& H~qaS9!Lg Y "b +`MjE$_ӷoڎ4|! ۋ[N))5 :慚,~{|ΆfHDy.g-^Ňsf̓JeyD C3ڽt\nd&ݐTe˒K!YQ&|Cneh={;@]$.eKV:;} ήjc-rD 7[2,{kY>nfw}^RD2JlmT8vL@oLydbOF+&EkJJ;yq4Ԏc,0ďyޝḐ\ރN5Xgp|sޗʣrpN$ 0Ix\ #) ߏyF(o'"4DԸIXVFQčZURg1: 0l`h{J /#B?\##B0xf8T.0mnh؍16GUL O@ |I3sPJ s2st:T i!2zWձ%+n֤=*X G@y(e"MZʷSttf&s-A$L#GŚ^%VX7o/S$[9P֍r>/6Q}7f*x9_ \ Bh%9t&_"]T6T$~yi:e}3ۿL2o|;iqT| qDZgYZe7dd5fcd0f73b8f0d98ca5570d3f4b7c210fcb7e94f51dd4e7676acedffe74ec8d2e2647f4dbdd0ccc72722e350db57eb34ba1a3a2397901ddd7457b  ZF