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  %Tt ] TortoiseHare:threads=2elapsed=5.067cpu=8.772gc=0.236factor=1.737zXZִF! 6]ŗXf1-/6vR[kG+j'bf{9lfKY]1M&C R=q+K &t  #:*C[^OT8 hwcpc9ksE)*e) j}E%~j F+ Ney)0xs?4DܶU J\C^@Jh1!J?y}ƨ!dq ckO5܊) '*gYZ7zXZִF! a]ŗXiɟgbvȂtU v!W烺C/nϳ~R賂Es]@L $bp\6_I( FIxﳑGJ^2y}?PgYZ7zXZִF! ']ŗXi%;ŸyI0ߒԼvÅIneDzLP:b /] pz;ոr"COʱNMb՞[n,^Z:OM# WV*ہ6t4 lu1'A"#ϊF3߰ xsC |"{ +rW@hd~mEӓ3is DÅ`xmB쉩"$6WX1*qK|)͒i0л.-C* &2wx1I}p~x[ݙ-lf8YGKAvwU+T%hֺkj7I1*:y6kF 7)y sr@j@: ǘђR!_vjND~$"9co't6}˅DZ$}MWuU퍼Wۉ=D`)@. T+/YpS5 CtmJ=#CUre #ϫ/u3 F3k<@Vn%St*r9…-IB=QI j|@uªv'{ꐾ)?GWTt[o*ڏ>2S< ]x ;֪\YP|1!7c8"xST,# Llv&wiSd\M;G}x{OgYZ9b31a0cab32eb89c8226ed2be371830dec1f1e7779d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa48 % TortoiseHare