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 oo D, ]S Codegen:threads=2elapsed=9.021cpu=17.684gc=0.968factor=1.967zXZִF! ]ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4go?1f*rHvU;Jĭ]aJ^9F \UW%k8[7'Otm":22ޫGn 8OEyUtVxAAȲO?#7P!ȟT(YkP`S=2ugHts X?Wlk 秊ǚwמOvShdN~P[Tv#i@#OɘȦیGHY~yhUgYZ7zXZִF! C]ŗXiɟ&,fsØ6X)w`Iynmم񈟂 'Hw+?X R`Yja,w!+qKAgikv>hױ-@tڮ65!79D%jÆXWW'~P MĘ5K11SN !|@ǐ|gYZ7zXZִF! *4>]ŗXi%9*WڭE6-) ,F}1C$Z8յf?CIwm/*̜FCuM>I;~gB?Du\^^,dRdZA;,c~/7רdK/Y=d!gM'ΫlL%nL_K|%Guz}d\!m*BM$DTUߤZ*qL1He Cٕn/wɽi-Mg[{-XU=T斬Bo*V]f܌b0s L+n?+f^Zi^Ii_H}'?~^%Qd?"s]䑎%D3a]}3们ȉB .5^:f|rU562'L.Xah*$5F!7dDU"@l,\X+8Q?`BEU -^Vn7xl;-p6ЦN*j$PJ"-M;nM7M)K.MpeM Zd`s 0a/§P{bjٮG5PO&&XdQiF >=HTs?k6sÒ4˘R8 L?7([ FĻlh.']!ɰ5d+f+T&gYZ4ae36dc8bbae5956d2d58aec8efb890c081136c2b5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f2 ea164186239b77d6cf8a77dbfd65972873cb3e5c bca2bf6ad85eafd856d67189980d9c1bcbed13dd   Codegen