SQLite format 3 @ - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info /$K/ HOL-Isar_Examples:threads=2elapsed=39.382cpu=71.916gc=2.980factor=1.837zXZ / HOL-Isar_Examples ִF ! z] ŗXf1-q恈͐7ӺVd>`;Gؽ8n:)FuKȾ"1-I*'*D9 zNxB{ȧ^ȫNTuD6GNnN}}6.LwlǃX-wBYmMq̅LpA;vrFP#F' `֦Ο껆0NE*M5xei7g%0/qiPU|+M)sFAzCG/345Ok3lߔb 6~z,qW>cw}J*zsO#% ,_Ҡ)R(lbo2 PE$|5l{^ܮ ؉)'ݰõ]9D Gr1hNG]i9b4)w8/L=jLRb۱xAW=T+/IՆRKP!4 (xE`UtGEBHQ+Ӿ8{&GoE IF, ^7`r2@*~|il$ү'46g?-9qv? 0<@磹BrfWAD$Zsm}7%^4 hW8;ƾ 8;Sd-benCmpIZ$]̝DT^T^%9RybH@(NޫtaDJTU\VQ 3xG(6hGZ=љI$ܹ!]9x}k 4sc<oz1Dxurj/Ft~8mr()YS; W&/-Z+G7ڼ FfSxgâ7ZǺenFm4癸stE~S;Љ2GYN}^LHm=ͅ]ZND][8us$ .2F82~*X"Bgӈ.QwSmE'd' n9Y;O 'j(+qq ZgEMRaUd^'|a1 Rr7ikF8UI'Gz[yK,($ѹmO~p,u336ԙE7RSUK*,Ǵ{GhbKAڰʫ2۟ˏ4a+/!l;A: Ab:ux$=bF8]v; в@*v 3B:G+d(֙Ngޭ{&Hڿ`)e;PS4UGT as&ugN}}52|Pf`b^*`ln 11_TX^Mgׅtvh 4&7۰qb ə2?DO B03#DmAwhyܲj2cTCH'[©lXgfB i