SQLite format 3@ . YYQ77Atableisabelle_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, "errors" 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 VV'+ |4 w Euler_MacLaurin:threads=2elapsed=20.304cpu=32.112gc=0.732factor=1.587zXZִF! ]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛s}-F=>. G,~t R/yAƛ,%^HL֚4lwxJNd ~fˣ h?\Io5Zu>B< ,'OP1kÅZ*n Ms(8oO%˭9LLNye1G ^%<߽۠V!C'a~piEݡNؙ;?X~i>bl2 YZzox!ٴNxA93 XF]W&E4hRǸnPsD,`̖ W&B[( wG1^ in@g끍k>#|blx˂v6&Ւۥ3#2`O<&d"d9J Vs7W`}4#Su!zJK7a*os~ߜ!ʄ_hCr uUnyX$ mWdu8$^;yqF՜3aEHpG!y 9Tof@I#:_8QgaPmq.Wرn%"VX9}G f5Q/O]j;3,2Ҿf)[}2=\L!E=8(Œ1k煢6.$I!eƒm"*&=.W0-&Z y4E)pݘZ/vJp9w֪jK1&PLт>ӠMSCG9/VKSpʹ}撏l_FΤYخQPYnHJh'OukU>fC 5gYZ2a520005f639cc84917fef3d76c5280ae597315e 41b244e38b9dcf2a2383280100c9bf932c3480ee 7faacea3132e19758d41f036c38f361fca85d9b4 814d1b5c3b9fde517facd0971e3dbe2cf6237736 867cd9cdf2e7d72b617425bbc782b12dd5c05e3c 8fff487090b7d56a5d0ba46c2d70e800f01d9f13 ce467224e3636326f324714701da868454d5dc1e d41e5980709a88f90c6ee6b3765d0cf53450aa57f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 7a682a676d8a84f583e52b3d25f7f4b30d4e186a 0370b25103025af935263fa23188c7fd7c232378 + Euler_MacLaurin