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 #C Td I% Comparison_Sort_Lower_Bound:threads=2elapsed=9.027cpu=15.732gc=0.396factor=1.74 C Comparison_Sort_Lower_Bound7zXZִF! H]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' p~o1iخ-{`P F-<ՀwyR@owy(֖9Dp[whICVT~ pDK #Nc)^'7Z-5p~O"F4Jc0xj /H^Hz Q ֦I̽ΗG r) ꌕv 뉹_z BS &'=ġ(ytfm2gOVERD*;wr-ߪEQN4O?5L|7B[ijv-|`g͌9CoS5ɦ w3P؀/Jc3Bf+f)s;_IVi;N)w0Ƚuؑ\3t`aY,kI3>̞+TkoODy \\ݿ"v)a]Ș~2ڍ1;4Et<xDj@mNLo!Ax^!:<S-/rH5x$?@mw@YQz.X [$>sԄZ"2g֥$Ny cS I"Q2sHJי0q\7G5n˥SRyUKsW\B>~mJ͎{kvˮy',]iv 1 #^N,$<(۞%a m43GB4-I pMNVR6%R %e [ RɠνZn hW)ke44NJ)p" qtc+VڱxBb@G\)`If!}] .C٤})27d5|>\KUS&Ob#ሆ>Rsa]220Vt:d%.>4IBl#(h/ ;*>E+`"-/B8E<}ᳫx$V9=E ]/8e瀖kgYZ001c942e96601ec3cafb3353318b24d63d21ad27 437df7b3387811bbd122c72d851c069f13a3ce99 4eefe214acc9f42eaa94b978559c9f400baa288a 7ffc5ba9164a5135c8a774215c31f31768f1b221 80d8111260c526587926492cc7fd3fcaca862676 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b9ebefe63206634b984e3c42f405b18029f4964ad7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f 9963afd7b4a313b03ad24ea07cf3d6f4296fc6cd b6311d76534b540eec642c74066d630e7a3d1978