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 LL1+ d| I/ Binomial-Queues:threads=2elapsed=6.500cpu=11.668gc=0.548factor=1.797zXZִF! I*]ŗXf1-/6vRZkc- R0vPP OA50is|ba RQ; Q.'dթNd Nxro,{:g[%بxf 0Tj;ADmۓV ڶՊ^7i\4~e$G@sb8Lt8.%DzydA (󸤫vuZUv? _ƱvAosk\snE!#ܘ.utDB[ݟp0juo}ML( *(gxhCH([a+U x+Lts͋"V7m `\\$ bѝpY=-v ҋCr b2IUKLxA=]0{yp8RH͒TFJ:}7kkz{1e/ி6s_Sqžx&9[} wW^nLb&vi1 %2~^2W73Hg/%2)Z[ !Z6s:gQi׮ՊÓYQVJjĜ5jGR3,=/?RTgՎ%%E3Ja,"0>)Rtw0ع❬?bOfIzu%Ln0uu27(';qqF5#|[lrty|[ U[Nnt k-##D`o ?Vϒ NTV]h! tr]:L4t<f0xn.iD,7t?T"~YƩZ$4aL]`Ǒ햙"C(1/D~v/C/Ru+z)s%\TXCX!_a1c«Ҹ*{*Įi^!n[$`>r{r*};PQ'>ߜS B=Ǟ~™ƀ+bfGRcAmC8t93E5V8WpB귘gfD߄X 9\3ZA'<@gPz¢!9l۲"dqLN(4 bmg@,97?:j+_AƘbG~!?v?07&7)_f¨%{}E>UNDaǡs^@|QtGq卦P~E!6KRoFBpYh0Lv@ ~{Jth`Rn&s=owEhY7gؠ`5%#FIZD7XtO7,THM (˸n;vNU_6MLDnֱ[bӜ(ArK6e[jf{}uY;OWDA QhZs?"*dʡyhuzes$2yTCjXcr8qXH>r<1H