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  y \<4 ]S HOL-UNITY:threads=6elapsed=19.933cpu=98.688gc=4.564factor=4.957zXZִF! 3]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yx*wB60" ߼ ?i#n~Oi,ry?9׳i2{*'榱nsRBe}&v#1 & -$]!{2?1TbBIJ6k0K\(`L!|Ҥl#{m70 BbHt'ah=\1#̕" ڍtD0P V6j"Cn&Ho  e9f䅋p{,`EaȀeԯ؄L6D(9N<6+Y=kӅ{f5zY>3㕜 =&c sfۂ\3G\}*@ђ-ӈ;snc}98ώMl9YWb6%R<,z MevthIm .ctMLMAj'y3ӴۑX]lem(әv ş R#6}xy 5 1%L Agn-F*:&^2 g GXzmxMk7 Uu&]{;U>CGD&x>4L2yr]ۃ,Gs]Gpaҕ6I:TF#މnuEG$ Q1+&m]By;(UPEs:^h{j`HrI]mP1|a3"nŠje閌M.m2Bs%8IuJSTl( UkX7Ш'LIwFfDZ(hA<(;wÞ8d$/:h6lZ.'}!z=Mq1gU{2^dٶMVd].+蝅l:q){I<%[8]nY_FKMv Rj*bSSN]ʢ8)Bf4?#Y \ß/дDh0j au׍޶GTd?3\J9SwT& RbpGi¶0~DL*>Az 쬴B7%KZ1'#WTCT9~pJ,AG|۝>w^iD-k WAj1X߭A͍G2_m2Gn`Wj=4+ z2QrrZC4' C+3T | :'mXDeTA>Y8,gYZ7zXZִF! aZ]ŗXi%> 3- $3>Ɋgv Gc5.l<Ѱ M$2:SuNdK],)Z`R;R|;ѵHsLf)GzdvѠ/JR[1>֑z^d)?i2ykaҫK}@A򞿓®F2[ݬx y{O+.v*eB>N7IGΏO*PB DpZǸfLE u3PLE* =L27v}&m 1Z{;tK ~1tRx١!oEz)WF.vݣ%$@`Ec/ Ek@9 RGŠ%6YNHחD~q$0EJ5^e O(Hxs 7$Ogv/)euqk-gy 8Q^ ݵhwx[.e9C O XUP2痚46#Wz3C—PMb$o코^b"4~ԉ>6 n= [PvbWgm@-Ɲ1MC@2?:bbD%$ ~Y|#y5U+iTfJ@G-><AgO>㼺'eZAiP|\]8 H5#)f;~Y<)옄(z2"iI+=w%" w!)L5MsRKO;U`0:w llw:>} ҳR|wl U)F1z *e_B KК ln/b$Q2Kl5`RiƊ{&Kc@&+rF