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 33J/ | %w]Pratt_Certificate:threads=2elapsed=21.983cpu=41.616gc=0.656factor=1.897zXZִF! 5]ŗXf1-/6vR[3 4#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]PN2q. b-jI8d2GϣN)bw[xr os˱gYZ7zXZִ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-m1 W'ps w8B;pCʟz:vX_h@y`@Or.u!/|Uև"ב