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   L#_ϙreyOOagvg翫&2:;| _i>^ߧWk>,gsdYGax>jDN)/oVѭ'ܵ#BFϣM >Qm5h۠s*Xn]q)ap1_8k;뀒Lq)T,Ѐ5zPi3XQBI"Bv^ n   HOL-UNITY8/^# >:|} D<@WqWlŋNi 2'~.8h+XP?+Jcy(>;c`A+򖊔4qJL\$KFgPVxbC%H 8H8qΏLgzby@}zerTV%V>KA4a_)mqD<ʖ=h`īX_u8< 0yniLBx&I>YSnzu5ީ^%J ur+AyF xO& \rz!Tjf.=ʛѣ{ T~~ 6 TPdo띘h*wr/=,"%ٓכlC!bPM_LA.<Û(3]crgE`3`7(#͒0JmWpk|֑ψPq 6ü)+g:QlKj=55ðf::uf 6Kxy _)OgYZ7zXZִF! ;]ŗXiɟ1'x^܎r͛{%JqWke0^OA|&TDd$Jc ?px%=Q%?jsu~Fv_ӫ`P$1D6~aBjBMUjlvz裆\]JfQ}ji`ao'em#kXGΚ1uokf6C6QsIiZ=pZSAT&KMHj4u gX2.}A̕6_ĩH~ҏ,7Pc`w98MaR_S1~KՂq@/^qZh̏3nd*76m1~-:B#Y%$_#{!L@ n_:}BFx"XKiupc VaݹDpp;e{Ez) GD-8GknfTU\؍ EQ;-FhdU] ~uJ\Ș5)x=9A%DFdypYqpr)h7_\M_>( ԛwlwvn 3^O!6nOicl5$0n)YFOK6bv5yi1^ŏmDQs,/ՙ+A1$9WmktAeÂ_PآEۡJb_zUQ;L}C @ tUi"H)kSZ1a3#| w 9T=^K)%~eKH h땣Go& ݠ\b%^REV zAc ~9vy_vug4\bp@kk e05S#AC~ X@d%`]@ԱE{׽A#t|*o>c 5x-xkL:&f'P^+%l=lNfnݒs²cJ0v}K6Pe35 XclXskpLUꋸIeT穬z46Ҫ:gYZe56e2cf031da64a7141832b685849a738950b20b54cd32f4919d850faca17e94e357093dc43a48d9 f85412ed18f79fc641e57fba244090c4b08a2333 acad73c1eb4ba4dc30e9c99aaa0b98796b40761f d978e43a3cf23f2a9b1c51f8bef90d9158f69795