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 r ,,l ]S Codegen:threads=2elapsed=8.046cpu=15.744gc=0.716factor=1.967zXZִF! ']ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4etV8! cɿ$gN6Ev2y dO=믮_6Kd'bþA f W;~" -T_Pr 1g%2S^9ԎcƀV1v$B(AFElۑ72ѡz#!o5wq@%wP JEYwwYP5dPi/$-o=Ֆ[: Jųht\gj {_S/ħIsAaQO:deTIb[nl "L? {\^(kMi>X Nl9V}gYZ7zXZִF! C]ŗXiɟ&,fsØ6X)w`Iy+{caֵ N 9E 0K_82#1 Ѳ^#Б8T<$ ˾#s>F 1/Da}Qmܺ}⏺f0cs|k -j /:IC>C2qw4@rr*agYZ7zXZִF! '0]ŗXi%9+ NʳW*DZ&C:=kk݁n-OWr=(³)!!ƌ$l~qԚa6l[}ѝ}TT@ee68,bc 8ȦݍNͿ+шkbB5.a)~*CktZdkg{A]z yK8MvBmU:S , N4,۟V>b>J]wD:.kGM^^+v90a^,nFoxDy[XpAj7el;RbRQ gѝ 0!ɠs(׃ *-BXmk4s!:poKчgs &XWid!XME򱉪o dfSbfSs<ym}|yD _K&ziqr=!Dr$:N{0̮7^U {q\mFۉE VJFna  F&?Op".aZ > oDaR)4/8Y;rl  WA.\WuĠ?5[hk1:Al;)#gbz'iof!R \<34ەH 7IlTX:S;/ tN}2uǮ=J)iUa –e JAhNƣ@Y^*}~!HlB.?ŀltDrSu_I\,JqO TDžgYZ502c47d75023c7659715db52ed9b4fedd62e864941dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44 b462911b7460cac74c861650885356046443e0c9 c2e985e1c60e54b489cd6d96dd18581fa8bd1086   Codegen