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 b= l ]S Polynomial_Interpolation:threads=2elapsed=22.947cpu=44.460gc=1.628factor=1.947zXZִF! ?]ŗXf1-/6vR[]9҄պԗzX{olD Kx!SM~b C^bV#7zh[ diJ/M>QH2L[}VJV ]V2oHh "& % gE,땐WGD*ĵ٪IH>*2^o ʩѫUT!(‚jX8Ƨ~6YN&`rr^x%ݒIRy I 4wKʻ(*,sXvĂZ0Z >?W;S>AX'1&K׳& x愂el=ޖbG}, |/%p +g}u'S8C(zlY.5Tygwl^˭@)h3͕WܮyZ0Z&4'_2c cEl` d`6:1\'jٔY2Wa+2a(e6>jV]KC'f&xz q hNg g?HgYZ7zXZִF! xo]ŗXi%6AtLQ83RѶqH ؈XJ!Y4/_(hWc ԿcC3gi1ݨ:|/t\@_I=o1 OL?gp#k&k;n]@/3y,xG8>K>; 9׫AYx ;t򵟕/,6ZL5Y^ >ƅN>MRR26VpX1narm,p`eW-·iş& rnN*|X`x^g/@l5aHX 'B7bFjG$  !=d5n IviuϿL{au!8҇pT/̉WU+`3S J=zBf Ih/gހ" ݌ W'2rdя(V:Z."=R8m/䱧3''*2&"J{@&?0ta9)dw5* fHA͵zͯM!a'E})D(fKoHCNa[ ,i^ -HW=且9EzM_h1/%*dYGt1 S7ƭj޺hkܿŽ ſ 3Eftoji3Gj:`osIXIlaqp15f,:YYt~Y(g5NLCfa0#U4?4 Rk4T55YR[WBsAlטRNΙ((@k]Q5}Cb<{ؓfnВs&LKO;m8b'| \{,9MP ft&uJA