SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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   \-n-xBs?#cɗ *ʼn䰀79#i#|gy rTPGϽ{z=فqb^qjpq}6MM\b-y"qxӺ0ݖ-'Ƨ;Y8:M0A+SV$QKqj:.Ɛ7s>bɏ0 @|p`)T3z*T?/ow(B \\8jЁcFS x{hh^9"Zf՘ iB򀖘'ԸO,H9` e!)e%L ơ--f[7>`3NJOprq15,X#Pj`շkneabPmM/g)_bC+4/}Y!uIĕOh_Laú(Ġ敌=ӼrD&_|,Ge ^噏:Һ~@l&,scdc¯۱q)/rmH?Zc!ʮ7;@%T Ó$Tmʫ]G";S뗰hRu$$l _eXhnt`Q\UZ"?˕hgv)nY/HeGȅζP^ttXfI01i0]A Ԫ}@~gY,Js~vL3ÆoKš EMyzA hzQ|K#6a :^{ ]oK-RJi@\5`nC͑JNVge`tM~reB^FR] w {DHFf% }GԭqiD.Fbb!n`6;2) t +I0e~spSPe%oN(ɬNG=wZ@ծ6g)H:* pTZDWd6_ِ1nqt"X ϼY?T z6 zuzHtwiӧrKԒ&X!\f :LE- x{W)p=1YN敦9Y-3 |GޫUsTҊ#%moJLLx:?PP uh^i"?KiЃqLE0|(]1OY{ݪNyϬ'-[n}LޣVz[ $ϔ꺈[M˺1~@e]F3p~:,cOP5ITгkaR"=P/ȼbϩؑ@n@9Wn1KpLN=0'7v@ѷI(l^D$բ7J)jf^E @0z/ g_jw;8Ch/jA T%ITwg+>ɂQJdDq"Ԕ QᬧW'&S&G0ҏ^?-Mq/~ OmGκ) aݠ3Jh@UhSd^xPҝbDÕ-[8'lh|'/Ih]4MY{$#xykm Yaɕ|YMC7@fʢTRrHrS#>frk̥!MuI7?DHCV22|ˢmhh=U Q+ExOJgn`<!sĝn̻`CHBv"Atqި !~|7$0SHrZ?~Ƨ՛_M$M 4l{DD!oQ/D2%o,ҡeNwI{b1 jXTC%exW [j䏩POa5ᵴG=2iXS/I_f W({5NV 7f7i ˴ÈF0 >`TJl:.FfVA,% 6uKVX9SI,mD3 r6Ez1LLNYf釖W4AC=J@F1Պ^H۷4Zl٣ҜȬQdOV*&Xsz/L@>4/UlV~aez EFT 뎬yd' giD3s$w2H٩h('R=IJl$^zI<jWc dPw{}*D^8w߆[(>)AFxdmN׵齦hwGan焼[9cfypBy5š\?z`V:_ }Mϊ !^Ej褳,d}3F\]>gH8.cAVK]ؙ.(RNMWhn1y,44O6|ƍ-׽~:kyX2)ӏ<[40(3(03*M?ijSqH-+%HoFqL@njOJ"BRPawBݟJ0y?h5?(GVHk|粶Pu,Dnsq ;Yc~YN8 Ro559-*