SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 > 誒ӵJP+nG=~ ~OsinIvo(޺Zpݛ6'ǓVeϴL9-߆Ћ^֋*SYJRӺJB'DKNZ+DV6Zi.Ng74#Ks~H6edpmaď gX~Ef-wG|f Ƣj4w (*~łpxG wZr85F$;:wE, tTgYZ7zXZִF! `m]ŗXiɟdN7>|A|*R}HyGu:i o,"V5㓌&d{pxj!?\s8©@0o15* $hI:/nB8S`tk.ks`Su lJZgkPj,:hu@l\0x sŚm"^3Ak(#TU'kκ]1% }` 5~, ㇀<V>I޸]Ud%O6l R09&c5H}J HޱgYZ7zXZִF! V]ŗXi%96BYzv#K`u#T<*Ҡ 70L}`z36-]WKA,`ӊMxƚe`ψWu3Ԋح_aC? &#/ m"H!f 9rSk{pY^1 1!{y]4PPrcuo7 Lf宁UR8N|3@iՐܭœs[~.&nUl[h{aBd?Y5Hn?8k *@U+Ǵ!4ebW@Bl?ӼoU *1p`ZG csp1_cuH$Ā*Uh_!rʟʮ$0rX:"y14Vt{ sT[5 z۵:b.7M % fҸic`ue{Nq 75OjQn4X~gc7qEl[Xҟ|3!'t鱺wekJ BNy5 mc Hұ7n&d>gBϔF>4Lk_خe-U({+F_:WM!Y% >-|]3k, S!G%TMMPGNWurA]ގBJ_Q)Bábz%@fS7_##b2k DOR-GeA]IXEBCW{d*P NIdEx\jF#SnJeߨ}4P%k98L] :m0!ڡxpWtTU> nz>Z=Ŏ%`><#bNCg4 (̒{rH$1:퉸- hd[Sß/ u(w̘U79T,CMlh)i.X΢FOkD:Xx"t6cdY"t:`$!#-B I|%35E?(Q$z'Q8Y4fr] va %Y~tDhbZ@ݫL_yܐ|!Fv/fʔ?xKf 됈GPkB7)x,6c.u X X8gYZa51a1314944493193dc39b7c193a25c93d39881f31bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1 b019279a3daae570320d38a60badc595e098c1d0b6ada39d4caa1c1a5292311af613fc707c0efcdb  IOA