SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 qq = D4\ ]S Polynomial_Interpolation:threads=4elapsed=14.541cpu=54.464gc=1.964factor=3.757zXZִF! &]ŗXf[&kRF̑.'rUsiBש-.X*!9aZ,K 61dAu{} d|+bTg:oY,@994W1Q6oELy;ÞLHYph>Ŭ ,`kUʇ^p~c7om\#>mj$0C 4U <-hkuXR徸?æ& jALtNXd'( ]Ӥ1|S2z;a&u|X7WQ&޼Un+P?ޑuF 7Ymʂ1"ƾΌ/b- vZKQer$_T.M9Y-T-bYki+DžifٜtW$Z(9M^N)tq#hĵa'N|Ns1[D=@^CFR]Jӭ1":ɑ[ F}癶AFUHހ2x:9(܅FV;FT75='ЛeD|v^)F6oX7ڜjZ$ٍs]X*M@͜Tu =~Ϛ%Ters^:@[dq y8c8mhNe>n3[;3asD=F*y?Ri\],cE,r}}~\.diPsfhD#^3ɒ!EkFWjݢѣNl`/_*fâTU ('肘ոV34czSnd>Qd`zp:3fG92BFxg};\-ӎ3eM xy-)Dk&d9Z8AMĉgYZ7zXZִF! }S]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g AJġhHGJ3.AqwMc>2(-mk>vl#iHhb_ A4$\2C@,fke!I1psG> ud5nff5 \89ȟš%x^&JY!)567֏~ .%Rl$əjiMRu*>tSKK:0X,9qųVe'GƀϞmkҺߤw7}U{-6gYZ7zXZִF! j\g]ŗXi%GkJFU1LM +^Vc(ڞٖdJ1 nьŤĺ, =k?ո3)]Y-y _,~c"iu(xvt]ssW(:RQ|rnZ, v!Jif !/7ɽ*s3x{vH.&hrB AR}Šg)R:($JY8:ub6 P'<w#yVF[EʢN;˹gV U4]1+xZ1Hؚύfi0Ld y.Mpy6]RphV9j*TUߦ@S 9Uq{^-2}-V3H#lFgW?/ m^F`R8\0 `A}-m 󴈑u,$RR-&uX(-Y0lm|YWV뼗)9f9eh]Z#)6"v4cSwVN*e>ffAop]V8bEt|XEZPgll6wAW%ZFi `#E'69Wi_dEru`eKLlO@܃69,5=S i1h|n&cFouYIVD,G)1=ZKt_/9api8`/6A@Иc&̉+=ކh$QnM&r&C:>pUVBdGUfq'v+Mx b~$]Y<煑D6ai pR̟cۑbueӦHt+r p5({nIְ.Gp)HQ%$&3grq3(B&C<#R;%rrOڌoz