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  { {+ , %% Secondary_Sylow:threads=2elapsed=5.327cpu=10.612gc=0.336factor=1.997zXZִF!  ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃-"FIK=܋$LE9_ LJI$==3le |OF۞^OAXn0mtg]Fd}x ra/^Kbw܋(n7gS ftx\pywX*Ɨ.|(Қe/~|៵k k[\ŰE8!}[k ұgYZ7zXZִF! %{]ŗXi%3g?([3=YNe/z^3JO7dC7j |'T3`e,x1m-T;%%»Kp7l[kikF'Z@9[}*ޡM r:0lU g'^QqL+FD+ uS&VҺӓBG'uLNlaw D!"p "Ѫ ϗ,2뜫[6 >]/}_=>ܬna=^Pru@6ȣ$)#6pߒW5L\"^em] W;R_T7g9Ru^A|W zHC]]SFxFcr E| Oad @1UxW\m*BDky܄GK}V0@$ʲL"_fAOwp8r IJ /,Lէ@QHqnUAm&! dShˬABH^8)d|0ٔ-#<私2φ_EVtP3р&V