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   [- D$l ] HOL-SET_Protocol:threads=2elapsed=56.120cpu=96.188gc=2.656factor=1.717zXZִF! +]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaa\cjDdNANk杒&LVq(e y#GIk*k %5[*eVMw%K#/Is1fRMkU}5=(BQѡ2Sd@.Jx6ew'7!o4O:iܩ9<ތ YO+a4CﱎdW&)ʾŻC lzKT Obn2UY+ӵ s|}Y p²a - HOL-SET_Protocol  R M 1>M'}+Y&4w A7R:Ͳy1όZ]lUaU s P+>ܣo;F=ONߖ_<~EbX aq|+`5[U/]~?@bho)VgYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxx3'_::[ބ_ιar,HVROl0q##KnOA>K]-` d^RW~| R#t&eC;(܅c=*ggE,ٔ}ćȀ{ucs@ݷC zaWR#d&P&}$4}nn6.B/&\P[!F0 +Y&;yۂC&)nt~ :_ elm9nBʴ Jw~mU:dTy 2ze#>בhm];LEV#d)ULHfq_Ct}qJ@\Փ}A1rIR,byԼNNo{ap dVN}mcM&7ɥ{4aHi߬R*q\um0B_lI?6 Sp|:̀>F8AW7j9p(fr |p][h狿ͦ`TpYaB]ΪLga;3,F/AW>GؾD)s|m,g(e IFj3kVH7}G/+V3ڵ2e*f'x'y5M9 N `3gɼ`SQ{\xGsՍ)+1K(6=*8٩xD@Qq=r) r:^@ M;d5riR7v{VQh6C`IdS-k\1?Ւ<8*ήVbyS4S No >  `4WqjY{B fU?0.Wa! =׊f̔]QqBEIN)9jn2Zs|D闛 N+dV{Ãϱ+IĽ&@S :c)̴r0nEhSE3{'!xw"4$u@'TfQ82LCm̶j瘨7`vr廨g\T_ݎvR2%9}UiF&Տ?9,5 UWĠN\D0W 7?W5K;5jbx4ݚ:&ϢrVt*w:誐tIOAf$~&F4 o4Swm ` yj<=HI@R=7c1Y+j4 -17q\/DQ] z4XT\ XvUNpf0Zklhc' RJiusN(gDAJ˲.áã֓/JY334QP!Hh)j #A)Hra>;Ysnu'@]j(&f#oV|4"J`^]Odפ}QPsb vpi~ШܦGw7E2P%jy۱7h7DzTӯ}if@O9yy[fݵA$n:v%Kק%6Wȗ*rh/XŹ#+t9nj2Wm ev~Nma3i$}KnK:½A>u'dB|yG1wo\R'sPN"%Z$([m|1i