SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 }/ HOL-Proofs-Lambda:threads=6elapsed=121.047cpu=147.968gc=5.380factor=1.227zXZִF! _]ŗXf1-q恈ܗ4ޤ9ũBvp# 7%}eowIDn{*7y"+ྵ W|̓H['smTR2@p3Is =Ǭ~5 dLpCF Gb4E@vAQ= AJx[a<򑶱9~8|UGio΋&ujņ$!Sek-4B"*櫸rŰ#1%G,VrqM*ON rl8 i j ur)R0_\F)NұtE*I~g>]D*Ԯk%[Tv=˝EPƷ5wO:UKJjv[6q%i2I=Rity^;44ug1,>~GKQwu3LNi2vrΖqqS?EvgYZ7zXZִF! :XB]ŗXi%3@mQI#~yz&G)Ku >!<x\|NS@uhx 5PşRh چC=="::#;k4+oK/"KEGA)m@Mmvܦ!7$.N+ m1Et" S G'^;CН<T \.p2j;[ftnb;́ᧃ-HN~6%KFq ( Qb:ai =ҿ[Hwf:7kjd2*x SP?~ӎ0_*NAlQS+Yl <=(q ` <}6`Z[^itSJ] M$tcឤTaaͽv9Q9hx~K8Lc1'7 K9ԐFtzͨ*q7y=@]u._c9 A-A5PǸ`@`lLFuDWq47Zڬ)CrzJE{|lǀE֕c* sY!t ]ͺ("rUNb\Ñ8_O2yᏔ+?5zқRDuDIBc`Le+i&E=}iʞvut㫗qk>s G xlOOxG-|F?VZmc N& @ی qNh{6a| ,!jBRzs8bE oB0f ,jNlyJO1;?qЙ3m5/8_I%bЙ?gҎ@ *ו" PǧB8=fV=|̰<8e*/Op5fBcyBOUM/16\"չĒe>4RR^CF/7 >t6L`Wq?} ޲F64),h&qG{9~ ,|ήߡ-0ו~Sm`P8$<_eP#j4|=~Ǧ9( (SwJܬi CGg0b[]yW/{hD}*H@̨?"Ȋ[!Ͼ߆T/;+X&bG0Q&5ilZ*Or8P]XtbfI L 0Rlm|ɍaV / HOL-Proofs-Lambdax>,Tޯ#ެ)FMڪ_-O:FnxBE'ƿ?йw뱊Kr4=n9pܸa FUd3EsJSr=Q1\Q jdm&wt9HW1P[&Y`%IxEfd1X-/M#Yw$  ɅKo &?>Ywɨ&~<[0>6@AVn;!vMecLn퍴 UF繅@$ˡF xrrKN'sX!5.@BɷdsJ(!,ܬlڮ#EDHO) 2btDZb/oEp 7w }H˪CgQ,Gy?Y$ ϫP?U t~)M|R&EUOâY 5Xt#4[?L` VuҫlrI9!ZTc1f$. yfHA,5d8AqA)otI<ܟ~ez-Hb[OڹEl١KvZ?u%"Z>oe2M7{;R9{(жmqtǃ_qvQ $#Tsɠ bVԻ?ݝ6P=l;(V]~_;洡 _χq$.P,(/>:0?OBVX=E7x&ZO4j  [ֽѱdOѸVA+4ܞ(3 RF\gfLyRdoʜA>2nHU5/T毻 2.-G(P{@)ÈF-h3p v8Hd;J ᚏa*M{''&׽yXeS dQ젲\I2 8te_L{ Zy=MhlLO-.N<~zӘjc{ ӭܒrk1JvkO )Ē./9ED7,^|ab0EÉa-D"dzT")Mv̀ly\i*o$4,Xe/zW;z ;ēE"bXLhEiܯ~3J aTEgwIi1^|ЬS@-rԹBM|3!=t,YlDTq^7Ƞ]naeM#.p*4"7zS0'pV>m?<Q?ug!fUiig=-y:3刓PdVxR>WPVG