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 `dl S/ CYK:threads=2elapsed=5.369cpu=9.824gc=0.476factor=1.837zXZִF!  CYK *]ŗXf1-/6vRZy/``$%%|f.a־yd0ݣܞZ_j/\]kR&΍^5Uv(ڧ87ޭ"Yń+ԡc;*{0D=7=Ye4(RVs$#Qz/ <ǀB'P&,HʞTuZւ}A:|LVI8q %R겹 pbiW` U?t?xvU#eSL/Bqnq6l856Oawń :! -}ysY xx КTQ+v8Q7xhkpkWqKGr?8dr(%TR$ ?H%Jvmα 9늴Go Cg5p1BhB34k_&uuZr{;}!+$bv3ϐP3IR5`Wv[<8IS* Lz=`[./fV pj1@*cvHEL~KHZ-ܣg"_ꠗ{(jX /Yi0﬊Q3ʪbq (?IgYZ7zXZִF! #]ŗXi%DQ&\a8oHl_NRw͕M&f~MAD0K5ϏGB搰GHF )T?Z]"ll퀬L`&j$P,ZRy[W/GXGe:+g$|,oR) (%)b(ڝlg?i>eF>ϦlFq5GkRKY–/:+esUP{H c$Lcu:1ǐFxN.gYZ50f0096c49c2bbf48be7c1fda97224d10c974fac 5eb00cc4d9a70dcdd682585bd5fae0f37f7e2097 99861fa07fe03ba8914f3d53c7de7c7ef6deaa02 ad5b67e29573926d3c9af3c34856b90c341449df7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56