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 <+ ,L I/ Binomial-Queues:threads=2elapsed=6.303cpu=11.288gc=0.584factor=1.797zXZִF! C]ŗXf1-/6vRZkc- R0vPP OA50is|ba RQ; Q.'dթNdbrPVJqsahΦ.2SsD؍SVNy`Jk,Gy+[blbVsN x-Fߙzd;ۛYCw.pf;(BYV@yٶeǂw2-}?5[9f+r@yn~ho9nYB{,BQ2R?#]dY-3?ޗVX#KɓxRCc͗?͎j4h98Bx3}N es-o8GaAՒZw/+ɖ`Rk- +)`̭ ,. 7nH} l gWU9ÖA@XMʻ}6w'ai:5 Yoگ + Binomial-Queues&p}f$ȝL=S<9t$7œr5vg;a-5Y.#.k݋\:ҹ$9Q=N|zM[w^ˏ u:Nu~H{?o_7!I$#q-sK_Ur-zQozMF) ²/",{hYI'YxmLoETE$~h 20Z,;!\`̬F]lzc uOFT&~^z`B!wkv+֌ ֝?/RJEϜ4śe ͈fE&O af@+B*  -#&=ݑJ"#NS曅"@x؆X^I]х}ǏʈIiVtfqǴX/ca9%mJ)qp@ -YM 9c?dktU6WmzɀA jkx=M#|W@KJ|'!{ՐaBLVj V.<HS*٘n >DhǛ '֓ %1oM7uq/]@[90E62Pпeab45;N& _yIcg1 ܽ ϑ3A>j@X 7vkU|7Cxu[ xg^mV٧/5!.drSA<ߘ]+Ca+OVmh꙽BdBxv1leK=DBJ|L?=)غmL"s)pGڝHƜ.5H/I);6}){[I @6j9o Wpe*mRٮ9 Ԋ@T$jC3!f :q-{{Ca*dG?*p^*23&9`04R'f wM-hs3VttV^LYxćrW{/ 76#-fh&*2TVM@'W_