SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info q\ ]/ Huffman:threads=2elapsed=11.301cpu=19.968gc=0.568factor=1.777zXZ ִF ! ] ŗXf1-/6vRZ7Y#Kȅ |[7fn 1i-^!CɄz3Pp Q{ 2mЇYeUx^O@2]t1W#@I6wx.2Y묋qDwz9o8$E^̠+DMcSfʾFzϨ|@[9gsYp1cj\BZ(5Vl[UqWΊٰXw言y [D⋽`+Mx!a+jJ8"+sal|Er8)gEQ q ́JFaت˸Ewč:7O鼢=ajdEcZg0i/hTI LH ! {g YZ7zXZ ִF ! C >] ŗXiɟt0sϘECS>S@=~9o($3A (˖Y݊ ZD|c} YZ7zXZ ִF ! F~h] ŗXi%;ܵ|e.*4W`CRk,TσeA rө1D:r!wŧ)jDj`ЇZC cBDvrF~߮lUԈ{qk] `#tb6`;O{:(j>FCB1.r0KNC b)]G3F kJ)*! L L=&)o;+"^J8S?'lOn _7Q 5ҕC+ɤ'.v`'YfCd1VTCaў0e!k/ydְzJ#QwT;I&s"x.IAvI}ε!ҏQH4^g46h^8鎤'|!9ɚuIQ7~Q7ș59$ uqK4Zyu3A355tk`
RTyRHvW^撘Ƴ+Rr
!i+[N }@I,K0є!u& 6S7![:½4!ijU,|%3nGF)*BK'#y2~mo1%gRK
-=8q_e+UA ]V,˝s72ƿ@(NzֶΌ+ARM7d<ʙ9)O? Q2s Qt/