SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 3 3 J/| %w]Pratt_Certificate:threads=2elapsed=21.983cpu=41.616gc=0.656factor=1.897zXZ ִF ! 5] ŗXf1-/6vR[34#d{T>9zmR,u QJɘ0Bץh''Q\}j`0T)bLǠȞ/z6`1z:3ޗ?K}@JQBzZ\ hAʬdg8>s]P{:}ǢLb"{D] BnXU%x1wY4YF-!30Ke#(h]P N2q. b-jI8d2GϣN)bw [xr o s˱g YZ7zXZ ִF ! p] ŗXi%6SK),e.pyu;R|R>y.pwu퉀-;n_s6@wG&T]NJ, /VI}E N}f@JI*dVۀ f2W#h_-^u9[\5R;ԥj=)|ߖ)Ϭ5(0G)<ӏbZݠWt'U.iXn"C/6>Cei ĮrXRL~3V\ ӊJ?$ HcܑUbDw|G>)JNCUR(Y,[9f/C}kJe2.rv:t& &nFR܁;Pܦ;B09 u^P%aը[n :wj*vWӭP]QySd_.Z1 e7bwt] "<6O6W]t\rKמ):|a^{*%.\x}?>Kn ɴ3igCo4EdP_LN;Yy橕-@z }F/Û/n!? mj؎}+PUs[çy O*0c)!o/ Z")KqĻ4'Asn*A=j(j-m 1 W'ps w8B;pCʟz:vX_h@y`@Or.u!/|Uև"ב