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 RR+' \ ] HOL-Cardinals:threads=6elapsed=7.076cpu=39.056gc=1.388factor=5.527zXZִF! 9]ŗXf1-q恈<-¡$johkX2I)']8PIz|<8g3 AL :ǽZJ3L"Ϧk=vlܣ#i!,R=6+,&oq04\ޛGRԓl5`F wVLә;ϝ$ a8ćpnSU޼#oRPp#y f-@U/E Ϳ^s [̓c=)#AA%Րw ]u #2+ߣX%(dxL8KZg(Ds-BZ_mbÈ{RF  "Ǐ_Nw=IJDfJ+ǚX81B-Wc)nO#!=L"4Fsy 8е骹!p:pb $`z".lXWLji+08i>eySFq.b&xWZ, blAy슍\J4\՗ ؇^Qw0'01agYZ7zXZִF! ;%]ŗXiɟ1?ߟt;9BP2CZz眭5 z 2mzO/@q5!#! 5xx䩖u@+rƭo6*d01ק7..>heWM-ꯗ ry<X+r/VNxNt'z/+j'vJ=Bg)0T@ 29x@b/)n Av[pW3n1$)D^dV;:bA^gLfYPt&Lwm%U[, Y0w6:gYZ7zXZִF! !]ŗXi%> ؓ ;[>@R)|'݇KkmādI~pbG>&t`QAwm8SPWW.yt6IƘPx,\[lWL<kE '黖5]Cz~ +O4$(C`|Ip7%ap#W+l51ŭ*jUo0DH_߼GpIdsL0pJ8>&M8Q \vl5$Rկ})5󣋼8*+#Op&kIt eM˓^+dAo)!'&4&UATw~9Z#㩝)BO!F:4|Q.ҽ66q ,h50e-w&yKs|̀@XvVW#dFxa.