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  A A45\$L ]/ HOL-Record_Benchmark:threads=6elapsed=99.900cpu=178.448gc=12.676factor=1.797zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2깓HTRIQ] ~֦yrF_xgYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h/g-?Y(-GEӏ2@ m?1k^{\*}YZ7zXZִF! ޸_]ŗXi%@^+5:qWq].Ƈ~Cxr|`mHPϜ,ua]w`("|0QLe-ѲďK?(mHnNڵEE/~ A쉣#LP tS]Oж9,RcMa ̮ؗ*UӋI/v ? mJt 'M䖯jHsd`:M>KwūR-H MvEiq^Wq@e^4A[\?~NحT>3DV4pVFa E 17`+W- f a }b/k4K-' <Fع6M7I&w,ӥlU~"Ϝz;qFW$S`B7X F m[;?GHMihsk$?FV%㽠 J+W>@;G.)r8AAB 㻞qZԙzXE]6۠`iy)`8ݲ>a?2,[nٷ C?ξT*ݐT8X3!˅*8M5)faGP&B[Tit:`jhM+ud4;Qm=fs/S2H^M[oD?EbP8w1?vCpe|SıuKlGá@KyV(p?/Ď(V&Ar)NvPH`V;|IJ~^ >Ϛ?NB$Yc#y͞!n(˓VWBQy_ 0f~Bu_Qꫩ rV8xaFJh <H_%ֻ mŒ4MiU0\L5hu+T\]onwvb3MXQ"FYmK DO϶8E+}jvHӓ\U!\XqɊ.){LR?)n <r/>jbg#DPZDi=.tPESImy m4.ojOq/XE?;9Y{eٮ?ݪJvs]$ߒŦDU[Ѝ(.BF:OnaHJi[+&5O?pjv "Iw`LfC<^\8:4bB$aG6wca֭9xQXгyqƍqZX8s"xT۬uM&׹Du:/  ""8B( G+IMg&`O6 0AG|kZ/qr] Ηx h^sgʲ;yGd9QW6+{a[Ep?.~|> [_%Z81+omaOM>1.<}K%_w~*3-> 7[G}D1(]E(uD2Ɏbf'fxvTׯW+Sa FC N&_ӷyTk$p QzFV|j-{`/*8BCJOMzQΑ1ԍt(P*|3 o+ V{C׿}-mrGJg7Je#KD Jr٘tj"'ҽ=#u,%`j> E",3h;%3b@ :8k]#Χ̜Z8;%f;T?I寃EYSNyi=WMɍ>ƒ;!%qp rΓ>,Ec .>9i,7EZg Oa(z&EPWW73^ `rjJHGx 53e&;4R.ml5мQ$ \`;zL %=aAi$ʮG>(XRΝn3Z}S6?S_CkC7d@~Bט.wTJ8_Z]RJ!X~ETWDb͚ޤhq,ࢎ1yoaݸ{S@SIq2,k(6ztvPES,!Y8#& 0]w F܄De*æiDzb]A!1oj;^̰i rZb^%: &;iS\v[vCB>kQ.hĢ3v΋Тk=ds;ykb,[re Tݵ{14TgR1Q=G=Q]L=*M,շ'!\A?#(N Ul&0Å vzey@j@ rBa?8[D*HCB Y~Ӝw 7YU%lCǓ,3@-4sȝ5"g$^p (4|J̡x*u\"c[8 /FQ< *VrcQe1<C!%D`eB 4 rKk o̶5vq3;( U 2x}H?RHNn:ꉥk&fyU^ܧQ2a{b݊8J^ \  &;WM:-hast;( ޯ zOXpA+q3]7w~ZH+bH@;Pu"9%w g|4:WPhcuJS@>IɚP\WLj |gYZ9d536051380fc1568217937d527048942cca631fb9edeba120fb42027fe4e7015d7e67e5df110a4f 9f89800180bdcfe5023b0268a9e9c3926bda19cc