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  4 4A5$ ]S SequentInvertibility:threads=2elapsed=51.905cpu=101.872gc=8.424factor=1.967zXZִF! +]ŗXf1-/6vR[]]VN?tx^A0EoZ$!0\P6b k`Vj_)~r2ߚ^j^.@fP(G9羏u4U\PХRZ̜7r*,~#]2 yCk0C1PP6Bo)?OD9\}@Glyi6RNg`l9#`!~/iN,ղ/ƶMחɃ} ZSʹdv0nQhÇLoI =ĺI e}TR⑝ZoRApv' r6lT^G#IiZ<1T;rLTs 8ۇ]Án2Z42WÝ#}Ig<g/YC _+)e89y N ,gE&*mX7qO9`,<f}i1JG N?S2˱H퐍[W2.Jëo?Ӹ}` 5 SequentInvertibilityfj.nOe枰 0^Hu@9mW+PuVǫ/)& ZTS Ԩj}xlaD@,D]bQ;HΦ7 r y1nvy5<mzdԵ;cm7ۥTz{"g LYxB ;LJv?%WK}#4˹8 u\Xa T_|jnb)W4Gǔ/ /fd1 Tt(J6W %{28¹0~gѠ7>'tdQNE ^~L~{ۿ:39U^H3OJ_hQ$OE.0Y[Qxl[C ;~bZVfzjY={)Hi 0 SUW<gYZ7zXZִF! ]ŗXiɟBܖ& 5 £}EAm+c.!;A ڲsH`Pmz˹o+; - BfH[g025bs}5EW1DsBD,v8q۾2-Q~DTmHn_rb:w3e->t,O~~"gYZ7zXZִF! ]ŗXi%92M!3ʯPU86.f?_v[n5-JSC^]3ɅϪKcR -!kV4Quy_#^PFwj"qs([V1W4NNkh9 ꨅ>0c"k:Ժh6Nee'F~w QϪ|sY[LtB0zR=uמMZ3J(OP<% @˯GBRU:Q~dA2|MP?!Vݦ,W:m ZP{bG(+eh )z/a6ENkAI).G>2qXGDQnmDuҢ)Tdyh&(:zWԛ1()PF_ h7J]IZQ%IN>'WcZs Q=A\-u^n{ h*;v]RorI9&PX~芸mz3ǁtٗBs(ġ'ɼhaky+$LPdX釷Eu9PisWU7hۈx-lĝ2:kZ]t?ᔋd=^oS4卜*0K v0ZPrhV)kdbTJ~̇ugF1M dF r6[`A0KDn]ab!V۹֤ywkr7d%T7>oUB!u,La`wSJy+@w"UKt{.84Jyp>OAGf%UE3;YW'WaY.`HW{6$Dj-V`js10&Q~@Z3JHw@[:I*PsN17_X`ڮW D & A$z56 Eܕחh&VQd(zM -sY_&״C<f'( Zd Eud ƃכ*2IRGEb\,hƕhIV,` z4Pl}X-y Gaj^w/Yv\21uʵC$1AV$SGiQD~/ Jf6VNx: uZ,A| {, {MC_es:gyjʡ<7p^BQDuBvqCo@%dc7p1~Yz On̯wlN'o{T?*\+ZKtBLfG+x4?jY۱fUE}6@Xg=]>)u٩Ꙛ/H:u\APTe*Hs?5BD-z(h˓p0Cs3^zYάXJh(Xx)EԔ"񴏸ZE1Jt\R*]WhH|\"yU)D#MZgӮ{ʀTJ QKL{[A[borz1+25ea2vh-c%JGy0t;L5wRoJc9Yc)[J}&gbd\2Uk+dƺMkBv?[Q]2Xf܂W FEMtkO$ JUq{>aYG|Q]$Ig͛)7me-RK Q*,5pi$\v(c]oW)PK0DtgYZ6c48434c1c608e6e566b3da9e2ef29ce176bfc2902339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 e18eab774fca0e276fd5ccc2347f5041793d975b cb4a3e96e57f637fc9d6797d16765ef69fa67d1b