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 x% L\ ]S Sturm_Tarski:threads=2elapsed=17.640cpu=28.632gc=0.524factor=1.627zXZִF! ']ŗXf1-/6vR[]Sԯ'=Xܬ׎_[Fׄ<88}rW6sga K;gWJAbp|yG+s"~IKG#YLƻtU<Ɖtz;xgD^ɔJcSNWݧ+^I=B~/MۙUOPtrC.71^ :F Oڃ'h' Y!MF*I?<WlnW6\QdD -HT,R<,cׇKExɝ w9+|Az!7Gs[˫f$9ǘt;ym5ED; = ++GOkX4XH|ϲ]HA}ҽl-O H={rE #z%WTh}L y-ZM-*e"olgYZ7zXZִF! ]]ŗXiɟ==M*]0tI'ZbrC2CrZb6 ձ`Nk>;Tx͠"hMCw_y`gYZ7zXZִF! bg]ŗXi%92I`q23MVPrM¢BBB3a #JҐjƫ(5cS՛~.挂F*!%ISN7$djI37Ja#3nRjcm"S R86/ˡwK{F2 Z`ZG0-hf*̠K\i]{18Q'4RG7E̤+JKl,& Jvw+vCB4!׈6ROOra4jHTeS`Yo0 NE 08*׵QpH;5L,rFDN3FT^-Cc[ vt׵ubB-Ye*EaDZڂ ]+ 0`'{P,qurC%1\Tz̞jۀ Ӑkډܙ]kQߘjd"%Qc)| /λ]fSGyc\퐅V}N$Am2Rc.*fpLm,#ܰQs86\|'!s޷Y  3f50aYģᣊ>.)f,7N SMXҫ1z$ 95zJ&:F1BJs˂fwM(-q2>r0ΈS&س-be:/͓h)u,