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 PP-1  % Stream_Fusion_Code:threads=2elapsed=17.576cpu=32.352gc=1.492factor=1.847zXZִF! #d]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&yS LD˭1]R0Sċ ۈL^٭@S>- p_5Ύٷfl*gܩ:z db9~(7_c&"k^ZfABh~>ܭXMghګGڷ?Tsf8=KdEa~]Yh5S^}ۭ4;{.SA6t)Ä X:HaJ2;.?k;kң'L,{xGm k)y('c&^{0ݵڧ.5ŕ)*s5-!Q301JB7p/V_JZd#܏GR#z'([!Bw*\Yl!A:JL^uO%WU&comC rl´`;9xN1䐈i(lف|YƱz2ܾ =Sd4'`_ϢFȈYeV,;6*2h%ؚ@P~\vËU^Y/S~><6)h@TRᘽڪBK`@8 :vm1 .\D%Xr0krSFgYZ7zXZִF! b]ŗXi%6uT%tBes'[le~38JzdZ3<#%0f/%_˫AP";*~rn x#W$S`Sed%>UZڬJ.影g0%Q˚oi&9Tdw W(n6wYBd$"n3;LRcHSO#-Q.$UmdbNTL/~jЎ`º푸"mks"nlʍ tKjt} s~'ylK+&vՉSI ιt֏hV`Tju῁ϬZ/"_NwQ7n]2 tVSsʨhQqo zYLq|DOh 2NwQLT0K鳁離[@~n_UD?q+L;r8̂k-FQNhjL3CзW¡՝wiYt|%/NHtj#*{s>XZlchyc~M!6!x)q>d:2ZMm3Hpcq*!E݌>Tċ yC' Y1{ f_~\mn캸3N)_]$TM(ُYBfV)}/<tm9M3a}4![;@L esHh,[ }1:NLH$Hjz~it1FM޼j/GA &rڵhZKۼ5ʌ @Vz.nިcvm,;&TެY$1@1ﴂY&Hi/L< HQˁRH~C-v%+Ґ4uXiz]=@h84_ؘGvl'j78]^:l]T r3ѲeAKx,ܞocKc`PoEGwÿnKIs OPUЧRfcG?UEvU=-2=pD'߇nl~i +x4h[c㯤i+1:Y ><~+%K:҇uLt5 C-&+wbnLV.aXUioNQAnw ל7mnbvXF@13W#ojV/vm[CV(@Jgܑ|t϶ ACXC=5N#n\-pqͅ}<Ƿ2s܏g1l5OF f"QYCo AgYZ01d0bdf631988cc5d8b72eeb42ef4edfcb65c434 21801d08fb7b25dafbb4d558fd6472932aadadea 2458f4e1fc7369c11bb11215ef670b9e49e91ba4 311723c14045b9608a65a890b21a88fe2cba3b3f 3ffd74b09cdb5918f1cf7e22acf57ff626fb4e44 682cf9b44f4b810fbf3dd344dbb58ad4b42af876 b049cf22e7ce3479c88b968a63aca5671d014e0f f0e5a57dfdf7f6cdacfc0b9da865465b469ec054e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 9ee976f25fde6d06c8ace3aa9617694fafb23e57 1 Stream_Fusion_Code