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 aa7,| / ComponentDependencies:threads=2elapsed=69.277cpu=128.844gc=5.632factor=1.867zXZִF! sN]ŗXf1-/ 7 ComponentDependencies6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7s" 仺~gysOKwckrf5SM N|(B+lmly"/,-V.~q932a'Us݃"lӰ%!wN`4Y  edTbocê@f~Jw Nu߅T;us_V`=cv0zY5RZ,Nj{d, 7x$`^N^bK4;s>jkHl@O_]I)QdiYISzBN AE9U9Y2)ޚ!{i"o%v "Fg:8<-@oGs;mhsmI N[@%!{Нu+c߼ߺ{W$sӵRT>NhO>[3ަțk'U$pV"8)݃Ը7PȿI0䣶vI-^fYͲm,7":*wQYs_5l@{C YFYZ5p'߷FcC& kSѓ&0Thz /+օ ױvlƲ WPdP*"Tt!e2@]\8W9QpY*,ydī%+]nޙiYv`E݊yS}GD*Xͬ;D|tYw"=N ͝⤊d+{݇~5a/aE@UJo+PcH%BXL0񩌾kbKE˻H^ ѮoЙ_ma>騑d7':@kLR_gZ!Zc|<׮+b3o@s $fm+{~ȟ^֫Iωg Vrz]se|\*5\g4PӮϭ5E)&=ސKts5ON+,6Q# O4\!4S"~`dZHJh2M^<.8)x'H{XqMd*դ0̥d),d0m^ EkKL0S Wl2gYZ7zXZִF! E6]ŗXi%Bׄ~Q&67~t[V5_xm1DOYy"\H yaDk:`(#9d_9|^2>Y#rRzٿt@ΞAbD!hH(|iiqJl~~q]to#ubHrABc~/h'ţpCS_,oAx}B7I_4jo:HOƮTY.vjyD?ǝ)_RVX\ԛP{Ƞ +6-R<%?*/nyu^P}%/^5 < h$_WTevq0@_K-Vo(Űw@h5rRmF%2+h8k$'*`y@ .SB|Y26G$sI@z( ~bYIYkb|ndg?.ZwґǫRÝ{N2T pOl(!lB`[3RVyVLe[X8Iͅ(Aui4+j3xרFzBd[[!)yvuEr`u::RX̂H[.>-F蛂TW\0SD/'*! eC9I1te2*{P=vC0i3ٝE+>6p&£k+]ځ.W9Kh-U O`ayٸqD>LS&dYމJ3I8mZrɝ"W E<  0[W|5sܔ'`C(Cp|F( 29OُMW/~i%@2q Gv^J։Q)|Z8|,i6D]-|j8h=%y qYivgYZ26c733d2ca38ca397bc4e6d0be734f30e1b1e554 3db12b56d1be69d6ed605c90697dda259182b397 49e9f1f844f037ef64d21d9f9ba269314b3f29cb 853ab616bfae6802e0fc7922600d28b0a3ce1f38 90b06b6a717bf0e451b8900fc1800a3def831408 bc360668cb496a7bc167eb03f7fe8253a9d62618 d53ced930cd084729f0c333e3f4bfd29b0a842e0 da06f89cb08047b16b2cb6a0705cb5c0f59619a1 de6876367339b6f2b26e2b7471b6a3dbad6365e9 dee2379edbf45528e8c481439c264abdaf122481 e3037132d95634fc7dd5de5b85f97751e0cabc34d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295