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 i/|< ]/ HOL-Proofs-Lambda:threads=6elapsed=111.085cpu=146.876gc=6.756factor=1.327zXZִF! O]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}t@ur !JsÍ c6ol!;_rw5>rY1-bI^cAmƂ4J;"EWẺIczXO;%UR =abm@γYT/ `| \wLd/[& ċ"Л/“K٦G{xf[:M|d7{fy0?M˞ 켣eܽtS* -NL,X.9B)fS7DUlPX-%et[@ޥ)sj7L P~k/?Hm?/7M}s?}Lxp vp;Ȋ. RyZ'o@ݎgYZ7zXZִF! jX]ŗXiɟ11bu)]>_ws[Ɋ brY4ēU4*/PBlFɮez^4GxBYfxpE?lJ%\u{La{'w}֜BwQs{VT,: 9VdH?^_Sב;z;IpUtq}DHd-gy_2Fa-*n{3߹8Vu .QW`sI<_L}=qHN$_Zi ph ӄ>-x. ʑ\üVF5ы4^. Tf5ӄ3K8gYZ7zXZִF! y]ŗXi%@`aTgׁRώ֣ʐ9ʶ,4|@Fo6wՉST 3Nm< af\s~1^[Ѓ,Ӗ4S"x#ၞ{/TiDC s9F\/րX<p4'E̮$[ Nh~y<#PP%6#%'+`!2LW=wTXaWSDMDP&v29V>ݶ)3Fkt[FBDVP\`I9'e[*?}+ľ2rɴ)5ZIz4ܲأc9 ; ?xY}#BlSdG('a摮Rѯh%.FHFcNËVtUގds^ߖ9՘ GEa[}[Ѭ!nA0ܺ}5zIKr8Z^,`!(>oQጂ& ʼn?N;P=3'ᣊ1.ڲ/MQBwR&G_!UYk;|˺.uPmE-%VLt+Po/">%&Ȏb9Ϛr4;1- ƚᢟM+ro&eQtsۚbwh0G{{N+`&:N_џf*I?2PAcf VlTҿDh|UHgPiK8b6 S 3[Z')A}f ּDz28܉'媩E}!gj2ia}҄M˷^=qt`مE=ױncOkl]Ic1. R% &f-IJ )Gx^bY}]~|r;b]yrU5plB/Y$M5yC) ֝%钷\nn__wqz }'5/p{2q(bs.E'31|&20. (H\ 5tA%IuzD3WT*u|u(ir8dkxmgH;Gz \vMw]Aݧ4&xھъ(C'Fd(jghzI`Oθl Ԃd|~eI咦?n>rTstK*Wv{GQ)-PH!3(&#;M,~l]4``@v1pd[]΋Mrlhvj!:=^7lαRй; դ JP(AajovMY)&`:m۳eO)sd۵]2Fvc}Z_aI71$<7LԝZ6\xJ!8s$xr i35Llƍ -1T2TRBG!8plXPfHݕK:ȟ|W hFt̬ס ZnT"棵ے\D['!cO, G?}oa'>PXW_G˸x.LpM.aYW~xn3Ԓ7wq H](=*ڝYD}".Jm0c^xl8\}y̋jWpzH[2W:k.f}/rO-L_` '3y:.a*Sd8&IjkQpȅΠB'H}5%T|{/kDKr<|+/PtYwg#ͮM)"VϮ0px%fJkœƥIJ]xS#0b==-Sޫtd PYue%D{L^a9L~P`<5fqꝡr];x$KI8zFQgHctq Q&ۤbc~8Y!'j"@c79B!Nh*PꝊsYe+ihyD? u"rex#Ge2U}SA ׄO# ^Vίkt" -u)DBD12`R!Ϥ΢Ka푹g_#%|j2?C33yK %x>;l@OVkv{UV֧=K.Mkj%Y\XPږb\.Ƥ?)QMN{I`o\@D jз[W|P֕;z^߲U89&= cU% ŅwC-(vE], @c"=9mHoj 梯j!W끥row7:9_YN=Y ծBoRe/`JA=ʼn`א1aMj{K