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 y) \ , ] HOLCF-Tutorial:threads=2elapsed=14.952cpu=19.248gc=0.768factor=1.297zXZִF! ']ŗXf1-qN0L%.u--W^3M,'_{W&|%h_Ү?,$ZٗsR*M鹊нC2Ti9!^Vbm}|!5!2^1Oڼ-2NrC @N&,&=䤄( YY8g|v )THלTB8E1_P3)+,Ar&HӇW2ta'(e9D{?@'!+ \?X@яdWWc]'z3|I `{ǠEŎ+Vq,gYZ7zXZִF! T#]ŗXi%;X3g+#^c.e նA&OQ*k4z2gb<#FXg\QRRRm[p 6h:ş a᯾1 `$yb!n׫K&Z8qmDtw-e0 ZL;A]2YvǯNoX`VG?2IQY@AntSu/Y$yL[ZkV djUe] O+A3(=Pa)IQ/t9˵~ŁVY(0iyle6 * 5;RB)K o)+tUnTb6x.#<=(FfaP9פW?& L 臓/Bԑ4վ?+o0S"_!>w R5Z&gPRR>TwY\1\xm2N$aE+_[V,Vim!!yXpw*vB}[x?'#+Qaa MExOMZqM]SxJ5Fr1f%u&d5âR^]Ձiwp1]oۓ>o|K}//HU+LmirGvPuK3~ hlvfQ|D֖wHYZ2Y r,%$w0ly?ɤr2 2D|aOHz)1w@A;Z#ʌA5C=rĨiAu%J.GSbGntsMXoz/k~f5sIQaKT!;ے @iF Od$ E(7ȶ-s/7J7j1*W>Gb͘_ad{Nx k#PvTY tjgw (˙~Qc XvՉ2D&2H