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=124.170cpu=150.972gc=5.516factor=1.227zXZִF! ]ŗXf1-q恈ܗ4ޤ9ũBvp# 7%}eowIDn{@kG7O <)&V_Ó5f{C8]! --/M'3KNQxH>#q܃Hlfw.jX ͒] 9ՇW2w7-!9ٙ|B]pihS7MNƒPxxY:c(nmp5Ϋ`a7H{~Zl^<=B {P4ޢ= \MBCIC40*ԏU(tgH8 dw6L'/-RѳWA7kyeĬAS~"RCHaM!e;MAK.EN[Lݱ{m-| I 4,gYZ7zXZִF! H]ŗXi% 'Fkz R]:DB1T18s, kDsp>Ḕ@x"Sv rD=ь];g~,`֡Q;+}~K00m-pp87bQR A87OD)l)rR6[6e 9T/ o t1]} H XoѓFb?<ōf7G!gqӖTy-x`kBJ'/wrG[ A Ciƪwm+%8.-?4s# e Dxֿ6J3o]~@(gn H "q _]d^>_0)9*庋VH&~#f/ Dgo/a])*)B'yQ|˽ăҾ2?XF_QzD5 O=;ų<1q^<ݴLȏ6J.r˾g` :GuL3R!G@R[,wPY dWpHZ b~1 i.O!G@y|9!,J0W7nUyN,Ʊ+:K/C= 5zcbO9 gZcԠ{ ,IO`+J@-4,B H~ka{7 =4Cpl0P@%;Qk~E|d%bf1x w^tM;¼EsсbSx=v9@x?7.Qy僘K.MUj*\v|)~|W6S#yDqNT#:֭8El6 _46N)kÁ`kM Fᦥʭ. jZRQ@&s!F\zrP̧3KI 4)6ڵw;+hh\RPUV+.RrƘÕn+cq;䷲PV͈7O~[6/gyODq |6bhК Jv8!A":Co"z]`f5h;cDm`˲rychPۊ>ً-67Z i5aAПv&m?,B$1vP_(Jz2zJK )W-8av0!Q|Iۀ)2M0ypXt \TuAʫ Rԙ]z,: Ljt>4gI샳SE[{ؼa3+nB)<|Om~KVBXy8t)ˮDrZ: ]EKڌGbF g׷0GA݇;G+`\]P @̠(s#@8,&"XWJи86nDT b8$e=Mp$7!1|p<;&#×IMmԇo0}QA":H7aRi֜8^u1*=>,ݠŸY'/`s PVv ^<~H/ %]s1y\!숉(&evtgL^=߬ШڊLa :cf)&İp_6(ီ*@rrHHTꤝO&iӄhWr>/ rBL_ cjGQFۧ+K*ʹ!R[Ik!^ơ+?Gc Ѝ>CeB΍{s iI0e"XFl"nNe"*p4\A|r׮>l:Ws \#Cw[EL۔dbwrnL*7X}H2ܣof./j虃Gk){@ɀ|k8:jjk,rnÔM:A9FS-]Rw:RU5宧VnRe5vdj{nYٿ$?OWl4yD:I-3H{rƋP|3诎H8uAp-j[a2WeSᗄ0HG_oh `Y -:cJN,s=*'ur[fG9coyWHq0)Kb( ^Y)Hq+E=_ (o%ա`xMyk;NXۗڂ御?o)퍳PyҨ3HԹ2*WIkl !!مƬo7P?DYUg,UǛRC #mS{+ݙf[Yy;_ By1PncwͪʮЊ[exe7Tk`<1 rWv,ZMlʜ]4s_-r μŘF?ُ5ĺf/mLԽs.RWr"R{ (u4۷|LcA!"#d`Ț\xr=F2*ϸ鞍 V2`obf pF+/ 4hj0uG Φ*v (Pc^=&:24727F4Kv$̺ڑqEIpzi:O0C.~E{rtҟ @%tw[a߇(T:i os~۟wŁeTj:tBamfR,_*_x8+Z{i U(B14bl0%0S0E`H.zT{s }8/zq|ckI+F#1Ci<&w+6bG78/E8J??En]X(syD&0ݫқܧ3Jʇ's{#p#^1F(S\T,*ČФycN8|$EqU+sZ}$nTh~`Zʬ/ zټKpr&/rM<3 5#*j.1 'I>'ncn%d4wiDHnS'ɯR_wKlTg]H+4:o )|XEaND4Sk,FX%~d)+aCm~N % ?Е ` |z֕"S