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 ? T SS Imperative_Insertion_Sort:threads=2elapsed=6.793cpu=12.920gc=0.176factor=1.907zXZִF! 4]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RAQ/PwaкƾmُMѩ$0|-0z"EPrsQ6Gw6-T2:J(fj“:$O=1Y\7k)+hL+DFxPC[oƐPoMl_e`;Q*7ي_X7Y@^#q rMwhoψ` 慈9(u`oaU*e2HXϰ!yC>{3OMTo]H:ѻ.v_8I#ᮞpyV4g )Kuz>v΢kd[*,TEbo0=z*ݓ0.Ὺ>9{ཎ$޸sۏ|7&IPkkO1 {#Z~8A?( 5m'(@Z/2ǯ=ER(ӷ:.5*L4nXޭ̍^DfMX|˳*8!ؔ:0\y/+z|'ء4U~gds`{rAx~&4?yB>QH~N-C:|G;?3)^ېY dkaIҧMfҡcz?N,pW㛋䃍:Ȣ-9}F`XUo-?/H-~M",OQ M3je­5d}Ƹ125X`JThυeùEC?~Vilʓu@>w\GG T>xz]-@-&"hhsfgYZ7zXZִF! *(H]ŗXi%q"DVh^OqȱFDsr[#9GǟVU~Z3ă;!]Bayn;ƿ* GB\n3z_>KWdo RkN?z_37CK܅5Մ|SʢU;n,߷fMvaL ?u>aȃCv14pcbMDfv`ځxSB#MKpHl=?< WѤ;?eથzRy b]K7Jk |V +(l1RnyWUU-{nH>PٴdOT\M@x>neȴʆ,҂cƼ p#JJ Gy$:,=♵%Uwf:$dt{CFs1Bx+Y@nP6-8@Sr.L۲" *F|tUcDEKDZtp=h5mFTwY T[ϮUL"Iƒ->` V.p2$/a8/؞5Q]>pNƀ2+I.?АfBl;\k3a5"51:o H̄5D2 [ 9:+d?6Fp/m5>z H>^'JuݺG^K9Q,*)V봻.5}̯5H,-[#+YF@^OSw^VXtXPVt .