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 h#\l ]S]Polynomials:threads=2elapsed=89.562cpu=162.272gc=3.812factor=1.817zXZִF! 3f]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=Ԣ@"5 [t+%6W0BpIhB5ع gnU;𜰰/>8b c A8:Gʊ?A7қB6?Yshٛi?yk ^F}9_3H+.Yb_$֕ᚙkb*ØT7V DxA(2 !HyKLWUԞU!\eO4 X{E;AT PT1djd[n椈l.`FW ^i>ۄ~PPm>*ZlI1y?GĹnt*(΃$Y* 0nRrÃ7߉lu 6Zp0I{H٤K%Y{x6ЊNDzB}=dsjCJPj:zw&ҋo ~QM| QYE]U̗  ~`+s(cٶ0c@IWώM ,MBO\S6e/.KKpcY&H~6VgFc\CaO`׽P*Z Ϭr(I@1+rNjF*#? =AN#x^v=<Ҟe$=YiC1&;m.˞즢 }oJ(o*opI_ձaQR[k]F\Sq 圡] a߾5pR+urwS#7_nKȱwG>;`|рVu3B%`yG7wm>AX&h# ߦWA@dgrc3rBvqe6!ɦ2"nDow f~gYZ7zXZִF! fm]ŗXiɟ|E\Ât+.*aphG)%uG:D;=lC ,㕑xlFW𭵯=tɷW!}D#'ɜhOOlNh=*@XfeaU.2 skRt8HoL- uӌ Ձ9:6~kJ _dmrB.!7 _q}R ]O hٛY9{{ e1^2?D̢Z. lmĝnȘx Xwr~PtDxl#Q h% v]2Hk4üLjWzF3AA >65,XܭB ;kl K 2I3mﱁH6?Ѓg?9Mbl28(,(Nw+mB+>XR+H7WF?W~":>fC֟T̲)G} FNnܯ`{55ML8S-qǴVG +iRBR7KߥtzX%> ֑ك]G-tr#_H$CxM:/#]}"]hC F%4ںU3 ,:+)̷xY0T(\7AhU\v-36cqa B;ы5g F$Td.pK-WqkP۫SmmTɧdԬj` 77À`qOY&k:J C\TFP[ȱ,]hZĴP-gL4էYhX3^fwXs6g Yt"kRrcR11$I RF{= QKq!%XP~Je$dڬc/tLZ[aaىq:aY)[3֏`w wM_qel$8O) sKc9Wޚz%&c .קZU˸djgk fhY}R4$vnA{Yup9o%Q'5#Œp;1URFKD:Ainej $ qX @o|c04%x݊g1I!Pkˈ|u!)XtUQnU n|Dgh1h7 c* AV%i464{Rm/~N"DӅH=VlՐ-&5Eh*S&K n'`O0 ^!5r5Q=>(f=ųR>?b{ UZ+7Bk>mTb `tl f&}+21;Q%Bc/1MUH l]Fiwكy}^cNF% .C|&8[،Vͮ@^u-=~ ԥYIh+{R.mQk6C1A ]G<Ngz *ݪO ƥ ] $c]MRNXhH?Ohe7C:EfC2\B\.ai>kׯPђ.U);3m~Y%d(냿'#(&d~+wp ,87w{0A\"*VA>&V *0/(bc)?ՠ5?5F'Ǫ7Gmú[#U=l;1Q]1?;kq^As7:֍%Y[[$c[o sL/.L1Z*oWbY^)&\ UcLaY6hu W(Cz10VO0 -oXq/;yNr=MY0d2)mr