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 L d<| ]/ BNF_CC:threads=4elapsed=13.836cpu=47.204gc=3.220factor=3.417zXZִF! l]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hq]xF#~B> )ze3hʮꗟNXby t Ĭ::|X =@HRFL}rxF!]Սe Ai|cGtKdžgto0P אeŁۛKodo#d?84W]Z~Q$>ީ 9pͶ{Wׄo5˘ֿTڀjּ'Y~e]a)\?@DO]+2{ F[9wNOAPfױG4^gs n%mE4̀5JK? "M`aQ_ۏYM_ *,b9> -^xSmULg^^,!;q4%nATAr6?c޷F@c3 ye]a/OF&kvk `p )vVBJ8P/!?4lV.; @LBCtE' `@26bKr:9LƉ[LH;xY)x;(nȥ-0'G+£a3vJv >^)IeFDo*E?^:Nɭ', PL(z Ԭ!m6@Z\F+wMȎ*뾔͜Ȥ 7CTZoE.kCo)+o6E @cܨ/# 7W' C&|LOQ{da f ݧ/טJmsŤi4c` S_(UeLE/!0lg MgYZ7zXZִF! g]ŗXi%L 0xwCҷgiK_8z۰PDa;TEzso*|+gXpЦTf'w8hLd.ع?EY/v՞tbG*?P"EJ/Ƥ|rK9EBsˉSGD.Bq1:Zw<\k˘JMS^,Nbg^ҽOXeb7&]sICf0b-f|dY!kȬ UdVPV$-wx8|\fD+CRzDžT H x􆘗b5`SV#\Rw=0(-w tUzl"ReyS!ZRml( *@Д!SwaaKuJϽcKݍTDr 1\]f6sW4#V%30S+*Y8'"?RDHD*RuBI雴yICPAJ@F2I_A-\304]201T6~@=;_8FnQb3{^DʪmƳ-QE{,BlEGƠ I`>"[()C%#(c/yqT$LM x >=t$XB.1RWPh }gh=GT*z%O5ʊ KܬlȘ )ն+P5ӐB*W]!ߘdn OA+Hd/ҰI3.թQ;^]1!ߌ|l/CsGaжhAHyQ*?Mj`A'iKGIe:Ju9hXiܗNeLRVqYсLb*K zث> _y‘$RE6p`7/; ao