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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Z'| ]% Algebraic_VCs:threads=2elapsed=209.220cpu=376.520gc=25.040factor=1.807zXZ ִF ! Y 6] ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^WX`6ZcV35yF( ӓpM\W3{K9uJ?[׃y5`Qa-^ы!&Y*8`tSrP= uvtڭYǗ/yK1l,CvziM2^Bd4}\w7TL j%ٕ[X;Y>ԺUHϻj#䒩إXm/@!D=g",M|eƽ=mN0i Ӓ9`IJ %{HZe݈+ AozLthSKRk{^߬̀H@yR4lXp[Z[ɷKpw歁h7%.Tqv:UjXsPKrk>QMt%.gߔMp2U (]fwT|([6t٬u#5H$=;E^dM^O>xcD!"frx<\~)oM1~lF0+ȹ+hڽJe2`2 ٿq[h A"PcP=F\}lJaf + Hم9s@5 "!͇9h:8oH)St}'q$j!z L$XɩT?RDҗN /)x]~?g:/3SM588jjD"a4+bZ 7ȑrdCS& *p7<*Zqf%BA n|G74~x]&Km}qh82"|~()WGdv=] Y(|\-355zqp$=Toު[@k:p:6_L&sh}Bw=!DB(QyB:8IT0I(/Y.?pYXbS~A!06=>0#!X>؛n7ügNV=VVGWø[L Niuϸ [PG-S4sd٥mb||eSw??qhOrNNC3K <ͱZMy!U[9`9sA 7Z[m (z ~o^53,ƭ$eĬ|l|Z?@g8ԮN)D '%a *!(rt!n7c;2J-6@I+Fvְ`eqx{?c;+~r$(-kEFZd"! ogZ<ި,̠mE-e4?4TWIZg*LF wM3o-ݴbfCP>,U܅LҞ4da̟[>Po\K2M;mz )HvNxgY8+'Zuk$>sT'3z{m!Hwt[i{o-fn(8x}5o\ݬXnAfCmJsg0I,H DmnG^'Gū h Ri!="UN&Wf%)Z7mGmA]"RSg&{24S=Hꘂ`]4Ҵ7uY詭#p#lf_O#ֶ!C݆vmB ^Í$M-`B)>'ҸFC.s0dZJK\1EuH@ cKA(05$!5/B vDAlpiU|%)T:J Ɖľ 6&JZL"4:TD ]w1L-1qp.k[`U'ܐV(əB$Hy;:A{V i֧Zr MāBk߯cAH .3 9 |%^C "ݐS¨k3ns2,M7