SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  u u7$$ ]/ ComponentDependencies:threads=2elapsed=72.299cpu=138.112gc=6.696factor=1.917zXZִF!  ]ŗXf[&[:0.mʬ38+Ro.fWiqkKbt M-i e%nsy;-b7t6!-V_%ԘׇCᵈ!hn A]is vrHxzV@o>; 3\}>xOT..>VzxWΩO0sIGnM`V^7r(`XÝ=[ϴ mRO%3 @??nPZ?v*ߊ9e}/hgdDG3Q?{u=I{pP}B94aHψWBZim 7w>!fou TW3#''[ \ZUmњ} lDT c2N]@r-cm#QS F{s4Uv TV?~U r[à:%VgQ |}@_l<ח2Hy>.2?7]կW"&S  t6Sǡ{@9~)m͊"" xFf"r=Eۘ 5K5WZBm ǂڧ=cPSk Fh潻c`킩m!+c )+Iu [Fp!* >}qPYo 7 ComponentDependencies  ;ݪSSlRgQ~>Z?9T5<ư劬7aYg VD[w(/vE#O:)ku.I?˧00tfwOOYl*Ģly3V7zr#ʎ#pLpUR~-ν91Vq*h$vU^ `e;iZ+DDhw(MsMdQ 84:Eԥ;\'=1Wϵ`(^#TMa#Ɏֻ{/\p)DV#c/@|۰E#%7Di,/;@@2 75є FgtV> _ֹ#g=S*XC}R/w| pwolt^@r͔P/ϩ?-[~ E].{0WżGԹV5ʯa0J^upA*Fʍ[TDCW#`ʖ/>w1nf"Pd!czFQmϭ E.WK;W.asӨ;a]S~AR <Ʒeњo> N:+ԩ0[b=R9b=Nc3ڣz'hH","t+l%rUg`&'@^\DnqOaᗬQ6aaXV}WW.[/@2T38TaszMDopU}@rүPa:TL) uXAQҬ2(|חccl =D򉓀f$.W0$0{94Q@\U5'i*3BkZ#O{]/C ɤr\f36 l&VO`SDa03|蕭uI{X߄pw.T7"x̰􃃎zJu(65 yzorI:9ՌzUcn\1ɜ."&RgI۝h*ejnvg N~:.$͒[޼T3͈@wϳT}WZpi+WߋvAH,ҐB՗Hݣbvg)Lm^I>ii-L,-efM "[8 bП$gNd$iZ~ .5]c{WIk\c!P![vǼ 0~/q^?lmRW;:`!LgKYA$x~=dԮJ,9DrNP65aaCcL/j'kR5O#=JyS;^?,GcHl&/8p);-zrF2IxKoJ=$un]o!$=|n,$[jq(ahޓIT:m ( `2ͻ)W} 2SDK?JkKlЭI% 1,qfxdg9}8 Ԛd)c,;Y'7s*'gň1e\ 7 *|m@< `F5QnL~"(r_OM>jRRml~>x=ЉYL 'DeRH:ÎS RFSN7&h\B&l$G ef Y}x8 T@'  lġ.%  [p9/iN3D5~"8ms]D |^eVLͣGּ0u4Pu}f=kZnr]]gUudz(~JkdJGlēe {RHdQ5ŒKfQ-:g4TJoo(Y1[;تݝwLWṇezeFh*Lz5B k,V5~IYo]4na#ssVQL](5#Cy35͙ChAmXAR[(;Nc6^""m gYZ147aa0f73bc4ce523bad564750d8b1ba507db3210779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f