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 oo1 l| s/ JiveDataStoreModel:threads=2elapsed=13.302cpu=23.440gc=1.104factor=1.767zXZִF! <]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{z/mYᒄ0(\ W bQMS`] }=AēN@f7DR;!0ڳtXRz IvZV4pcjb =na ?k@, NaЉ7ΗY{Xy@`"k<Ԟ^h9F\* #Nu[6-B^r~F7rTU,7Z_ DZd ;rEa#a}$-I= F_#EGGM_m{~=B2{2f:RO3$lljoW:0{&`Qd&wN XV G|a,-/ٌn4}0b"=c)^S9IAf o:;1Ll`U!b\`CӃwlg#wھL>ߓm\|զEhkV"Oh?#ZBgc{a8M 6ve^s ihV l(dd\at?&A߶"y> ecR'6(@ϚI^KT!8_ $5%N!q4Ž=L]r@ d.|wV2? j<`$]Q3B}4Ǖő$bƨ*.$үK}4C\hi7CVqAkr +$ݽ6Z:jV\ʊpf_^yևܕJoD&eaNHMi߿gedv%eTU^~YXE%wmܾ,D=oG _pdtQo/VSa0.5.}ñJ4&+~G3 1z `ng#Qͤz|䞳!ˮs6{6RrZӞuN&<CU_;mgN="U%N y2-gYZ7zXZִF! Ku]ŗXi%qYDD5Eq1e]p|8 @>`ZMIn x{1 hN Dw:$\ZL \Ԝ`VLy_oKBD n49Tyw)LYTɝd!ޏed&D*9OVP h7v gj r|ҥnwSdEo= g' 8q^{QOrqۙ}Er87&vc<"G>Pe͒Y&j$ʹ\_Mʕ+ܔ{O RȂw ݌@CxTHd;X$`V!c!F:!'kTMu Z 1 oFb=>mYtQ#1_'ذ+/hr$hx&Xr^{9ڬ*R@ MW݈ܻ`ɼdT$Ȥ`чe7UizB́-:?h J=C1Rk[73>eo߾Hg#075Fڹzz)׎2&@)7a3l>n@d D!%o B/PMH6 0/)i;$gA'%>*ZNe |YUZx/ H'M/{Genf ((Q\u=e+@}jDa-N1Jkh.],,X5xa Ab|ˎjmo_-itߠ稏DqP'(+dm&t DA37t+SѪ—?$jD(~L?oH<0䕁Wmc7bG`2B?iHr3#OO2I}q?lv }5'3mG?M/ܶ#