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  3LD \]% Count_Complex_Roots:7zXZִF! <]ŗXf1-/6vR[]S#L35Ά%.y8S)&"7w\ :U?%g 4s!ז] .9*/>u@G* e۴a93>C-n bFN<5_{>x@i'{qxj?҈Tj 3-Þ[yFWP6:AiNmJ׹ηɒZ,N?+CfDcC T` 8hcp3֌xGLEYnj?aj”K/ 8ƚD+ mstǥ*qgX\bl .jFybBi/ +_w =`NP֑L9I[V+R%P ޜiRک9:ɍ0'8+;!Йω1BC6qPFXuK^Xy JI'pN`Ku+jxonv:gN_/$mWkgI B.42¶|vQ{ố+7b!kC?%MJC9ߧ,h=%"H-øմ7b*<ɻC7-ȵԗcR)^iQÊb  61CsWv1 1Ω{qO)dLwy\^4o}e^k>dJ C^B~i#3ε 7>b X#߆;7  \J?Wu6U)2ǵqŮZ{( "9KjUBUȮT]SQ3x_ p~M뱂`(䭙R>d^L yqTRJnr&,BxƓsv=Ga!ʒeH+gDi0eZf;Ueq5u~~4/aNMȕt˜s/WךOpGSSԩΈ;? `zy]Yf¶\+x5&c]6r,}a۴ь̻%oY#Qծsc[%Oڪ>_eX?g1h}L|bm|l`=;DA8 in һ:6ad?w|ڠGHzBLL*P-ψ|WҸC*> d|tU*>ہUKcYXk2^s}Xj-:ExTq끩(0HOeH~|-3#EgX%v ʰ:.u ⫁n8oC(u0C,™G ${)hVK: =J1)I6vhh۪^iM,(V`b$n\76B{no2jkaT } V(\663+G1HX$ǮāG_`Fζ;.qA!l-K ,&<#}"VQ7h,siX*TDLջM֘YH;e@ -N{}KyR?Xw+/ѹ ];z6ѶIU )W>ho2w/uɂ 3Q<\|vEȏؗ v!9f.iN{1r<-o08H.t(LH3(;Br(A}[=;PM OZ%c^1 JT(ao*ҽXs i{>ELa7Nͫ_l(v9 񷣰-GdXQU\N܌rZ]BR Ho3e-ϸF>HJ(hwYɉB"M =o?Qha54r&о\B_+x ۆ1Pvտb -Bcu~7|$ z+%h!@)ǂ}U7󎬙a3 BCq?'Ӄ{}ik*}ٖ{ۿ^ 7׶&px)~3}I1 $ Q;`x1!;ŶMyI ''VDςf Bi=R?J}T)o(d7ed#|VM\5FWosGPWgYZ7zXZִF! ]ŗOR8k[Z8]*38TUP<5dd ht_<ᤸS*5 'r|jv`DmKܡ{j6ٰ(lpXt66/pTMD;u|7>5H)q' -iQ/80v&낄UgYZ4e2c18ba6e1609f901e75c8c7766bc8a2e2cd81ce70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de e5dfb176d47a707d060ff125772d883bbcb98810