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 3 t4 ]S IEEE_Floating_Point:threads=2elapsed=30.665cpu=57.576gc=1.484factor=1.887zXZִF! "s]ŗXf1-q恈͐7ӺV -fw0w],[aT|DBgn5X@EMS;iW;ıb V*@˩n0fܪX9nsIΨ9R;4@^/B[ ^}vT,̇`\{dc%yOPk]杊, 5O72qϼl3T eXaE9v5%Gѩ Ƽ>!<@ziQrwB`1DyŅbdz椩{NxZkdߏAlہo's| LpѭSm\QUGs@ K dr,"*6o}. DsyK*=Q(*̂Ma>:#X^Eʊ_ȮqykQ^qj&b-Bۣ]( SSCQ,X=3iJ A 0 %='wc|=1ߘ1LTE0]LoH3 {jgyK$D8SxX.Rɸlծ pwj7G#7gȱ k|T o `d 2$#$\V/(ԓ@>Ffw!Z4bę!roJb,*yy!v =2iH$!ch:ig$W?Y":a+rl0v2϶UXU:mxgYZ7zXZִF! bR]ŗXiɟ1˦r+g'Dgr>{pNa5RJ=|m/;NaF%[jfJ@t{vKadV.b,4%2&Vd/ɹemwa)GC*e/UԭzHS_B@RM#5'N'? nrl.=qS5B^GB1D^ O whj=PaNAl#@ >h jBϻXqp6]'fR?V[p\..y)Xy߫=wɴ)ڗ!!3&!B_gYZ7zXZִF! H]ŗXi%>g Ocwp_H]R@S(quWl%P4.r&HsyX ȭXmn4vՉnۿCOըKX9ԷeU d,IoMWcDK*2ZPԕkLQۊL^ü2ΣI~IqdjMp?x P2/62Ǐ,M ϤAbI}#MtD13Ewȧ:4NAKNvn4wF̳x*.|%R+JZ( .iaY kJ–oZg0 KyϥɠMt XC]eRAQ,}m{Z prC,akR b5Xj0Kk9+5 I#Oׂ K NS07!ݾ 9Q:%RS[Uۋk09ݲtm\U lwϬ Iާ{-L#l*:TuVy-Uco/B?n:!\YkA β!\N yYX~KMGk?2w&QetOUv'cExB ϿӢru1[e&ROvʜSuaɭl ys?lu9'm? T/n@yS~c]Q+,6~7YwQRie(5_W'w}V"݂nZk] Sh\U礧-(S&.hV_='l@~,MP߰6VԤ˘?0S8Q H{:Ldc]]4./<">#=9"6X}A9I XÁiz|xLB7|*,>G(g(%RXI?,o1Dsc,ُrz#|k">5D.1ou|LZ_"i|-g`Qj#Y4͞S+rLviAy Lbͼz9|:qLP4/qs+I78DOuImְѻe=.2%a˯8{F#EliH_ 6upҦ+>' X%>;-hۉ;6Tv%%L;He~6' ܬT,Ǥ$ܶ@ѪZCQu- ME?në? 9w;I W9jsU9t0i׭Ij]T'pKc# ·VDإT#듾ۜs|@ɉ}a"6tύAJ߶%2NbT ݝD=Rgr18/>ꄯ(~̿J>-*v?r>/\L'nneI1'RƺX4 RqןkރjO|ҦŁa͎U5Ip 3#J3_}R2AAHKkqAwl4z?Z\M;V72_Y3, 34>-\/kE D(bߝ ~Õ-jWhCdDP_VnQԂ{R5%J!V&|Zf<Q fNLWԙ$3>a;*ĪUN:Ư&>5Z&_1퀇55PVlm:y3E`U Ҁ*2eD&=5im,2mŸ  ktȹJqn(^}1L5^f''+J6a&OQtVK؄~Xg k^q =ugnbԜ_E#ywft\? j6I宑ݷ