SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 / |L ]/ DiskPaxos:threads=4elapsed=24.238cpu=86.164gc=0.992factor=3.557zXZִF! *]ŗXf[&^q)鰧vygD^g-VL,>y+@anI$/,ڼ>$Ssh$ 5[J0:O-%ЉZ2 Ʌ(jm*"G\) |y_`S]cݹ%&) i}YDu YMDiEJVK*ފYg(>N*W- xM*G--]`$FG:Ry?3rb3B6`pb(]̚,CuyYzX=LJiGɈqeM   DiskPaxos  <=}=P޾/wj;(0vDN0w萀R98+uwjdHiT,Tߣhx)/DdyY' C?&W~疲K)4eI{\=ds6ΤFqv2@*NJ>-0ѵq-9xm ήF E`ɀkہ5l%j6lYDVjdbNKg79ol`%Ivc֪!IJ\鐒+Mrv6j\`p: Z=|w o_i.V}gYZ7zXZִF! ]ŗXiɟֺ@OAPηRY͝k{P}Sy>(unv~ζ= 4hW-`ܖpՃ rF9 iA d#;٠W|d34K좣kp)+[DүbdS_O@ igYZ7zXZִF!  _]ŗXi%G̉S!:irD}Ye3A6GۊkUzP;^Ϛ/CB} sXTuKvAly (BrWB5Ao5]Lp rB*kdQT֦?qcw-!XIhchxu^4 -S>f}Ʈ^9:"i< U$t m %Wc4}WQ`zɎu=R':k '+">>5 lmӈ9G»EL'Rn1w2 V79J+D}HN社A~ 3{"R3-@‰Gh8}A;_CdrjCםME"־򥵭:QH,0YݒVH*PhEOC_+ޚ" ccI*I4a6ٶ I3HehFAپtdEIz5Z<< qT&0(DLM٣ ԁs x ۩Eۋ9|IAE¶Tf-:ύs$- T6Xsvq f4.țIC>bn&IilMJ0zdH&d0qHaJО@>q 2/cV|s)L8Z$П+SXAte$߈>|]H* yrkR%ekZr9W>:,Qhm%s/CJ<_ު&Zl>iY7ƽWxd'icLl-&tN g2$>4!Lrlc., DbP~oIt?eYԸځL;0FHr D?_9f!e'Hsp71Mi)qGITR&iiζ ] \/g\: ǹA29햀@Ħ}CFrDI~ ('o9pWR;:@q#sO)1m"7ۍ=<{nD>}3 hLj'GZss0gp)N xxși,">xZPu1qN(." ]EFRY!tt fj0LJȞG'޵}h~ 9`,KV5zO9v'Гw"'F$0Ni xTݱF9g%e WCU  kn评20T=orhk{IM7za#_i}etZ bά#uERٍLBcQjCqM9$ 1e{XB2̺/T΄+,GdzL^[h\ "ppPZѮ8f`J8cC*Y5~ظsK<x-"b; NOdaDIuڴKBZkV)k,Kw šD9P617 f۸k"s "ܣ@֜`TCk^US|y}:zzg6oB`ß$"t:7 # γPDnX?^6mӋ-Z``ۙ8 # 􀋟֋矌f8\]b -8DŽ`t=5ӕLw}44VAMM`ײp޿A5dd×g=>)杙ܲHLx(p^/Ўo*C u0Ҽ Ny܍JQEW&%vkb43y $yu-4=jp *oEz" 5rqՃM0r_[{BU轘]0[ oZbڅ‘^uBK&E߭h%EZJZL#NP,ͣT c:BrR07 9Eg=q-cR wR֤ 0RnHSP3I/9+ P2cAϭ#}<k5 OHn-\[eqo>#2gYZe4c47a2633f1cbf3683dc551751ff08830ca5b0f78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59