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  D S Cartan_FP:threads=2elapsed=2.298cpu=4.268gc=0.076factor=1.867zXZִF! >]ŗXf1-/6vRZy_Î:|7^qˋ>OS,4uH4NJG2pis,%_ UO6͏].byaܽx=j|eѽw$--I8' \2,yu=.f©P8[cF:]rȌZpj &IͷZjןO Ồ~t|jAn WZZ ]6~ 6~vg7 VQ9'Kۮ5c"wUr(Z^`Y $=S" z4˜J@E-|9sy.] 3   Cartan_FP, mV*c6L`X[μ.@?@ض+~`ky?ŖoY&xTgUi6\xXǁe#&#gYZ7zXZִF! ]ŗXi%DQQ/ `NU`\F<:znx(yR`)aa}e`&,Qh'D,>ݶS"/Rq-1)o ^GjQdi36CdGndə\Qr4p)fA#ר,W7oUKs d(Q~;%k{6%mF(fK{ +C9pj4p|p[zʈ#.l2M_ՁՐ#0ǔWYrbPf؞J;5+e\w`cYHدfb"_M'ʁ;~ܠ2 :# @(#ݢ)u*_CB,Ⳗ {u;_Ju~*5g j$YJsRFHo9`ۼ9#JUa`0ishO[䕼/_xvp+:IS/# ՁQ b6Y?v׈bC]ۼ)gYZ7057753c2198f293e7c6203ebeba89e1627dc079 ca1286a1e0a47715277580ab35389f0077a71e70 f4f45ce2c3a2bf9c0ba22e59d1bfbc012e348e2f f731dc2c105e227e07d4b3192c213fe54f0b76977df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 e689e4dd8e5b66d1ce0438e4d78b37235fa465f7