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 223 4\ +/ Separata:threads=2elapsed=22.393cpu=42.580gc=1.572factor=1.907zXZִF! ; ]ŗXf1-q恈NucvAݪ4 c?[2C IfW/a R   SeparataIȔg0`!BcXW0WVp?ovrRB'Y;L 3Jn*D\-Qb1g6O׿LjWz0m?í:b 4k% diIo3{ݾUeO"H[kQs]`CѿHDDcOxPv#uu%:S P8nh1iK}&-[* $|-S| My[p=CG`PX~'θJC}1=#D&[ $^]iocBx u\)g.hD}UsE \Y?:1^`l}bs^#UbANM5Z鷴u'!@>1˦4}@'MBȨ_L "F4w 벥ngN͡MreՖ-i$]B/mVJ TqsX v }cXōȕ_*X6uv֕_d]%KVpi0rEe ]/ߤ.s8-̨rj;%rp ط $4b5U[J j%(?!{5;)oT%U~rl+BqMV x; 5B|bNj)Ka|EA9mƺl{C[ОAHP|sybñ ͌am)˘{Z.m Ndz^Xݪ 6%߁½tJ>jmf0ȷb<*9cҟsGWHhRcamjO=7&HM`];),wNUO@_2Ԅnf 3pλOWSpqHy#!mȑe p}r[.D7/[ɹ4]IANKXA-+q\GT*MQkسX BS;H bl@ e0rmI3R/ݛ=) ·0r:vx;FDUnqQB&n|K2QoXIGq@0Pt|ȭuWm'q\чt)m$uh&Q?/"/ZflfxZd]j_YJ_ 1C H氖&7GTn%' \y 3hIj PPI!D9`(":#R)i@$,OhT?7r-_Oz?E.+Iff NZ71񣤒lky",EUTYAY~Ih VB)HOؼzvw{ۼpfzS*9!N~JO+?7!Ūg!ulSp沜xE,~/HB7~}s2~ExUOR uȾae"0#Yދvzjkcf 0BhJ  禋`ħ|&4ŵ7ԛ?Sqlƻbh_!@bDԶG8t*í@!|S E^9) Yo$ƲΎeh5d5¾ MzVoў:6_MbՔk`PmL◢yވ bVDS/OAyP)f>Z([8`S5BCCM)Y=ADFSnb/ gYZ7zXZִF! pe]ŗXi%B׆K)4Ҍ*AFSOI!%1Xp*_:ةajYŕirc[fӔ)1mP-> ! rDNTr0o6 aV2e +ZJsr}5=Vwˠ,R" d0w( {g`P:H!U)V et{1[ 8CZr~ Dэ<,MnzĻn(SzpqOw|B,Kcs?U~tkye1nI9&խRmzg&$ҥpJĐjA¹=@\ЬY' sw7O)U>1&p٦eݫ,GB$S&P{@}@%ɪu7pDB{sRj]Ry|C^>7ae$Pekzt (^,Yɬ*zq!n_Ј }/؞|V1ASud_q"η&8R.Ork8yeUMj9f&BalF紆٥@qXQdKB1(Jz7i샼+i1Fa|sbWjg{d,ZÇJE QR<ӎ(UB4<7u?H|n/䌟e%29O\ӼYEr7>ι/ emzrrB*O;-ZFrvBӱ"$SG"3#"ˋquKJ㌹,$7Ï1 14@9')}