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 j1 $L ]w HOL-Probability-ex:threads=6elapsed=27.143cpu=47.572gc=1.276factor=1.757zXZִF! F ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1D7n:4qBOo/;ʾΰ4VˢTO*ަvanImV;G "h?Ks݇ Gi'x!4k*nbtx6ƆtUx;p7 &oaxbk[MfiHS Ԡ6X3z]/&+Yg!>Ԇ1iW*!:Mg;sp}P;B cEicup h6ٌ5 k 9$ZJZDfde+\ȋTf*0WOXI{k.o#KyK_۴Zo G*gYZ7zXZִF! ]ŗXi%6ņ+W6P)0H=B8zSuJY<­1tL]F1=z.OT3KII`# ~)k$ڪKQBaUQu{KRǧUo#`,Mc0/y}.vJA-t#^OoeD>w۳V 2z﮻֘1XЁ,P"vd]z40mSA vHv;HȫJi<)N{ePQ%ͧ=>Xj)|{Odȕ64xS NCr-0SJ\$"Yt)IE4%tϚXb̡)L˽&Ş䕊S#U2.QYՏ(7 ,}dz~dILd4k{qYIO ?NKGV*N>{Y<'-Hkl]=M H:1"; y ΥUE:[CdS}uhl,}򄫗&\w+4ףrPөAKgu_p,0v5$Gt|`ŗ~*H{;Fڞj`đt~R(dZcT`QT?gvSOjG\"8; p4?`~cУWxwQLaV97BlӉ!ф(Ɵԫw z9~dl6jNds+ +f?Q~$q^/?ȱVMCuOH+V t1Cd9m͈횱mZEѰy2P]GP Fnz!kRƳ0ٽApy_1\XąV}` ak};^U:;ě7`d+I>H"y8P>aS/,CイIpE.Y|IގBLv_bV8GHbZi0R{Hg# ᬇw *k`3) kǩjXGDC z%Q?>ۓkI<2šyehh