SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   Q% Dd I/ TortoiseHare:threads=2elapsed=7.995cpu=12.472gc=0.300factor=1.567zXZִF! -S]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHly{3 JR̎Y̷G'="×]\m, a!e%cs=8@GO$]C z|^-@a/B)؈-@6:nf~_Aܟ$9ZgYZ7zXZִF! 1j]ŗXi% -ڕՁyFSA+Px箕Fqԙ)ZIMBT uYnnȽS3d"V3w3[{ ]z%EmJRqqw}$ta6Ս1<5Cy4+մpḰl";Wt#\B}F›!fMtCΨLVD,XR;䍤^ %jX+9KǸHiRH[^Q"nOߥM"{zod^7n|2#ˆdO>fUiI~R8&:@TTX!u5/UgqMZ aҼJeYV"q ('IaȲ/MыHV,MJ2$K@5zty X,Ŷ_Ǟ&Jp{ >b(J7u$U-[v*}dt^3o &1xaqn W-'F#XӬu);,jxeؙgV `GSf=׈n5쇥d֤ >ܡz+kŴ!}(|qg g^:5igۅ:%3c륋W Vr հIL6Y!EFP`}uj߭!bϟS}RC?'oƱ}Fi#1b߫0$-~gBo >$djnT`^ x7b?影gYZ059b39b3c71e408ea02474875982517bfad13772 19e2cf0910b7071efb7af8472164cf296f5e5ce5 3685fc51f7bca5790fab21bd3e79d43dee881507 42400f19e8830f3eb7eef1e599b0298d3a617449 8b68cf377068d359bb682e8177940c0d05e33582 e6620216318191273215b663199973260548bbd2 fec8b66b788018618e3c3d8415bb381ba89fb00870d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9