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 j= ,\ ]S Polynomial_Interpolation:threads=2elapsed=21.672cpu=41.260gc=1.568factor=1.907zXZִF! ]ŗXf1-/6vR[]9҄պԗzX{olD Kx!SM~b C^bV;'Spw4@XƄ;.&kϴip]_vM ˪W{vm9 DKgD>JRo M3%Au1VGҊdj,r7p֬LQX LmQcy P`]y⩿ 'iy4ge~$cԸp/ L"ZSXv*v%.'NfgKLV3#:V/dh I%b3|r'TSv-.u}P&^zhu5ޮt΄.E}]RyϻFכ7"GkHjwWb35p]],(,%[r3OQ Mo]-@4 bt֢f@\Sn=n4 | *3@ɺV ,{j?lo !Z. PWLyπ%Ѧ/G̩>jw ?׷ͦ0hɥw]RI'])#d$K+N}XJ#:\Ff;@p:M˜B3cqA"SȇzuVX1Qcn;>G ̦)"A)!S"CpAYG% =3PpSuD{ƙNL`*u xe/.j2;n.DžkT7T`Z0 D|>pąVhyIJVݾ Ij@e`U fws_޾'2EM]kA, CR szW-MJ2ab3j<_aGB\*9uz{%boJD2K[>G.ڧ,YD]H[eS zNב:+VBOaaFXbh3I\!bZTH\RƓbN :pvF]w-Pz4k+U*#A7={CeI1|zWa?BM1t6pǶ}[1FXM|̫sKP;L[ M xZvCz )n?ĶA<SJ.*V _^gYZe18e67924068ca9ab8f820e5c122ed82b4ef945c72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 799e17e0602b8a57e51c22711081aa85bbe0ad29 = Polynomial_Interpolation