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 ooz t$ 5/ HOL-ZF:threads=2elapsed=11.577cpu=21.940gc=1.000factor=1.907zXZִF! e]ŗXf1-q   HOL-ZF恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H*KTڀ9ȅIjMΜo28Y-;泂"t0bAG\C9a )Ss(=fqdEGOK1:;u2h$1 ,~{k_sDSd@jWumY6cOD: -5_ |~7TV21<'b0hZ~>m< Q:e5kmBxm2zыutt fCSVC5`UC6/8#uN+ŽZT~y}z3r еYCuYd0q1FlhZ6ܫcM=op6)´?6!KkW&Xs,(ːS$`4[ 3tcD .>!8l |frZ[n!/37BɋlǟB30B]G /چUۧӉUtmB@AĨxT){u۵㤼g2i)5Hb3bs7"=2rcG2h"_Ič.\52{[gv`#5E(3c}xr끀gf_O cSwuSd {kə]b0?AJ$\@M`v99CXFY{h9x'\s$fk퉠5T%x>QWɼg96EUxxžNھlmWďz|lQ Zcfu%?ƽXKHgYZ7zXZִF! DL]ŗXi%>)1^Pre8>l:bT[kpVV,^FK}YX[haF?;$_Yҡ;>M6dd>*C$<f:;3x&Wn&%#!EA֮b 9rc?pkri5iid4RiCm}fqZ"H x`aaf9[{l^z_WٙsJlg}EEsX3#+.I90Q~-$; XzQ\3^ڷ}P(;Lư;˥nN]˺06aPњ5wmJ@z.bx.VK+綋!q>8eD}\u/e8x)/zոr. NPKSpTo9m,Q.^k\0W/ϹylNRI ׶:1×# S)rs̕]ZKذk!aO"rv ]* HYb326egT2 {