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 44I $  ] IOA:threads=6elapsed=7.541cpu=29.636gc=1.228factor=3.937zXZִF! R ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 𫻪O=`N@rf(Ԫiv)9pJzAPLg*I'tdX]O 5,ZѕǻeE⡄zf[uvV\ y*v!x tCJۂ#o@DŽS}2SmSv =`Oe=IA}򊱬=4_󓠛iØf]J7zKi`ASxّؿωIk?6a̶r g*:S2Lxtâ|߼$$fܔŝfn;s-Iϧ*5D/1Z?ggڛইKk lBƳӤ*:M+\O2V4l̓=(%Tczx,7_/!udNkΧ6&H5EzG;~#^gYZ7zXZִF! `]ŗXiɟdN'LvH۹$vYe|5%z8%_$'2DFEkno9gRhì$_to$#MTi ámxDv=%%OH1X.TY4N=+.1yKWΔa \]粨%JVyLo_ P>@v2Nס2'^j V_J܈z>p[z^DQХ: AϠ0[zwG@c% u=2!]YW7W|@_.&9vx+W8T9ci㘺x 0yIB2f^?kLoCCHG``5bOךqf0#o\sIV Wc.ji&UŤYVLj-킹B*PcrĜL j&@>.\0Gg@B>&q>1#d㟿!=FSޔa00 +B$8.,N:įz. "Cp)P\Ǯ#-Y~bkԸOUJ<S<@۠_߭7,0(XyQ 6ZJvIK8*BSz`fsI څ+1TblMFJc ӑm V4 7 }AfẠo:!>:sxkOffǣ,~RTjJ]yͿd*yPyGJ?|ɻ-ǤnZBݳC +7-Cp \ K䰱gYZdce078d1566b3c8a5e1f2a4e120eb35bcc03778d54cd32f4919d850faca17e94e357093dc43a48d9 f85412ed18f79fc641e57fba244090c4b08a2333 9d66f00af468c3cc5cfc70460a7bda4cb4901bb1  IOA