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 k' DdT ] HOL-Cardinals:threads=6elapsed=7.235cpu=40.368gc=1.600factor=5.587zXZִF! Z]ŗXf1-q恈<-¡$johkX2I)']8PIzAQKh2TzZWL>;嬛V|˸ֲWeV{Cjm4O3o-֟8* \W'˩SDM~%@WhncզyF7A rWY"B-S> P0#ǿ=꿞U +cv~%F :ur9نwolrrL)ꍏXAn~ \{7jljԷ1qȆ $ީ/Ô$(PE^i0&WfW2n479$ih^ *9;d&4KM L~- $OCrP[oVe*bAZ ;}rW@S*efCKh] _BPS(1s #nw H9+/B>L XQb M۫.xV)7ǿZP sr=3YJv[ްnj}>GTry`AT9(8/ûN[y)0gYZ7zXZִF! ;,]ŗXiɟ1?ߟt;9BP2CZz眭5 z c77My@~U&YZ!$&ߊp('g8!_3H4=춿O ,6|q+N.k Zx\7ͶJ蟊HZj /y4Q:!Ajb]kL?^>OY3E !\;+ѩ6AoUÔ!`-*x\!a4Z_2pe_g/9яWú~OlYvgYZ7zXZִF! $P]ŗXi%>of=eZ,D#ؕO-l5n.E[FetC-HF&VsY^G]nW[MY9e\ s~n64hGbH0b-9{/Z2 Ko,QxQ@}}S7iLh F?Hg/]O'? ʋ !Ԝ3c>:~ Ғd i[! $Ќr'1l%osWڌ1ُDFfRԼ_7~`'K\nt7p.oo5+q[lIgO:Izs *KV1y *^S jL4wys#VWW;?GHc" Oq# -#kF~6'({8J U kd?Or8tvC{1|؂3~g]Uhjj600.