SQLite format 3@ . BBh77otableisabelle_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 ,= 4$< ]S Polynomial_Interpolation:threads=2elapsed=19.369cpu=38.068gc=1.864factor=1.977zXZִF! ]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,0|H[k{|ݹfCSuθɐ"n퐔l}V:{-R+ڔ:uBr˫鯈qltGU7y^c]`Pbe*3JĖmGd"ο9ToVAūt.DAA,!\ ]Iח4Ǎh~k. 55r*G4\k w#6u{ZEǞ !>f+_WY6(}i(ݜV ['< /a7M 9d+%qB*{r8ӒI ]R5ݹ]WA$TKy#IlYcI|Jzqy==.q7GœMÁNBpgwk|c#PqЎ3Q~ʜ9S+MNT.WiBOf%?;l QHH\BQi$̥\mF^>Ktׇ{EKPXx+N"Xfy7 ( s:jK=V.D{8|DId>ƱE&SRiJ~ \c9KDgYZ7zXZִF! zK]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g Ad!?9S=P9~\TKe=>ԇ[N4ʿ51 oIcuOp:L$ϒmUh^|M%X+^{)$",pͬGT(6b==m\팢s~rsؠ T3/2lKBp[X/m EƦ#ĪNo/t>u>~IlgYZ7zXZִF! g]ŗXi%9#c[4NҼ0&ʃAb}RO- db<eȿp=(8G0OFS}Wm6PC2h1-cJ`c}taȀ|?iWr .'")3o IeR\jP \f6K q^E1…jΛ$: #Oo!y[[=ܴ}RS@Q+Lwhz3Gh)lBvL܍D@o8[nMA!,R" ݕPKej|7ZqێPGྠD>|w5Z lTp"89DZƝ)y t;DZhj{yZ_\~r]M,ւ :PO,ک?.ԉ ׋4-]F.-_)~N0ؙM栘 @#~stϕUQ @+^ZA]ӡ9ko0OK8u[$ҀVGYF zdGWCtZ3/].~p6DquiєG?R0[HPO!~7c.l*s&b9kF}$0^/V1Кt~A. B,NΟ =\=D{I @c=Y5L V*"?T⑝,/lzϔG˭TLLe[ҖםTe]VrO 7&/N^ Cb= (KݺؠvlZM$}rK9+6u{wsh.Uqy(y=p1MPW!Ur|gC=SB q((gKeF-AZ i't=~qH?&v/ ͲVM\vAE#t꼼*ôf2 gt_V$eP/Ew{XS`?)M?7owb=I^*}R>X1yu2mƷk='ylܴө.v킐b i?WkR /3\6sАjJ|y/ߤ==T22+YgeX$SO