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 ii) VH.\TXv?M8vdBWF0m{uQA绚I|YHk {T:NAϔfe!޽ uPz\oL|Tzw &=9AX>=Tt* :kuUĻ..6ꜱ ~ݯ>Ag[)ՈqT)Wx1ϙ[B_4t4l%R-X`Ж03 / *7I{)PU{LѱgxNA _2mt$dɣIU*+;$TfQ*X1_J% &6XDtT/~քtVH( `xfaHgH 7{ڂ\V$1(鶖Gvn 1e-T/X4Rcגo^Mb2aj}0CEy^*bOןa6^LYpM%mC=Lw!b-b,5BZpW*P8Fu}GM6 vRyWв~Ö5&| 9 |,!g H>zvn:.Oā/ZͰ%F7jkej2t(Ppc=/,ndխI_sK38Z[x`p-5ƆM< J"\Nvt̴ ŭd19[l.?a4 Zb: 'gYZ7zXZִF! b]ŗXi%DQE2_(P3p3_,@5junO-i?6?+E/RQݦa U+3 Q7GC') QYȱfmD n$+GÏ{Sl45Yj:`G}AjG j8HR,n[[9:=pc7}Vdi=~& caE@z|l$%rr}Ћ GXjZo,ʨlIKgn|SFm(uo:O̱_د<% "_&]fb~ٳ8IFO&_#ƣ,aMX`l8X`}`WO406Bp |}`aݮ:{uWm,~q DRӃ_Tb|$PF lÛR&}[1xm62Q>ѥwP !f7|N\8 [pJCbzmdLY&N&+|$N /[& 67h,)%@a[ 8t pWCF|p&).- u^.A*($g~pf|@)vPq-IK$$ C.(+YOچ7N.|{⅔W9h83,P}mY͙(bNqe>>@aWY/SRxV;򝯢Ɔl `٦ч nZEZҬD+RG?]ƓęDh (K ;AGQm,j#c% Xt!pUid|f.NOFZ>ҩSYaʂ w^7!۹=Vni~KoƖ68W'OE;nJgG/+^sd:eRR^tȷ*fbӪ>c@,462,ǯs+6s5{:[($ }dtyh́:[ &.gYZ04eb82072791d00976062df95e35b81cc3afc530 8237bc5dfb02f79ea261a0d43f6f97a2b579ef75 add258111776de3303489072efdb722c0a076586 ce9e0d90f61fd3a1a6dbb623320e7c2ecad3783d e06a055435ec8022f1f9b84b24263a790204ad68 f0c7a41e25c58d76af306a704e264d1fe7fef4807df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f