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 r-,\ S Surprise_Paradox:threads=2elapsed=2.103cpu=3.068gc=0.000factor=1.467zXZִF! L]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B 0X2M,V+۷U#i%˸ - Surprise_Paradox3%|a1 ,E7/ Ʒ^F:F0I|{H'i2(o ~N[j™M8saYt^8?Or뭸Xne45LG(IYu'`3q)x gYZ7zXZִF! N]ŗXi%̎9Yr\XҠJ. ੮;񴕎Bkl k މk4Dfl\|&"dпIE;ɖp_ ]@-V7n]j4y ,{=ʚX4Yt?94R#「T%,=S&Iw#Z G uAjOlzȾՄcn3p76]f uZx` WfE.4K&ԡsRs*Dz`@y*=MSaF`{' [ MQ߇si҅v[x'OX'HI s@L O=PS jOGR=1SI~?31YkMKZBQ 0שk]w_&ʹh@^R% c.$b$gYZ3088a1c3ae4737a68dcc9f7e680463535f0e23ee 6424ba0970fb378ef389e61c6329d8c1762474de 8e7b46dac1ca6a051fa45c0250a84b7ee2a7b869 fb7687a4bae9b5f198190342b14c94e895d374d9878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 efe1683f77897f7d990d78bd609c1f466ab2bf8c