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 ~E44D ]S Formula_Derivatives-Examples:threads=2elapsed=57.306cpu=102.136gc=10.388factor=1.787zXZִF! T]ŗXf1-/6vRZKƯiWٙ*P59#;Ջ+yXx6T'@#īc_RP'IdEn~ԡ kWc ⴓlI?c}0 " Xzp7] kKOd, ctd Ύ\!4e.K lfc]pûG  ge@`:_(_uސ LJCT yb]LdPKX,'S9sOb0F⳺%N˒N+\c|#-Mݠ"3_L/N!+NrLE nbv%sѰ pJ٧Rp>!5%&epIB"K MX~k& }YgNlf2iFW7%)[Օe 2IEy8X>mL3@#*Z*_8橗m0_hT6CrH]Bj6ϸDu OePXj!/T[j}B@oM%O{ V)}*0k6tNd2΍ITRB36暚D`F.\.Rt:0?|L45evǥ7u,ۼMck$٥d)Gm x.[V-mЭ |/aԑu0U)T٬ n[?K@e55==|!B4FN!䲗2 c7<M6bf HU=r6ܾ%H2_ 3rrK)\pFw-S=$$YnZh|&/X_Ω;߹'mhJ%$ѹcyصX3%EB H]H'zSc0}ry[s:E7.!<]{o' f4XDKs#XU(!:eNG~S1WzIR)S7#gCr[?''5M?I>Ukƚ{8|Q~-pEnnHIrG6R̋n{L0탚LoTh-%]/81seqjˁ.LX+ G6Y t;'R0:H݄<ϰ :; X9GPW39 njWoژ.'Ω7C#9sh7DN LJ!֔h0gCq7%b{,=ƩYrjMIU)m`Mgđ+ 4 t[Yu\t(c+ fy몷2EECq?H'w$E!Z)н #Ð)'yTdCMY oz