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   _1 Lt S Stream_Fusion_Code:threads=2elapsed=21.020cpu=36.484gc=1.728factor=1.747zXZִF! ]ŗXf1-/6vR[]`^O㍌GσCU,,#DF} RP4HQqlVƽ% [̏.]f~o5'wvIŠn&gKl-EH'E Y^4Pd)~N9/`VR!b4D+^swqOIO yJQˈ1F'ߩ:s7eu\j+W?3 **غ\q|_#/p;c&F s}l֠!752IeI]%J!xՎ'Wq'+7'I#9gX봊 Ey \9(=8m`rcctbGۗu.l,-אBy9ڐ$9Sǎh4 u2ut;_n;d>wkGJtMA7,ܬکAu BqixH⡊HQ~OъCV9"-ܑN?wtGؚ^"kANo|fna"IF0y>B:<{9C퟉buYQnp[ 酇SOॆTB:Пf7wbQ9+4vrBwߞm|x#8}d  DF$ՠ5ȋD'بWËv - p*nt :hn?i8 5i:ڢEkjRqQUiH,4r$fN8;J;(߮ huX Mau}x2{"݊.$.}%ć7 .c@eғS4ڱ=\hí:Tu/J3s@F d F9\7}=qG h02C6< ˩-`_TьWH,^ (~8݀b6Ő3=ѵ37W`̭aTEKrVY|?u&/_5_V@=Wc% WPJ;`#`nw;-c̮JX .^#DU '!p&b)WO aAnP$FpCAZ6#DozJLC7|;ʜW 47=WvAlQYVV c5̶%,P/Pb`WWB\fI0):xvsqXQƈ.c/bitS1 Umy%dHU;1s F|'6W/pV@Gt'B1 \RH~Ghi-JE$L?N"A~5i|poBlU s$-f}̞6A ~wʈSmw93IegDU7 ˻#Y^z;.MByu2+ ,,o_Vv  `^>_f)E*,L}5&zB66ysƱX Y[Kg^H_BKEtE\KM9%;mEdm nM\agYwhS{_@HgPbMr<97Y 3锵 H&x䍹jF@#%8uD!71!(9<{coquX"D0yIGorlWD(,?o!). NQ04Y{WJ"*T&zi@%[ì}@4ifoaGW݈qn\K<܏kOXf #PVxD/:ODGu=gBdW ZK&e+ usq["{lA`㌄+o?d񐺴Zﭫ7hDY]m+V$ mzML7?i|N0eե0*tA0 G~rhU(D,m%^fȸLn* qbB{_}GR^19WMt:r:Rh*[ pE>ECQn(&o}e/E4^gS0_qCY T} KyXb3[ԛypzPo: ݻ:"Gv q2Uy? | pʸ{.F!߽eCk^׉ZzD]4e_#Mx7<-UD_FO%^!+mtC؋e91-?q $~; WE?>xЮH.5сtJiρ [}zfJK͐4A>Ο<']lpX#R EL]%gYZ01d0bdf631988cc5d8b72eeb42ef4edfcb65c434 21801d08fb7b25dafbb4d558fd6472932aadadea 2458f4e1fc7369c11bb11215ef670b9e49e91ba4 311723c14045b9608a65a890b21a88fe2cba3b3f 3ffd74b09cdb5918f1cf7e22acf57ff626fb4e44 682cf9b44f4b810fbf3dd344dbb58ad4b42af876 b049cf22e7ce3479c88b968a63aca5671d014e0f f0e5a57dfdf7f6cdacfc0b9da865465b469ec0548c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a 3c49033944873b457d9ae62996c629bc24b1ea20