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  c#\< '/]HOL-Library:threads=6elapsed=65.512cpu=339.216gc=17.316factor=5.187zXZִF! ডg]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*khRLVpye} m%p|H@Ela5٢Lr2+=lZُb/%.7>ͭmgGO41TXd6v*nT"_^; V%.gi_ vxCJLOxCV^ӻ g`{@4š|q䪮1^ox-qJ$qccw3w]%:*7I!JvT_uO+O,hާHΘ$2r{<ָ;ts)(i_p3p=sh޳p?@!!t_]uitXD91IDS,lh ) bYvd- ܸ\mKDZmY!XaagKrb-q2sPzX$":0f=[K t;>CBzQ%@<+ _G|XR1=f=6-̩xߖ(in(2´kិ)`-k8nd _uM MR͋p|~oFfz <@]۟mQŅ8ufKr&MjBd(,)J=o  # HOL-Library래{ѵ<=F"㈏]\S :&M >UhTy:ki|}B 5a.7'>%҆Vү7:o_"GHp@/xMM=A#? SB+Lv@K%(.C9pyҼ_]0dGpAXϹnXCO3.| R;_>;S k.;5ucGBmͅ1W7uO.T)3ʥdʬ-s; i놂+ 3Hh?$Lˑ_Yh nOynr{Dvk)V_A&EA!rSRnTȯR*Pc:p%aЂPtۿC}߶NM͕<\z1ir"=!qmwIRz a(m| ydW[j#9Iؖf>{7W" y^%32 Ć 4=$9-%;bvQ-sH/dfatHJҗF.>ph2{?璱%v 3܊ {a-$gF9 qVTfу5\8(璢 آK\D=%@w2=qLZ3["6>1G % 6I] *!̆e$w.&OtI{CZ1v?{C g]4Q"2)"bWSh`hkrTCی`G)'5Jh4FvyXa@pJ3r%?#gMs?wBR"ew=rNIqj89QȤeBу3-VTn|W.A ?BHhisjLi&ŪƂ'A(RFtjT~3g M-!(Qd!cyoq\/l H," :ü)gj=(* yRDtb"vΫ\%0t?c^.@a CS= )H+_~S5Cs T~ ^  אımRneEhH@_U?efL2؏:~ wz~_Oxp0դlt:?.sKpŬJً(&3n'6O:"R~)Tm+Mⵦ]ջ6YSҒc'gmg3\PO% -4'ݵ=ZJ{țt`wǪ)nW7#'Hcί$? . Vb0wC ez4CGѢ o* +9g#M :[xK/aU_L@%kK}&o,7U!,CQZHʧ!pRaZMYiK=< hwΊ}Ch~VQ%$uRլSJ#>>`xsr\ Hsd Tiurlxz^Ly;~V)ҏ . /[NBFЍEA)9їT[>@B&;ļ^PK*Nc0P; BcKUEϿ̅φ)gxEqO8D+fXcRԒD )C1S[J4 \~i"[z&ߛ6olU֠(Q2VIO,u~iyxy+cdN-pi<\, Bp`RU}MpZPΗ=Wg8)!ւNK1^wr]~-BJU ڝeT4U)p%* [$ Mh-i.׻} CdQ\X3GQAV૒[q/a%VӎQYߩ0ujgA D[-D$:r2r~0F!KxoΦ+[+HP.ޕ?\1&=hy\]N 5nTmF=QMVzKs3Ƀ9:qB13<>[WWԫ r/ hPl^H ^Jq=jqPI檼!ԣwLWں-{j92_rA||Yy)ͭ>CZlZ"E$=Ѹ9 }b4=^K7/UG]"9[/^еN,ߪјYaʰDRr0Ejd)E%P ̾0ggok*׈:2BIJqĶ ޫjrv ηD"szI)Ļ=KeeOzMNszb\l 4V FvLyM%HAT~U:U}$oyH[-],B36* ]&Bl[DǀpXpӂǩ$gLYӇ-* 2}Cϐɏab %fD,93-{.ڷS"-~Khxe%NX]!#Ԓ+ 6`$δp$d$Zi-Gəwk@0*|}&InVw`&mllؖ7u `:`m杫AlwU;1N]|a R9@q;I)9= 0J\qK3<3CPD߅+?HWYZ,#n#%z2jvU> /&t kAa]+uԻTTmjgal|ަUS} ksf_c]t.ɌՅvi:No$8zPMS%ԅX]BBI`ޜo~k6a6IZ/! LX}Λ{YY|(e>n<{(8͍g;=cTGXkubooh/\%xG+#Sp8=o|*W0mfͅ UxHAybC8jA}+w=2%[mj3zAʩ|TN>;7 o8V)j"B 27T29Ӟ<bx.睝jޝ;,sEBa(v`&Q\-t͒Lh_eš]uU_7MNs\4Ih#{(?+> YwK^.O1\4x.a8#&icZہLmfy^oȔqhMKv6by:M\G} ׸6=HrBL0fD6qJ⟧|V(WfVm5c,5 Fi.v5ܠ*uQ^,&H'n/a5/m QItb|/—Q{'ړ  >P*A`0\GҦ~n/z<DڡH-—~C鶫WѿC!MU;1Grm}; \f1 S̖-X;5G5h5,- Yxt`9gȃ4C,"Mmi/H0ƷQhQ]ud.2K`Tv0Ӓ| LBͭj)"bX̠Єkv>Y?YH!f(&C$Ra'`⩰_<9 `SbQr29JT0!$#ܾuePbK{žC)|Ēr pg-o̰ɜ:l/LL:>% 'ȯJ7 P_ueHxC%ʤʁ{{?(g@"+mY49~N#T:xDK~كMaDDT~k@څ.EQneR d`yW,/ŨS8'-2u?0Z>(eJ8'>Ǔeh[bi] n>ÐUIT(>2;D#jF Egc=3P9H#)K\`߃BD6n1 "yXفfJ9%7u &* 8sfRPʵ3Ξ.hh33fe\ޥ]"-+ ߨ?uTtFwD>?}sMmyd}/3v/pS ߻a2yZ ^, MtnGqM%$S7%JG/В"]=8D6]؟;JW_1\L,5[huӖG-/7?,9[dP~csF*sCWpvĈBWtֳ]pAjpk}C9S"/ #v/Duqsf#.UYw_wؗ{P)!?X3 cJ9SoŬ=TSrl0ls+xS O}D`' At1f:[Q6HV*}x>#=- ONW6Dɯ~̇Fvaհ\j$%.h`qBYt=a6+N&*!#.|%D:nyB$/a30Ng)I,X~i-hjGY[Z;Nx]Tt,9}*5}A yk$x,_i8~2~ZĂøHN&D;4]5i~1C# ױ>[Q!לXxFw<dd+ySf]Tm"[2*4|+ȘSLqd,^3HnĨ4~ *!<>PϱlEt#1ZX胛h 틨l9?:P[`1{j-:N K^y4M&D@7z^dƧJ$`?:0H  \`t)xYѸdW}V@VOp7`26&nzxo"H&D7d\XOA3맠|x)X5 449+ %>.yao@5Ԗ@zdنMO˭ec-<Ƨuy\Vc7. ׋dofC#M7GE$"&VSx_*Qˤq2T+1+-t.2GSA X uN]\vdv N#HVoK0HT"v-{"5OδK1[FQF}(#c1,!̅|\5'ZrNfj]