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 RR#t4 w/ ZF-Resid:threads=2elapsed=1.440cpu=2.420gc=0.000factor=1.687zXZִF! @]ŗXf1-W[lʬg7]=e/+s|5 4sm)a81H iU^_pesw@@p"*Oq6j%$dz䃍{HR?$\i[(6HTc$OʛG+b fǵb%ʀ޾|Sa!p7OɐcL+'\ ?8w 'e<۾A@fH>B@ny"B"s!'(qM\lQMd-g6ւsBV   ZF-ResidĶa\BY%edeH9ZKpĶWmzR*5HL]4xo''=M!$$gZσwwϡ{SKC\7x6,8WK0s(Fuw]^N$cɟP3ix9^0^(/葎]|z|f` "L&ʱgYZ7zXZִF! $]ŗXi%BU\vRS;ﴣ5iAQ mpsyr,g _4J' ksbILV^ZM@}8hykIM+_7s Wx?4~MDߗt8 Cxjij_ԑ-s?$`_[OAcVG)69ퟦwRYx k<,fx z.sjQa88uRR5_:c5xm Vxӭ3 `6䰽Hś Pl:u(.qfW5A.%̧k[̊t\ɧbܵ,؀52`DgYZ032747f70e60c520957e25c149f5177d8ecc8f72 087c424a70f278759c0b6e4edaf50ca1393d5072 24ac677f35b56d2c8077ac01c99e36cc65b0c88b 2bc3541bf495d2b2a4276766c40726b199b51586 8d81f5a8f8401e6ebfff506f46a32901bc7a24e4 b275c4368a46450678d695291098868c93b2db341d303aa48c02fbfb8fe205c90ee243804756e6a6 08965c534c4374e3d01143cbee9cf396c114f95a