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  T, ]/ Codegen:threads=4elapsed=65.194cpu=158.376gc=5.180factor=2.437zXZִF! >R]ŗXf1-q恈͐7ӺV Ђ,x@z/S@>VlO0ja`_<#9`z*^07'gboXE LE]͊i^|ۥQIAP"۔#n{X,x-V5+%q#tE\ V6Jya؄h.-!s80qBv8g֚پDg{u>g[#>?Ǝ8 }BcI)لq,BKt@(3ZSM4O:,)]@a; HI@o= ]|y;}jzQ$;u5+So?q~|C_pT&JVCٮeKc^07o'w6\A2]c~ЫݾEn\" x@% חl}| >#{GspUifwr0N#ߘ wGeb &hK7W^ʗHJve2 -o:DUX .1@~Wr? Ss!Ė $ҒnJx$yO@f V _PoZZ{B.n_;72]6?n%enAN2) }xypb`$g)G}=C=ѦT++#/1@ċAc?:&_y%h ai B8O4|(3dO /ԓr@lhOqc[äl鸇 l\Ww vEÒS7BD *ySs5UU5GoK|FZ=xLVg )Pe-i g7 7i:&hJyň 6x0̟;$µ y,ZL*? zh,am1xDDsC'%Cf}zěF.}Xnv{:4J&PuLAi8$KC+J.&3ΨҝM^UDXK!"e /Ӕgosy0a6W"r #"J[CJ܆pJ‹ \]. 7zR$`hy6 ے>X>6)"%j ,o':b~ 1B:Kr݄=TBn[ |ggYZ7zXZִF! :b]ŗXiɟ1˦r-^n%&ů@QO V@y(ofj(-ܦ]7( @a/{Ps͊>yێM:}H͓`Nx2(#hR+S3Hjbְ1<[Z'08-x뼇^ Eط$ IdbК ਔ:vxrNb "w-uLexZqNƈfDĬL,f$N؅z)Q[ !evmПҷ;\wUtsjvy6;P gmRgYZ7zXZִF   Codegen  ! 8TO]ŗXi%B4M=1#|fW'eD:<Y66q ,Đcc٧C~  cfcuUxYM*Dt,aҥ(f9܄ʏ_@CϗH *Otjy♑EQ0qoY:&p2@}P>![?xڪr}M E^ؘiWsF;.TO}+i"ޓBgtGsy=μ5?LD+ T9Xgv|؜9O&Z Of SA 8x)&*.`uDV͐np%m ,fz (ACAY\8P}e^= iqiPt^*Q~[95]7ʂ[i8A])÷3=fRxڧz]΄Drkׁ,z7&wȦ!^ :n ĀMy'QwQBklhiM#O/#(De-٢1g&Kݕa'%ԗyݴ3Mi P OfDζ/n+kY&㋾4d-Ag[ZKfHaW<* HE[o1'#-ɚO-^fj-HādcT_]Ӎ).}D ht(4+1AǷ\' hlW1O8>7\1~V],, \m `-VB@cbᒶek^xoL]ԷLA[<(:`ˋdչg#)oS m"$s*0Se(unk}5P j{ ;Gg$1Ac _楗KSy!zpֽT|v2i.y_"CLT157G~/qkmgv`/Ɣ|+т[>/J&ۡqTf2 ȷMQBGXlC׊rG [MGrK K8m|PWTd*)a8a15qx22-ټ6t߰nfCv1f=J0`zof P+OvCd^չVGeq_ *y%b ÇrnQwmPk ;s(ܵoߒ9H>U"㡋8 2Z.1ywR!a,+>x'0sƚ*fϜKJȄ1_RKU+lR ;}ezʹ5>\(rf| wv K>?ǻrh܏eC#`å?ˈw.{Ɩ-!pgb\NTx&nF\06ԩ_ޫݐT Tm>d?DflK`t'^6e1.=d.ZiUk䀡j.P4*뮇^KlF%T^ՌF j[4f2ۃ$@}ms%vYLpK7b5e6 f3(߼Ϊ9pz,娑>i4g?BpkvwǴ|f"Xk8 C5y 0R5%v p^V|oz< :e0V*{Y7|G9 mOKPӌᒦ QU^=.4 /"iV];y{\j~Ò~tZt>?IA_eKBvv)d;|ϯ<7"GSI@,@+5]{%{Yo cc26B}nqdNwjs"]q+ W$jƘ4XIH *~v{s XEj~1#rA?{ٜ힊"/R/`m\M0;V J9+w cDϹJAN0#T >Ȕ]-TѼW 8)Tt?ؓb (wI0׃\VT1*xy2G4HuHAqj~?q">z$\BV`{.}|/.Jv5Iv@UVK,g&fJuhr0N^ ֽt2Ozj p6G@w|6+|2r͒o8'-ٙU)^e(Aem({Rl@M( ckj>{뛇o̾DոSGzW_iM`H=%AL-oZS?h0CQT MXήv}d \֝p&ha(df1_$gYZ0d3b494aed5a9d28de2ec94adde6bc0bef7da5359cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d