SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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 TT)5|L w ArrowImpossibilityGS:threads=2elapsed=3.812cpu=6.872gc=0.124factor=1.807zXZִF! 4]ŗXf1-/6vRZ]o S.AMLfDBjXrF:%95*rC)o[P~1:i8!PBCZ@&${\*Gl+5,BaХ{7D]ڶgf8 ұ=L>)!oo"P`iJ$=8냘ЙMۧ)HҲ~QcuW :o4ЭBVG`<痋 Z6Zr_ ƴBTx(,8ԅF2u;Wm`zmb N YO<7IrUk~{#զMtjam S5!mוzu_+],ՋHG"ҐvzEwɖ1n3ڪ~"/>>އR06Lʟ\^]x4+A 4>(kqfj[]M䒛x W IÌ7aS3x!4&V~ctg4:\ؠ}JurWB|,Ԡl(}G@.jX {:aiI1QO %:[S[vznY6̪7>5tAs6ɕ:0ͻ(%Y tO->T/Zս}:齂!#3Ppw dseXQoE{sgig]Q,9`VM;)i%e8('׋x37:ݜ8xtL++gQFkݨ7X]SlP*Ӗ6c/b Z~R 0oYhL\!@&4D#t蝵$qaP8ǶLXR]3oS0XihMe~]QB?έi3YZ}Bm}T]%gTR虺[ǻO 3Dwo5ebOB y zEX9}A|(H9wn2]У>t8_e!'I;]d>aԓCÒۖo6w088}{LÆ4:ތ4;2(ж*Pg߱_B2B# (m.öy(̝覒Lf<N#((w=Ó53$r, xhes94G:9#badؖA)  y[w\;$ LNYX|ZjD\~6q5}` >n06eToe?aò*XJfl<Y0x:kx1I ޫԴF 5uUn/ Jj7U 57Xrl8A7)gYZ1b7798b5a36172c4cfc0bbf4a87f92c4f4990afc 527e33139d13d29ab06ef1a036d246bb1bbc37a1 9879e6323de9f1b60c16d766699d7513eb60656f d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b e8cebaba1f0ac906c897804d71803231c71cd04e f6087813f3ea6a65fcc2fe13b7c4393be073fb88572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb ee5c344e484cb4571a3e30aa2acf3579a09d76f8 5 ArrowImpossibilityGS